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