diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/test39-01.txt | 2511 | ||||
-rw-r--r-- | test/test39-02.txt | 1 | ||||
-rw-r--r-- | test/test39-03.txt | 231 | ||||
-rw-r--r-- | test/test39-04.txt | 4 | ||||
-rw-r--r-- | test/test39-05.txt | 9 | ||||
-rw-r--r-- | test/test39.cpp | 35 |
6 files changed, 2789 insertions, 2 deletions
diff --git a/test/test39-01.txt b/test/test39-01.txt index 6e19f6c..6c8da6b 100644 --- a/test/test39-01.txt +++ b/test/test39-01.txt @@ -15054,3 +15054,2514 @@ 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 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test39.cpp 208:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + parm_decl this test39.cpp 207:29 - 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 207: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 <built-in> 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 + bind_expr test39.cpp 237:65 - code + var_decl arr test39.cpp 218:13 - operand + - isUsed: 1 + integer_cst 320 - decl size + array_type - var type + integer_type - element type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_type - domain + - precisionBits: 64 + - signed + integer_cst 64 - type size + integer_cst 0 - min value + integer_cst 9 - max value + statement_list - operand + cleanup_point_expr test39.cpp 209:57 - statement + expr_stmt test39.cpp 209:57 - operand + call_expr test39.cpp 209: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 210:60 - statement + expr_stmt test39.cpp 210:60 - operand + call_expr test39.cpp 210: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 211:57 - statement + expr_stmt test39.cpp 211:57 - operand + call_expr test39.cpp 211: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 212:65 - statement + expr_stmt test39.cpp 212:65 - operand + call_expr test39.cpp 212: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 213:55 - statement + expr_stmt test39.cpp 213:55 - operand + call_expr test39.cpp 213: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 214:58 - statement + expr_stmt test39.cpp 214:58 - operand + call_expr test39.cpp 214: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 215:61 - statement + expr_stmt test39.cpp 215:61 - operand + call_expr test39.cpp 215: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 216:58 - statement + expr_stmt test39.cpp 216:58 - operand + call_expr test39.cpp 216: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 217:65 - statement + expr_stmt test39.cpp 217:65 - operand + call_expr test39.cpp 217: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 + decl_expr test39.cpp 218:19 - statement + var_decl arr test39.cpp 218:13 - operand + - isUsed: 1 + integer_cst 320 - decl size 2 + array_type - var type 2 + integer_type - element type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_type - domain + - precisionBits: 64 + - signed + integer_cst 64 - type size + integer_cst 0 - min value + integer_cst 9 - max value + cleanup_point_expr test39.cpp 219:57 - statement + expr_stmt test39.cpp 219:57 - operand + call_expr test39.cpp 219: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 220:60 - statement + expr_stmt test39.cpp 220:60 - operand + call_expr test39.cpp 220: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 221:57 - statement + expr_stmt test39.cpp 221:57 - operand + call_expr test39.cpp 221: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 222:65 - statement + expr_stmt test39.cpp 222:65 - operand + call_expr test39.cpp 222: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 223:55 - statement + expr_stmt test39.cpp 223:55 - operand + call_expr test39.cpp 223: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 224:58 - statement + expr_stmt test39.cpp 224:58 - operand + call_expr test39.cpp 224: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 225:61 - statement + expr_stmt test39.cpp 225:61 - operand + call_expr test39.cpp 225: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 226:58 - statement + expr_stmt test39.cpp 226:58 - operand + call_expr test39.cpp 226: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 227:65 - statement + expr_stmt test39.cpp 227:65 - operand + call_expr test39.cpp 227: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 + cleanup_point_expr test39.cpp 228:27 - statement + expr_stmt test39.cpp 228:27 - operand + convert_expr - expresssion + modify_expr - operand + array_ref test39.cpp 228:14 - operand + integer_cst 0 - low bound + integer_cst 4 - element size + var_decl arr test39.cpp 218:13 - operand + - isUsed: 1 + integer_cst 320 - decl size 2 + array_type - var type 2 + integer_type - element type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_type - domain + - precisionBits: 64 + - signed + integer_cst 64 - type size + integer_cst 0 - min value + integer_cst 9 - max value + integer_cst 1 - operand + component_ref test39.cpp 228:24 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test39.cpp 207: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 <built-in> 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 <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + cleanup_point_expr test39.cpp 229:57 - statement + expr_stmt test39.cpp 229:57 - operand + call_expr test39.cpp 229: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 230:60 - statement + expr_stmt test39.cpp 230:60 - operand + call_expr test39.cpp 230: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 231:57 - statement + expr_stmt test39.cpp 231:57 - operand + call_expr test39.cpp 231: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 232:65 - statement + expr_stmt test39.cpp 232:65 - operand + call_expr test39.cpp 232: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 - operand + - stringLength: 5 + cleanup_point_expr test39.cpp 233:55 - statement + expr_stmt test39.cpp 233:55 - operand + call_expr test39.cpp 233: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 234:58 - statement + expr_stmt test39.cpp 234:58 - operand + call_expr test39.cpp 234: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 235:61 - statement + expr_stmt test39.cpp 235:61 - operand + call_expr test39.cpp 235: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 236:58 - statement + expr_stmt test39.cpp 236:58 - operand + call_expr test39.cpp 236: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 237:65 - statement + expr_stmt test39.cpp 237:65 - operand + call_expr test39.cpp 237: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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 <built-in> 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 + block - operand + var_decl arr test39.cpp 218:13 - block vars + - isUsed: 1 + integer_cst 320 - decl size 2 + array_type - var type 2 + integer_type - element type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_type - domain + - precisionBits: 64 + - signed + integer_cst 64 - type size + integer_cst 0 - min value + integer_cst 9 - max value diff --git a/test/test39-02.txt b/test/test39-02.txt index 7dd2c56..22aad11 100644 --- a/test/test39-02.txt +++ b/test/test39-02.txt @@ -13,3 +13,4 @@ func2: pointer_type ptr1, func3: pointer_type ptr1, func4: func5: +func6: pointer_type ptr1, diff --git a/test/test39-03.txt b/test/test39-03.txt index 2719777..6f4e490 100644 --- a/test/test39-03.txt +++ b/test/test39-03.txt @@ -1992,3 +1992,234 @@ field_decl arr: data1, ptr1, integer_cst 96: data1, ptr1, array_type : data1, ptr1, type_decl Data1: data1, ptr1, +function_decl func6: +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 arr: ptr1, +integer_cst 320: ptr1, +array_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_type : ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +integer_cst 9: 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, +convert_expr : ptr1, +modify_expr : ptr1, +test39.cpp: In member function 'void Object1::func6(Data1*) const': +test39.cpp:228:27: warning: Using variable 'ptr1' without checking for null pointer + arr[1] = ptr1->val; + ^ +array_ref : ptr1, +integer_cst 0: ptr1, +integer_cst 4: ptr1, +var_decl arr: ptr1, +integer_cst 320: ptr1, +array_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_type : ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +integer_cst 9: ptr1, +integer_cst 1: 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, +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, +var_decl arr: ptr1, +integer_cst 320: ptr1, +array_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_type : ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +integer_cst 9: ptr1, +block : ptr1, +var_decl arr: ptr1, +integer_cst 320: ptr1, +array_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_type : ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +integer_cst 9: ptr1, diff --git a/test/test39-04.txt b/test/test39-04.txt index 4a8583a..805e129 100644 --- a/test/test39-04.txt +++ b/test/test39-04.txt @@ -13,3 +13,7 @@ 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:228:27: warning: Using variable 'ptr1' without checking for null pointer + arr[1] = ptr1->val; + ^ diff --git a/test/test39-05.txt b/test/test39-05.txt index 3b62ed3..6738df9 100644 --- a/test/test39-05.txt +++ b/test/test39-05.txt @@ -22,5 +22,12 @@ test39.cpp:175:15: warning: unused variable 'data2' [-Wunused-variable] Data1 data2; ^ test39.cpp:195:16: warning: unused variable 'ptr1' [-Wunused-variable] - Data1 *ptr1 = reinterpret_cast<Data1*>(&data1); // probable here must no warning about &data1 + Data1 *ptr1 = reinterpret_cast<Data1*>(&data1); ^ +test39.cpp: In member function 'void 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; + ^ diff --git a/test/test39.cpp b/test/test39.cpp index cba35ed..fed964e 100644 --- a/test/test39.cpp +++ b/test/test39.cpp @@ -192,7 +192,7 @@ class Object1 paranuckerInternalTest("=", "removeNullVarsAll", ""); paranuckerInternalTest("=", "linkedVars", "ptr1"); paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); - Data1 *ptr1 = reinterpret_cast<Data1*>(&data1); // probable here must no warning about &data1 + Data1 *ptr1 = reinterpret_cast<Data1*>(&data1); paranuckerInternalTest("=", "knownVars", "data1 ptr1"); paranuckerInternalTest("=", "knownNonNullVars", ""); paranuckerInternalTest("=", "knownNullVars", ""); @@ -203,4 +203,37 @@ class Object1 paranuckerInternalTest("=", "linkedVars", "ptr1"); paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); } + + void func6(Data1 *ptr1) const + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + int arr[10]; + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + arr[1] = ptr1->val; + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + } }; |