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 "constructing_objects": null, 49 "checker_messages": null, 50 "environment": { 51 "pointer": "0x2", 52 "items": [ 53 { 54 "location_context": "#0 Call", 55 "lctx_id": 3, 56 "calling": "foo", 57 "location": { 58 "file": "environment.cpp", 59 "line": 4, 60 "column": 6, 61 "spelling": { 62 "file": "environment.h", 63 "line": 7, 64 "column": 8 65 } 66 }, 67 "items": [ 68 { 69 "stmt_id": 5, 70 "pretty": "bar()", 71 "value": "Unknown" 72 } 73 ] 74 } 75 ] 76 } 77 } 78 } 79\l}"]; 80