summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--test/test07-05.txt158
-rw-r--r--test/test08-03.txt52
-rw-r--r--test/test11-03.txt252
-rw-r--r--test/test12-03.txt52
-rw-r--r--test/test16-03.txt222
-rw-r--r--test/test17-03.txt160
-rw-r--r--test/test18-03.txt170
-rw-r--r--test/test19-03.txt274
-rw-r--r--test/test20-03.txt250
-rw-r--r--test/test22-03.txt144
10 files changed, 867 insertions, 867 deletions
diff --git a/test/test07-05.txt b/test/test07-05.txt
index 9b63bb9..144221d 100644
--- a/test/test07-05.txt
+++ b/test/test07-05.txt
@@ -2416,45 +2416,45 @@ cleanup_point_expr : aptr,
expr_stmt : aptr,
convert_expr : aptr,
modify_expr : aptr,
-component_ref : aptr, this->k,
-indirect_ref : aptr, this->k,
-parm_decl this: aptr, this->k,
-pointer_type : aptr, this->k,
-record_type : aptr, this->k,
-type_decl Object1: aptr, this->k,
-field_decl k: aptr, this->k,
-integer_cst 32: aptr, this->k,
-field_decl vec1: aptr, this->k,
-integer_cst 192: aptr, this->k,
-type_decl Object1: aptr, this->k,
-integer_cst 64: aptr, this->k,
-field_decl k: aptr, this->k,
-integer_cst 32: aptr, this->k,
-integer_cst 3: aptr, this->k,
+component_ref : aptr,
+indirect_ref : aptr,
+parm_decl this: aptr,
+pointer_type : aptr,
+record_type : aptr,
+type_decl Object1: aptr,
+field_decl k: aptr,
+integer_cst 32: aptr,
+field_decl vec1: aptr,
+integer_cst 192: aptr,
+type_decl Object1: aptr,
+integer_cst 64: aptr,
+field_decl k: aptr,
+integer_cst 32: aptr,
+integer_cst 3: aptr,
function_decl func5:
cleanup_point_expr : sptr,
expr_stmt : sptr,
convert_expr : sptr,
modify_expr : sptr,
-component_ref : sptr, sptr->num,
+component_ref : sptr,
test07.cpp: In member function 'void Object1::func5(Struct1*)':
test07.cpp:43:15: warning: Using parameter 'sptr' without checking for null pointer
sptr->num = 0;
^
-indirect_ref : sptr, sptr->num,
-parm_decl sptr: sptr, sptr->num,
-pointer_type : sptr, sptr->num,
-record_type : sptr, sptr->num,
-type_decl Struct1: sptr, sptr->num,
-field_decl str: sptr, sptr->num,
-integer_cst 64: sptr, sptr->num,
-field_decl num: sptr, sptr->num,
-integer_cst 32: sptr, sptr->num,
-type_decl Struct1: sptr, sptr->num,
-integer_cst 64: sptr, sptr->num,
-field_decl num: sptr, sptr->num,
-integer_cst 32: sptr, sptr->num,
-integer_cst 0: sptr, sptr->num,
+indirect_ref : sptr,
+parm_decl sptr: sptr,
+pointer_type : sptr,
+record_type : sptr,
+type_decl Struct1: sptr,
+field_decl str: sptr,
+integer_cst 64: sptr,
+field_decl num: sptr,
+integer_cst 32: sptr,
+type_decl Struct1: sptr,
+integer_cst 64: sptr,
+field_decl num: sptr,
+integer_cst 32: sptr,
+integer_cst 0: sptr,
function_decl func6:
statement_list : sptr,
if_stmt : sptr,
@@ -2475,21 +2475,21 @@ cleanup_point_expr : sptr,
expr_stmt :
convert_expr :
modify_expr :
-component_ref : sptr->num,
-indirect_ref : sptr->num,
-parm_decl sptr: sptr->num,
-pointer_type : sptr->num,
-record_type : sptr->num,
-type_decl Struct1: sptr->num,
-field_decl str: sptr->num,
-integer_cst 64: sptr->num,
-field_decl num: sptr->num,
-integer_cst 32: sptr->num,
-type_decl Struct1: sptr->num,
-integer_cst 64: sptr->num,
-field_decl num: sptr->num,
-integer_cst 32: sptr->num,
-integer_cst 0: sptr->num,
+component_ref :
+indirect_ref :
+parm_decl sptr:
+pointer_type :
+record_type :
+type_decl Struct1:
+field_decl str:
+integer_cst 64:
+field_decl num:
+integer_cst 32:
+type_decl Struct1:
+integer_cst 64:
+field_decl num:
+integer_cst 32:
+integer_cst 0:
function_decl func7:
statement_list : sptr,
if_stmt : sptr,
@@ -2543,40 +2543,40 @@ cleanup_point_expr : sptr,
expr_stmt : sptr,
convert_expr : sptr,
modify_expr : sptr,
-component_ref : sptr, this->k,
-indirect_ref : sptr, this->k,
-parm_decl this: sptr, this->k,
-pointer_type : sptr, this->k,
-record_type : sptr, this->k,
-type_decl Object1: sptr, this->k,
-field_decl k: sptr, this->k,
-integer_cst 32: sptr, this->k,
-field_decl vec1: sptr, this->k,
-integer_cst 192: sptr, this->k,
-type_decl Object1: sptr, this->k,
-integer_cst 64: sptr, this->k,
-field_decl k: sptr, this->k,
-integer_cst 32: sptr, this->k,
-integer_cst 10: sptr, this->k,
-cleanup_point_expr : sptr, this->k,
-expr_stmt : sptr, this->k,
-convert_expr : sptr, this->k,
-modify_expr : sptr, this->k,
-component_ref : sptr, this->k,
-indirect_ref : sptr, this->k,
-parm_decl this: sptr, this->k,
-pointer_type : sptr, this->k,
-record_type : sptr, this->k,
-type_decl Object1: sptr, this->k,
-field_decl k: sptr, this->k,
-integer_cst 32: sptr, this->k,
-field_decl vec1: sptr, this->k,
-integer_cst 192: sptr, this->k,
-type_decl Object1: sptr, this->k,
-integer_cst 64: sptr, this->k,
-field_decl k: sptr, this->k,
-integer_cst 32: sptr, this->k,
-integer_cst 20: sptr, this->k,
+component_ref : sptr,
+indirect_ref : sptr,
+parm_decl this: sptr,
+pointer_type : sptr,
+record_type : sptr,
+type_decl Object1: sptr,
+field_decl k: sptr,
+integer_cst 32: sptr,
+field_decl vec1: sptr,
+integer_cst 192: sptr,
+type_decl Object1: sptr,
+integer_cst 64: sptr,
+field_decl k: sptr,
+integer_cst 32: sptr,
+integer_cst 10: sptr,
+cleanup_point_expr : sptr,
+expr_stmt : sptr,
+convert_expr : sptr,
+modify_expr : sptr,
+component_ref : sptr,
+indirect_ref : sptr,
+parm_decl this: sptr,
+pointer_type : sptr,
+record_type : sptr,
+type_decl Object1: sptr,
+field_decl k: sptr,
+integer_cst 32: sptr,
+field_decl vec1: sptr,
+integer_cst 192: sptr,
+type_decl Object1: sptr,
+integer_cst 64: sptr,
+field_decl k: sptr,
+integer_cst 32: sptr,
+integer_cst 20: sptr,
function_decl fill:
cleanup_point_expr : __first, __last,
expr_stmt : __first, __last,
diff --git a/test/test08-03.txt b/test/test08-03.txt
index 565d6ad..cb31abf 100644
--- a/test/test08-03.txt
+++ b/test/test08-03.txt
@@ -43,19 +43,19 @@ cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr2, this->k,
-indirect_ref : ptr2, this->k,
-parm_decl this: ptr2, this->k,
-pointer_type : ptr2, this->k,
-record_type : ptr2, this->k,
-type_decl Object1: ptr2, this->k,
-field_decl k: ptr2, this->k,
-integer_cst 32: ptr2, this->k,
-type_decl Object1: ptr2, this->k,
-integer_cst 64: ptr2, this->k,
-field_decl k: ptr2, this->k,
-integer_cst 32: ptr2, this->k,
-integer_cst 0: ptr2, this->k,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl this: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Object1: ptr2,
+field_decl k: ptr2,
+integer_cst 32: ptr2,
+type_decl Object1: ptr2,
+integer_cst 64: ptr2,
+field_decl k: ptr2,
+integer_cst 32: ptr2,
+integer_cst 0: ptr2,
cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
@@ -123,19 +123,19 @@ cleanup_point_expr :
expr_stmt :
convert_expr :
modify_expr :
-component_ref : this->k,
-indirect_ref : this->k,
-parm_decl this: this->k,
-pointer_type : this->k,
-record_type : this->k,
-type_decl Object1: this->k,
-field_decl k: this->k,
-integer_cst 32: this->k,
-type_decl Object1: this->k,
-integer_cst 64: this->k,
-field_decl k: this->k,
-integer_cst 32: this->k,
-integer_cst 0: this->k,
+component_ref :
+indirect_ref :
+parm_decl this:
+pointer_type :
+record_type :
+type_decl Object1:
+field_decl k:
+integer_cst 32:
+type_decl Object1:
+integer_cst 64:
+field_decl k:
+integer_cst 32:
+integer_cst 0:
return_expr : ptr4,
cleanup_point_expr : ptr4,
expr_stmt :
diff --git a/test/test11-03.txt b/test/test11-03.txt
index f7c4b03..ac5cfff 100644
--- a/test/test11-03.txt
+++ b/test/test11-03.txt
@@ -31,19 +31,19 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 200: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+type_decl Data1: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 200: ptr2,
function_decl func2:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -77,41 +77,41 @@ cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 200: ptr1->val, ptr2,
-return_expr : ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+type_decl Data1: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 200: ptr2,
+return_expr : ptr2,
cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test11.cpp: In member function 'void Object1::func2(Data1*, Data1*)':
test11.cpp:29:15: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 300: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
function_decl func3:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -149,22 +149,22 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test11.cpp:39:15: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 200: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
function_decl func4:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -202,22 +202,22 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test11.cpp:49:15: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 200: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
function_decl func5:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -277,36 +277,36 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt :
convert_expr :
modify_expr :
-component_ref : ptr1->val,
-indirect_ref : ptr1->val,
-parm_decl ptr1: ptr1->val,
-pointer_type : ptr1->val,
-record_type : ptr1->val,
-type_decl Data1: ptr1->val,
-field_decl val: ptr1->val,
-integer_cst 32: ptr1->val,
-type_decl Data1: ptr1->val,
-integer_cst 64: ptr1->val,
-field_decl val: ptr1->val,
-integer_cst 32: ptr1->val,
-integer_cst 300: ptr1->val,
-cleanup_point_expr : ptr1, ptr1->val, ptr2,
-expr_stmt : ptr1->val,
-convert_expr : ptr1->val,
-modify_expr : ptr1->val,
-component_ref : ptr1->val, ptr2->val,
-indirect_ref : ptr1->val, ptr2->val,
-parm_decl ptr2: ptr1->val, ptr2->val,
-pointer_type : ptr1->val, ptr2->val,
-record_type : ptr1->val, ptr2->val,
-type_decl Data1: ptr1->val, ptr2->val,
-field_decl val: ptr1->val, ptr2->val,
-integer_cst 32: ptr1->val, ptr2->val,
-type_decl Data1: ptr1->val, ptr2->val,
-integer_cst 64: ptr1->val, ptr2->val,
-field_decl val: ptr1->val, ptr2->val,
-integer_cst 32: ptr1->val, ptr2->val,
-integer_cst 400: ptr1->val, ptr2->val,
+component_ref :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+type_decl Data1:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 300:
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt :
+convert_expr :
+modify_expr :
+component_ref :
+indirect_ref :
+parm_decl ptr2:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+type_decl Data1:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 400:
function_decl func6:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -366,40 +366,40 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test11.cpp: In member function 'void Object1::func6(Data1*, Data1*)':
test11.cpp:70:15: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 300: ptr1, ptr1->val, ptr2,
-cleanup_point_expr : ptr1, ptr1->val, ptr2,
-expr_stmt : ptr1, ptr1->val, ptr2,
-convert_expr : ptr1, ptr1->val, ptr2,
-modify_expr : ptr1, ptr1->val, ptr2,
-component_ref : ptr1, ptr1->val, ptr2, ptr2->val,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+component_ref : ptr1, ptr2,
test11.cpp:71:15: warning: Using parameter 'ptr2' without checking for null pointer
ptr2->val = 400;
^
-indirect_ref : ptr1, ptr1->val, ptr2, ptr2->val,
-parm_decl ptr2: ptr1, ptr1->val, ptr2, ptr2->val,
-pointer_type : ptr1, ptr1->val, ptr2, ptr2->val,
-record_type : ptr1, ptr1->val, ptr2, ptr2->val,
-type_decl Data1: ptr1, ptr1->val, ptr2, ptr2->val,
-field_decl val: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr2->val,
-type_decl Data1: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 64: ptr1, ptr1->val, ptr2, ptr2->val,
-field_decl val: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 400: ptr1, ptr1->val, ptr2, ptr2->val,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 400: ptr1, ptr2,
diff --git a/test/test12-03.txt b/test/test12-03.txt
index e5eddd8..d9fc97d 100644
--- a/test/test12-03.txt
+++ b/test/test12-03.txt
@@ -211,42 +211,42 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test12.cpp:30:19: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 200: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2, ptr2->val,
+component_ref : ptr1, ptr2,
test12.cpp:34:19: warning: Using parameter 'ptr2' without checking for null pointer
ptr2->val = 300;
^
-indirect_ref : ptr1, ptr2, ptr2->val,
-parm_decl ptr2: ptr1, ptr2, ptr2->val,
-pointer_type : ptr1, ptr2, ptr2->val,
-record_type : ptr1, ptr2, ptr2->val,
-type_decl Data1: ptr1, ptr2, ptr2->val,
-field_decl val: ptr1, ptr2, ptr2->val,
-integer_cst 32: ptr1, ptr2, ptr2->val,
-type_decl Data1: ptr1, ptr2, ptr2->val,
-integer_cst 64: ptr1, ptr2, ptr2->val,
-field_decl val: ptr1, ptr2, ptr2->val,
-integer_cst 32: ptr1, ptr2, ptr2->val,
-integer_cst 300: ptr1, ptr2, ptr2->val,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
function_decl func5:
bind_expr : ptr1, ptr2,
decl_expr : ptr1, ptr2,
diff --git a/test/test16-03.txt b/test/test16-03.txt
index 62539e9..0501f80 100644
--- a/test/test16-03.txt
+++ b/test/test16-03.txt
@@ -27,18 +27,18 @@ integer_cst 32: ptr2,
integer_cst 100: ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-identifier_node Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 200: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+identifier_node Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 200: ptr2,
block : ptr1, ptr2,
function_decl func2:
bind_expr : ptr1, ptr2,
@@ -69,36 +69,36 @@ integer_cst 32: ptr2,
integer_cst 100: ptr2,
statement_list : ptr2,
modify_expr : ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-identifier_node Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 200: ptr1->val, ptr2,
-return_expr : ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+identifier_node Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 200: ptr2,
+return_expr : ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test16.c: In function 'func2':
test16.c:26:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-identifier_node Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 300: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
block : ptr1, ptr2,
function_decl func3:
bind_expr : ptr1, ptr2,
@@ -133,21 +133,21 @@ integer_cst 32: ptr1, ptr2,
integer_cst 100: ptr1, ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test16.c:36:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-identifier_node Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 200: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
block : ptr1, ptr2,
function_decl func4:
bind_expr : ptr1, ptr2,
@@ -182,21 +182,21 @@ integer_cst 32: ptr1, ptr2,
integer_cst 100: ptr1, ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test16.c:46:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-identifier_node Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 200: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
block : ptr1, ptr2,
function_decl func5:
bind_expr : ptr1, ptr2,
@@ -251,31 +251,31 @@ integer_cst 32:
integer_cst 200:
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1->val,
-indirect_ref : ptr1->val,
-parm_decl ptr1: ptr1->val,
-pointer_type : ptr1->val,
-record_type : ptr1->val,
-identifier_node Data1: ptr1->val,
-field_decl val: ptr1->val,
-integer_cst 32: ptr1->val,
-integer_cst 64: ptr1->val,
-field_decl val: ptr1->val,
-integer_cst 32: ptr1->val,
-integer_cst 300: ptr1->val,
-modify_expr : ptr1, ptr1->val, ptr2,
-component_ref : ptr1->val, ptr2->val,
-indirect_ref : ptr1->val, ptr2->val,
-parm_decl ptr2: ptr1->val, ptr2->val,
-pointer_type : ptr1->val, ptr2->val,
-record_type : ptr1->val, ptr2->val,
-identifier_node Data1: ptr1->val, ptr2->val,
-field_decl val: ptr1->val, ptr2->val,
-integer_cst 32: ptr1->val, ptr2->val,
-integer_cst 64: ptr1->val, ptr2->val,
-field_decl val: ptr1->val, ptr2->val,
-integer_cst 32: ptr1->val, ptr2->val,
-integer_cst 400: ptr1->val, ptr2->val,
+component_ref :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+record_type :
+identifier_node Data1:
+field_decl val:
+integer_cst 32:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 300:
+modify_expr : ptr1, ptr2,
+component_ref :
+indirect_ref :
+parm_decl ptr2:
+pointer_type :
+record_type :
+identifier_node Data1:
+field_decl val:
+integer_cst 32:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 400:
block : ptr1, ptr2,
function_decl func6:
bind_expr : ptr1, ptr2,
@@ -330,36 +330,36 @@ integer_cst 32: ptr1,
integer_cst 200: ptr1,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test16.c: In function 'func6':
test16.c:67:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-identifier_node Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 300: ptr1, ptr1->val, ptr2,
-modify_expr : ptr1, ptr1->val, ptr2,
-component_ref : ptr1, ptr1->val, ptr2, ptr2->val,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+component_ref : ptr1, ptr2,
test16.c:68:9: warning: Using parameter 'ptr2' without checking for null pointer
ptr2->val = 400;
^
-indirect_ref : ptr1, ptr1->val, ptr2, ptr2->val,
-parm_decl ptr2: ptr1, ptr1->val, ptr2, ptr2->val,
-pointer_type : ptr1, ptr1->val, ptr2, ptr2->val,
-record_type : ptr1, ptr1->val, ptr2, ptr2->val,
-identifier_node Data1: ptr1, ptr1->val, ptr2, ptr2->val,
-field_decl val: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 64: ptr1, ptr1->val, ptr2, ptr2->val,
-field_decl val: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr2->val,
-integer_cst 400: ptr1, ptr1->val, ptr2, ptr2->val,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 400: ptr1, ptr2,
block : ptr1, ptr2,
diff --git a/test/test17-03.txt b/test/test17-03.txt
index fa5fb56..829c655 100644
--- a/test/test17-03.txt
+++ b/test/test17-03.txt
@@ -22,18 +22,18 @@ integer_cst 2147483647: ptr1, ptr2,
integer_cst 32: ptr1, ptr2,
integer_cst 0: ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-identifier_node Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 100: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+identifier_node Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
block : ptr1, ptr2,
test17.c: In function 'func2':
test17.c:18:14: warning: comparison between pointer and integer
@@ -65,28 +65,28 @@ integer_cst 2147483647: ptr1, ptr2,
integer_cst 32: ptr1, ptr2,
integer_cst 0: ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-identifier_node Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 100: ptr1->val, ptr2,
-return_expr : ptr1, ptr1->val, ptr2,
-modify_expr : ptr1->val, ptr2,
-result_decl : ptr1->val, ptr2,
-integer_type : ptr1->val, ptr2,
-type_decl int: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst -2147483648: ptr1->val, ptr2,
-integer_cst 2147483647: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 0: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+identifier_node Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
+return_expr : ptr1, ptr2,
+modify_expr : ptr2,
+result_decl : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 32: ptr2,
+integer_cst 0: ptr2,
block : ptr1, ptr2,
test17.c: In function 'func3':
test17.c:26:14: warning: comparison between pointer and integer
@@ -118,31 +118,31 @@ integer_cst 2147483647: ptr2,
integer_cst 32: ptr2,
integer_cst 0: ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test17.c:28:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-identifier_node Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 100: ptr1, ptr1->val, ptr2,
-return_expr : ptr1, ptr1->val, ptr2,
-modify_expr : ptr1, ptr1->val, ptr2,
-result_decl : ptr1, ptr1->val, ptr2,
-integer_type : ptr1, ptr1->val, ptr2,
-type_decl int: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst -2147483648: ptr1, ptr1->val, ptr2,
-integer_cst 2147483647: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 0: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
+return_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+result_decl : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
block : ptr1, ptr2,
function_decl func4:
bind_expr : ptr1, ptr2,
@@ -169,22 +169,22 @@ integer_cst 64: ptr1, ptr2,
integer_cst 0: ptr1, ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test17.c: In function 'func4':
test17.c:40:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-identifier_node Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 100: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+identifier_node Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
block : ptr1, ptr2,
function_decl func5:
bind_expr : ptr1, ptr2,
@@ -212,16 +212,16 @@ integer_cst 64: ptr2,
integer_cst 0: ptr2,
return_expr :
modify_expr : ptr1, ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-identifier_node Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 100: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+identifier_node Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
block : ptr1, ptr2,
diff --git a/test/test18-03.txt b/test/test18-03.txt
index 51f550f..9f099c5 100644
--- a/test/test18-03.txt
+++ b/test/test18-03.txt
@@ -25,19 +25,19 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 100: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+type_decl Data1: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
function_decl func2:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -65,29 +65,29 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 100: ptr1->val, ptr2,
-return_expr : ptr1, ptr1->val, ptr2,
-init_expr : ptr1->val, ptr2,
-result_decl : ptr1->val, ptr2,
-integer_type : ptr1->val, ptr2,
-type_decl int: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst -2147483648: ptr1->val, ptr2,
-integer_cst 2147483647: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 0: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+type_decl Data1: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
+return_expr : ptr1, ptr2,
+init_expr : ptr2,
+result_decl : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 32: ptr2,
+integer_cst 0: ptr2,
function_decl func3:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -115,33 +115,33 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test18.cpp: In function 'int func3(Data1*, Data1*)':
test18.cpp:28:11: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 100: ptr1, ptr1->val, ptr2,
-return_expr : ptr1, ptr1->val, ptr2,
-init_expr : ptr1, ptr1->val, ptr2,
-result_decl : ptr1, ptr1->val, ptr2,
-integer_type : ptr1, ptr1->val, ptr2,
-type_decl int: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst -2147483648: ptr1, ptr1->val, ptr2,
-integer_cst 2147483647: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 0: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
+return_expr : ptr1, ptr2,
+init_expr : ptr1, ptr2,
+result_decl : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
function_decl func4:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -170,23 +170,23 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr2,
test18.cpp: In function 'void func4(Data1*, Data1*)':
test18.cpp:40:11: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2,
-parm_decl ptr1: ptr1, ptr1->val, ptr2,
-pointer_type : ptr1, ptr1->val, ptr2,
-record_type : ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-type_decl Data1: ptr1, ptr1->val, ptr2,
-integer_cst 64: ptr1, ptr1->val, ptr2,
-field_decl val: ptr1, ptr1->val, ptr2,
-integer_cst 32: ptr1, ptr1->val, ptr2,
-integer_cst 100: ptr1, ptr1->val, ptr2,
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Data1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl val: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
function_decl func5:
statement_list : ptr1, ptr2,
if_stmt : ptr1, ptr2,
@@ -217,16 +217,16 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr1->val, ptr2,
-indirect_ref : ptr1->val, ptr2,
-parm_decl ptr1: ptr1->val, ptr2,
-pointer_type : ptr1->val, ptr2,
-record_type : ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-type_decl Data1: ptr1->val, ptr2,
-integer_cst 64: ptr1->val, ptr2,
-field_decl val: ptr1->val, ptr2,
-integer_cst 32: ptr1->val, ptr2,
-integer_cst 100: ptr1->val, ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+type_decl Data1: ptr2,
+integer_cst 64: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
diff --git a/test/test19-03.txt b/test/test19-03.txt
index d8f6c80..cfc3af8 100644
--- a/test/test19-03.txt
+++ b/test/test19-03.txt
@@ -22,27 +22,27 @@ 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,
+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,
+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,
var_decl ptr3: ptr1, ptr2,
-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,
-block : , ptr1, ptr2, ptr3,
-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,
+block : ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func3:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -56,12 +56,12 @@ cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : , ptr2,
-indirect_ref : , ptr2,
-var_decl ptr3: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-integer_cst 100: , ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+var_decl ptr3: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
var_decl ptr3: ptr1, ptr2,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
@@ -86,12 +86,12 @@ cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : , ptr2,
-indirect_ref : , ptr2,
-var_decl ptr3: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-integer_cst 100: , ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+var_decl ptr3: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
if_stmt : ptr1, ptr2, ptr3,
truth_andif_expr : ptr1, ptr2, ptr3,
eq_expr : ptr1, ptr2, ptr3,
@@ -118,19 +118,19 @@ cleanup_point_expr : ptr1, ptr3,
expr_stmt : ptr1, ptr3,
convert_expr : ptr1, ptr3,
modify_expr : ptr1, ptr3,
-component_ref : ptr1, ptr2->val, ptr3,
-indirect_ref : ptr1, ptr2->val, ptr3,
-parm_decl ptr2: ptr1, ptr2->val, ptr3,
-pointer_type : ptr1, ptr2->val, ptr3,
-record_type : ptr1, ptr2->val, ptr3,
-type_decl Data1: ptr1, ptr2->val, ptr3,
-field_decl val: ptr1, ptr2->val, ptr3,
-integer_cst 32: ptr1, ptr2->val, ptr3,
-type_decl Data1: ptr1, ptr2->val, ptr3,
-integer_cst 64: ptr1, ptr2->val, ptr3,
-field_decl val: ptr1, ptr2->val, ptr3,
-integer_cst 32: ptr1, ptr2->val, ptr3,
-integer_cst 200: ptr1, ptr2->val, 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,
var_decl ptr3: ptr1, ptr2,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
@@ -182,23 +182,23 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : , ptr2,
-indirect_ref : , ptr2,
-var_decl ptr3: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-integer_cst 100: , ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+var_decl ptr3: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: , ptr2,
-parm_decl ptr1: , ptr2,
-pointer_type : , ptr2,
-record_type : , ptr2,
-type_decl Data1: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-type_decl Data1: , ptr2,
-block : , ptr1, ptr2,
-var_decl ptr3: , ptr2,
+integer_cst 64: ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+type_decl Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+type_decl Data1: ptr2,
+block : ptr1, ptr2,
+var_decl ptr3: ptr2,
function_decl func6:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -239,27 +239,27 @@ 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,
+component_ref : ptr1, ptr2, ptr3,
test19.cpp: In function 'int func6(Data1*, Data1*)':
test19.cpp:52: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,
+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,
var_decl ptr3: ptr1, ptr2,
-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,
-block : , ptr1, ptr2, ptr3,
-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,
+block : ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func7:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -310,46 +310,46 @@ cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr1->val, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test19.cpp: In function 'int func7(Data1*, Data1*)':
test19.cpp:66:11: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3,
-pointer_type : ptr1, ptr1->val, ptr2, ptr3,
-record_type : ptr1, ptr1->val, ptr2, ptr3,
-type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 64: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 100: ptr1, ptr1->val, ptr2, ptr3,
-cleanup_point_expr : ptr1, ptr1->val, ptr2, ptr3,
-expr_stmt : ptr1, ptr1->val, ptr2, ptr3,
-convert_expr : ptr1, ptr1->val, ptr2, ptr3,
-modify_expr : ptr1, ptr1->val, ptr2, ptr3,
-component_ref : , ptr1, ptr1->val, ptr2, ptr3,
+indirect_ref : 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,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst 100: 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:67:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 200;
^
-indirect_ref : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3,
+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 200: ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_type : , ptr1, ptr1->val, ptr2, ptr3,
-type_decl int: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3,
-block : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl c: , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_type : ptr1, ptr2, ptr3,
+type_decl int: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst -2147483648: ptr1, ptr2, ptr3,
+integer_cst 2147483647: ptr1, ptr2, ptr3,
+block : ptr1, ptr2, ptr3,
+var_decl c: ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func8:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -400,43 +400,43 @@ cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr1->val, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test19.cpp: In function 'int func8(Data1*, Data1*)':
test19.cpp:81:11: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3,
-pointer_type : ptr1, ptr1->val, ptr2, ptr3,
-record_type : ptr1, ptr1->val, ptr2, ptr3,
-type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 64: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 100: ptr1, ptr1->val, ptr2, ptr3,
-cleanup_point_expr : ptr1, ptr1->val, ptr2, ptr3,
-expr_stmt : ptr1, ptr1->val, ptr2, ptr3,
-convert_expr : ptr1, ptr1->val, ptr2, ptr3,
-modify_expr : ptr1, ptr1->val, ptr2, ptr3,
-component_ref : , ptr1, ptr1->val, ptr2, ptr3,
+indirect_ref : 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,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst 100: 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:82:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 200;
^
-indirect_ref : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3,
+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 200: ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_type : , ptr1, ptr1->val, ptr2, ptr3,
-type_decl int: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3,
-block : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl c: , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_type : ptr1, ptr2, ptr3,
+type_decl int: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst -2147483648: ptr1, ptr2, ptr3,
+integer_cst 2147483647: ptr1, ptr2, ptr3,
+block : ptr1, ptr2, ptr3,
+var_decl c: ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
diff --git a/test/test20-03.txt b/test/test20-03.txt
index 9e65d0a..c76a426 100644
--- a/test/test20-03.txt
+++ b/test/test20-03.txt
@@ -18,26 +18,26 @@ statement_list : ptr1, ptr2,
decl_expr : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : , ptr1, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test20.c: In function 'func2':
test20.c:16:9: 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,
+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,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: , ptr1, ptr2, ptr3,
-parm_decl ptr1: , ptr1, ptr2, ptr3,
-pointer_type : , ptr1, ptr2, ptr3,
-record_type : , ptr1, ptr2, ptr3,
-identifier_node Data1: , ptr1, ptr2, ptr3,
-field_decl val: , ptr1, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr2, ptr3,
-block : , ptr1, ptr2, ptr3,
-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,
+identifier_node Data1: ptr1, ptr2, ptr3,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+block : ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func3:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -48,12 +48,12 @@ ne_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
modify_expr : ptr2,
-component_ref : , ptr2,
-indirect_ref : , ptr2,
-var_decl ptr3: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-integer_cst 100: , ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+var_decl ptr3: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
var_decl ptr3: ptr1, ptr2,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
@@ -74,12 +74,12 @@ ne_expr : ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
modify_expr : ptr2,
-component_ref : , ptr2,
-indirect_ref : , ptr2,
-var_decl ptr3: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-integer_cst 100: , ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+var_decl ptr3: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
cond_expr : ptr1, ptr2, ptr3,
truth_andif_expr : ptr1, ptr2, ptr3,
eq_expr : ptr1, ptr2, ptr3,
@@ -101,18 +101,18 @@ integer_cst 32: ptr1, ptr2, ptr3,
integer_cst 64: ptr1, ptr2, ptr3,
integer_cst 0: ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr3,
-component_ref : ptr1, ptr2->val, ptr3,
-indirect_ref : ptr1, ptr2->val, ptr3,
-parm_decl ptr2: ptr1, ptr2->val, ptr3,
-pointer_type : ptr1, ptr2->val, ptr3,
-record_type : ptr1, ptr2->val, ptr3,
-identifier_node Data1: ptr1, ptr2->val, ptr3,
-field_decl val: ptr1, ptr2->val, ptr3,
-integer_cst 32: ptr1, ptr2->val, ptr3,
-integer_cst 64: ptr1, ptr2->val, ptr3,
-field_decl val: ptr1, ptr2->val, ptr3,
-integer_cst 32: ptr1, ptr2->val, ptr3,
-integer_cst 200: ptr1, ptr2->val, ptr3,
+component_ref : ptr1, ptr3,
+indirect_ref : ptr1, ptr3,
+parm_decl ptr2: ptr1, ptr3,
+pointer_type : ptr1, ptr3,
+record_type : ptr1, ptr3,
+identifier_node Data1: ptr1, ptr3,
+field_decl val: ptr1, ptr3,
+integer_cst 32: ptr1, ptr3,
+integer_cst 64: ptr1, ptr3,
+field_decl val: ptr1, ptr3,
+integer_cst 32: ptr1, ptr3,
+integer_cst 200: ptr1, ptr3,
var_decl ptr3: ptr1, ptr2,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
@@ -159,22 +159,22 @@ integer_cst 0: ptr1, ptr2,
decl_expr : ptr1, ptr2,
var_decl ptr3: ptr2,
modify_expr : ptr1, ptr2,
-component_ref : , ptr2,
-indirect_ref : , ptr2,
-var_decl ptr3: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-integer_cst 100: , ptr2,
+component_ref : ptr2,
+indirect_ref : ptr2,
+var_decl ptr3: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+integer_cst 100: ptr2,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: , ptr2,
-parm_decl ptr1: , ptr2,
-pointer_type : , ptr2,
-record_type : , ptr2,
-identifier_node Data1: , ptr2,
-field_decl val: , ptr2,
-integer_cst 32: , ptr2,
-block : , ptr1, ptr2,
-var_decl ptr3: , ptr2,
+integer_cst 64: ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+record_type : ptr2,
+identifier_node Data1: ptr2,
+field_decl val: ptr2,
+integer_cst 32: ptr2,
+block : ptr1, ptr2,
+var_decl ptr3: ptr2,
function_decl func6:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -211,26 +211,26 @@ integer_cst 0: ptr1, ptr2,
decl_expr : ptr1, ptr2,
var_decl ptr3: ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : , ptr1, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test20.c: In function 'func6':
test20.c:52:9: 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,
+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,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: , ptr1, ptr2, ptr3,
-parm_decl ptr1: , ptr1, ptr2, ptr3,
-pointer_type : , ptr1, ptr2, ptr3,
-record_type : , ptr1, ptr2, ptr3,
-identifier_node Data1: , ptr1, ptr2, ptr3,
-field_decl val: , ptr1, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr2, ptr3,
-block : , ptr1, ptr2, ptr3,
-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,
+identifier_node Data1: ptr1, ptr2, ptr3,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+block : ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func7:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -276,42 +276,42 @@ identifier_node Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr1->val, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test20.c: In function 'func7':
test20.c:66:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3,
-pointer_type : ptr1, ptr1->val, ptr2, ptr3,
-record_type : ptr1, ptr1->val, ptr2, ptr3,
-identifier_node Data1: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 64: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 100: ptr1, ptr1->val, ptr2, ptr3,
-modify_expr : ptr1, ptr1->val, ptr2, ptr3,
-component_ref : , ptr1, ptr1->val, ptr2, ptr3,
+indirect_ref : ptr1, ptr2, ptr3,
+parm_decl ptr1: ptr1, ptr2, ptr3,
+pointer_type : ptr1, ptr2, ptr3,
+record_type : ptr1, ptr2, ptr3,
+identifier_node Data1: ptr1, ptr2, ptr3,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst 64: ptr1, ptr2, ptr3,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst 100: ptr1, ptr2, ptr3,
+modify_expr : ptr1, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test20.c:67:9: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 200;
^
-indirect_ref : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3,
+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 200: ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_type : , ptr1, ptr1->val, ptr2, ptr3,
-type_decl int: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3,
-block : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl c: , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_type : ptr1, ptr2, ptr3,
+type_decl int: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst -2147483648: ptr1, ptr2, ptr3,
+integer_cst 2147483647: ptr1, ptr2, ptr3,
+block : ptr1, ptr2, ptr3,
+var_decl c: ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func8:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -357,39 +357,39 @@ identifier_node Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr1->val, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test20.c: In function 'func8':
test20.c:81:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr1->val, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3,
-pointer_type : ptr1, ptr1->val, ptr2, ptr3,
-record_type : ptr1, ptr1->val, ptr2, ptr3,
-identifier_node Data1: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 64: ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 100: ptr1, ptr1->val, ptr2, ptr3,
-modify_expr : ptr1, ptr1->val, ptr2, ptr3,
-component_ref : , ptr1, ptr1->val, ptr2, ptr3,
+indirect_ref : ptr1, ptr2, ptr3,
+parm_decl ptr1: ptr1, ptr2, ptr3,
+pointer_type : ptr1, ptr2, ptr3,
+record_type : ptr1, ptr2, ptr3,
+identifier_node Data1: ptr1, ptr2, ptr3,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst 64: ptr1, ptr2, ptr3,
+field_decl val: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst 100: ptr1, ptr2, ptr3,
+modify_expr : ptr1, ptr2, ptr3,
+component_ref : ptr1, ptr2, ptr3,
test20.c:82:9: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 200;
^
-indirect_ref : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
-field_decl val: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3,
+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 200: ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_type : , ptr1, ptr1->val, ptr2, ptr3,
-type_decl int: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3,
-integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3,
-block : , ptr1, ptr1->val, ptr2, ptr3,
-var_decl c: , ptr1, ptr1->val, ptr2, ptr3,
-var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_type : ptr1, ptr2, ptr3,
+type_decl int: ptr1, ptr2, ptr3,
+integer_cst 32: ptr1, ptr2, ptr3,
+integer_cst -2147483648: ptr1, ptr2, ptr3,
+integer_cst 2147483647: ptr1, ptr2, ptr3,
+block : ptr1, ptr2, ptr3,
+var_decl c: ptr1, ptr2, ptr3,
+var_decl ptr3: ptr1, ptr2, ptr3,
diff --git a/test/test22-03.txt b/test/test22-03.txt
index 286d0a1..60d67a0 100644
--- a/test/test22-03.txt
+++ b/test/test22-03.txt
@@ -2676,49 +2676,49 @@ cleanup_point_expr : ptr1,
expr_stmt : ptr1,
convert_expr : ptr1,
modify_expr : ptr1,
-component_ref : , ptr1,
-indirect_ref : , ptr1,
-indirect_ref : , ptr1,
-var_decl ptr2: , ptr1,
-field_decl val: , ptr1,
-integer_cst 32: , ptr1,
-integer_cst 10: , ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+indirect_ref : ptr1,
var_decl ptr2: ptr1,
-integer_cst 64: , ptr1,
-addr_expr : , ptr1,
+field_decl val: ptr1,
+integer_cst 32: ptr1,
+integer_cst 10: ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
test22.cpp: In member function 'int Object1::func3(Data1*)':
test22.cpp:50:17: warning: Using parameter 'ptr1' without checking for null pointer
Data1** ptr2 = &ptr1;
^
-parm_decl ptr1: , ptr1,
-pointer_type : , ptr1,
-record_type : , ptr1,
-type_decl Data1: , ptr1,
-field_decl val: , ptr1,
-integer_cst 32: , ptr1,
-field_decl ptrval: , ptr1,
-integer_cst 64: , ptr1,
-field_decl arr: , ptr1,
-integer_cst 96: , ptr1,
-field_decl str1: , ptr1,
-integer_cst 64: , ptr1,
-type_decl Data1: , ptr1,
-integer_cst 64: , ptr1,
-pointer_type : , ptr1,
-pointer_type : , ptr1,
-record_type : , ptr1,
-type_decl Data1: , ptr1,
-field_decl val: , ptr1,
-integer_cst 32: , ptr1,
-field_decl ptrval: , ptr1,
-integer_cst 64: , ptr1,
-field_decl arr: , ptr1,
-integer_cst 96: , ptr1,
-field_decl str1: , ptr1,
-integer_cst 64: , ptr1,
-type_decl Data1: , ptr1,
-block : , ptr1,
-var_decl ptr2: , ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+field_decl val: ptr1,
+integer_cst 32: ptr1,
+field_decl ptrval: ptr1,
+integer_cst 64: ptr1,
+field_decl arr: ptr1,
+integer_cst 96: ptr1,
+field_decl str1: ptr1,
+integer_cst 64: ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+pointer_type : ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+field_decl val: ptr1,
+integer_cst 32: ptr1,
+field_decl ptrval: ptr1,
+integer_cst 64: ptr1,
+field_decl arr: ptr1,
+integer_cst 96: ptr1,
+field_decl str1: ptr1,
+integer_cst 64: ptr1,
+type_decl Data1: ptr1,
+block : ptr1,
+var_decl ptr2: ptr1,
function_decl func4:
if_stmt : ptr1,
cleanup_point_expr : ptr1,
@@ -3083,35 +3083,35 @@ cleanup_point_expr :
expr_stmt :
convert_expr :
modify_expr :
-component_ref : ptr1->val,
-indirect_ref : ptr1->val,
-parm_decl ptr1: ptr1->val,
-pointer_type : ptr1->val,
-record_type : ptr1->val,
-type_decl Data1: ptr1->val,
-field_decl val: ptr1->val,
-integer_cst 32: ptr1->val,
-field_decl ptrval: ptr1->val,
-integer_cst 64: ptr1->val,
-field_decl arr: ptr1->val,
-integer_cst 96: ptr1->val,
-field_decl str1: ptr1->val,
-integer_cst 64: ptr1->val,
-type_decl Data1: ptr1->val,
-integer_cst 64: ptr1->val,
-field_decl val: ptr1->val,
-integer_cst 32: ptr1->val,
-integer_cst 100: ptr1->val,
+component_ref :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+field_decl ptrval:
+integer_cst 64:
+field_decl arr:
+integer_cst 96:
+field_decl str1:
+integer_cst 64:
+type_decl Data1:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 100:
+var_decl k:
+integer_cst 32:
+integer_cst 10:
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+block :
var_decl k:
-integer_cst 32: ptr1->val,
-integer_cst 10: ptr1->val,
-integer_type : ptr1->val,
-type_decl int: ptr1->val,
-integer_cst 32: ptr1->val,
-integer_cst -2147483648: ptr1->val,
-integer_cst 2147483647: ptr1->val,
-block : ptr1->val,
-var_decl k: ptr1->val,
cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
@@ -3186,12 +3186,12 @@ cleanup_point_expr :
expr_stmt :
convert_expr :
modify_expr :
-component_ref : ,
-indirect_ref : ,
-var_decl ptr2: ,
-field_decl val: ,
-integer_cst 32: ,
-integer_cst 200: ,
+component_ref :
+indirect_ref :
+var_decl ptr2:
+field_decl val:
+integer_cst 32:
+integer_cst 200:
var_decl ptr2: ptr1,
integer_cst 64: ptr1, ptr2,
parm_decl ptr1: ptr1, ptr2,
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-06-30 05:16:13 +0000