summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--test/test07-05.txt2
-rw-r--r--test/test10-03.txt66
-rw-r--r--test/test10-04.txt6
-rw-r--r--test/test11-03.txt41
-rw-r--r--test/test11-04.txt3
-rw-r--r--test/test15-03.txt54
-rw-r--r--test/test15-04.txt6
-rw-r--r--test/test16-03.txt33
-rw-r--r--test/test16-04.txt3
-rw-r--r--test/test19-03.txt12
-rw-r--r--test/test20-03.txt12
11 files changed, 100 insertions, 138 deletions
diff --git a/test/test07-05.txt b/test/test07-05.txt
index ca35fe9..b1c77ea 100644
--- a/test/test07-05.txt
+++ b/test/test07-05.txt
@@ -2966,7 +2966,6 @@ non_lvalue_expr : __p,
var_decl : __p,
nop_expr : __p,
var_decl : __p,
-nop_expr : __p,
var_decl : __p,
function_decl base:
function_decl copy_backward:
@@ -3336,7 +3335,6 @@ type_decl size_type: __s,
type_decl difference_type: __s,
type_decl allocator_type: __s,
integer_cst 64: __s,
-nop_expr : __s,
var_decl __len: __s,
block : __s,
var_decl __len: __s,
diff --git a/test/test10-03.txt b/test/test10-03.txt
index f64aeec..42d031f 100644
--- a/test/test10-03.txt
+++ b/test/test10-03.txt
@@ -903,48 +903,42 @@ integer_cst 64:
field_decl k:
integer_cst 32:
integer_cst 0:
+statement_list :
+cleanup_point_expr :
+expr_stmt :
+convert_expr :
+modify_expr :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 100:
+cleanup_point_expr :
+expr_stmt :
+convert_expr :
+modify_expr :
+indirect_ref :
+parm_decl ptr2:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 200:
+return_expr :
statement_list : ptr1, ptr2,
cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
test10.cpp: In member function 'void Object1::func10(int*, int*)':
-test10.cpp:156:24: warning: Using parameter 'ptr1' without checking for null pointer
- *ptr1 = 100;
- ^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr1: ptr1, ptr2,
-pointer_type : 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 64: ptr1, ptr2,
-integer_cst 100: ptr1, ptr2,
-cleanup_point_expr : ptr1, ptr2,
-expr_stmt : ptr1, ptr2,
-convert_expr : ptr1, ptr2,
-modify_expr : ptr1, ptr2,
-test10.cpp:157:24: warning: Using parameter 'ptr2' without checking for null pointer
- *ptr2 = 200;
- ^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr2: ptr1, ptr2,
-pointer_type : 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 64: ptr1, ptr2,
-integer_cst 200: ptr1, ptr2,
-return_expr : ptr1, ptr2,
-statement_list : ptr1, ptr2,
-cleanup_point_expr : ptr1, ptr2,
-expr_stmt : ptr1, ptr2,
-convert_expr : ptr1, ptr2,
-modify_expr : ptr1, ptr2,
test10.cpp:162:24: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 300;
^
diff --git a/test/test10-04.txt b/test/test10-04.txt
index abb2ea2..c0f2c09 100644
--- a/test/test10-04.txt
+++ b/test/test10-04.txt
@@ -63,12 +63,6 @@ test10.cpp:144:24: warning: Using parameter 'ptr1' without checking for null poi
*ptr1 = 200;
^
test10.cpp: In member function 'void Object1::func10(int*, int*)':
-test10.cpp:156:24: warning: Using parameter 'ptr1' without checking for null pointer
- *ptr1 = 100;
- ^
-test10.cpp:157:24: warning: Using parameter 'ptr2' without checking for null pointer
- *ptr2 = 200;
- ^
test10.cpp:162:24: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 300;
^
diff --git a/test/test11-03.txt b/test/test11-03.txt
index 842653e..ac5cfff 100644
--- a/test/test11-03.txt
+++ b/test/test11-03.txt
@@ -72,34 +72,31 @@ integer_cst 64: ptr2,
field_decl val: ptr2,
integer_cst 32: ptr2,
integer_cst 100: ptr2,
-statement_list : ptr1, ptr2,
+statement_list : ptr2,
+cleanup_point_expr : ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : 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, ptr2,
test11.cpp: In member function 'void Object1::func2(Data1*, Data1*)':
-test11.cpp:25:19: warning: Using parameter 'ptr1' without checking for null pointer
- ptr1->val = 200;
- ^
-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,
-return_expr : 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:29:15: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
diff --git a/test/test11-04.txt b/test/test11-04.txt
index 62a6828..6451c24 100644
--- a/test/test11-04.txt
+++ b/test/test11-04.txt
@@ -1,7 +1,4 @@
test11.cpp: In member function 'void Object1::func2(Data1*, Data1*)':
-test11.cpp:25:19: warning: Using parameter 'ptr1' without checking for null pointer
- ptr1->val = 200;
- ^
test11.cpp:29:15: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
diff --git a/test/test15-03.txt b/test/test15-03.txt
index 8b45091..17517b1 100644
--- a/test/test15-03.txt
+++ b/test/test15-03.txt
@@ -784,39 +784,33 @@ integer_cst 32:
integer_cst -2147483648:
integer_cst 2147483647:
integer_cst 0:
+statement_list :
+modify_expr :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 100:
+modify_expr :
+indirect_ref :
+parm_decl ptr2:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 200:
+return_expr :
statement_list : ptr1, ptr2,
modify_expr : ptr1, ptr2,
test15.c: In function 'func10':
-test15.c:153:15: warning: Using parameter 'ptr1' without checking for null pointer
- *ptr1 = 100;
- ^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr1: ptr1, ptr2,
-pointer_type : 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 64: ptr1, ptr2,
-integer_cst 100: ptr1, ptr2,
-modify_expr : ptr1, ptr2,
-test15.c:154:15: warning: Using parameter 'ptr2' without checking for null pointer
- *ptr2 = 200;
- ^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr2: ptr1, ptr2,
-pointer_type : 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 64: ptr1, ptr2,
-integer_cst 200: ptr1, ptr2,
-return_expr : ptr1, ptr2,
-statement_list : ptr1, ptr2,
-modify_expr : ptr1, ptr2,
test15.c:159:15: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 300;
^
diff --git a/test/test15-04.txt b/test/test15-04.txt
index afa195a..d151ef0 100644
--- a/test/test15-04.txt
+++ b/test/test15-04.txt
@@ -63,12 +63,6 @@ test15.c:141:15: warning: Using parameter 'ptr1' without checking for null point
*ptr1 = 200;
^
test15.c: In function 'func10':
-test15.c:153:15: warning: Using parameter 'ptr1' without checking for null pointer
- *ptr1 = 100;
- ^
-test15.c:154:15: warning: Using parameter 'ptr2' without checking for null pointer
- *ptr2 = 200;
- ^
test15.c:159:15: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 300;
^
diff --git a/test/test16-03.txt b/test/test16-03.txt
index 9d7a909..0501f80 100644
--- a/test/test16-03.txt
+++ b/test/test16-03.txt
@@ -67,27 +67,24 @@ integer_cst 64: ptr2,
field_decl val: ptr2,
integer_cst 32: ptr2,
integer_cst 100: ptr2,
-statement_list : ptr1, ptr2,
+statement_list : ptr2,
+modify_expr : 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, ptr2,
test16.c: In function 'func2':
-test16.c:22:13: warning: Using parameter 'ptr1' without checking for null pointer
- ptr1->val = 200;
- ^
-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,
-return_expr : ptr1, ptr2,
-modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2,
test16.c:26:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
diff --git a/test/test16-04.txt b/test/test16-04.txt
index cff3a29..36b949e 100644
--- a/test/test16-04.txt
+++ b/test/test16-04.txt
@@ -1,7 +1,4 @@
test16.c: In function 'func2':
-test16.c:22:13: warning: Using parameter 'ptr1' without checking for null pointer
- ptr1->val = 200;
- ^
test16.c:26:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
diff --git a/test/test19-03.txt b/test/test19-03.txt
index 7bf5b2f..87127d7 100644
--- a/test/test19-03.txt
+++ b/test/test19-03.txt
@@ -313,7 +313,7 @@ type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
-cleanup_point_expr : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
@@ -334,7 +334,7 @@ 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,
+cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
@@ -347,7 +347,7 @@ var_decl ptr3: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
integer_cst 200: ptr1, ptr2, ptr3,
-block : ptr1, ptr2,
+block : ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func8:
@@ -403,7 +403,7 @@ type_decl Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
type_decl Data1: ptr1, ptr2, ptr3,
-cleanup_point_expr : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
@@ -424,7 +424,7 @@ 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,
+cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
@@ -437,6 +437,6 @@ var_decl ptr3: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
integer_cst 200: ptr1, ptr2, ptr3,
-block : ptr1, ptr2,
+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 9f86a10..3ec340d 100644
--- a/test/test20-03.txt
+++ b/test/test20-03.txt
@@ -282,7 +282,7 @@ record_type : ptr1, ptr2, ptr3,
identifier_node Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
-modify_expr : ptr1, ptr2,
+modify_expr : ptr1, 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
@@ -299,7 +299,7 @@ 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,
+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;
@@ -309,7 +309,7 @@ var_decl ptr3: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
integer_cst 200: ptr1, ptr2, ptr3,
-block : ptr1, ptr2,
+block : ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
function_decl func8:
@@ -363,7 +363,7 @@ record_type : ptr1, ptr2, ptr3,
identifier_node Data1: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
-modify_expr : ptr1, ptr2,
+modify_expr : ptr1, 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
@@ -380,7 +380,7 @@ 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,
+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;
@@ -390,6 +390,6 @@ var_decl ptr3: ptr1, ptr2, ptr3,
field_decl val: ptr1, ptr2, ptr3,
integer_cst 32: ptr1, ptr2, ptr3,
integer_cst 200: ptr1, ptr2, ptr3,
-block : ptr1, ptr2,
+block : ptr1, ptr2, ptr3,
var_decl c: ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2, ptr3,
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-07-02 03:14:00 +0000