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

   1 // RUN: %exploded_graph_rewriter %s \
   2 // RUN:     | FileCheck -check-prefixes=NORMAL %s
   3 // RUN: %exploded_graph_rewriter -t %s \
   4 // RUN:     | FileCheck -check-prefixes=TOPOLOGY %s
   5
   6 // NORMAL: Program point
   7 // TOPOLOGY-NOT: Program point
   8 // NORMAL: Checker State
   9 // TOPOLOGY-NOT: Checker State
  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         "environment": null,
  24         "constraints": null,
  25         "dynamic_types": null,
  26         "constructing_objects": null,
  27         "checker_messages": [
  28           { "checker": "foo", "messages": ["bar"] }
  29         ],
  30         "store": null
  31       }
  32     }
  33 \l}"];