diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-10 02:39:32 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-10 02:39:32 +0300 |
commit | 2fbe80e73b358c5017e3dff849732c7922c6ddd5 (patch) | |
tree | ba2bef318f516d040eafa5464132ec70be19a0bc | |
parent | 947dbc2655525203cf34a01470520601d884378c (diff) | |
download | paranucker-2fbe80e73b358c5017e3dff849732c7922c6ddd5.tar.gz paranucker-2fbe80e73b358c5017e3dff849732c7922c6ddd5.tar.bz2 paranucker-2fbe80e73b358c5017e3dff849732c7922c6ddd5.tar.xz paranucker-2fbe80e73b358c5017e3dff849732c7922c6ddd5.zip |
Update test 34.
-rw-r--r-- | test/test33-03.txt | 28 | ||||
-rw-r--r-- | test/test34-01.txt | 918 | ||||
-rw-r--r-- | test/test34-02.txt | 1 | ||||
-rw-r--r-- | test/test34-03.txt | 308 | ||||
-rw-r--r-- | test/test34-04.txt | 3 | ||||
-rw-r--r-- | test/test34-05.txt | 3 | ||||
-rw-r--r-- | test/test34.cpp | 43 |
7 files changed, 1260 insertions, 44 deletions
diff --git a/test/test33-03.txt b/test/test33-03.txt index 1a80fd6..03b2f5d 100644 --- a/test/test33-03.txt +++ b/test/test33-03.txt @@ -106,20 +106,20 @@ integer_cst 64: field_decl val: integer_cst 32: integer_cst 100: -ne_expr : ptr1, -parm_decl ptr1: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -type_decl Data1: ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, +ne_expr : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +integer_cst 0: cleanup_point_expr : ptr1, expr_stmt : ptr1, call_expr : ptr1, diff --git a/test/test34-01.txt b/test/test34-01.txt index 4c543a3..c3a9093 100644 --- a/test/test34-01.txt +++ b/test/test34-01.txt @@ -6352,3 +6352,921 @@ function_decl func8 test34.cpp 294:10 addr_expr - operand string_cst - operand - stringLength: 1 +function_decl func9 test34.cpp 329: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 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.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 test34.cpp 330:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + parm_decl this test34.cpp 329:27 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test34.cpp 329:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test34.cpp 331:57 - statement + expr_stmt test34.cpp 331:57 - operand + call_expr test34.cpp 331:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 332:60 - statement + expr_stmt test34.cpp 332:60 - operand + call_expr test34.cpp 332:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 333:57 - statement + expr_stmt test34.cpp 333:57 - operand + call_expr test34.cpp 333:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 334:65 - statement + expr_stmt test34.cpp 334:65 - operand + call_expr test34.cpp 334:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 335:55 - statement + expr_stmt test34.cpp 335:55 - operand + call_expr test34.cpp 335:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 336:58 - statement + expr_stmt test34.cpp 336:58 - operand + call_expr test34.cpp 336:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 337:61 - statement + expr_stmt test34.cpp 337:61 - operand + call_expr test34.cpp 337:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 338:26 - statement + expr_stmt test34.cpp 338:26 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 329:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + call_expr test34.cpp 338:24 - operand + addr_expr - function + function_decl getData1 test34.cpp 23:12 - operand + - isExternal: 1 + - isPublic: 1 + method_type - function type + pointer_type - method return type + parm_decl this test34.cpp 329:27 - arg + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test34.cpp 339:57 - statement + expr_stmt test34.cpp 339:57 - operand + call_expr test34.cpp 339:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 340:60 - statement + expr_stmt test34.cpp 340:60 - operand + call_expr test34.cpp 340:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 341:57 - statement + expr_stmt test34.cpp 341:57 - operand + call_expr test34.cpp 341:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 342:65 - statement + expr_stmt test34.cpp 342:65 - operand + call_expr test34.cpp 342:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 343:59 - statement + expr_stmt test34.cpp 343:59 - operand + call_expr test34.cpp 343:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 344:61 - statement + expr_stmt test34.cpp 344:61 - operand + call_expr test34.cpp 344:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 + if_stmt test34.cpp 345:9 - statement + truth_andif_expr test34.cpp 345:18 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 329:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test34.cpp 345:31 - operand + component_ref test34.cpp 345:27 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test34.cpp 329:23 - ref + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_cst 100 - operand + statement_list - then + cleanup_point_expr test34.cpp 347:61 - statement + expr_stmt test34.cpp 347:61 - operand + call_expr test34.cpp 347:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 348:68 - statement + expr_stmt test34.cpp 348:68 - operand + call_expr test34.cpp 348:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 349:61 - statement + expr_stmt test34.cpp 349:61 - operand + call_expr test34.cpp 349:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 350:65 - statement + expr_stmt test34.cpp 350:65 - operand + call_expr test34.cpp 350:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 351:59 - statement + expr_stmt test34.cpp 351:59 - operand + call_expr test34.cpp 351:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 352:65 - statement + expr_stmt test34.cpp 352:65 - operand + call_expr test34.cpp 352:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 353:30 - statement + expr_stmt test34.cpp 353:30 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 329:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + call_expr test34.cpp 353:28 - operand + addr_expr - function + function_decl getData1 test34.cpp 23:12 - operand + - isExternal: 1 + - isPublic: 1 + method_type - function type + pointer_type - method return type + parm_decl this test34.cpp 329:27 - arg + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test34.cpp 354:61 - statement + expr_stmt test34.cpp 354:61 - operand + call_expr test34.cpp 354:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 355:64 - statement + expr_stmt test34.cpp 355:64 - operand + call_expr test34.cpp 355:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 356:61 - statement + expr_stmt test34.cpp 356:61 - operand + call_expr test34.cpp 356:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 357:69 - statement + expr_stmt test34.cpp 357:69 - operand + call_expr test34.cpp 357:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 358:63 - statement + expr_stmt test34.cpp 358:63 - operand + call_expr test34.cpp 358:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 359:62 - statement + expr_stmt test34.cpp 359:62 - operand + call_expr test34.cpp 359:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 360:65 - statement + expr_stmt test34.cpp 360:65 - operand + call_expr test34.cpp 360:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 362:57 - statement + expr_stmt test34.cpp 362:57 - operand + call_expr test34.cpp 362:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 363:60 - statement + expr_stmt test34.cpp 363:60 - operand + call_expr test34.cpp 363:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 364:57 - statement + expr_stmt test34.cpp 364:57 - operand + call_expr test34.cpp 364:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 365:65 - statement + expr_stmt test34.cpp 365:65 - operand + call_expr test34.cpp 365:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 366:59 - statement + expr_stmt test34.cpp 366:59 - operand + call_expr test34.cpp 366:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 367:58 - statement + expr_stmt test34.cpp 367:58 - operand + call_expr test34.cpp 367:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 test34.cpp 368:61 - statement + expr_stmt test34.cpp 368:61 - operand + call_expr test34.cpp 368:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + 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 diff --git a/test/test34-02.txt b/test/test34-02.txt index de6ebfd..a1dd47a 100644 --- a/test/test34-02.txt +++ b/test/test34-02.txt @@ -8,3 +8,4 @@ func5: pointer_type ptr1, func6: pointer_type ptr1, func7: pointer_type ptr1, func8: pointer_type ptr1, +func9: pointer_type ptr1, diff --git a/test/test34-03.txt b/test/test34-03.txt index d1476ef..b82713d 100644 --- a/test/test34-03.txt +++ b/test/test34-03.txt @@ -1246,7 +1246,7 @@ expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, -eq_expr : +eq_expr : ptr1, component_ref : ptr1, test34.cpp: In member function 'void Object1::func6(Data1*)': test34.cpp:225:22: warning: Using parameter 'ptr1' without checking for null pointer @@ -1389,6 +1389,10 @@ function_decl paranuckerInternalTest: while_stmt : ptr1, truth_andif_expr : ptr1, ne_expr : +test34.cpp: In member function 'void Object1::func7(Data1*)': +test34.cpp:268:21: warning: Useless variable check 'ptr1'. It already was checked before + while (ptr1 && ptr1->val == 100) + ^ parm_decl ptr1: pointer_type : record_type : @@ -1515,8 +1519,8 @@ expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, -truth_andif_expr : -ne_expr : +truth_andif_expr : ptr1, +ne_expr : ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -1531,27 +1535,23 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, eq_expr : -component_ref : ptr1, -test34.cpp: In member function 'void Object1::func7(Data1*)': -test34.cpp:268:30: warning: Using parameter 'ptr1' without checking for null pointer - while (ptr1 && ptr1->val == 100) - ^ -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, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -type_decl Data1: ptr1, -integer_cst 64: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_cst 100: ptr1, +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: cleanup_point_expr : ptr1, expr_stmt : ptr1, call_expr : ptr1, @@ -1821,3 +1821,263 @@ expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, +function_decl func9: +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, +convert_expr : ptr1, +modify_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl getData1: ptr1, +parm_decl this: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Object1: ptr1, +field_decl tmp1: ptr1, +integer_cst 64: ptr1, +field_decl tmp2: ptr1, +integer_cst 64: ptr1, +type_decl Object1: ptr1, +integer_cst 64: 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, +if_stmt : ptr1, +truth_andif_expr : ptr1, +ne_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +eq_expr : +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: +statement_list : +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl getData1: ptr1, +parm_decl this: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Object1: ptr1, +field_decl tmp1: ptr1, +integer_cst 64: ptr1, +field_decl tmp2: ptr1, +integer_cst 64: ptr1, +type_decl Object1: ptr1, +integer_cst 64: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +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, diff --git a/test/test34-04.txt b/test/test34-04.txt index 28367e8..2975fe9 100644 --- a/test/test34-04.txt +++ b/test/test34-04.txt @@ -23,6 +23,3 @@ test34.cpp: In member function 'void Object1::func7(Data1*)': test34.cpp:268:21: warning: Useless variable check 'ptr1'. It already was checked before while (ptr1 && ptr1->val == 100) ^ -test34.cpp:268:30: warning: Using parameter 'ptr1' without checking for null pointer - while (ptr1 && ptr1->val == 100) - ^ diff --git a/test/test34-05.txt b/test/test34-05.txt index 28367e8..2975fe9 100644 --- a/test/test34-05.txt +++ b/test/test34-05.txt @@ -23,6 +23,3 @@ test34.cpp: In member function 'void Object1::func7(Data1*)': test34.cpp:268:21: warning: Useless variable check 'ptr1'. It already was checked before while (ptr1 && ptr1->val == 100) ^ -test34.cpp:268:30: warning: Using parameter 'ptr1' without checking for null pointer - while (ptr1 && ptr1->val == 100) - ^ diff --git a/test/test34.cpp b/test/test34.cpp index 8baa9fe..1363de6 100644 --- a/test/test34.cpp +++ b/test/test34.cpp @@ -325,4 +325,47 @@ class Object1 paranuckerInternalTest("=", "removeNullVars", ""); paranuckerInternalTest("=", "removeNullVarsAll", ""); } + + void func9(Data1 *ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + ptr1 = getData1(); + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", "ptr1"); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + if (ptr1 && ptr1->val == 100) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + ptr1 = getData1(); + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", "ptr1"); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + } + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", "ptr1"); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + } + }; |