clang/test/Analysis/exploded-graph-rewriter/environment.dot

   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>
  29 Node0x1 [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}"];