diff options
Diffstat (limited to 'test/test28-03.txt')
| -rw-r--r-- | test/test28-03.txt | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/test28-03.txt b/test/test28-03.txt index dbc1cf8..16d336a 100644 --- a/test/test28-03.txt +++ b/test/test28-03.txt @@ -87,6 +87,7 @@ function_decl func2: statement_list : ptr1, if_stmt : ptr1, eq_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -135,6 +136,7 @@ function_decl func3: statement_list : ptr1, if_stmt : ptr1, ne_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -224,6 +226,7 @@ function_decl func4: statement_list : ptr1, if_stmt : ptr1, eq_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -313,6 +316,7 @@ function_decl func5: statement_list : ptr1, if_stmt : ptr1, ne_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -403,6 +407,7 @@ function_decl func6: statement_list : ptr1, if_stmt : ptr1, ne_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -493,6 +498,7 @@ function_decl func7: statement_list : ptr1, if_stmt : ptr1, eq_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -583,6 +589,7 @@ function_decl func8: statement_list : ptr1, if_stmt : ptr1, ne_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -674,6 +681,7 @@ function_decl func9: statement_list : ptr1, if_stmt : ptr1, ne_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -720,6 +728,7 @@ addr_expr : function_decl paranuckerInternalTest: if_stmt : ne_expr : +integer_cst 0: test28.cpp: In member function 'void Object1::func9(Data1*)': test28.cpp:187:13: warning: Useless variable check 'ptr1'. It already was checked before if (ptr1) @@ -790,6 +799,7 @@ addr_expr : function_decl paranuckerInternalTest: if_stmt : eq_expr : +integer_cst 0: test28.cpp:198:18: warning: Useless variable check 'ptr1'. It already was checked before if (!ptr1) ^ @@ -860,6 +870,7 @@ addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, if_stmt : ptr1, ne_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -926,6 +937,7 @@ addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, if_stmt : ptr1, eq_expr : ptr1, +integer_cst 0: ptr1, test28.cpp:223:18: warning: Useless variable check 'ptr1'. It already was checked before if (!ptr1) ^ @@ -1035,6 +1047,7 @@ function_decl paranuckerInternalTest: ptr1, ptr2, if_stmt : ptr1, ptr2, truth_andif_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, +integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, @@ -1059,6 +1072,21 @@ type_decl Data1: ptr1, ptr2, integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, ne_expr : ptr2, +var_decl ptr2: ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +array_type : ptr2, +type_decl Data1: ptr2, component_ref : ptr2, indirect_ref : ptr2, parm_decl this: ptr2, @@ -1156,6 +1184,7 @@ addr_expr : ptr1, ptr2, function_decl paranuckerInternalTest: ptr1, ptr2, if_stmt : ptr1, ptr2, eq_expr : ptr1, ptr2, +integer_cst 0: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, pointer_type : ptr1, ptr2, record_type : ptr1, ptr2, @@ -1326,6 +1355,7 @@ function_decl func11: statement_list : ptr1, if_stmt : ptr1, eq_expr : ptr1, +integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, @@ -1477,6 +1507,7 @@ addr_expr : function_decl paranuckerInternalTest: if_stmt : ptr1, eq_expr : +integer_cst 0: parm_decl ptr1: pointer_type : record_type : |