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

   1 // RUN: %exploded_graph_rewriter -d %s | FileCheck %s
   2
   3 Node0x1 [shape=record,label=
   4  "{
   5     {
   6       "state_id": 2,
   7       "program_points": [
   8         {
   9           "kind": "BlockEntrance", "block_id": 1,
  10           "terminator": null, "term_kind": null,
  11           "tag": null, "node_id": 1,
  12           "has_report": 0, "is_sink": 0
  13         }
  14       ],
  15       "program_state": {
  16         "store": null,
  17         "environment": null,
  18         "dynamic_types": null,
  19         "checker_messages": null,
  20         "constraints": [
  21           { "symbol": "reg_$0<x>", "range": "{ [0, 10] }" }
  22         ]
  23       }
  24     }
  25 \l}"];
  26
  27 Node0x1 -> Node0x3;
  28
  29 // CHECK: Node0x3 [
  30 // CHECK-SAME: <tr>
  31 // CHECK-SAME:   <td><font color="red">-</font></td>
  32 // CHECK-SAME:   <td align="left">reg_$0<x></td>
  33 // CHECK-SAME:   <td align="left">\{ [0, 10] \}</td>
  34 // CHECK-SAME: </tr>
  35 // CHECK-SAME: <tr>
  36 // CHECK-SAME:   <td><font color="forestgreen">+</font></td>
  37 // CHECK-SAME:   <td align="left">reg_$0<x></td>
  38 // CHECK-SAME:   <td align="left">\{ [0, 5] \}</td>
  39 // CHECK-SAME: </tr>
  40 Node0x3 [shape=record,label=
  41  "{
  42     {
  43       "state_id": 4,
  44       "program_points": [
  45         {
  46           "kind": "BlockEntrance", "block_id": 1,
  47           "terminator": null, "term_kind": null,
  48           "tag": null, "node_id": 1,
  49           "has_report": 0, "is_sink": 0
  50         }
  51       ],
  52       "program_state": {
  53         "store": null,
  54         "environment": null,
  55         "dynamic_types": null,
  56         "checker_messages": null,
  57         "constraints": [
  58           { "symbol": "reg_$0<x>", "range": "{ [0, 5] }" }
  59         ]
  60       }
  61     }
  62 \l}"];
  63
  64 Node0x3 -> Node0x5;
  65
  66 Node0x5 [shape=record,label=
  67  "{
  68     {
  69       "state_id": 6,
  70       "program_points": [
  71         {
  72           "kind": "BlockEntrance", "block_id": 1,
  73           "terminator": null, "term_kind": null,
  74           "tag": null, "node_id": 1,
  75           "has_report": 0, "is_sink": 0
  76         }
  77       ],
  78       "program_state": {
  79         "store": null,
  80         "environment": null,
  81         "constraints": null,
  82         "dynamic_types": null,
  83         "checker_messages": null
  84       }
  85     }
  86 \l}"];