1// RUN: %exploded_graph_rewriter %s | FileCheck %s 2 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: Unknown 26// 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": 0 42 } 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": 8 64 } 65 }, 66 "items": [ 67 { 68 "stmt_id": 5, 69 "pretty": "bar()", 70 "value": "Unknown" 71 } 72 ] 73 } 74 ] 75 } 76 } 77 } 78\l}"]; 79