19 lines · cpp
1// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux-gnu \2// RUN: -analyzer-checker=core \3// RUN: -analyzer-dump-egraph=%t.dot %s4// RUN: %exploded_graph_rewriter --verbose %t.dot 2>&1 | FileCheck %s5// REQUIRES: system-windows6 7// Angle brackets shall not be presented in the field `file`,8// because exploded_graph_rewriter handles it as a file path9// and such symbols are forbidden on Windows platform.10 11void test() {12 // This produces angle brackets.13 char text[] = __FILE__;14}15 16// This test is passed if exploded_graph_rewriter handles dot file without errors.17// CHECK: DEBUG:root:Line: digraph "Exploded Graph"18// CHECK: \"file\": \"scratch space\"19