From b3f49ea6b503e16eb3f276041fe59b8c5610fc17 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Thu, 23 Jul 2015 22:04:01 +0300 Subject: Update test 39. --- test/test39-01.txt | 2638 +++++++++++++++++++++++++++++++++++++++++++++++++++- test/test39-02.txt | 1 + test/test39-03.txt | 259 +++++- test/test39-04.txt | 16 +- test/test39-05.txt | 16 +- test/test39.cpp | 38 +- 6 files changed, 2955 insertions(+), 13 deletions(-) diff --git a/test/test39-01.txt b/test/test39-01.txt index 6c8da6b..ba6a105 100644 --- a/test/test39-01.txt +++ b/test/test39-01.txt @@ -15054,12 +15054,17 @@ function_decl func5 test39.cpp 164:10 array_type - field type type_decl Data1 test39.cpp 4:1 - field - isAutogenerated: 1 -function_decl func6 test39.cpp 207:10 +function_decl func6 test39.cpp 207:9 - isPublic: 1 method_type - function type - void_type - method return type - type_decl void 0:0 - type name + integer_type - method return type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value record_type - method base type type_decl Object1 test39.cpp 36:7 - type name - isAutogenerated: 1 @@ -15238,10 +15243,16 @@ function_decl func6 test39.cpp 207:10 - isAutogenerated: 1 result_decl test39.cpp 208:5 - function result - isAutogenerated: 1 - void_type - result type - type_decl void 0:0 - type name + integer_type - result type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name - isAutogenerated: 1 - parm_decl this test39.cpp 207:29 - argument + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 32 - decl size + parm_decl this test39.cpp 207:28 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -15266,7 +15277,7 @@ function_decl func6 test39.cpp 207:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test39.cpp 207:23 - argument + parm_decl ptr1 test39.cpp 207:22 - argument pointer_type - decl type record_type - nested type type_decl Data1 test39.cpp 3:8 - type name @@ -15300,7 +15311,7 @@ function_decl func6 test39.cpp 207:10 type_decl Data1 test39.cpp 4:1 - field - isAutogenerated: 1 integer_cst 64 - parm size - bind_expr test39.cpp 237:65 - code + bind_expr test39.cpp 238:25 - code var_decl arr test39.cpp 218:13 - operand - isUsed: 1 integer_cst 320 - decl size @@ -16790,7 +16801,7 @@ function_decl func6 test39.cpp 207:10 component_ref test39.cpp 228:24 - operand indirect_ref - object - isUsed: 1 - parm_decl ptr1 test39.cpp 207:23 - ref + parm_decl ptr1 test39.cpp 207:22 - ref pointer_type - decl type record_type - nested type type_decl Data1 test39.cpp 3:8 - type name @@ -17546,6 +17557,67 @@ function_decl func6 test39.cpp 207:10 addr_expr - operand string_cst ptr1 - operand - stringLength: 5 + return_expr test39.cpp 238:22 - statement + init_expr - operand + result_decl test39.cpp 208:5 - operand + - isAutogenerated: 1 + integer_type - result type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 32 - decl size + component_ref test39.cpp 238:22 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test39.cpp 207:22 - ref + pointer_type - decl type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value block - operand var_decl arr test39.cpp 218:13 - block vars - isUsed: 1 @@ -17565,3 +17637,2551 @@ function_decl func6 test39.cpp 207:10 integer_cst 64 - type size integer_cst 0 - min value integer_cst 9 - max value +function_decl func7 test39.cpp 241:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test39.cpp 36:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test39.cpp 38:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + field_decl tmp2 test39.cpp 39:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + field_decl tmp3 test39.cpp 40:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + type_decl Data2 test39.cpp 18:8 - type name + - isAutogenerated: 1 + field_decl _vptr.Data2 test39.cpp 18:8 - field + - unsigned + - isVirtual: 1 + - isAutogenerated: 1 + integer_cst 64 - decl size + pointer_type - field type + pointer_type - nested type + field_decl val test39.cpp 20:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 22:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data2 test39.cpp 19:1 - field + - isAutogenerated: 1 + type_decl Object1 test39.cpp 37:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test39.cpp 36:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test39.cpp 38:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl tmp2 test39.cpp 39:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl tmp3 test39.cpp 40:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + type_decl Object1 test39.cpp 37:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test39.cpp 242:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test39.cpp 241:42 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test39.cpp 36:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test39.cpp 38:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl tmp2 test39.cpp 39:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl tmp3 test39.cpp 40:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + type_decl Object1 test39.cpp 37:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test39.cpp 241:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test39.cpp 241:36 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test39.cpp 243:62 - statement + expr_stmt test39.cpp 243:62 - operand + call_expr test39.cpp 243:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test39.cpp 244:60 - statement + expr_stmt test39.cpp 244:60 - operand + call_expr test39.cpp 244:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 245:57 - statement + expr_stmt test39.cpp 245:57 - operand + call_expr test39.cpp 245:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 246:70 - statement + expr_stmt test39.cpp 246:70 - operand + call_expr test39.cpp 246:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test39.cpp 247:55 - statement + expr_stmt test39.cpp 247:55 - operand + call_expr test39.cpp 247:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 248:58 - statement + expr_stmt test39.cpp 248:58 - operand + call_expr test39.cpp 248:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 249:61 - statement + expr_stmt test39.cpp 249:61 - operand + call_expr test39.cpp 249:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 250:58 - statement + expr_stmt test39.cpp 250:58 - operand + call_expr test39.cpp 250:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 251:65 - statement + expr_stmt test39.cpp 251:65 - operand + call_expr test39.cpp 251:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + if_stmt test39.cpp 252:9 - statement + eq_expr test39.cpp 252:23 - condition + component_ref test39.cpp 252:19 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test39.cpp 241:23 - ref + pointer_type - decl type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + component_ref test39.cpp 252:32 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr2 test39.cpp 241:36 - ref + pointer_type - decl type + record_type - nested type + type_decl Data1 test39.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + field_decl ptrval test39.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + pointer_type - field type + record_type - nested type + field_decl arr test39.cpp 7:14 - field + - signed + integer_cst 96 - decl size + array_type - field type + integer_type - element type + - precisionBits: 32 + - signed + integer_type - domain + - precisionBits: 64 + - signed + type_decl Data1 test39.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl val test39.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_type - field type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + statement_list - then + cleanup_point_expr test39.cpp 254:66 - statement + expr_stmt test39.cpp 254:66 - operand + call_expr test39.cpp 254:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test39.cpp 255:64 - statement + expr_stmt test39.cpp 255:64 - operand + call_expr test39.cpp 255:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 256:61 - statement + expr_stmt test39.cpp 256:61 - operand + call_expr test39.cpp 256:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 257:74 - statement + expr_stmt test39.cpp 257:74 - operand + call_expr test39.cpp 257:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test39.cpp 258:59 - statement + expr_stmt test39.cpp 258:59 - operand + call_expr test39.cpp 258:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 259:62 - statement + expr_stmt test39.cpp 259:62 - operand + call_expr test39.cpp 259:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 260:65 - statement + expr_stmt test39.cpp 260:65 - operand + call_expr test39.cpp 260:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 261:62 - statement + expr_stmt test39.cpp 261:62 - operand + call_expr test39.cpp 261:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 262:69 - statement + expr_stmt test39.cpp 262:69 - operand + call_expr test39.cpp 262:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + return_expr test39.cpp 263:13 - statement + cleanup_point_expr test39.cpp 265:62 - statement + expr_stmt test39.cpp 265:62 - operand + call_expr test39.cpp 265:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test39.cpp 266:60 - statement + expr_stmt test39.cpp 266:60 - operand + call_expr test39.cpp 266:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 267:57 - statement + expr_stmt test39.cpp 267:57 - operand + call_expr test39.cpp 267:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 268:70 - statement + expr_stmt test39.cpp 268:70 - operand + call_expr test39.cpp 268:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test39.cpp 269:55 - statement + expr_stmt test39.cpp 269:55 - operand + call_expr test39.cpp 269:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 270:58 - statement + expr_stmt test39.cpp 270:58 - operand + call_expr test39.cpp 270:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 271:61 - statement + expr_stmt test39.cpp 271:61 - operand + call_expr test39.cpp 271:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test39.cpp 272:58 - statement + expr_stmt test39.cpp 272:58 - operand + call_expr test39.cpp 272:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 273:65 - statement + expr_stmt test39.cpp 273:65 - operand + call_expr test39.cpp 273:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test39.cpp 34:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + tree_list - chain + pointer_type - value + tree_list - chain + parm_decl action test39.cpp 34:41 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl collection test39.cpp 34:61 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + parm_decl values test39.cpp 34:85 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 8 + - isChar: 1 + - signed + type_decl char 0:0 - type name + - isAutogenerated: 1 + integer_cst 8 - type size + integer_cst -128 - min value + integer_cst 127 - max value + integer_cst 64 - parm size + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 diff --git a/test/test39-02.txt b/test/test39-02.txt index 22aad11..7f4066e 100644 --- a/test/test39-02.txt +++ b/test/test39-02.txt @@ -14,3 +14,4 @@ func3: pointer_type ptr1, func4: func5: func6: pointer_type ptr1, +func7: pointer_type ptr1, pointer_type ptr2, diff --git a/test/test39-03.txt b/test/test39-03.txt index 6f4e490..1f0e4c1 100644 --- a/test/test39-03.txt +++ b/test/test39-03.txt @@ -1128,6 +1128,9 @@ integer_type : ptr1, integer_type : ptr1, type_decl Data1: ptr1, integer_cst 1: ptr1, +test39.cpp:96:15: warning: Using field 'ptr1' without checking for null pointer + ptr1->ptrval = reinterpret_cast(1); + ^ cleanup_point_expr : ptr1, expr_stmt : ptr1, call_expr : ptr1, @@ -1275,6 +1278,9 @@ integer_type : ptr1, integer_type : ptr1, type_decl Data1: ptr1, integer_cst 0: ptr1, +test39.cpp:119:15: warning: Using field 'ptr1' without checking for null pointer + ptr1->ptrval = 0; + ^ cleanup_point_expr : ptr1, ptr1->ptrval, expr_stmt : ptr1, ptr1->ptrval, call_expr : ptr1, ptr1->ptrval, @@ -2102,7 +2108,7 @@ cleanup_point_expr : ptr1, expr_stmt : ptr1, convert_expr : ptr1, modify_expr : ptr1, -test39.cpp: In member function 'void Object1::func6(Data1*) const': +test39.cpp: In member function 'int Object1::func6(Data1*) const': test39.cpp:228:27: warning: Using variable 'ptr1' without checking for null pointer arr[1] = ptr1->val; ^ @@ -2198,6 +2204,49 @@ expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, +return_expr : ptr1, +init_expr : ptr1, +test39.cpp:238:22: warning: Using field 'ptr1' without checking for null pointer + return ptr1->val; + ^ +result_decl : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_cst 32: ptr1, +component_ref : ptr1, +indirect_ref : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: 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, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +pointer_type : ptr1, +record_type : ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +array_type : ptr1, +integer_type : ptr1, +integer_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, var_decl arr: ptr1, integer_cst 320: ptr1, array_type : ptr1, @@ -2223,3 +2272,211 @@ integer_type : ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, integer_cst 9: ptr1, +function_decl func7: +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +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 field 'ptr1' without checking for null pointer + if (ptr1->val == ptr2->val) + ^ +test39.cpp:252:23: warning: Using field 'ptr2' without checking for null pointer +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, +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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +integer_type : ptr1, ptr2, +integer_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, +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, +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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +integer_type : ptr1, ptr2, +integer_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, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +return_expr : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, diff --git a/test/test39-04.txt b/test/test39-04.txt index 805e129..c3fd401 100644 --- a/test/test39-04.txt +++ b/test/test39-04.txt @@ -9,11 +9,25 @@ test39.cpp: In member function 'void Object1::func2(Data1*) const': test39.cpp:96:51: warning: Using parameter 'ptr1' without checking for null pointer ptr1->ptrval = reinterpret_cast(1); ^ +test39.cpp:96:15: warning: Using field 'ptr1' without checking for null pointer + ptr1->ptrval = reinterpret_cast(1); + ^ test39.cpp: In member function 'void Object1::func3(Data1*) const': test39.cpp:119:25: warning: Using parameter 'ptr1' without checking for null pointer ptr1->ptrval = 0; ^ -test39.cpp: In member function 'void Object1::func6(Data1*) const': +test39.cpp:119:15: warning: Using field 'ptr1' without checking for null pointer + ptr1->ptrval = 0; + ^ +test39.cpp: In member function 'int Object1::func6(Data1*) const': test39.cpp:228:27: warning: Using variable 'ptr1' without checking for null pointer arr[1] = ptr1->val; ^ +test39.cpp:238:22: warning: Using field 'ptr1' without checking for null pointer + return ptr1->val; + ^ +test39.cpp: In member function 'void Object1::func7(Data1*, Data1*) const': +test39.cpp:252:23: warning: Using field 'ptr1' without checking for null pointer + if (ptr1->val == ptr2->val) + ^ +test39.cpp:252:23: warning: Using field 'ptr2' without checking for null pointer diff --git a/test/test39-05.txt b/test/test39-05.txt index 6738df9..2ac8f8b 100644 --- a/test/test39-05.txt +++ b/test/test39-05.txt @@ -9,10 +9,16 @@ test39.cpp: In member function 'void Object1::func2(Data1*) const': test39.cpp:96:51: warning: Using parameter 'ptr1' without checking for null pointer ptr1->ptrval = reinterpret_cast(1); ^ +test39.cpp:96:15: warning: Using field 'ptr1' without checking for null pointer + ptr1->ptrval = reinterpret_cast(1); + ^ test39.cpp: In member function 'void Object1::func3(Data1*) const': test39.cpp:119:25: warning: Using parameter 'ptr1' without checking for null pointer ptr1->ptrval = 0; ^ +test39.cpp:119:15: warning: Using field 'ptr1' without checking for null pointer + ptr1->ptrval = 0; + ^ test39.cpp: In member function 'void Object1::func4() const': test39.cpp:152:16: warning: unused variable 'ptr1' [-Wunused-variable] Data1 *ptr1 = &data2; @@ -24,10 +30,18 @@ test39.cpp:175:15: warning: unused variable 'data2' [-Wunused-variable] test39.cpp:195:16: warning: unused variable 'ptr1' [-Wunused-variable] Data1 *ptr1 = reinterpret_cast(&data1); ^ -test39.cpp: In member function 'void Object1::func6(Data1*) const': +test39.cpp: In member function 'int Object1::func6(Data1*) const': test39.cpp:218:13: warning: variable 'arr' set but not used [-Wunused-but-set-variable] int arr[10]; ^ test39.cpp:228:27: warning: Using variable 'ptr1' without checking for null pointer arr[1] = ptr1->val; ^ +test39.cpp:238:22: warning: Using field 'ptr1' without checking for null pointer + return ptr1->val; + ^ +test39.cpp: In member function 'void Object1::func7(Data1*, Data1*) const': +test39.cpp:252:23: warning: Using field 'ptr1' without checking for null pointer + if (ptr1->val == ptr2->val) + ^ +test39.cpp:252:23: warning: Using field 'ptr2' without checking for null pointer diff --git a/test/test39.cpp b/test/test39.cpp index fed964e..2587644 100644 --- a/test/test39.cpp +++ b/test/test39.cpp @@ -204,7 +204,7 @@ class Object1 paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); } - void func6(Data1 *ptr1) const + int func6(Data1 *ptr1) const { paranuckerInternalTest("=", "knownVars", "ptr1"); paranuckerInternalTest("=", "knownNonNullVars", ""); @@ -235,5 +235,41 @@ class Object1 paranuckerInternalTest("=", "removeNullVarsAll", ""); paranuckerInternalTest("=", "linkedVars", "ptr1"); paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + return ptr1->val; + } + + void func7(Data1 *ptr1, Data1 *ptr2) const + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + if (ptr1->val == ptr2->val) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + return; + } + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); } }; -- cgit v1.2.3-60-g2f50