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

   1 // RUN: %exploded_graph_rewriter %s | FileCheck %s
   2
   3 // CHECK: <tr><td align="left"><b>Ranges: </b></td></tr>
   4 // CHECK-SAME: <tr><td align="left"><table border="0">
   5 // CHECK-SAME:   <tr>
   6 // CHECK-SAME:     <td align="left">reg_$0<x></td>
   7 // CHECK-SAME:     <td align="left">\{ [0, 0] \}</td>
   8 // CHECK-SAME:   </tr>
   9 // CHECK-SAME: </table></td></tr>
  10 Node0x1 [shape=record,label=
  11  "{
  12     {
  13       "state_id": 2,
  14       "program_points": [
  15         {
  16           "kind": "BlockEntrance", "block_id": 1,
  17           "terminator": null, "term_kind": null,
  18           "tag": null, "node_id": 1,
  19           "has_report": 0, "is_sink": 0
  20         }
  21       ],
  22       "program_state": {
  23         "store": null,
  24         "environment": null,
  25         "dynamic_types": null,
  26         "constructing_objects": null,
  27         "checker_messages": null,
  28         "constraints": [
  29           { "symbol": "reg_$0<x>", "range": "{ [0, 0] }" }
  30         ]
  31       }
  32     }
  33 \l}"];