| // RUN: %exploded_graph_rewriter %s | FileCheck %s |
| |
| // FIXME: Substitution doesn't seem to work on Windows. |
| // UNSUPPORTED: system-windows |
| |
| // CHECK: <b>Expressions: </b> |
| // CHECK-SAME: <table border="0"> |
| // CHECK-SAME: <tr> |
| // CHECK-SAME: <td align="left"> |
| // CHECK-SAME: <b>#0 Call</b> |
| // CHECK-SAME: </td> |
| // CHECK-SAME: <td align="left" colspan="2"> |
| // CHECK-SAME: <font color="gray60">foo </font> |
| // CHECK-SAME: (environment.cpp:<b>4</b>:<b>6</b> |
| // CHECK-SAME: <font color="royalblue1"> |
| // CHECK-SAME: (<i>spelling at </i> environment.h:<b>7</b>:<b>8</b>) |
| // CHECK-SAME: </font>) |
| // CHECK-SAME: </td> |
| // CHECK-SAME: </tr> |
| // CHECK-SAME: <tr> |
| // CHECK-SAME: <td align="left"> |
| // CHECK-SAME: <i>S5</i> |
| // CHECK-SAME: </td> |
| // CHECK-SAME: <td align="left"> |
| // CHECK-SAME: bar() |
| // CHECK-SAME: </td> |
| // CHECK-SAME: <td align="left"> |
| // CHECK-SAME: Unknown |
| // CHECK-SAME: </td> |
| // CHECK-SAME: </tr> |
| // CHECK-SAME: </table> |
| Node0x1 [shape=record,label= |
| "{ |
| { "node_id": 1, |
| "pointer": "0x1", |
| "has_report": false, |
| "is_sink": false, |
| "state_id": 2, |
| "program_points": [ |
| { |
| "kind": "BlockEntrance", "block_id": 1, |
| "terminator": null, "term_kind": null, |
| "tag": null, "node_id": 1, |
| "has_report": 0, "is_sink": 0 |
| } |
| ], |
| "program_state": { |
| "store": null, |
| "constraints": null, |
| "dynamic_types": null, |
| "constructing_objects": null, |
| "checker_messages": null, |
| "environment": { |
| "pointer": "0x2", |
| "items": [ |
| { |
| "location_context": "#0 Call", |
| "lctx_id": 3, |
| "calling": "foo", |
| "location": { |
| "file": "environment.cpp", |
| "line": 4, |
| "column": 6, |
| "spelling": { |
| "file": "environment.h", |
| "line": 7, |
| "column": 8 |
| } |
| }, |
| "items": [ |
| { |
| "stmt_id": 5, |
| "pretty": "bar()", |
| "value": "Unknown" |
| } |
| ] |
| } |
| ] |
| } |
| } |
| } |
| \l}"]; |
