// RUN: %exploded_graph_rewriter %s | FileCheck %s
// FIXME: Substitution doesn't seem to work on Windows.
// UNSUPPORTED: system-windows
// CHECK: Program points:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: BlockEdge
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: [B0] -> [B1]
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: BlockEntrance
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: [B1]
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME:
Node0x1 [shape=record,label=
"{
{ "node_id": 1, "pointer": "0x1", "has_report": false, "is_sink": false,
"program_state": null, "program_points": [
{
"kind": "Edge",
"src_id": 0,
"dst_id": 1,
"terminator": null,
"term_kind": null,
"tag": null
},
{
"kind": "BlockEntrance",
"block_id": 1,
"terminator": null,
"term_kind": null,
"tag": null
}
]}
\l}"];
// CHECK-NEXT: Program point:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: main.cpp:4:5:
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: DeclRefExpr
// CHECK-SAME: |
// CHECK-SAME: S3 |
// CHECK-SAME:
// CHECK-SAME: PreStmt
// CHECK-SAME: |
// CHECK-SAME: x |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: Tag:
// CHECK-SAME: ExprEngine : Clean Node
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME:
Node0x2 [shape=record,label=
"{
{ "node_id": 2, "pointer": "0x2", "has_report": false, "is_sink": false,
"program_state": null, "program_points": [
{
"kind": "Statement",
"stmt_kind": "DeclRefExpr",
"stmt_point_kind": "PreStmt",
"stmt_id": 3,
"pointer": "0x3",
"pretty": "x",
"location": {
"file": "main.cpp",
"line": 4,
"column": 5
},
"tag": "ExprEngine : Clean Node"
}
]}
\l}"];
// Test collapsing large pretty prints with braces.
// CHECK-NEXT: Program point:
// CHECK-SAME: \{ ... \} |
Node0x3 [shape=record,label=
"{
{ "node_id": 3, "pointer": "0x3", "has_report": false, "is_sink": false,
"program_state": null, "program_points": [
{
"kind": "Statement",
"stmt_kind": "CompoundStmt",
"stmt_point_kind": "PostStmt",
"stmt_id": 6,
"pointer": "0x6",
"pretty": "{ very very very very very very long pretty print }",
"location": {
"line": 7,
"column": 8
},
"tag": "ExprEngine : Clean Node"
}
]}
\l}"];
// CHECK-NEXT: Program point:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: main.cpp:8:9:
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: ImplicitCastExpr (LValueToRValue)
// CHECK-SAME:
// CHECK-SAME: |
// CHECK-SAME: S5 |
// CHECK-SAME:
// CHECK-SAME: PreStmt
// CHECK-SAME: |
// CHECK-SAME: y |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME: Tag:
// CHECK-SAME: ExprEngine : Clean Node
// CHECK-SAME: |
// CHECK-SAME:
// CHECK-SAME:
Node0x4 [shape=record,label=
"{
{ "node_id": 4, "pointer": "0x4", "has_report": false, "is_sink": false,
"program_state": null, "program_points": [
{
"kind": "Statement",
"stmt_kind": "ImplicitCastExpr",
"cast_kind": "LValueToRValue",
"stmt_point_kind": "PreStmt",
"stmt_id": 5,
"pointer": "0x6",
"pretty": "y",
"location": {
"file": "main.cpp",
"line": 8,
"column": 9
},
"tag": "ExprEngine : Clean Node"
}
]}
\l}"];