Add test15.

6 files changed, 3309 insertions, 1 deletions

diff --git a/test/Makefile b/test/Makefile
index ed4c210..8d0c6db 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -13,7 +13,8 @@ TESTS11 = test11-01 test11-02 test11-03 test11-04
 TESTS12 = test12-01 test12-02 test12-03 test12-04
 TESTS13 = test13-01 test13-02 test13-03 test13-04 test13-05
 TESTS14 = test14-01 test14-02 test14-03 test14-04
-ALLTESTS = test01 test02 test03 test04 test05 test06 test07 test08 test09 test10 test11 test12 test13 test14 ${TESTS01} ${TESTS02} ${TESTS03} ${TESTS04} ${TESTS05} ${TESTS06} ${TESTS07} ${TESTS08} ${TESTS09} ${TESTS10} ${TESTS11} ${TESTS12} ${TESTS13} ${TESTS14}
+TESTS15 = test15-01 test15-02 test15-03 test15-04
+ALLTESTS = test01 test02 test03 test04 test05 test06 test07 test08 test09 test10 test11 test12 test13 test14 test15 ${TESTS01} ${TESTS02} ${TESTS03} ${TESTS04} ${TESTS05} ${TESTS06} ${TESTS07} ${TESTS08} ${TESTS09} ${TESTS10} ${TESTS11} ${TESTS12} ${TESTS13} ${TESTS14} ${TESTS15}
 
 .PHONY: ${ALLTESTS} ${CRASHES} all crashes
 
@@ -167,6 +168,16 @@ test14-03:
 test14-04:
 	$(call CMD,dumpnullpointers,test14.c,test14-04.txt)
 
+test15: ${TESTS15}
+test15-01:
+	$(call CMD,dump,test15.c,test15-01.txt)
+test15-02:
+	$(call CMD,findargs,test15.c,test15-02.txt)
+test15-03:
+	$(call CMD,dumpnullpointers,test15.c,test15-03.txt)
+test15-04:
+	$(call CMD,detectnullpointers,test15.c,test15-04.txt)
+
 crashtest01:
 	$(call CMDXX,dump,crashtest01.h,crashtest01-01.txt)
 crashtest02:
