diff options
Diffstat (limited to 'test/test12-03.txt')
-rw-r--r-- | test/test12-03.txt | 260 |
1 files changed, 257 insertions, 3 deletions
diff --git a/test/test12-03.txt b/test/test12-03.txt index b0cd214..8571dd4 100644 --- a/test/test12-03.txt +++ b/test/test12-03.txt @@ -8,14 +8,24 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, test12.cpp: In member function 'void Object1::func1(Data1*, Data1*)': test12.cpp:13:13: warning: Using variable 'ptr2' without checking for null pointer int val1 = ptr1 ? ptr1->val : ptr2->val; @@ -24,9 +34,17 @@ test12.cpp:13:13: warning: Using variable 'ptr2' without checking for null point component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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_type : ptr1, ptr2, type_decl int: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -48,6 +66,7 @@ indirect_ref : ptr2, parm_decl ptr1: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, @@ -63,6 +82,7 @@ indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -84,22 +104,40 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, test12.cpp:13:13: warning: Using variable 'ptr2' without checking for null pointer test12.cpp:13:13: warning: Using variable 'ptr2' without checking for null pointer component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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_type : ptr1, ptr2, type_decl int: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -115,6 +153,8 @@ eq_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, test12.cpp: In member function 'void Object1::func2(Data1*, Data1*)': @@ -125,17 +165,33 @@ test12.cpp:18:13: warning: Using variable 'ptr1' without checking for null point component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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, test12.cpp:18:13: warning: Using variable 'ptr2' without checking for null pointer test12.cpp:18:13: warning: Using variable 'ptr2' without checking for null pointer component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, integer_type : ptr1, ptr2, type_decl int: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -159,6 +215,7 @@ indirect_ref : ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -174,6 +231,7 @@ indirect_ref : ptr2, parm_decl ptr2: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, @@ -195,6 +253,8 @@ eq_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, test12.cpp:18:13: warning: Using variable 'ptr1' without checking for null pointer @@ -202,17 +262,33 @@ test12.cpp:18:13: warning: Using variable 'ptr1' without checking for null point component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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, test12.cpp:18:13: warning: Using variable 'ptr2' without checking for null pointer test12.cpp:18:13: warning: Using variable 'ptr2' without checking for null pointer component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, integer_type : ptr1, ptr2, type_decl int: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -228,17 +304,33 @@ truth_andif_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, eq_expr : ptr2, integer_cst 0: ptr2, parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, integer_cst 0: ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, test12.cpp: In member function 'void Object1::func3(Data1*, Data1*)': test12.cpp:23:13: warning: Using variable 'ptr2' without checking for null pointer int val1 = (ptr1 && !ptr2) ? ptr1->val : ptr2->val; @@ -247,9 +339,17 @@ test12.cpp:23:13: warning: Using variable 'ptr2' without checking for null point component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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_type : ptr1, ptr2, type_decl int: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -264,6 +364,7 @@ integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, eq_expr : ptr2, @@ -271,6 +372,7 @@ integer_cst 0: ptr2, parm_decl ptr2: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, integer_cst 0: ptr2, component_ref : ptr2, @@ -278,6 +380,7 @@ indirect_ref : ptr2, parm_decl ptr1: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, @@ -293,6 +396,7 @@ indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -314,25 +418,49 @@ truth_andif_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, eq_expr : ptr2, integer_cst 0: ptr2, parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, integer_cst 0: ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, test12.cpp:23:13: warning: Using variable 'ptr2' without checking for null pointer test12.cpp:23:13: warning: Using variable 'ptr2' without checking for null pointer component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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_type : ptr1, ptr2, type_decl int: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -432,9 +560,25 @@ cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +test12.cpp: In member function 'void Object1::func5(Data1*, Data1*)': +test12.cpp:40:41: warning: Using variable 'ptr2' without checking for null pointer + int tmp = (ptr1 ? ptr1 : ptr2)->val; + ^ parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, integer_type : ptr1, ptr2, @@ -456,19 +600,20 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, -test12.cpp: In member function 'void Object1::func5(Data1*, Data1*)': test12.cpp:40:41: warning: Using variable 'ptr2' without checking for null pointer - int tmp = (ptr1 ? ptr1 : ptr2)->val; - ^ parm_decl ptr2: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -491,9 +636,22 @@ cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +test12.cpp:40:41: warning: Using variable 'ptr2' without checking for null pointer parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, integer_type : ptr1, ptr2, @@ -516,25 +674,47 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr1, indirect_ref : ptr1, parm_decl ptr2: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, field_decl val: ptr1, integer_cst 32: ptr1, integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, integer_cst 0: ptr1, ptr2, integer_type : ptr1, ptr2, type_decl int: ptr1, ptr2, @@ -557,6 +737,7 @@ indirect_ref : ptr2, parm_decl ptr1: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, @@ -571,12 +752,15 @@ integer_cst 0: ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr1, indirect_ref : ptr1, parm_decl ptr2: ptr1, pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, integer_cst 64: ptr1, field_decl val: ptr1, integer_cst 32: ptr1, @@ -599,25 +783,47 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr1, indirect_ref : ptr1, parm_decl ptr2: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, field_decl val: ptr1, integer_cst 32: ptr1, integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, integer_cst 0: ptr1, ptr2, integer_type : ptr1, ptr2, type_decl int: ptr1, ptr2, @@ -634,18 +840,32 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, cond_expr : ptr1, ptr2, eq_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, test12.cpp: In member function 'void Object1::func7(Data1*, Data1*)': test12.cpp:50:13: warning: Using variable 'ptr2' without checking for null pointer @@ -655,9 +875,17 @@ test12.cpp:50:13: warning: Using variable 'ptr2' without checking for null point component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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 0: ptr1, integer_type : ptr1, ptr2, type_decl int: ptr1, ptr2, @@ -680,6 +908,7 @@ indirect_ref : ptr2, parm_decl ptr1: ptr2, pointer_type : ptr2, record_type : ptr2, +type_decl Data1: ptr2, integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, @@ -694,6 +923,7 @@ integer_cst 0: ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, test12.cpp:50:13: warning: Using variable 'ptr2' without checking for null pointer @@ -702,6 +932,8 @@ component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: ptr1, ptr2, @@ -724,27 +956,49 @@ ne_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, cond_expr : ptr1, ptr2, eq_expr : ptr1, ptr2, integer_cst 0: ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, test12.cpp:50:13: warning: Using variable 'ptr2' without checking for null pointer test12.cpp:50:13: warning: Using variable 'ptr2' without checking for null pointer component_ref : ptr1, ptr2, indirect_ref : ptr1, ptr2, parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, field_decl val: ptr1, ptr2, integer_cst 32: 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 0: ptr1, integer_type : ptr1, ptr2, type_decl int: ptr1, ptr2, |