forked from llvm/llvm-project
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Backport '[clang] static operators should evaluate object argument (r…
…eland)' to release/18.x (llvm#80109) Cherry picked from commit ee01a2c. Closes llvm#80041, backport llvm#80108. Co-authored-by: Shafik Yaghmour <[email protected]> Co-authored-by: cor3ntin <[email protected]> Co-authored-by: Aaron Ballman <[email protected]>
- Loading branch information
Showing
10 changed files
with
160 additions
and
47 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,55 @@ | ||
| // RUN: %clang_cc1 -std=c++23 %s -ast-dump -triple x86_64-unknown-unknown -o - | FileCheck -strict-whitespace %s | ||
|
|
||
| struct Functor { | ||
| static int operator()(int x, int y) { | ||
| return x + y; | ||
| } | ||
| static int operator[](int x, int y) { | ||
| return x + y; | ||
| } | ||
| }; | ||
|
|
||
| Functor& get_functor() { | ||
| static Functor functor; | ||
| return functor; | ||
| } | ||
|
|
||
| void call_static_operators() { | ||
| Functor functor; | ||
|
|
||
| int z1 = functor(1, 2); | ||
| // CHECK: CXXOperatorCallExpr {{.*}} 'int' '()' | ||
| // CHECK-NEXT: |-ImplicitCastExpr {{.*}} <col:19, col:24> 'int (*)(int, int)' <FunctionToPointerDecay> | ||
| // CHECK-NEXT: | `-DeclRefExpr {{.*}} <col:19, col:24> 'int (int, int)' lvalue CXXMethod {{.*}} 'operator()' 'int (int, int)' | ||
| // CHECK-NEXT: |-DeclRefExpr {{.*}} <col:12> 'Functor' lvalue Var {{.*}} 'functor' 'Functor' | ||
| // CHECK-NEXT: |-IntegerLiteral {{.*}} <col:20> 'int' 1 | ||
| // CHECK-NEXT: `-IntegerLiteral {{.*}} <col:23> 'int' 2 | ||
|
|
||
| int z2 = functor[1, 2]; | ||
| // CHECK: CXXOperatorCallExpr {{.*}} 'int' '[]' | ||
| // CHECK-NEXT: |-ImplicitCastExpr {{.*}} <col:19, col:24> 'int (*)(int, int)' <FunctionToPointerDecay> | ||
| // CHECK-NEXT: | `-DeclRefExpr {{.*}} <col:19, col:24> 'int (int, int)' lvalue CXXMethod {{.*}} 'operator[]' 'int (int, int)' | ||
| // CHECK-NEXT: |-DeclRefExpr {{.*}} <col:12> 'Functor' lvalue Var {{.*}} 'functor' 'Functor' | ||
| // CHECK-NEXT: |-IntegerLiteral {{.*}} <col:20> 'int' 1 | ||
| // CHECK-NEXT: `-IntegerLiteral {{.*}} <col:23> 'int' 2 | ||
|
|
||
| int z3 = get_functor()(1, 2); | ||
| // CHECK: CXXOperatorCallExpr {{.*}} 'int' '()' | ||
| // CHECK-NEXT: |-ImplicitCastExpr {{.*}} <col:25, col:30> 'int (*)(int, int)' <FunctionToPointerDecay> | ||
| // CHECK-NEXT: | `-DeclRefExpr {{.*}} <col:25, col:30> 'int (int, int)' lvalue CXXMethod {{.*}} 'operator()' 'int (int, int)' | ||
| // CHECK-NEXT: |-CallExpr {{.*}} <col:12, col:24> 'Functor' lvalue | ||
| // CHECK-NEXT: | `-ImplicitCastExpr {{.*}} <col:12> 'Functor &(*)()' <FunctionToPointerDecay> | ||
| // CHECK-NEXT: | `-DeclRefExpr {{.*}} <col:12> 'Functor &()' lvalue Function {{.*}} 'get_functor' 'Functor &()' | ||
| // CHECK-NEXT: |-IntegerLiteral {{.*}} <col:26> 'int' 1 | ||
| // CHECK-NEXT: `-IntegerLiteral {{.*}} <col:29> 'int' 2 | ||
|
|
||
| int z4 = get_functor()[1, 2]; | ||
| // CHECK: CXXOperatorCallExpr {{.*}} 'int' '[]' | ||
| // CHECK-NEXT: |-ImplicitCastExpr {{.*}} <col:25, col:30> 'int (*)(int, int)' <FunctionToPointerDecay> | ||
| // CHECK-NEXT: | `-DeclRefExpr {{.*}} <col:25, col:30> 'int (int, int)' lvalue CXXMethod {{.*}} 'operator[]' 'int (int, int)' | ||
| // CHECK-NEXT: |-CallExpr {{.*}} <col:12, col:24> 'Functor' lvalue | ||
| // CHECK-NEXT: | `-ImplicitCastExpr {{.*}} <col:12> 'Functor &(*)()' <FunctionToPointerDecay> | ||
| // CHECK-NEXT: | `-DeclRefExpr {{.*}} <col:12> 'Functor &()' lvalue Function {{.*}} 'get_functor' 'Functor &()' | ||
| // CHECK-NEXT: |-IntegerLiteral {{.*}} <col:26> 'int' 1 | ||
| // CHECK-NEXT: `-IntegerLiteral {{.*}} <col:29> 'int' 2 | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,31 @@ | ||
| // RUN: %clang_cc1 -fsyntax-only -verify -std=c++23 %s | ||
|
|
||
| // expected-no-diagnostics | ||
|
|
||
| namespace A { | ||
|
|
||
| struct Foo { | ||
| static int operator()(int a, int b) { return a + b; } | ||
| static int operator[](int a, int b) { return a + b; } | ||
| }; | ||
|
|
||
| void ok() { | ||
| // Should pass regardless of const / volatile | ||
| Foo foo; | ||
| foo(1, 2); | ||
| foo[1, 2]; | ||
|
|
||
| const Foo fooC; | ||
| fooC(1, 2); | ||
| fooC[1, 2]; | ||
|
|
||
| const Foo fooV; | ||
| fooV(1, 2); | ||
| fooV[1, 2]; | ||
|
|
||
| const volatile Foo fooCV; | ||
| fooCV(1, 2); | ||
| fooCV[1, 2]; | ||
| } | ||
|
|
||
| } |