1 // FIXME: Figure out how to use %clang_analyze_cc1 with our lit.local.cfg.
2 // RUN: %clang_cc1 -analyze -triple x86_64-unknown-linux-gnu \
3 // RUN: -analyzer-checker=core \
4 // RUN: -analyzer-dump-egraph=%t.dot %s
5 // RUN: %exploded_graph_rewriter --verbose %t.dot 2>&1 | FileCheck %s
6 // REQUIRES: asserts
7 // UNSUPPORTED: !windows
8
9 // Angle brackets shall not be presented in the field `file`,
10 // because exploded_graph_rewriter handles it as a file path
11 // and such symbols are forbidden on Windows platform.
12
test()13 void test() {
14 // This produces angle brackets.
15 char text[] = __FILE__;
16 }
17
18 // This test is passed if exploded_graph_rewriter handles dot file without errors.
19 // CHECK: DEBUG:root:Line: digraph "Exploded Graph"
20 // CHECK: \"file\": \"scratch space\"
21