diff options
Diffstat (limited to 'test/test34-03.txt')
-rw-r--r-- | test/test34-03.txt | 611 |
1 files changed, 48 insertions, 563 deletions
diff --git a/test/test34-03.txt b/test/test34-03.txt index d225f6a..52ec24a 100644 --- a/test/test34-03.txt +++ b/test/test34-03.txt @@ -40,37 +40,30 @@ record_type : type_decl Data1: function_decl func1: 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, @@ -85,42 +78,34 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, 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 : call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : expr_stmt : convert_expr : modify_expr : @@ -147,42 +132,34 @@ record_type : type_decl Data1: integer_cst 64: integer_cst 0: -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, @@ -208,37 +185,30 @@ integer_cst 2147483647: ptr1, integer_cst 200: ptr1, function_decl func2: 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, @@ -253,42 +223,34 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, 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 : call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : expr_stmt : convert_expr : modify_expr : @@ -307,42 +269,34 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -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, @@ -368,37 +322,30 @@ integer_cst 2147483647: ptr1, integer_cst 200: ptr1, function_decl func3: 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, @@ -426,42 +373,34 @@ integer_cst -2147483648: ptr1, integer_cst 2147483647: ptr1, integer_cst 100: 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, convert_expr : ptr1, modify_expr : ptr1, @@ -478,109 +417,88 @@ pointer_type : ptr1, record_type : 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, function_decl func4: 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, @@ -608,42 +526,34 @@ integer_cst -2147483648: ptr1, integer_cst 2147483647: ptr1, integer_cst 100: 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, convert_expr : ptr1, modify_expr : ptr1, @@ -660,37 +570,30 @@ pointer_type : ptr1, record_type : 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, @@ -713,74 +616,60 @@ integer_cst 32: ptr1, integer_cst -2147483648: ptr1, integer_cst 2147483647: ptr1, integer_cst 100: 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, function_decl func5: 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, @@ -795,33 +684,27 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, return_expr : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: @@ -844,37 +727,30 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : @@ -891,109 +767,88 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, function_decl func6: 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, @@ -1008,33 +863,27 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, return_expr : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: @@ -1057,37 +906,30 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : @@ -1104,37 +946,30 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, @@ -1160,74 +995,60 @@ integer_cst 32: ptr1, integer_cst -2147483648: ptr1, integer_cst 2147483647: ptr1, integer_cst 100: 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, function_decl func7: 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, @@ -1242,33 +1063,27 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, return_expr : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: @@ -1304,37 +1119,30 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : @@ -1351,37 +1159,30 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, @@ -1412,74 +1213,60 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -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, function_decl func8: 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, @@ -1512,37 +1299,30 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : @@ -1559,37 +1339,30 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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 : call_expr : addr_expr : @@ -1620,79 +1393,64 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -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, 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, @@ -1709,32 +1467,26 @@ pointer_type : ptr1, record_type : 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, @@ -1767,37 +1519,30 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : @@ -1814,134 +1559,108 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, function_decl func10: 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, -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, @@ -1962,52 +1681,42 @@ pointer_type : ptr1, this->tmp1, record_type : ptr1, this->tmp1, type_decl Data1: ptr1, this->tmp1, integer_cst 64: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, @@ -2040,57 +1749,46 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : 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 : @@ -2107,52 +1805,42 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, @@ -2183,119 +1871,96 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, function_decl func11: 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, -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, @@ -2316,52 +1981,42 @@ pointer_type : ptr1, this->tmp1, record_type : ptr1, this->tmp1, type_decl Data1: ptr1, this->tmp1, integer_cst 64: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, @@ -2394,57 +2049,46 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : 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 : @@ -2461,52 +2105,42 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, @@ -2521,53 +2155,43 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, return_expr : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: @@ -2597,119 +2221,96 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, function_decl func12: 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, -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, @@ -2730,52 +2331,42 @@ pointer_type : ptr1, this->tmp1, record_type : ptr1, this->tmp1, type_decl Data1: ptr1, this->tmp1, integer_cst 64: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, @@ -2808,57 +2399,46 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : 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 : @@ -2875,52 +2455,42 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, @@ -2935,53 +2505,43 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, continue_stmt : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: @@ -3011,119 +2571,96 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, function_decl func13: 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, -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, @@ -3144,52 +2681,42 @@ pointer_type : ptr1, this->tmp1, record_type : ptr1, this->tmp1, type_decl Data1: ptr1, this->tmp1, integer_cst 64: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, @@ -3222,57 +2749,46 @@ integer_cst -2147483648: integer_cst 2147483647: 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 : 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 : @@ -3289,52 +2805,42 @@ pointer_type : record_type : type_decl Object1: integer_cst 64: -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, @@ -3349,53 +2855,43 @@ type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, break_stmt : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: -cleanup_point_expr : ptr1, -expr_stmt : +expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: @@ -3425,57 +2921,46 @@ integer_cst 32: integer_cst -2147483648: integer_cst 2147483647: integer_cst 100: -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, |