test/Analysis/dump_egraph.cpp

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

struct S {
  ~S();
};

struct T {
  S s;
  T() : s() {}
};

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

// CHECK: (LC1,S{{[0-9]*}},construct into local variable) T t;\n : &t
// CHECK: (LC2,I{{[0-9]*}},construct into member variable) s : &t-\>s
// CHECK: conj_$5\{int, LC3, no stmt, #1\}