blob: 6e8793b202be3be366cf0a49901f412b30964bf2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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
|
