1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s
2 // RUN: cat %t.dot | FileCheck %s
3 // REQUIRES: asserts
4 
5 struct S {
6   ~S();
7 };
8 
9 struct T {
10   S s;
11   T() : s() {}
12 };
13 
14 void foo() {
15   // Test that dumping symbols conjured on null statements doesn't crash.
16   T t;
17 }
18 
19 // CHECK: (LC1,S{{[0-9]*}},construct into local variable) T t;\n : &t
20 // CHECK: (LC2,I{{[0-9]*}},construct into member variable) s : &t-\>s
21 // CHECK: conj_$5\{int, LC3, no stmt, #1\}
22 
23