144 lines · plain
1// RUN: %exploded_graph_rewriter -d %s | FileCheck %s2 3// No diffs on the first node, nothing to check.4Node0x1 [shape=record,label=5 "{6 {7 "state_id": 2,8 "program_points": [9 {10 "kind": "BlockEntrance", "block_id": 1,11 "terminator": null, "term_kind": null,12 "tag": null, "node_id": 1,13 "has_report": 0, "is_sink": 014 }15 ],16 "program_state": {17 "store": null,18 "constraints": null,19 "dynamic_types": null, 20 "checker_messages": null,21 "environment": {22 "pointer": "0x2",23 "items": [24 {25 "location_context": "#0 Call",26 "lctx_id": 3,27 "calling": "foo",28 "location": null,29 "items": [30 {31 "stmt_id": 5,32 "pretty": "bar()",33 "value": "Unknown"34 }35 ]36 }37 ]38 }39 }40 }41\l}"];42 43Node0x1 -> Node0x6;44 45// CHECK: Node0x6 [46// CHECK-SAME: <tr>47// CHECK-SAME: <td><font color="red">-</font></td>48// CHECK-SAME: <td align="left"><i>S5</i></td>49// CHECK-SAME: <td align="left">bar()</td>50// CHECK-SAME: <td align="left">Unknown</td>51// CHECK-SAME: </tr>52// CHECK-SAME: <tr>53// CHECK-SAME: <td><font color="forestgreen">+</font></td>54// CHECK-SAME: <td align="left"><i>S9</i></td>55// CHECK-SAME: <td align="left">baz()</td>56// CHECK-SAME: <td align="left">Undefined</td>57// CHECK-SAME: </tr>58Node0x6 [shape=record,label=59 "{60 {61 "state_id": 7,62 "program_points": [63 {64 "kind": "BlockEntrance", "block_id": 1,65 "terminator": null, "term_kind": null,66 "tag": null, "node_id": 1,67 "has_report": 0, "is_sink": 068 }69 ],70 "program_state": {71 "store": null,72 "constraints": null,73 "dynamic_types": null, 74 "checker_messages": null,75 "environment": {76 "pointer": "0x2",77 "items": [78 {79 "location_context": "#0 Call",80 "lctx_id": 3,81 "calling": "foo",82 "location": null,83 "items": [84 {85 "stmt_id": 9,86 "pretty": "baz()",87 "value": "Undefined"88 }89 ]90 }91 ]92 }93 }94 }95\l}"];96 97Node0x6 -> Node0x9;98// Make sure that the last node in the path is not diffed.99// CHECK: Node0x9 [100// CHECK-SAME: <tr>101// CHECK-SAME: <td></td>102// CHECK-SAME: <td align="left"><i>S9</i></td>103// CHECK-SAME: <td align="left">baz()</td>104// CHECK-SAME: <td align="left">Undefined</td>105// CHECK-SAME: </tr>106Node0x9 [shape=record,label=107 "{108 {109 "state_id": 7,110 "program_points": [111 {112 "kind": "BlockEntrance", "block_id": 1,113 "terminator": null, "term_kind": null,114 "tag": null, "node_id": 1,115 "has_report": 0, "is_sink": 0116 }117 ],118 "program_state": {119 "store": null,120 "constraints": null,121 "dynamic_types": null, 122 "checker_messages": null,123 "environment": {124 "pointer": "0x2",125 "items": [126 {127 "location_context": "#0 Call",128 "lctx_id": 3,129 "calling": "foo",130 "location": null,131 "items": [132 {133 "stmt_id": 9,134 "pretty": "baz()",135 "value": "Undefined"136 }137 ]138 }139 ]140 }141 }142 }143\l}"];144