Add test13.

1 files changed, 188 insertions, 0 deletions

diff --git a/test/test13-05.txt b/test/test13-05.txt
new file mode 100644
index 0000000..1a64c29
--- /dev/null
+++ b/test/test13-05.txt
@@ -0,0 +1,188 @@
+function_decl func1: 
+bind_expr : b, 
+modify_expr : b, 
+test13.c: In function 'func1':
+test13.c:12:8: 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, 
+block : b, 
+function_decl func2: 
+bind_expr : b, 
+modify_expr : b, 
+indirect_ref : b, 
+pointer_plus_expr : b, 
+test13.c: In function 'func2':
+test13.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, 
+block : b, 
+function_decl func3: 
+bind_expr : b, 
+modify_expr : b, 
+indirect_ref : b, 
+pointer_plus_expr : b, 
+test13.c: In function 'func3':
+test13.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, 
+block : 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, 
+decl_expr : b, 
+var_decl var1: b, 
+modify_expr : b, 
+indirect_ref : b, 
+pointer_plus_expr : b, 
+test13.c: In function 'func5':
+test13.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, 
+test13.c: In function 'func6':
+test13.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, 
+test13.c:33:10: warning: Using parameter 'b' without checking for null pointer
+modify_expr : b, 
+indirect_ref : b, 
+var_decl var2: b, 
+test13.c:33:10: warning: Using parameter 'b' without checking for null pointer
+integer_cst 500: b, 
+block : b, 
+var_decl var2: b, 
+test13.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, 
+test13.c: In function 'func7':
+test13.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, 
+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, 
+test13.c: In function 'func8':
+test13.c:45:18: 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, 
+modify_expr : bptr, 
+indirect_ref : bptr, 
+indirect_ref : bptr, 
+var_decl var4: bptr, 
+integer_cst 700: bptr, 
+block : bptr, 
+var_decl var4: bptr,