113 lines · plain
1// RUN: %exploded_graph_rewriter -d %s | FileCheck %s2 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": 016 }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": 069 }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": 0108 }109 ],110 "program_state": null111 }112\l}"];113