| // 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 |