diff options
Diffstat (limited to 'test/Analysis/dump_egraph.c')
-rw-r--r-- | test/Analysis/dump_egraph.c | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/test/Analysis/dump_egraph.c b/test/Analysis/dump_egraph.c deleted file mode 100644 index 6e8793b202be..000000000000 --- a/test/Analysis/dump_egraph.c +++ /dev/null @@ -1,16 +0,0 @@ -// 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 |