1 files changed, 0 insertions, 204 deletions
diff --git a/test/test5-05.txt b/test/test5-05.txt
deleted file mode 100644
index 31c89cb..0000000
--- a/test/test5-05.txt
+++ /dev/null
@@ -1,204 +0,0 @@
-function_decl func1: 
-cleanup_point_expr : b, 
-expr_stmt : b, 
-convert_expr : b, 
-modify_expr : b, 
-test5.c: In function 'void func1(int, int*, char)':
-test5.c:12:13: warning: Using parameter 'b' without checking for null pointer
-     *b = 100;
-             ^
-indirect_ref : b, 
-parm_decl b: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-integer_cst 64: b, 
-integer_cst 100: b, 
-function_decl func2: 
-cleanup_point_expr : b, 
-expr_stmt : b, 
-convert_expr : b, 
-modify_expr : b, 
-indirect_ref : b, 
-pointer_plus_expr : b, 
-test5.c: In function 'void func2(int, int*, char)':
-test5.c:17:9: warning: Using parameter 'b' without checking for null pointer
-     *(1 + b) = 200;
-         ^
-parm_decl b: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-integer_cst 64: b, 
-integer_cst 4: b, 
-integer_cst 200: b, 
-function_decl func3: 
-cleanup_point_expr : b, 
-expr_stmt : b, 
-convert_expr : b, 
-modify_expr : b, 
-indirect_ref : b, 
-pointer_plus_expr : b, 
-test5.c: In function 'void func3(int, int*, char)':
-test5.c:22:9: warning: Using parameter 'b' without checking for null pointer
-     *(1 + (1 + b)) = 300;
-         ^
-parm_decl b: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-integer_cst 64: b, 
-integer_cst 8: b, 
-integer_cst 300: b, 
-function_decl func5: 
-bind_expr : b, 
-var_decl var1: b, 
-integer_cst 32: b, 
-integer_cst 1: b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-statement_list : b, 
-cleanup_point_expr : b, 
-decl_expr : b, 
-var_decl var1: b, 
-cleanup_point_expr : b, 
-expr_stmt : b, 
-convert_expr : b, 
-modify_expr : b, 
-indirect_ref : b, 
-pointer_plus_expr : b, 
-test5.c: In function 'void func5(int, int*, char)':
-test5.c:28:12: warning: Using parameter 'b' without checking for null pointer
-     *(var1 + b) = 400;
-            ^
-parm_decl b: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-integer_cst 64: b, 
-nop_expr : b, 
-mult_expr : b, 
-nop_expr : b, 
-var_decl var1: b, 
-integer_cst 4: b, 
-integer_cst 400: b, 
-block : b, 
-var_decl var1: b, 
-function_decl func6: 
-bind_expr : b, 
-var_decl var2: b, 
-test5.c: In function 'void func6(int, int*, char)':
-test5.c:33:10: warning: Using parameter 'b' without checking for null pointer
-     int *var2 = b;
-          ^
-integer_cst 64: b, 
-parm_decl b: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-statement_list : b, 
-decl_expr : b, 
-var_decl var2: b, 
-test5.c:33:10: warning: Using parameter 'b' without checking for null pointer
-cleanup_point_expr : b, 
-expr_stmt : b, 
-convert_expr : b, 
-modify_expr : b, 
-indirect_ref : b, 
-var_decl var2: b, 
-test5.c:33:10: warning: Using parameter 'b' without checking for null pointer
-integer_cst 500: b, 
-block : b, 
-var_decl var2: b, 
-test5.c:33:10: warning: Using parameter 'b' without checking for null pointer
-function_decl func7: 
-bind_expr : b, 
-var_decl var3: b, 
-integer_cst 64: b, 
-pointer_plus_expr : b, 
-test5.c: In function 'void func7(int, int*, char)':
-test5.c:39:20: warning: Using parameter 'b' without checking for null pointer
-     int *var3 = 12 + b;
-                    ^
-parm_decl b: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-integer_cst 64: b, 
-integer_cst 48: b, 
-pointer_type : b, 
-integer_type : b, 
-type_decl int: b, 
-integer_cst 32: b, 
-integer_cst -2147483648: b, 
-integer_cst 2147483647: b, 
-statement_list : b, 
-decl_expr : b, 
-var_decl var3: b, 
-cleanup_point_expr : b, 
-expr_stmt : b, 
-convert_expr : b, 
-modify_expr : b, 
-indirect_ref : b, 
-var_decl var3: b, 
-integer_cst 600: b, 
-block : b, 
-var_decl var3: b, 
-function_decl func8: 
-bind_expr : bptr, 
-var_decl var4: bptr, 
-integer_cst 64: bptr, 
-addr_expr : bptr, 
-test5.c: In function 'void func8(int, int*, char)':
-test5.c:45:11: warning: Using parameter 'bptr' without checking for null pointer
-     int **var4 = &bptr;
-           ^
-parm_decl bptr: bptr, 
-pointer_type : bptr, 
-integer_type : bptr, 
-type_decl int: bptr, 
-integer_cst 32: bptr, 
-integer_cst -2147483648: bptr, 
-integer_cst 2147483647: bptr, 
-integer_cst 64: bptr, 
-pointer_type : bptr, 
-pointer_type : bptr, 
-integer_type : bptr, 
-type_decl int: bptr, 
-integer_cst 32: bptr, 
-integer_cst -2147483648: bptr, 
-integer_cst 2147483647: bptr, 
-statement_list : bptr, 
-decl_expr : bptr, 
-var_decl var4: bptr, 
-cleanup_point_expr : bptr, 
-expr_stmt : bptr, 
-convert_expr : bptr, 
-modify_expr : bptr, 
-indirect_ref : bptr, 
-indirect_ref : bptr, 
-var_decl var4: bptr, 
-integer_cst 700: bptr, 
-block : bptr, 
-var_decl var4: bptr,