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 
6 struct S {
7   ~S();
8 };
9 
10 void foo() {
11   // Test that dumping symbols conjured on null statements doesn't crash.
12   S s;
13 }
14 
15 // CHECK: conj_$0\{int, LC1, no stmt, #1\}
16