66 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++11 -w %s > %t 2>&12// RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX11,CXX11-ELIDE %s3// RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++17 -w %s > %t 2>&14// RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX17 %s5// 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>&16// RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX11,CXX11-NOELIDE %s7// 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>&18// RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX17 %s9 10class D {11public:12 D();13 ~D();14};15 16@interface E {}17-(void) foo: (D) d;18-(D) bar;19@end20 21// CHECK: void passArgumentIntoMessage(E *e)22// CHECK: 1: e23// CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, LValueToRValue, E *)24// CXX11-ELIDE-NEXT: 3: D() (CXXConstructExpr, [B1.4], [B1.6], [B1.7], D)25// CXX11-NOELIDE-NEXT: 3: D() (CXXConstructExpr, [B1.4], [B1.6], D)26// CXX11-NEXT: 4: [B1.3] (BindTemporary)27// CXX11-NEXT: 5: [B1.4] (ImplicitCastExpr, NoOp, const D)28// CXX11-NEXT: 6: [B1.5]29// CXX11-NEXT: 7: [B1.6] (CXXConstructExpr, [B1.8], [B1.9]+0, 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, 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)40void passArgumentIntoMessage(E *e) {41 [e foo: D()];42}43 44// CHECK: void returnObjectFromMessage(E *e)45// CHECK: [B1]46// CHECK-NEXT: 1: e47// 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 D)53// CXX11-NEXT: 6: [B1.5]54// CXX11-NEXT: 7: [B1.6] (CXXConstructExpr, [B1.8], 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: [B1.5].~D() (Implicit destructor)63void returnObjectFromMessage(E *e) {64 D d = [e bar];65}66