Update test 26, 35, 39. Update test results.

1 files changed, 156 insertions, 6 deletions

diff --git a/test/test13-05.txt b/test/test13-05.txt
index dbcb85d..69bc1d4 100644
--- a/test/test13-05.txt
+++ b/test/test13-05.txt
@@ -61,6 +61,13 @@ bind_expr : b,
 statement_list : b, 
 decl_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, 
 modify_expr : b, 
 indirect_ref : b, 
 pointer_plus_expr : b, 
@@ -78,6 +85,13 @@ integer_cst 2147483647: b,
 integer_cst 64: b, 
 mult_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, 
 integer_cst 4: b, 
 integer_cst 400: b, 
 var_decl var1: b, 
@@ -90,11 +104,33 @@ integer_cst -2147483648: b,
 integer_cst 2147483647: b, 
 block : 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, 
 function_decl func6: 
 bind_expr : b, 
 statement_list : b, 
 decl_expr : b, 
 var_decl var2: b, var2, 
+integer_cst 64: b, var2, 
+parm_decl b: b, var2, 
+pointer_type : b, var2, 
+integer_type : b, var2, 
+type_decl int: b, var2, 
+integer_cst 32: b, var2, 
+integer_cst -2147483648: b, var2, 
+integer_cst 2147483647: b, var2, 
+integer_cst 64: b, var2, 
+pointer_type : b, var2, 
+integer_type : b, var2, 
+type_decl int: b, var2, 
+integer_cst 32: b, var2, 
+integer_cst -2147483648: b, var2, 
+integer_cst 2147483647: b, var2, 
 modify_expr : b, var2, 
 test13.c: In function 'func6':
 test13.c:34:11: warning: Using variable 'var2' without checking for null pointer
@@ -102,6 +138,21 @@ test13.c:34:11: warning: Using variable 'var2' without checking for null pointer
            ^
 indirect_ref : b, var2, 
 var_decl var2: b, var2, 
+integer_cst 64: b, var2, 
+parm_decl b: b, var2, 
+pointer_type : b, var2, 
+integer_type : b, var2, 
+type_decl int: b, var2, 
+integer_cst 32: b, var2, 
+integer_cst -2147483648: b, var2, 
+integer_cst 2147483647: b, var2, 
+integer_cst 64: b, var2, 
+pointer_type : b, var2, 
+integer_type : b, var2, 
+type_decl int: b, var2, 
+integer_cst 32: b, var2, 
+integer_cst -2147483648: b, var2, 
+integer_cst 2147483647: b, var2, 
 integer_cst 500: b, var2, 
 var_decl var2: b, 
 integer_cst 64: b, var2, 
@@ -121,22 +172,65 @@ integer_cst -2147483648: b, var2,
 integer_cst 2147483647: b, var2, 
 block : b, var2, 
 var_decl var2: b, var2, 
+integer_cst 64: b, var2, 
+parm_decl b: b, var2, 
+pointer_type : b, var2, 
+integer_type : b, var2, 
+type_decl int: b, var2, 
+integer_cst 32: b, var2, 
+integer_cst -2147483648: b, var2, 
+integer_cst 2147483647: b, var2, 
+integer_cst 64: b, var2, 
+pointer_type : b, var2, 
+integer_type : b, var2, 
+type_decl int: b, var2, 
+integer_cst 32: b, var2, 
+integer_cst -2147483648: b, var2, 
+integer_cst 2147483647: b, var2, 
 function_decl func7: 
 bind_expr : b, 
 statement_list : b, 
 decl_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, 
+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, 
 modify_expr : b, 
 indirect_ref : b, 
 var_decl var3: b, 
+integer_cst 64: b, 
+pointer_plus_expr : b, 
+test13.c:39:20: warning: Using parameter 'b' without checking for null pointer
+parm_decl b: b, 
+pointer_type : b, 
+integer_type : 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, 
 integer_cst 600: 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, 
@@ -154,23 +248,65 @@ integer_cst -2147483648: b,
 integer_cst 2147483647: b, 
 block : b, 
 var_decl var3: b, 
+integer_cst 64: b, 
+pointer_plus_expr : b, 
+test13.c:39:20: warning: Using parameter 'b' without checking for null pointer
+parm_decl b: b, 
+pointer_type : b, 
+integer_type : 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, 
 function_decl func8: 
 bind_expr : bptr, 
 statement_list : bptr, 
 decl_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, 
+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, 
 modify_expr : bptr, 
 indirect_ref : bptr, 
 indirect_ref : bptr, 
 var_decl var4: bptr, 
+integer_cst 64: bptr, 
+addr_expr : bptr, 
+test13.c:45:18: warning: Using parameter 'bptr' without checking for null pointer
+parm_decl bptr: bptr, 
+pointer_type : bptr, 
+integer_type : 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, 
 integer_cst 700: 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, 
@@ -188,3 +324,17 @@ integer_cst -2147483648: bptr,
 integer_cst 2147483647: bptr, 
 block : bptr, 
 var_decl var4: bptr, 
+integer_cst 64: bptr, 
+addr_expr : bptr, 
+test13.c:45:18: warning: Using parameter 'bptr' without checking for null pointer
+parm_decl bptr: bptr, 
+pointer_type : bptr, 
+integer_type : 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,