79 lines · plain
1// RUN: %exploded_graph_rewriter %s | FileCheck %s2 3// CHECK: <b>Expressions: </b>4// CHECK-SAME: <table border="0">5// CHECK-SAME: <tr>6// CHECK-SAME: <td align="left">7// CHECK-SAME: <b>#0 Call</b>8// CHECK-SAME: </td>9// CHECK-SAME: <td align="left" colspan="2">10// CHECK-SAME: <font color="gray60">foo </font>11// CHECK-SAME: (environment.cpp:<b>4</b>:<b>6</b>12// CHECK-SAME: <font color="royalblue1">13// CHECK-SAME: (<i>spelling at </i> environment.h:<b>7</b>:<b>8</b>)14// CHECK-SAME: </font>)15// CHECK-SAME: </td>16// CHECK-SAME: </tr>17// CHECK-SAME: <tr>18// CHECK-SAME: <td align="left">19// CHECK-SAME: <i>S5</i>20// CHECK-SAME: </td>21// CHECK-SAME: <td align="left">22// CHECK-SAME: bar()23// CHECK-SAME: </td>24// CHECK-SAME: <td align="left">25// CHECK-SAME: Unknown26// CHECK-SAME: </td>27// CHECK-SAME: </tr>28// CHECK-SAME: </table>29Node0x1 [shape=record,label=30 "{31 { "node_id": 1,32 "pointer": "0x1",33 "has_report": false,34 "is_sink": false,35 "state_id": 2,36 "program_points": [37 {38 "kind": "BlockEntrance", "block_id": 1,39 "terminator": null, "term_kind": null,40 "tag": null, "node_id": 1,41 "has_report": 0, "is_sink": 042 }43 ],44 "program_state": {45 "store": null,46 "constraints": null,47 "dynamic_types": null, 48 "checker_messages": null,49 "environment": {50 "pointer": "0x2",51 "items": [52 {53 "location_context": "#0 Call",54 "lctx_id": 3,55 "calling": "foo",56 "location": {57 "file": "environment.cpp",58 "line": 4,59 "column": 6,60 "spelling": {61 "file": "environment.h",62 "line": 7,63 "column": 864 }65 },66 "items": [67 {68 "stmt_id": 5,69 "pretty": "bar()",70 "value": "Unknown"71 }72 ]73 }74 ]75 }76 }77 }78\l}"];79