Ted Kremenek | 83748e2 | 2012-04-12 20:34:52 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -analyze -analyzer-checker=debug.DumpCFG %s > %t 2>&1 |
| 2 | // RUN: FileCheck --input-file=%t %s |
| 3 | |
| 4 | struct X { X(const X&); }; |
| 5 | void f(X x) { (void) [x]{}; } |
| 6 | |
| 7 | // CHECK: [B2 (ENTRY)] |
| 8 | // CHECK: Succs (1): B1 |
| 9 | // CHECK: [B1] |
| 10 | // CHECK: 1: x |
| 11 | // CHECK: 2: [B1.1] (ImplicitCastExpr, NoOp, const struct X) |
| 12 | // CHECK: 3: [B1.2] (CXXConstructExpr, struct X) |
Richard Smith | 04fa7a3 | 2013-09-28 04:02:39 +0000 | [diff] [blame] | 13 | // CHECK: 4: [x] { |
Ted Kremenek | 83748e2 | 2012-04-12 20:34:52 +0000 | [diff] [blame] | 14 | // CHECK: } |
| 15 | // CHECK: 5: (void)[B1.4] (CStyleCastExpr, ToVoid, void) |
| 16 | // CHECK: Preds (1): B2 |
| 17 | // CHECK: Succs (1): B0 |
| 18 | // CHECK: [B0 (EXIT)] |
| 19 | // CHECK: Preds (1): B1 |
| 20 | |