1 // RUN: %exploded_graph_rewriter %s | FileCheck %s
3 // CHECK: <b>Program points:</b>
4 // CHECK-SAME: <table border="0" align="left" width="0">
6 // CHECK-SAME: <td width="0">
8 // CHECK-SAME: <td align="left" width="0">
9 // CHECK-SAME: <font color="gold3">BlockEdge</font>
11 // CHECK-SAME: <td align="left">
12 // CHECK-SAME: [B0] -> [B1]
16 // CHECK-SAME: <td width="0">
18 // CHECK-SAME: <td align="left" width="0">
19 // CHECK-SAME: <font color="gold3">BlockEntrance</font>
21 // CHECK-SAME: <td align="left">
25 // CHECK-SAME: </table>
26 Node0x1 [
shape=
record,label=
29 "state_id
": 0, "program_state
": null, "program_points
": [
42 "kind
": "BlockEntrance
",
54 // CHECK-NEXT: <b>Program point:</b>
55 // CHECK-SAME: <table border="0" align="left" width="0">
57 // CHECK-SAME: <td align="left" width="0">
58 // CHECK-SAME: main.cpp:<b>4</b>:<b>5</b>:
60 // CHECK-SAME: <td align="left" width="0">
61 // CHECK-SAME: <font color="cyan4">DeclRefExpr</font>
63 // CHECK-SAME: <td align="left"><i>S3</i></td>
64 // CHECK-SAME: <td align="left">
65 // CHECK-SAME: <font color="cyan3">PreStmt</font>
67 // CHECK-SAME: <td align="left">x</td>
70 // CHECK-SAME: <td width="0">
72 // CHECK-SAME: <td colspan="3" align="left">
73 // CHECK-SAME: <b>Tag: </b>
74 // CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
77 // CHECK-SAME: </table>
78 Node0x3 [
shape=
record,label=
80 { "state_id
": 0, "program_state
": null, "program_points
": [
83 "stmt_kind
": "DeclRefExpr
",
84 "stmt_point_kind
": "PreStmt
",
93 "tag
": "ExprEngine
: Clean
Node",
102 // Test collapsing large pretty prints with braces.
104 // CHECK-NEXT: <b>Program point:</b>
105 // CHECK-SAME: <td align="left">\{ ... \}</td>
106 Node0x4 [
shape=
record,label=
109 "state_id
": 0, "program_state
": null, "program_points
": [
112 "stmt_kind
": "CompoundStmt
",
113 "stmt_point_kind
": "PostStmt
",
116 "pretty
": "{ very very very very very very long pretty print }
",
121 "tag
": "ExprEngine
: Clean
Node",
129 // CHECK-NEXT: <b>Program point:</b>
130 // CHECK-SAME: <table border="0" align="left" width="0">
132 // CHECK-SAME: <td align="left" width="0">
133 // CHECK-SAME: main.cpp:<b>8</b>:<b>9</b>:
135 // CHECK-SAME: <td align="left" width="0">
136 // CHECK-SAME: <font color="cyan4">
137 // CHECK-SAME: ImplicitCastExpr (LValueToRValue)
138 // CHECK-SAME: </font>
140 // CHECK-SAME: <td align="left"><i>S5</i></td>
141 // CHECK-SAME: <td align="left">
142 // CHECK-SAME: <font color="cyan3">PreStmt</font>
144 // CHECK-SAME: <td align="left">y</td>
147 // CHECK-SAME: <td width="0">
149 // CHECK-SAME: <td colspan="3" align="left">
150 // CHECK-SAME: <b>Tag: </b>
151 // CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
154 // CHECK-SAME: </table>
155 Node0x5 [
shape=
record,label=
157 { "state_id
": 0, "program_state
": null, "program_points
": [
160 "stmt_kind
": "ImplicitCastExpr
",
161 "cast_kind
": "LValueToRValue
",
162 "stmt_point_kind
": "PreStmt
",
171 "tag
": "ExprEngine
: Clean
Node",