| 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 | |
|---|