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