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

   1 // RUN: %exploded_graph_rewriter %s | FileCheck %s
   2
   3 // CHECK: <b>Checker State: </b>
   4 // CHECK-SAME: <td align="left"><i>alpha.core.FooChecker</i>:</td>
   5 // CHECK-SAME: <td align="left">Foo stuff:</td>
   6 // CHECK-SAME: <td align="left">Foo: Bar</td>
   7 Node0x1 [shape=record,label=
   8  "{
   9     { "node_id": 1,
  10       "pointer": "0x1",
  11       "has_report": false,
  12       "is_sink": false,
  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         "constraints": null,
  25         "dynamic_types": null,
  26         "environment": null,
  27         "checker_messages": [
  28           { "checker": "alpha.core.FooChecker", "messages": [
  29             "Foo stuff:",
  30             "Foo: Bar"
  31           ]}
  32         ]
  33       }
  34     }
  35 \l}"];