clang/test/Analysis/dump_egraph.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s
// RUN: cat %t.dot | FileCheck %s
// REQUIRES: asserts


struct S {
  ~S();
};

void foo() {
  // Test that dumping symbols conjured on null statements doesn't crash.
  S s;
}

// CHECK: conj_$0\{int, LC1, no stmt, #1\}