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

   1 // RUN: %exploded_graph_rewriter %s | FileCheck %s
   2
   3 // CHECK: <b>Store: </b>
   4 // CHECK-SAME: <font color="gray">(0x2)</font>
   5 // CHECK-SAME: <table border="0">
   6 // CHECK-SAME:   <tr>
   7 // CHECK-SAME:     <td align="left">
   8 // CHECK-SAME:       x
   9 // CHECK-SAME:     </td>
  10 // CHECK-SAME:     <td align="left">
  11 // CHECK-SAME:       0
  12 // CHECK-SAME:     </td>
  13 // CHECK-SAME:     <td align="left">
  14 // CHECK-SAME:       (<i>Default</i>)
  15 // CHECK-SAME:     </td>
  16 // CHECK-SAME:     <td align="left">
  17 // CHECK-SAME:       Undefined
  18 // CHECK-SAME:     </td>
  19 // CHECK-SAME:   </tr>
  20 // CHECK-SAME: </table>
  21 Node0x1 [shape=record,label=
  22  "{
  23     { "state_id": 2,
  24       "program_points": [
  25         {
  26           "kind": "BlockEntrance", "block_id": 1,
  27           "terminator": null, "term_kind": null,
  28           "tag": null, "node_id": 1,
  29           "has_report": 0, "is_sink": 0
  30         }
  31       ],
  32       "program_state": {
  33         "environment": null,
  34         "constraints": null,
  35         "dynamic_types": null,
  36         "checker_messages": null,
  37         "store": {
  38           "pointer": "0x2",
  39           "items": [
  40             {
  41               "cluster": "x",
  42               "pointer": "0x3",
  43               "items": [
  44                 {
  45                   "kind": "Default",
  46                   "offset": 0,
  47                   "value": "Undefined"
  48                 }
  49               ]
  50             }
  51           ]
  52         }
  53       }
  54     }
  55 \l}"];