| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++11 -w %s > %t 2>&1 |
|---|
| 2 | // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX11,ELIDE,CXX11-ELIDE %s |
|---|
| 3 | // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++17 -w %s > %t 2>&1 |
|---|
| 4 | // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX17,ELIDE,CXX17-ELIDE %s |
|---|
| 5 | // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++11 -w -analyzer-config elide-constructors=false %s > %t 2>&1 |
|---|
| 6 | // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX11,NOELIDE,CXX11-NOELIDE %s |
|---|
| 7 | // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++17 -w -analyzer-config elide-constructors=false %s > %t 2>&1 |
|---|
| 8 | // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX17,NOELIDE,CXX17-NOELIDE %s |
|---|
| 9 | |
|---|
| 10 | class D { |
|---|
| 11 | public: |
|---|
| 12 | D(); |
|---|
| 13 | ~D(); |
|---|
| 14 | }; |
|---|
| 15 | |
|---|
| 16 | @interface E {} |
|---|
| 17 | -(void) foo: (D) d; |
|---|
| 18 | -(D) bar; |
|---|
| 19 | @end |
|---|
| 20 | |
|---|
| 21 | // CHECK: void passArgumentIntoMessage(E *e) |
|---|
| 22 | // CHECK: 1: e |
|---|
| 23 | // CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, LValueToRValue, E *) |
|---|
| 24 | // CXX11-ELIDE-NEXT: 3: D() (CXXConstructExpr, [B1.4], [B1.6], [B1.7], class D) |
|---|
| 25 | // CXX11-NOELIDE-NEXT: 3: D() (CXXConstructExpr, [B1.4], [B1.6], class D) |
|---|
| 26 | // CXX11-NEXT: 4: [B1.3] (BindTemporary) |
|---|
| 27 | // CXX11-NEXT: 5: [B1.4] (ImplicitCastExpr, NoOp, const class D) |
|---|
| 28 | // CXX11-NEXT: 6: [B1.5] |
|---|
| 29 | // CXX11-NEXT: 7: [B1.6] (CXXConstructExpr, [B1.8], [B1.9]+0, class D) |
|---|
| 30 | // CXX11-NEXT: 8: [B1.7] (BindTemporary) |
|---|
| 31 | // Double brackets trigger FileCheck variables, escape. |
|---|
| 32 | // CXX11-NEXT: 9: {{\[}}[B1.2] foo:[B1.8]] |
|---|
| 33 | // CXX11-NEXT: 10: ~D() (Temporary object destructor) |
|---|
| 34 | // CXX11-NEXT: 11: ~D() (Temporary object destructor) |
|---|
| 35 | // CXX17-NEXT: 3: D() (CXXConstructExpr, [B1.4], [B1.5]+0, class D) |
|---|
| 36 | // CXX17-NEXT: 4: [B1.3] (BindTemporary) |
|---|
| 37 | // Double brackets trigger FileCheck variables, escape. |
|---|
| 38 | // CXX17-NEXT: 5: {{\[}}[B1.2] foo:[B1.4]] |
|---|
| 39 | // CXX17-NEXT: 6: ~D() (Temporary object destructor) |
|---|
| 40 | void passArgumentIntoMessage(E *e) { |
|---|
| 41 | [e foo: D()]; |
|---|
| 42 | } |
|---|
| 43 | |
|---|
| 44 | // CHECK: void returnObjectFromMessage(E *e) |
|---|
| 45 | // CHECK: [B1] |
|---|
| 46 | // CHECK-NEXT: 1: e |
|---|
| 47 | // CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, LValueToRValue, E *) |
|---|
| 48 | // Double brackets trigger FileCheck variables, escape. |
|---|
| 49 | // CXX11-ELIDE-NEXT: 3: {{\[}}[B1.2] bar] (CXXRecordTypedCall, [B1.4], [B1.6], [B1.7]) |
|---|
| 50 | // CXX11-NOELIDE-NEXT: 3: {{\[}}[B1.2] bar] (CXXRecordTypedCall, [B1.4], [B1.6]) |
|---|
| 51 | // CXX11-NEXT: 4: [B1.3] (BindTemporary) |
|---|
| 52 | // CXX11-NEXT: 5: [B1.4] (ImplicitCastExpr, NoOp, const class D) |
|---|
| 53 | // CXX11-NEXT: 6: [B1.5] |
|---|
| 54 | // CXX11-NEXT: 7: [B1.6] (CXXConstructExpr, [B1.8], class D) |
|---|
| 55 | // CXX11-NEXT: 8: D d = [e bar]; |
|---|
| 56 | // CXX11-NEXT: 9: ~D() (Temporary object destructor) |
|---|
| 57 | // CXX11-NEXT: 10: [B1.8].~D() (Implicit destructor) |
|---|
| 58 | // Double brackets trigger FileCheck variables, escape. |
|---|
| 59 | // CXX17-NEXT: 3: {{\[}}[B1.2] bar] (CXXRecordTypedCall, [B1.5], [B1.4]) |
|---|
| 60 | // CXX17-NEXT: 4: [B1.3] (BindTemporary) |
|---|
| 61 | // CXX17-NEXT: 5: D d = [e bar]; |
|---|
| 62 | // CXX17-NEXT: 6: ~D() (Temporary object destructor) |
|---|
| 63 | // CXX17-NEXT: 7: [B1.5].~D() (Implicit destructor) |
|---|
| 64 | void returnObjectFromMessage(E *e) { |
|---|
| 65 | D d = [e bar]; |
|---|
| 66 | } |
|---|
| 67 | |
|---|