1// RUN: %exploded_graph_rewriter -d %s | FileCheck %s 2 3Node0x1 [shape=record,label= 4 "{ 5 { "node_id": 1, 6 "pointer": "0x1", 7 "has_report": false, 8 "is_sink": false, 9 "state_id": 2, 10 "program_points": [ 11 { 12 "kind": "BlockEntrance", "block_id": 1, 13 "terminator": null, "term_kind": null, 14 "tag": null, "node_id": 1, 15 "has_report": 0, "is_sink": 0 16 } 17 ], 18 "program_state": { 19 "environment": null, 20 "constraints": null, 21 "dynamic_types": null, 22 "checker_messages": null, 23 "store": { 24 "pointer": "0x2", 25 "items": [ 26 { 27 "cluster": "x", 28 "pointer": "0x3", 29 "items": [ 30 { 31 "kind": "Default", 32 "offset": 0, 33 "value": "Undefined" 34 } 35 ] 36 } 37 ] 38 } 39 } 40 } 41\l}"]; 42 43Node0x1 -> Node0x4; 44 45// CHECK: Node0x4 [ 46// CHECK-SAME: <tr> 47// CHECK-SAME: <td><font color="red">-</font></td> 48// CHECK-SAME: <td align="left">x</td><td align="left">0</td> 49// CHECK-SAME: <td align="left">(<i>Default</i>)</td> 50// CHECK-SAME: <td align="left">Undefined</td> 51// CHECK-SAME: </tr> 52// CHECK-SAME: <tr> 53// CHECK-SAME: <td><font color="forestgreen">+</font></td> 54// CHECK-SAME: <td align="left">x</td> 55// CHECK-SAME: <td align="left">0</td> 56// CHECK-SAME: <td align="left">(<i>Default</i>)</td> 57// CHECK-SAME: <td align="left">Unknown</td> 58// CHECK-SAME: </tr> 59Node0x4 [shape=record,label= 60 "{ 61 { 62 "state_id": 5, 63 "program_points": [ 64 { 65 "kind": "BlockEntrance", "block_id": 1, 66 "terminator": null, "term_kind": null, 67 "tag": null, "node_id": 1, 68 "has_report": 0, "is_sink": 0 69 } 70 ], 71 "program_state": { 72 "environment": null, 73 "constraints": null, 74 "dynamic_types": null, 75 "checker_messages": null, 76 "store": { 77 "pointer": "0x5", 78 "items": [ 79 { 80 "cluster": "x", 81 "pointer": "0x3", 82 "items": [ 83 { 84 "kind": "Default", 85 "offset": 0, 86 "value": "Unknown" 87 } 88 ] 89 } 90 ] 91 } 92 } 93 } 94\l}"]; 95 96Node0x4 -> Node0x6; 97 98Node0x6 [shape=record,label= 99 "{ 100 { 101 "state_id": 7, 102 "program_points": [ 103 { 104 "kind": "BlockEntrance", "block_id": 1, 105 "terminator": null, "term_kind": null, 106 "tag": null, "node_id": 1, 107 "has_report": 0, "is_sink": 0 108 } 109 ], 110 "program_state": null 111 } 112\l}"]; 113