diff options
Diffstat (limited to 'test/Analysis/dump_egraph.c')
| -rw-r--r-- | test/Analysis/dump_egraph.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Analysis/dump_egraph.c b/test/Analysis/dump_egraph.c new file mode 100644 index 000000000000..6e8793b202be --- /dev/null +++ b/test/Analysis/dump_egraph.c @@ -0,0 +1,16 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s +// RUN: cat %t.dot | FileCheck %s +// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot -trim-egraph %s +// REQUIRES: asserts + +int getJ(); + +int foo() { + int *x = 0, *y = 0; + return *x + *y; +} + +// CHECK: digraph "Exploded Graph" { +// CHECK: Edge: (B2, B1) +// CHECK: Block Entrance: B1 +// CHECK: Bug report attached |