summaryrefslogtreecommitdiff
path: root/test/test39-03.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/test39-03.txt')
-rw-r--r--test/test39-03.txt689
1 files changed, 591 insertions, 98 deletions
diff --git a/test/test39-03.txt b/test/test39-03.txt
index 22ead4e..311cf60 100644
--- a/test/test39-03.txt
+++ b/test/test39-03.txt
@@ -369,10 +369,10 @@ expr_stmt : ptr1,
convert_expr : ptr1,
modify_expr : ptr1,
test39.cpp: In member function 'void Object1::func1(Data1*) const':
-test39.cpp:63:24: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:69:24: warning: Using variable 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-test39.cpp:63:24: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:69:24: warning: Using variable 'ptr1' without checking for null pointer
component_ref : ptr1,
indirect_ref : ptr1,
parm_decl ptr1: ptr1,
@@ -437,10 +437,10 @@ cleanup_point_expr : ptr1,
expr_stmt : ptr1,
convert_expr : ptr1,
modify_expr : ptr1,
-test39.cpp:73:22: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:79:22: warning: Using variable 'ptr1' without checking for null pointer
ptr1->val = 0;
^
-test39.cpp:73:22: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:79:22: warning: Using variable 'ptr1' without checking for null pointer
component_ref : ptr1,
indirect_ref : ptr1,
parm_decl ptr1: ptr1,
@@ -553,7 +553,7 @@ expr_stmt : ptr1,
convert_expr : ptr1,
modify_expr : ptr1,
test39.cpp: In member function 'void Object1::func2(Data1*) const':
-test39.cpp:96:51: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:102:51: warning: Using variable 'ptr1' without checking for null pointer
ptr1->ptrval = reinterpret_cast<Data1*>(1);
^
component_ref : ptr1,
@@ -569,7 +569,7 @@ pointer_type : ptr1,
record_type : ptr1,
type_decl Data1: ptr1,
integer_cst 1: ptr1,
-test39.cpp:96:15: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:102:15: warning: Using variable 'ptr1' without checking for null pointer
ptr1->ptrval = reinterpret_cast<Data1*>(1);
^
integer_cst 1: ptr1,
@@ -670,7 +670,7 @@ expr_stmt : ptr1,
convert_expr : ptr1,
modify_expr : ptr1,
test39.cpp: In member function 'void Object1::func3(Data1*) const':
-test39.cpp:119:25: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:125:25: warning: Using variable 'ptr1' without checking for null pointer
ptr1->ptrval = 0;
^
component_ref : ptr1,
@@ -686,7 +686,7 @@ pointer_type : ptr1,
record_type : ptr1,
type_decl Data1: ptr1,
integer_cst 0: ptr1,
-test39.cpp:119:15: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:125:15: warning: Using variable 'ptr1' without checking for null pointer
ptr1->ptrval = 0;
^
integer_cst 0: ptr1,
@@ -785,7 +785,7 @@ addr_expr :
function_decl paranuckerInternalTest:
decl_expr :
var_decl data2:
-integer_cst 256:
+integer_cst 384:
record_type :
type_decl Data1:
cleanup_point_expr :
@@ -838,7 +838,7 @@ var_decl ptr1:
integer_cst 64:
addr_expr :
var_decl data2:
-integer_cst 256:
+integer_cst 384:
record_type :
type_decl Data1:
pointer_type :
@@ -890,19 +890,19 @@ call_expr :
addr_expr :
function_decl paranuckerInternalTest:
var_decl data2:
-integer_cst 256:
+integer_cst 384:
record_type :
type_decl Data1:
block :
var_decl data2:
-integer_cst 256:
+integer_cst 384:
record_type :
type_decl Data1:
var_decl ptr1:
integer_cst 64:
addr_expr :
var_decl data2:
-integer_cst 256:
+integer_cst 384:
record_type :
type_decl Data1:
pointer_type :
@@ -958,7 +958,7 @@ addr_expr :
function_decl paranuckerInternalTest:
decl_expr :
var_decl data2:
-integer_cst 256:
+integer_cst 384:
record_type :
type_decl Data1:
cleanup_point_expr :
@@ -1058,87 +1058,87 @@ call_expr : data1,
addr_expr : data1,
function_decl paranuckerInternalTest: data1,
decl_expr : data1,
-var_decl ptr1: data1, ptr1,
-integer_cst 64: data1, ptr1,
-addr_expr : data1, ptr1,
-var_decl data1: data1, ptr1,
-integer_cst 64: data1, ptr1,
-pointer_type : data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
-pointer_type : data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
-cleanup_point_expr : data1, ptr1,
-expr_stmt : data1, ptr1,
-call_expr : data1, ptr1,
-addr_expr : data1, ptr1,
-function_decl paranuckerInternalTest: data1, ptr1,
+var_decl ptr1: data1,
+integer_cst 64: data1,
+addr_expr : data1,
+var_decl data1: data1,
+integer_cst 64: data1,
+pointer_type : data1,
+record_type : data1,
+type_decl Data1: data1,
+pointer_type : data1,
+record_type : data1,
+type_decl Data1: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
+cleanup_point_expr : data1,
+expr_stmt : data1,
+call_expr : data1,
+addr_expr : data1,
+function_decl paranuckerInternalTest: data1,
var_decl data2:
-integer_cst 256: data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
-block : data1, ptr1,
-var_decl data2: data1, ptr1,
-integer_cst 256: data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
-var_decl data1: data1, ptr1,
-integer_cst 64: data1, ptr1,
-pointer_type : data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
-var_decl ptr1: data1, ptr1,
-integer_cst 64: data1, ptr1,
-addr_expr : data1, ptr1,
-var_decl data1: data1, ptr1,
-integer_cst 64: data1, ptr1,
-pointer_type : data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
-pointer_type : data1, ptr1,
-record_type : data1, ptr1,
-type_decl Data1: data1, ptr1,
+integer_cst 384: data1,
+record_type : data1,
+type_decl Data1: data1,
+block : data1,
+var_decl data2: data1,
+integer_cst 384: data1,
+record_type : data1,
+type_decl Data1: data1,
+var_decl data1: data1,
+integer_cst 64: data1,
+pointer_type : data1,
+record_type : data1,
+type_decl Data1: data1,
+var_decl ptr1: data1,
+integer_cst 64: data1,
+addr_expr : data1,
+var_decl data1: data1,
+integer_cst 64: data1,
+pointer_type : data1,
+record_type : data1,
+type_decl Data1: data1,
+pointer_type : data1,
+record_type : data1,
+type_decl Data1: data1,
function_decl func6:
bind_expr : ptr1,
statement_list : ptr1,
@@ -1250,7 +1250,7 @@ expr_stmt : ptr1,
convert_expr : ptr1,
modify_expr : ptr1,
test39.cpp: In member function 'int Object1::func6(Data1*) const':
-test39.cpp:228:27: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:234:27: warning: Using variable 'ptr1' without checking for null pointer
arr[1] = ptr1->val;
^
array_ref : ptr1,
@@ -1330,7 +1330,7 @@ addr_expr : ptr1,
function_decl paranuckerInternalTest: ptr1,
return_expr : ptr1,
init_expr : ptr1,
-test39.cpp:238:22: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:244:22: warning: Using variable 'ptr1' without checking for null pointer
return ptr1->val;
^
result_decl : ptr1,
@@ -1429,10 +1429,10 @@ function_decl paranuckerInternalTest: ptr1, ptr2,
if_stmt : ptr1, ptr2,
eq_expr : ptr1, ptr2,
test39.cpp: In member function 'void Object1::func7(Data1*, Data1*) const':
-test39.cpp:252:23: warning: Using variable 'ptr1' without checking for null pointer
+test39.cpp:258:23: warning: Using variable 'ptr1' without checking for null pointer
if (ptr1->val == ptr2->val)
^
-test39.cpp:252:23: warning: Using variable 'ptr2' without checking for null pointer
+test39.cpp:258:23: warning: Using variable 'ptr2' without checking for null pointer
component_ref : ptr1, ptr2,
indirect_ref : ptr1, ptr2,
parm_decl ptr2: ptr1, ptr2,
@@ -1567,3 +1567,496 @@ expr_stmt : ptr1, ptr2,
call_expr : ptr1, ptr2,
addr_expr : ptr1, ptr2,
function_decl paranuckerInternalTest: ptr1, ptr2,
+function_decl func8:
+bind_expr : ptr1,
+statement_list : ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+decl_expr : ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+array_ref : ptr1,
+test39.cpp: In member function 'DArr* Object1::func8(Data1*) const':
+test39.cpp:293:35: warning: Using variable 'ptr1' without checking for null pointer
+ DArr *ptr2 = &ptr1->parr[0]; // here also need check parr
+ ^
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+return_expr : ptr1,
+init_expr : ptr1,
+result_decl : ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_cst 64: ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+array_ref : ptr1,
+test39.cpp:293:35: warning: Using variable 'ptr1' without checking for null pointer
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+array_ref : ptr1,
+test39.cpp:293:35: warning: Using variable 'ptr1' without checking for null pointer
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+block : ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+array_ref : ptr1,
+test39.cpp:293:35: warning: Using variable 'ptr1' without checking for null pointer
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+function_decl func9:
+bind_expr : ptr1,
+statement_list : ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+decl_expr : ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+component_ref : ptr1,
+array_ref : ptr1,
+test39.cpp: In member function 'int* Object1::func9(Data1*) const':
+test39.cpp:319:34: warning: Using variable 'ptr1' without checking for null pointer
+ int *ptr2 = &ptr1->parr[0].z; // here also need check parr
+ ^
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+field_decl z: ptr1,
+integer_cst 32: ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+pointer_type : ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+return_expr : ptr1,
+init_expr : ptr1,
+result_decl : ptr1,
+pointer_type : ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+integer_cst 64: ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+component_ref : ptr1,
+array_ref : ptr1,
+test39.cpp:319:34: warning: Using variable 'ptr1' without checking for null pointer
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+field_decl z: ptr1,
+integer_cst 32: ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+pointer_type : ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+component_ref : ptr1,
+array_ref : ptr1,
+test39.cpp:319:34: warning: Using variable 'ptr1' without checking for null pointer
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+field_decl z: ptr1,
+integer_cst 32: ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+pointer_type : ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+block : ptr1,
+var_decl ptr2: ptr1,
+integer_cst 64: ptr1,
+addr_expr : ptr1,
+component_ref : ptr1,
+array_ref : ptr1,
+test39.cpp:319:34: warning: Using variable 'ptr1' without checking for null pointer
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+component_ref : ptr1,
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+field_decl parr: ptr1,
+integer_cst 160: ptr1,
+array_type : ptr1,
+record_type : ptr1,
+type_decl DArr: ptr1,
+integer_type : ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+integer_cst 4: ptr1,
+integer_cst 0: ptr1,
+field_decl z: ptr1,
+integer_cst 32: ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+pointer_type : ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,