1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -std=c++20 %s 2>&1 | FileCheck %s 2 3 struct A { 4 static A a; 5 char b; 6 friend bool operator==(A, A) = default; 7 }; 8 bool _ = A() == A::a; 9 10 // FIXME: steps 1 and 5 show anonymous function parameters are 11 // not handled correctly. 12 13 // CHECK-LABEL: bool operator==(A, A) noexcept = default 14 // CHECK-NEXT: [B2 (ENTRY)] 15 // CHECK-NEXT: Succs (1): B1 16 // CHECK: [B1] 17 // CHECK-NEXT: 1: function-parameter-0-0 18 // CHECK-NEXT: 2: [B1.1].b 19 // CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, LValueToRValue, char) 20 // CHECK-NEXT: 4: [B1.3] (ImplicitCastExpr, IntegralCast, int) 21 // CHECK-NEXT: 5: function-parameter-0-1 22 // CHECK-NEXT: 6: [B1.5].b 23 // CHECK-NEXT: 7: [B1.6] (ImplicitCastExpr, LValueToRValue, char) 24 // CHECK-NEXT: 8: [B1.7] (ImplicitCastExpr, IntegralCast, int) 25 // CHECK-NEXT: 9: [B1.4] == [B1.8] 26 // CHECK-NEXT: 10: return [B1.9]; 27 // CHECK-NEXT: Preds (1): B2 28 // CHECK-NEXT: Succs (1): B0 29 // CHECK: [B0 (EXIT)] 30 // CHECK-NEXT: Preds (1): B1 31