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

   1 // RUN: %exploded_graph_rewriter -d %s | FileCheck %s
   2
   3 Node0x1 [shape=record,label=
   4  "{
   5     { "state_id": 2,
   6       "program_points": [
   7         {
   8           "kind": "BlockEntrance", "block_id": 1,
   9           "terminator": null, "term_kind": null,
  10           "tag": null, "node_id": 1,
  11           "has_report": 0, "is_sink": 0
  12         }
  13       ],
  14       "program_state": {
  15         "environment": null,
  16         "store": null,
  17         "constraints": null,
  18         "dynamic_types": null,
  19         "constructing_objects": null,
  20         "checker_messages": [
  21           { "checker": "FooChecker", "messages": [
  22             "Foo: Bar"
  23           ]},
  24           { "checker": "BarChecker", "messages": [
  25             "Bar: Foo"
  26           ]}
  27         ]
  28       }
  29     }
  30 \l}"];
  31
  32 Node0x1 -> Node0x4;
  33
  34
  35 // CHECK: Node0x4 [
  36 // CHECK-SAME: <tr>
  37 // CHECK-SAME:   <td><font color="red">-</font></td>
  38 // CHECK-SAME:   <td align="left"><i>BarChecker</i>:</td>
  39 // CHECK-SAME: </tr>
  40 // CHECK-SAME: <tr>
  41 // CHECK-SAME:   <td><font color="red">-</font></td>
  42 // CHECK-SAME:   <td align="left">Bar: Foo</td>
  43 // CHECK-SAME: </tr>
  44 // CHECK-SAME: <tr>
  45 // CHECK-SAME:   <td></td>
  46 // CHECK-SAME:   <td align="left"><i>FooChecker</i>:</td>
  47 // CHECK-SAME: </tr>
  48 // CHECK-SAME: <tr>
  49 // CHECK-SAME:   <td><font color="forestgreen">+</font></td>
  50 // CHECK-SAME:   <td align="left"> Bar: Foo</td>
  51 // CHECK-SAME: </tr>
  52 // CHECK-SAME: <tr>
  53 // CHECK-SAME:   <td><font color="forestgreen">+</font></td>
  54 // CHECK-SAME:   <td align="left"><i>DunnoWhateverSomeOtherChecker</i>:</td>
  55 // CHECK-SAME: </tr>
  56 // CHECK-SAME: <tr>
  57 // CHECK-SAME:   <td><font color="forestgreen">+</font></td>
  58 // CHECK-SAME:   <td align="left">Dunno, some other message.</td>
  59 // CHECK-SAME: </tr>
  60 Node0x4 [shape=record,label=
  61  "{
  62     {
  63       "state_id": 5,
  64       "program_points": [
  65         {
  66           "kind": "BlockEntrance", "block_id": 1,
  67           "terminator": null, "term_kind": null,
  68           "tag": null, "node_id": 1,
  69           "has_report": 0, "is_sink": 0
  70         }
  71       ],
  72       "program_state": {
  73         "environment": null,
  74         "store": null,
  75         "constraints": null,
  76         "dynamic_types": null,
  77         "constructing_objects": null,
  78         "checker_messages": [
  79           { "checker": "FooChecker", "messages": [
  80             "Foo: Bar",
  81             "Bar: Foo"
  82           ]},
  83           { "checker": "DunnoWhateverSomeOtherChecker", "messages": [
  84             "Dunno, some other message."
  85           ]}
  86         ]
  87       }
  88     }
  89 \l}"];
  90
  91 Node0x4 -> Node0x6;
  92
  93 Node0x6 [shape=record,label=
  94  "{
  95     { "state_id": 7,
  96       "program_points": [
  97         {
  98           "kind": "BlockEntrance", "block_id": 1,
  99           "terminator": null, "term_kind": null,
 100           "tag": null, "node_id": 1,
 101           "has_report": 0, "is_sink": 0
 102         }
 103       ],
 104       "program_state": null
 105     }
 106 \l}"];