Mercurial > hg > CbC > CbC_llvm

annotate clang/test/Analysis/exploded-graph-rewriter/store.dot @ 266:00f31e85ec16 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents c4bab56944e8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %exploded_graph_rewriter %s | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 // CHECK: <b>Store: </b>
anatofuz
parents:
diff changeset
4 // CHECK-SAME: <font color="gray">(0x2)</font>
anatofuz
parents:
diff changeset
5 // CHECK-SAME: <table border="0">
anatofuz
parents:
diff changeset
6 // CHECK-SAME: <tr>
anatofuz
parents:
diff changeset
7 // CHECK-SAME: <td align="left">
anatofuz
parents:
diff changeset
8 // CHECK-SAME: x
anatofuz
parents:
diff changeset
9 // CHECK-SAME: </td>
anatofuz
parents:
diff changeset
10 // CHECK-SAME: <td align="left">
anatofuz
parents:
diff changeset
11 // CHECK-SAME: 0
anatofuz
parents:
diff changeset
12 // CHECK-SAME: </td>
anatofuz
parents:
diff changeset
13 // CHECK-SAME: <td align="left">
anatofuz
parents:
diff changeset
14 // CHECK-SAME: (<i>Default</i>)
anatofuz
parents:
diff changeset
15 // CHECK-SAME: </td>
anatofuz
parents:
diff changeset
16 // CHECK-SAME: <td align="left">
anatofuz
parents:
diff changeset
17 // CHECK-SAME: Undefined
anatofuz
parents:
diff changeset
18 // CHECK-SAME: </td>
anatofuz
parents:
diff changeset
19 // CHECK-SAME: </tr>
anatofuz
parents:
diff changeset
20 // CHECK-SAME: </table>
anatofuz
parents:
diff changeset
21 Node0x1 [shape=record,label=
anatofuz
parents:
diff changeset
22 "{
anatofuz
parents:
diff changeset
23 { "state_id": 2,
anatofuz
parents:
diff changeset
24 "program_points": [
anatofuz
parents:
diff changeset
25 {
anatofuz
parents:
diff changeset
26 "kind": "BlockEntrance", "block_id": 1,
anatofuz
parents:
diff changeset
27 "terminator": null, "term_kind": null,
anatofuz
parents:
diff changeset
28 "tag": null, "node_id": 1,
anatofuz
parents:
diff changeset
29 "has_report": 0, "is_sink": 0
anatofuz
parents:
diff changeset
30 }
anatofuz
parents:
diff changeset
31 ],
anatofuz
parents:
diff changeset
32 "program_state": {
anatofuz
parents:
diff changeset
33 "environment": null,
anatofuz
parents:
diff changeset
34 "constraints": null,
236
c4bab56944e8 LLVM 16
kono
parents: 173
diff changeset
35 "dynamic_types": null,
150
anatofuz
parents:
diff changeset
36 "checker_messages": null,
anatofuz
parents:
diff changeset
37 "store": {
anatofuz
parents:
diff changeset
38 "pointer": "0x2",
anatofuz
parents:
diff changeset
39 "items": [
anatofuz
parents:
diff changeset
40 {
anatofuz
parents:
diff changeset
41 "cluster": "x",
anatofuz
parents:
diff changeset
42 "pointer": "0x3",
anatofuz
parents:
diff changeset
43 "items": [
anatofuz
parents:
diff changeset
44 {
anatofuz
parents:
diff changeset
45 "kind": "Default",
anatofuz
parents:
diff changeset
46 "offset": 0,
anatofuz
parents:
diff changeset
47 "value": "Undefined"
anatofuz
parents:
diff changeset
48 }
anatofuz
parents:
diff changeset
49 ]
anatofuz
parents:
diff changeset
50 }
anatofuz
parents:
diff changeset
51 ]
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53 }
anatofuz
parents:
diff changeset
54 }
anatofuz
parents:
diff changeset
55 \l}"];