diff --git a/test/test15-01.txt b/test/test15-01.txt
new file mode 100644
index 0000000..57bf3f3
--- /dev/null
+++ b/test/test15-01.txt
@@ -0,0 +1,1867 @@
+function_decl func1 test15.c 3:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 3:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 3:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 3:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 4:1 - code
+  statement_list - operand
+   cond_expr test15.c 5:8 - statement
+    truth_orif_expr test15.c 5:14 - operand
+     ne_expr test15.c 5:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 3:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     ne_expr test15.c 5:14 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 3:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    modify_expr test15.c 7:15 - operand
+     indirect_ref test15.c 7:9 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 3:28 - ref
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+     integer_cst 400 - operand
+    modify_expr test15.c 11:15 - operand
+     indirect_ref test15.c 11:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 3:17 - ref
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+     integer_cst 100 - operand
+   modify_expr test15.c 13:15 - statement
+    indirect_ref test15.c 13:9 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 3:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 200 - operand
+   modify_expr test15.c 14:11 - statement
+    indirect_ref test15.c 14:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 3:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+  block - operand
+function_decl func2 test15.c 17:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 17:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 17:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 17:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 18:1 - code
+  statement_list - operand
+   cond_expr test15.c 19:8 - statement
+    truth_orif_expr test15.c 19:14 - operand
+     ne_expr test15.c 19:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 17:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     ne_expr test15.c 19:14 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 17:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 21:15 - statement
+      indirect_ref test15.c 21:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 17:28 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 400 - operand
+     return_expr test15.c 22:9 - statement
+    modify_expr test15.c 26:15 - operand
+     indirect_ref test15.c 26:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 17:17 - ref
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+     integer_cst 100 - operand
+   modify_expr test15.c 29:11 - statement
+    indirect_ref test15.c 29:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 17:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 200 - operand
+   modify_expr test15.c 30:11 - statement
+    indirect_ref test15.c 30:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 17:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+  block - operand
+function_decl func3 test15.c 33:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 33:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 33:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 33:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 34:1 - code
+  var_decl c test15.c 35:9 - operand
+  - isUsed: 1
+   integer_cst 32 - decl size
+   integer_type - var type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  statement_list - operand
+   decl_expr test15.c 35:9 - statement
+    var_decl c test15.c 35:9 - operand
+    - isUsed: 1
+   cond_expr test15.c 36:8 - statement
+    truth_orif_expr test15.c 36:16 - operand
+     eq_expr test15.c 36:11 - operand
+      var_decl k test15.c 1:5 - operand
+      - isUsed: 1
+       integer_cst 32 - decl size
+       integer_type - var type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      var_decl c test15.c 35:9 - operand
+      - isUsed: 1
+     eq_expr test15.c 36:19 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 33:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    return_expr test15.c 38:9 - operand
+    modify_expr test15.c 42:15 - operand
+     indirect_ref test15.c 42:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 33:17 - ref
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+     integer_cst 100 - operand
+   modify_expr test15.c 45:11 - statement
+    indirect_ref test15.c 45:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 33:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 200 - operand
+   modify_expr test15.c 46:11 - statement
+    indirect_ref test15.c 46:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 33:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+  block - operand
+   var_decl c test15.c 35:9 - block vars
+   - isUsed: 1
+function_decl func4 test15.c 49:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 49:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 49:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 49:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 50:1 - code
+  var_decl c test15.c 51:9 - operand
+  - isUsed: 1
+   integer_cst 32 - decl size
+   integer_type - var type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  statement_list - operand
+   decl_expr test15.c 51:9 - statement
+    var_decl c test15.c 51:9 - operand
+    - isUsed: 1
+   cond_expr test15.c 52:8 - statement
+    truth_orif_expr test15.c 52:25 - operand
+     truth_orif_expr test15.c 52:16 - operand
+      eq_expr test15.c 52:11 - operand
+       var_decl k test15.c 1:5 - operand
+       - isUsed: 1
+        integer_cst 32 - decl size
+        integer_type - var type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       var_decl c test15.c 51:9 - operand
+       - isUsed: 1
+      eq_expr test15.c 52:19 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 49:17 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+     eq_expr test15.c 52:28 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 49:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    return_expr test15.c 54:9 - operand
+    modify_expr test15.c 58:15 - operand
+     indirect_ref test15.c 58:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 49:17 - ref
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+     integer_cst 100 - operand
+   modify_expr test15.c 61:11 - statement
+    indirect_ref test15.c 61:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 49:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 200 - operand
+   modify_expr test15.c 62:11 - statement
+    indirect_ref test15.c 62:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 49:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+  block - operand
+   var_decl c test15.c 51:9 - block vars
+   - isUsed: 1
+function_decl func5 test15.c 65:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 65:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 65:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 65:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 66:1 - code
+  var_decl c test15.c 67:9 - operand
+  - isUsed: 1
+   integer_cst 32 - decl size
+   integer_type - var type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  statement_list - operand
+   decl_expr test15.c 67:9 - statement
+    var_decl c test15.c 67:9 - operand
+    - isUsed: 1
+   cond_expr test15.c 68:8 - statement
+    truth_orif_expr test15.c 68:24 - operand
+     truth_orif_expr test15.c 68:15 - operand
+      eq_expr test15.c 68:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 65:17 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+      eq_expr test15.c 68:18 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 65:28 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+     eq_expr test15.c 68:29 - operand
+      var_decl k test15.c 1:5 - operand
+      - isUsed: 1
+       integer_cst 32 - decl size
+       integer_type - var type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      var_decl c test15.c 67:9 - operand
+      - isUsed: 1
+    modify_expr test15.c 70:11 - operand
+     var_decl c test15.c 67:9 - operand
+     - isUsed: 1
+     integer_cst 3 - operand
+    modify_expr test15.c 74:15 - operand
+     indirect_ref test15.c 74:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 65:17 - ref
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+     integer_cst 100 - operand
+   modify_expr test15.c 77:11 - statement
+    indirect_ref test15.c 77:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 65:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 200 - operand
+   modify_expr test15.c 78:11 - statement
+    indirect_ref test15.c 78:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 65:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+  block - operand
+   var_decl c test15.c 67:9 - block vars
+   - isUsed: 1
+function_decl func6 test15.c 81:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 81:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 81:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 81:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 82:1 - code
+  statement_list - operand
+   cond_expr test15.c 83:8 - statement
+    truth_andif_expr test15.c 83:14 - operand
+     ne_expr test15.c 83:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 81:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     ne_expr test15.c 83:14 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 81:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 85:15 - statement
+      indirect_ref test15.c 85:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 81:17 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     modify_expr test15.c 86:15 - statement
+      indirect_ref test15.c 86:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 81:28 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+    return_expr test15.c 90:9 - operand
+   modify_expr test15.c 93:11 - statement
+    indirect_ref test15.c 93:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 81:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+   modify_expr test15.c 94:11 - statement
+    indirect_ref test15.c 94:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 81:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 400 - operand
+  block - operand
+function_decl func7 test15.c 97:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 97:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 97:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 97:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 98:1 - code
+  statement_list - operand
+   cond_expr test15.c 99:8 - statement
+    truth_andif_expr test15.c 99:15 - operand
+     eq_expr test15.c 99:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 97:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     eq_expr test15.c 99:18 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 97:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 101:15 - statement
+      indirect_ref test15.c 101:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 97:17 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     modify_expr test15.c 102:15 - statement
+      indirect_ref test15.c 102:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 97:28 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+    return_expr test15.c 106:9 - operand
+   modify_expr test15.c 109:11 - statement
+    indirect_ref test15.c 109:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 97:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+   modify_expr test15.c 110:11 - statement
+    indirect_ref test15.c 110:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 97:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 400 - operand
+  block - operand
+function_decl func8 test15.c 113:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 113:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 113:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 113:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 114:1 - code
+  statement_list - operand
+   cond_expr test15.c 115:8 - statement
+    truth_andif_expr test15.c 115:14 - operand
+     ne_expr test15.c 115:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 113:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     ne_expr test15.c 115:14 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 113:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 117:15 - statement
+      indirect_ref test15.c 117:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 113:17 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     modify_expr test15.c 118:15 - statement
+      indirect_ref test15.c 118:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 113:28 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+     return_expr test15.c 119:9 - statement
+    statement_list - operand
+     modify_expr test15.c 123:15 - statement
+      indirect_ref test15.c 123:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 113:17 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 300 - operand
+     modify_expr test15.c 124:15 - statement
+      indirect_ref test15.c 124:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 113:28 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 400 - operand
+     return_expr test15.c 125:9 - statement
+   modify_expr test15.c 128:11 - statement
+    indirect_ref test15.c 128:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 113:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 500 - operand
+   modify_expr test15.c 129:11 - statement
+    indirect_ref test15.c 129:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 113:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 600 - operand
+  block - operand
+function_decl func9 test15.c 132:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 132:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 132:17 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 132:28 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 133:1 - code
+  statement_list - operand
+   cond_expr test15.c 134:8 - statement
+    truth_orif_expr test15.c 134:14 - operand
+     ne_expr test15.c 134:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 132:17 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     ne_expr test15.c 134:14 - operand
+      - isUsed: 1
+      parm_decl ptr2 test15.c 132:28 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 136:15 - statement
+      indirect_ref test15.c 136:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 132:28 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     return_expr test15.c 137:9 - statement
+    statement_list - operand
+     modify_expr test15.c 141:15 - statement
+      indirect_ref test15.c 141:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 132:17 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+     return_expr test15.c 142:9 - statement
+   modify_expr test15.c 145:11 - statement
+    indirect_ref test15.c 145:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 132:17 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 300 - operand
+   modify_expr test15.c 146:11 - statement
+    indirect_ref test15.c 146:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 132:28 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 400 - operand
+  block - operand
+function_decl func10 test15.c 149:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 149:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 149:18 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 149:29 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 150:1 - code
+  statement_list - operand
+   cond_expr test15.c 151:8 - statement
+    truth_andif_expr test15.c 151:22 - operand
+     truth_andif_expr test15.c 151:14 - operand
+      ne_expr test15.c 151:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 149:18 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+      ne_expr test15.c 151:14 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 149:29 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+     ne_expr test15.c 151:22 - operand
+      var_decl k test15.c 1:5 - operand
+      - isUsed: 1
+       integer_cst 32 - decl size
+       integer_type - var type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 153:15 - statement
+      indirect_ref test15.c 153:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 149:18 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     modify_expr test15.c 154:15 - statement
+      indirect_ref test15.c 154:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 149:29 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+     return_expr test15.c 155:9 - statement
+    statement_list - operand
+     modify_expr test15.c 159:15 - statement
+      indirect_ref test15.c 159:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 149:18 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 300 - operand
+     modify_expr test15.c 160:15 - statement
+      indirect_ref test15.c 160:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 149:29 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 400 - operand
+   modify_expr test15.c 163:11 - statement
+    indirect_ref test15.c 163:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 149:18 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 500 - operand
+   modify_expr test15.c 164:11 - statement
+    indirect_ref test15.c 164:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 149:29 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 600 - operand
+  block - operand
+function_decl func11 test15.c 167:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 167:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 167:18 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 167:29 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 168:1 - code
+  statement_list - operand
+   cond_expr test15.c 169:8 - statement
+    truth_orif_expr test15.c 169:22 - operand
+     truth_andif_expr test15.c 169:14 - operand
+      ne_expr test15.c 169:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 167:18 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+      ne_expr test15.c 169:14 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 167:29 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+     ne_expr test15.c 169:22 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 167:18 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 171:15 - statement
+      indirect_ref test15.c 171:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 167:18 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     modify_expr test15.c 172:15 - statement
+      indirect_ref test15.c 172:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 167:29 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+     return_expr test15.c 173:9 - statement
+    statement_list - operand
+     modify_expr test15.c 177:15 - statement
+      indirect_ref test15.c 177:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 167:18 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 300 - operand
+     modify_expr test15.c 178:15 - statement
+      indirect_ref test15.c 178:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 167:29 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 400 - operand
+   modify_expr test15.c 181:11 - statement
+    indirect_ref test15.c 181:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 167:18 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 500 - operand
+   modify_expr test15.c 182:11 - statement
+    indirect_ref test15.c 182:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 167:29 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 600 - operand
+  block - operand
+function_decl func12 test15.c 185:6
+- isPublic: 1
+ function_type - function type
+  void_type - function return type
+   type_decl void - type name
+  tree_list - arg types
+   pointer_type - value
+    integer_type - nested type
+    - precisionBits: 32
+    - signed
+     type_decl int - type name
+     integer_cst 32 - type size
+     integer_cst -2147483648 - min value
+     integer_cst 2147483647 - max value
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int - type name
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void - type name
+ result_decl test15.c 185:6 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void - type name
+ - isUsed: 1
+ parm_decl ptr1 test15.c 185:18 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr2 test15.c 185:29 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int - type name
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test15.c 186:1 - code
+  statement_list - operand
+   cond_expr test15.c 187:8 - statement
+    truth_orif_expr test15.c 187:14 - operand
+     ne_expr test15.c 187:9 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 185:18 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     eq_expr test15.c 187:17 - operand
+      - isUsed: 1
+      parm_decl ptr1 test15.c 185:18 - operand
+       pointer_type - decl type
+        integer_type - nested type
+        - precisionBits: 32
+        - signed
+         type_decl int - type name
+         integer_cst 32 - type size
+         integer_cst -2147483648 - min value
+         integer_cst 2147483647 - max value
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+    statement_list - operand
+     modify_expr test15.c 189:15 - statement
+      indirect_ref test15.c 189:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 185:18 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 100 - operand
+     modify_expr test15.c 190:15 - statement
+      indirect_ref test15.c 190:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 185:29 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+     return_expr test15.c 191:9 - statement
+    statement_list - operand
+     modify_expr test15.c 195:15 - statement
+      indirect_ref test15.c 195:9 - operand
+       - isUsed: 1
+       parm_decl ptr1 test15.c 185:18 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 300 - operand
+     modify_expr test15.c 196:15 - statement
+      indirect_ref test15.c 196:9 - operand
+       - isUsed: 1
+       parm_decl ptr2 test15.c 185:29 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int - type name
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 400 - operand
+   modify_expr test15.c 199:11 - statement
+    indirect_ref test15.c 199:5 - operand
+     - isUsed: 1
+     parm_decl ptr1 test15.c 185:18 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 500 - operand
+   modify_expr test15.c 200:11 - statement
+    indirect_ref test15.c 200:5 - operand
+     - isUsed: 1
+     parm_decl ptr2 test15.c 185:29 - ref
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int - type name
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      integer_cst 64 - parm size
+    integer_cst 600 - operand
+  block - operand
diff --git a/test/test15-02.txt b/test/test15-02.txt
new file mode 100644
index 0000000..36eaea1
--- /dev/null
+++ b/test/test15-02.txt
@@ -0,0 +1,12 @@
+func1: pointer_type ptr1, pointer_type ptr2, 
+func2: pointer_type ptr1, pointer_type ptr2, 
+func3: pointer_type ptr1, pointer_type ptr2, 
+func4: pointer_type ptr1, pointer_type ptr2, 
+func5: pointer_type ptr1, pointer_type ptr2, 
+func6: pointer_type ptr1, pointer_type ptr2, 
+func7: pointer_type ptr1, pointer_type ptr2, 
+func8: pointer_type ptr1, pointer_type ptr2, 
+func9: pointer_type ptr1, pointer_type ptr2, 
+func10: pointer_type ptr1, pointer_type ptr2, 
+func11: pointer_type ptr1, pointer_type ptr2, 
+func12: pointer_type ptr1, pointer_type ptr2, 
diff --git a/test/test15-03.txt b/test/test15-03.txt
new file mode 100644
index 0000000..8b45091
--- /dev/null
+++ b/test/test15-03.txt
@@ -0,0 +1,1105 @@
+function_decl func1: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func1':
+test15.c:7:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 400: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:11:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 100: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:13:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:14:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+block : ptr1, ptr2, 
+function_decl func2: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func2':
+test15.c:21:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 400: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:26:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 100: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:29:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 200;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:30:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+block : ptr1, ptr2, 
+function_decl func3: 
+bind_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+decl_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+modify_expr : ptr2, 
+indirect_ref : ptr2, 
+parm_decl ptr1: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 100: ptr2, 
+modify_expr : ptr1, ptr2, 
+indirect_ref : ptr2, 
+parm_decl ptr1: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 200: ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func3':
+test15.c:46:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+indirect_ref : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 300: ptr2, 
+block : ptr1, ptr2, 
+var_decl c: ptr2, 
+function_decl func4: 
+bind_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+decl_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+eq_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+return_expr : ptr1, ptr2, 
+modify_expr : 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 100: 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 200: 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr2: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 300: 
+block : ptr1, ptr2, 
+var_decl c: 
+function_decl func5: 
+bind_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+decl_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+eq_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+eq_expr : 
+var_decl k: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+var_decl c: 
+modify_expr : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+integer_cst 3: ptr1, ptr2, 
+modify_expr : 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 100: 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func5':
+test15.c:77:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 200;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:78:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl c: ptr1, ptr2, 
+function_decl func6: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+statement_list : 
+modify_expr : 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 100: 
+modify_expr : 
+indirect_ref : 
+parm_decl ptr2: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 200: 
+return_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 300: 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr2: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 400: 
+block : ptr1, ptr2, 
+function_decl func7: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func7':
+test15.c:101:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 100: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:102:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:109:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 300;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:110:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 400;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 400: ptr1, ptr2, 
+block : ptr1, ptr2, 
+function_decl func8: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+statement_list : 
+modify_expr : 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 100: 
+modify_expr : 
+indirect_ref : 
+parm_decl ptr2: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 200: 
+return_expr : 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func8':
+test15.c:123:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 300;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:124:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 400: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 500: 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr2: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 600: 
+block : ptr1, ptr2, 
+function_decl func9: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func9':
+test15.c:136:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 100;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 100: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:141:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 300: 
+modify_expr : ptr1, ptr2, 
+indirect_ref : 
+parm_decl ptr2: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 400: 
+block : ptr1, ptr2, 
+function_decl func10: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+ne_expr : 
+var_decl k: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 0: 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func10':
+test15.c:153:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 100: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:154:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:159:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 300;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:160:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 400: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:163:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 500;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 500: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:164:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 600;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 600: ptr1, ptr2, 
+block : ptr1, ptr2, 
+function_decl func11: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr2, 
+modify_expr : ptr2, 
+indirect_ref : ptr2, 
+parm_decl ptr1: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 100: ptr2, 
+modify_expr : ptr2, 
+test15.c: In function 'func11':
+test15.c:172:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+indirect_ref : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 200: ptr2, 
+return_expr : ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:177:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 300;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 300: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:178:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 400: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:181:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 500;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 500: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:182:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 600;
+           ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 600: ptr1, ptr2, 
+block : ptr1, ptr2, 
+function_decl func12: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cond_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+eq_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c: In function 'func12':
+test15.c:189:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 100: ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:190:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+indirect_ref : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 200: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+statement_list : ptr2, 
+modify_expr : ptr2, 
+indirect_ref : ptr2, 
+parm_decl ptr1: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 300: ptr2, 
+modify_expr : ptr2, 
+test15.c:196:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+indirect_ref : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 400: ptr2, 
+modify_expr : ptr1, ptr2, 
+indirect_ref : ptr2, 
+parm_decl ptr1: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 500: ptr2, 
+modify_expr : ptr1, ptr2, 
+test15.c:200:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 600;
+           ^
+indirect_ref : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 600: ptr2, 
+block : ptr1, ptr2, 
diff --git a/test/test15-04.txt b/test/test15-04.txt
new file mode 100644
index 0000000..afa195a
--- /dev/null
+++ b/test/test15-04.txt
@@ -0,0 +1,112 @@
+test15.c: In function 'func1':
+test15.c:7:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+test15.c:11:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+test15.c:13:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+               ^
+test15.c:14:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+test15.c: In function 'func2':
+test15.c:21:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+test15.c:26:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+test15.c:29:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 200;
+           ^
+test15.c:30:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+test15.c: In function 'func3':
+test15.c:46:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+test15.c: In function 'func5':
+test15.c:77:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 200;
+           ^
+test15.c:78:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 300;
+           ^
+test15.c: In function 'func7':
+test15.c:101:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+test15.c:102:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+test15.c:109:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 300;
+           ^
+test15.c:110:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 400;
+           ^
+test15.c: In function 'func8':
+test15.c:123:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 300;
+               ^
+test15.c:124:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+test15.c: In function 'func9':
+test15.c:136:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 100;
+               ^
+test15.c:141:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+               ^
+test15.c: In function 'func10':
+test15.c:153:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+test15.c:154:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+test15.c:159:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 300;
+               ^
+test15.c:160:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+test15.c:163:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 500;
+           ^
+test15.c:164:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 600;
+           ^
+test15.c: In function 'func11':
+test15.c:172:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+test15.c:177:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 300;
+               ^
+test15.c:178:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+test15.c:181:11: warning: Using parameter 'ptr1' without checking for null pointer
+     *ptr1 = 500;
+           ^
+test15.c:182:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 600;
+           ^
+test15.c: In function 'func12':
+test15.c:189:15: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 100;
+               ^
+test15.c:190:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 200;
+               ^
+test15.c:196:15: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 400;
+               ^
+test15.c:200:11: warning: Using parameter 'ptr2' without checking for null pointer
+     *ptr2 = 600;
+           ^
diff --git a/test/test15.c b/test/test15.c
new file mode 100644
index 0000000..2fbcdaa
--- /dev/null
+++ b/test/test15.c
@@ -0,0 +1,201 @@
+int k;
+
+void func1(int *ptr1, int *ptr2)
+{
+    if (ptr1 || ptr2)
+    {
+        *ptr2 = 400;
+    }
+    else
+    {
+        *ptr1 = 100;
+    }
+        *ptr1 = 200;
+    *ptr2 = 300;
+}
+
+void func2(int *ptr1, int *ptr2)
+{
+    if (ptr1 || ptr2)
+    {
+        *ptr2 = 400;
+        return;
+    }
+    else
+    {
+        *ptr1 = 100;
+    }
+
+    *ptr1 = 200;
+    *ptr2 = 300;
+}
+
+void func3(int *ptr1, int *ptr2)
+{
+    int c;
+    if (k == c || !ptr1)
+    {
+        return;
+    }
+    else
+    {
+        *ptr1 = 100;
+    }
+
+    *ptr1 = 200;
+    *ptr2 = 300;
+}
+
+void func4(int *ptr1, int *ptr2)
+{
+    int c;
+    if (k == c || !ptr1 || !ptr2)
+    {
+        return;
+    }
+    else
+    {
+        *ptr1 = 100;
+    }
+
+    *ptr1 = 200;
+    *ptr2 = 300;
+}
+
+void func5(int *ptr1, int *ptr2)
+{
+    int c;
+    if (!ptr1 || !ptr2 || k == c)
+    {
+        c = 3;
+    }
+    else
+    {
+        *ptr1 = 100;
+    }
+
+    *ptr1 = 200;
+    *ptr2 = 300;
+}
+
+void func6(int *ptr1, int *ptr2)
+{
+    if (ptr1 && ptr2)
+    {
+        *ptr1 = 100;
+        *ptr2 = 200;
+    }
+    else
+    {
+        return;
+    }
+
+    *ptr1 = 300;
+    *ptr2 = 400;
+}
+
+void func7(int *ptr1, int *ptr2)
+{
+    if (!ptr1 && !ptr2)
+    {
+        *ptr1 = 100;
+        *ptr2 = 200;
+    }
+    else
+    {
+        return;
+    }
+
+    *ptr1 = 300;
+    *ptr2 = 400;
+}
+
+void func8(int *ptr1, int *ptr2)
+{
+    if (ptr1 && ptr2)
+    {
+        *ptr1 = 100;
+        *ptr2 = 200;
+        return;
+    }
+    else
+    {
+        *ptr1 = 300;
+        *ptr2 = 400;
+        return;
+    }
+
+    *ptr1 = 500;
+    *ptr2 = 600;
+}
+
+void func9(int *ptr1, int *ptr2)
+{
+    if (ptr1 || ptr2)
+    {
+        *ptr2 = 100;
+        return;
+    }
+    else
+    {
+        *ptr1 = 200;
+        return;
+    }
+
+    *ptr1 = 300;
+    *ptr2 = 400;
+}
+
+void func10(int *ptr1, int *ptr2)
+{
+    if (ptr1 && ptr2 && k)
+    {
+        *ptr1 = 100;
+        *ptr2 = 200;
+        return;
+    }
+    else
+    {
+        *ptr1 = 300;
+        *ptr2 = 400;
+    }
+
+    *ptr1 = 500;
+    *ptr2 = 600;
+}
+
+void func11(int *ptr1, int *ptr2)
+{
+    if (ptr1 && ptr2 || ptr1)
+    {
+        *ptr1 = 100;
+        *ptr2 = 200;
+        return;
+    }
+    else
+    {
+        *ptr1 = 300;
+        *ptr2 = 400;
+    }
+
+    *ptr1 = 500;
+    *ptr2 = 600;
+}
+
+void func12(int *ptr1, int *ptr2)
+{
+    if (ptr1 || !ptr1)
+    {
+        *ptr1 = 100;
+        *ptr2 = 200;
+        return;
+    }
+    else
+    {
+        *ptr1 = 300;
+        *ptr2 = 400;
+    }
+
+    *ptr1 = 500;
+    *ptr2 = 600;
+}