1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
|
function_decl func1:
bind_expr : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
pointer_type : ptr1, ptr2, ptr3,
record_type : ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
decl_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
block : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func2:
bind_expr : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
pointer_type : ptr1, ptr2, ptr3,
record_type : ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
statement_list : ptr1, ptr2, ptr3,
decl_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
component_ref : ptr1, ptr2, ptr3,
test19.cpp: In function 'int func2(Data1*, Data1*)':
test19.cpp:16:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 100;
^
indirect_ref : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
integer_cst 100: ptr1, ptr2, ptr3,
block : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func3:
bind_expr : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
pointer_type : ptr1, ptr2, ptr3,
record_type : ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
statement_list : ptr1, ptr2, ptr3,
decl_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
if_stmt : ptr1, ptr2, ptr3,
ne_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
component_ref : ptr1, ptr2,
indirect_ref : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2,
field_decl val: ptr1, ptr2,
integer_cst 32: ptr1, ptr2,
integer_cst 100: ptr1, ptr2,
block : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func4:
bind_expr : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
pointer_type : ptr1, ptr2, ptr3,
record_type : ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
statement_list : ptr1, ptr2, ptr3,
decl_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
if_stmt : ptr1, ptr2, ptr3,
ne_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
component_ref : ptr1, ptr2,
indirect_ref : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2,
field_decl val: ptr1, ptr2,
integer_cst 32: ptr1, ptr2,
integer_cst 100: ptr1, ptr2,
if_stmt : ptr1, ptr2, ptr3,
truth_andif_expr : ptr1, ptr2, ptr3,
eq_expr : ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
pointer_type : ptr1, ptr2, ptr3,
record_type : ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
ne_expr : ptr1, ptr2, ptr3,
parm_decl ptr2: ptr1, ptr2, ptr3,
pointer_type : ptr1, ptr2, ptr3,
record_type : ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
cleanup_point_expr : ptr1, ptr3,
expr_stmt : ptr1, ptr3,
convert_expr : ptr1, ptr3,
modify_expr : ptr1, ptr3,
component_ref : ptr1, ptr3,
indirect_ref : ptr1, ptr3,
parm_decl ptr2: ptr1, ptr3,
pointer_type : ptr1, ptr3,
record_type : ptr1, ptr3,
type_decl Data1: ptr1, ptr3,
field_decl val: ptr1, ptr3,
integer_cst 32: ptr1, ptr3,
type_decl Data1: ptr1, ptr3,
integer_cst 64: ptr1, ptr3,
field_decl val: ptr1, ptr3,
integer_cst 32: ptr1, ptr3,
integer_cst 200: ptr1, ptr3,
block : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
|
