56 lines · plain
1// RUN: %exploded_graph_rewriter %s | FileCheck %s2 3// CHECK: <b>Store: </b>4// CHECK-SAME: <font color="gray">(0x2)</font>5// CHECK-SAME: <table border="0">6// CHECK-SAME: <tr>7// CHECK-SAME: <td align="left">8// CHECK-SAME: x9// CHECK-SAME: </td>10// CHECK-SAME: <td align="left">11// CHECK-SAME: 012// CHECK-SAME: </td>13// CHECK-SAME: <td align="left">14// CHECK-SAME: (<i>Default</i>)15// CHECK-SAME: </td>16// CHECK-SAME: <td align="left">17// CHECK-SAME: Undefined18// CHECK-SAME: </td>19// CHECK-SAME: </tr>20// CHECK-SAME: </table>21Node0x1 [shape=record,label=22 "{23 { "state_id": 2,24 "program_points": [25 {26 "kind": "BlockEntrance", "block_id": 1,27 "terminator": null, "term_kind": null,28 "tag": null, "node_id": 1,29 "has_report": 0, "is_sink": 030 }31 ],32 "program_state": {33 "environment": null,34 "constraints": null,35 "dynamic_types": null, 36 "checker_messages": null,37 "store": {38 "pointer": "0x2",39 "items": [40 {41 "cluster": "x",42 "pointer": "0x3",43 "items": [44 {45 "kind": "Default",46 "offset": 0,47 "value": "Undefined"48 }49 ]50 }51 ]52 }53 }54 }55\l}"];56