Update test9.

5 files changed, 951 insertions, 7 deletions

diff --git a/test/test9-01.txt b/test/test9-01.txt
index cc4a7ae..9b35120 100644
--- a/test/test9-01.txt
+++ b/test/test9-01.txt
@@ -1519,3 +1519,604 @@ function_decl func9 test9.cpp 113:10
           integer_cst 2147483647 - max value
         integer_cst 64 - parm size
       integer_cst 300 - operand
+function_decl func10 test9.cpp 128:10
+- isPublic: 1
+ method_type - function type
+  void_type - method return type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test9.cpp 1:7 - type name
+   - isAutogenerated: 1
+   field_decl k test9.cpp 3:9 - field
+   - signed
+    integer_cst 32 - decl size
+   type_decl Object1 test9.cpp 2:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test9.cpp 1:7 - type name
+     - isAutogenerated: 1
+     field_decl k test9.cpp 3:9 - field
+     - signed
+      integer_cst 32 - decl size
+     type_decl Object1 test9.cpp 2:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      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 <built-in> 0:0 - type name
+       - isAutogenerated: 1
+       integer_cst 32 - type size
+       integer_cst -2147483648 - min value
+       integer_cst 2147483647 - max value
+     tree_list - chain
+      void_type - value
+       type_decl void <built-in> 0:0 - type name
+       - isAutogenerated: 1
+ result_decl test9.cpp 129:5 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+ parm_decl this test9.cpp 128:37 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test9.cpp 1:7 - type name
+    - isAutogenerated: 1
+    field_decl k test9.cpp 3:9 - field
+    - signed
+     integer_cst 32 - decl size
+    type_decl Object1 test9.cpp 2:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 128:22 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    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 test9.cpp 128:33 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test9.cpp 140:20 - code
+  statement_list - operand
+   bind_expr test9.cpp 137:9 - statement
+    if_stmt test9.cpp 130:9 - operand
+     truth_orif_expr test9.cpp 130:19 - condition
+      eq_expr test9.cpp 130:14 - operand
+       - isUsed: 1
+       parm_decl ptr1 test9.cpp 128:22 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          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 test9.cpp 130:23 - operand
+       - isUsed: 1
+       parm_decl ptr2 test9.cpp 128:33 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+     bind_expr test9.cpp 132:22 - then
+      var_decl k test9.cpp 132:17 - operand
+       integer_cst 32 - decl size
+       integer_cst 0 - initial
+       integer_type - var type
+       - precisionBits: 32
+       - signed
+        type_decl int <built-in> 0:0 - type name
+        - isAutogenerated: 1
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      cleanup_point_expr test9.cpp 132:21 - operand
+       decl_expr test9.cpp 132:21 - operand
+        var_decl k test9.cpp 132:17 - operand
+      block - operand
+       var_decl k test9.cpp 132:17 - block vars
+     cleanup_point_expr test9.cpp 136:24 - else
+      expr_stmt test9.cpp 136:24 - operand
+       convert_expr - expresssion
+        modify_expr - operand
+         indirect_ref - operand
+          - isUsed: 1
+          parm_decl ptr1 test9.cpp 128:22 - ref
+           pointer_type - decl type
+            integer_type - nested type
+            - precisionBits: 32
+            - signed
+             type_decl int <built-in> 0:0 - type name
+             - isAutogenerated: 1
+             integer_cst 32 - type size
+             integer_cst -2147483648 - min value
+             integer_cst 2147483647 - max value
+           integer_cst 64 - parm size
+         integer_cst 100 - operand
+    block - operand
+     block - sub block
+      var_decl k test9.cpp 132:17 - block vars
+   cleanup_point_expr test9.cpp 139:20 - statement
+    expr_stmt test9.cpp 139:20 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       indirect_ref - operand
+        - isUsed: 1
+        parm_decl ptr1 test9.cpp 128:22 - ref
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 32
+          - signed
+           type_decl int <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 32 - type size
+           integer_cst -2147483648 - min value
+           integer_cst 2147483647 - max value
+         integer_cst 64 - parm size
+       integer_cst 200 - operand
+   cleanup_point_expr test9.cpp 140:20 - statement
+    expr_stmt test9.cpp 140:20 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       indirect_ref - operand
+        - isUsed: 1
+        parm_decl ptr2 test9.cpp 128:33 - ref
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 32
+          - signed
+           type_decl int <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           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
+   block - sub block
+    block - sub block
+     var_decl k test9.cpp 132:17 - block vars
+function_decl func11 test9.cpp 143:10
+- isPublic: 1
+ method_type - function type
+  void_type - method return type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test9.cpp 1:7 - type name
+   - isAutogenerated: 1
+   field_decl k test9.cpp 3:9 - field
+   - signed
+    integer_cst 32 - decl size
+   type_decl Object1 test9.cpp 2:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test9.cpp 1:7 - type name
+     - isAutogenerated: 1
+     field_decl k test9.cpp 3:9 - field
+     - signed
+      integer_cst 32 - decl size
+     type_decl Object1 test9.cpp 2:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      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 <built-in> 0:0 - type name
+       - isAutogenerated: 1
+       integer_cst 32 - type size
+       integer_cst -2147483648 - min value
+       integer_cst 2147483647 - max value
+     tree_list - chain
+      void_type - value
+       type_decl void <built-in> 0:0 - type name
+       - isAutogenerated: 1
+ result_decl test9.cpp 144:5 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+ parm_decl this test9.cpp 143:37 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test9.cpp 1:7 - type name
+    - isAutogenerated: 1
+    field_decl k test9.cpp 3:9 - field
+    - signed
+     integer_cst 32 - decl size
+    type_decl Object1 test9.cpp 2:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 143:22 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    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 test9.cpp 143:33 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ bind_expr test9.cpp 152:20 - code
+  statement_list - operand
+   bind_expr test9.cpp 149:9 - statement
+    if_stmt test9.cpp 145:9 - operand
+     truth_orif_expr test9.cpp 145:19 - condition
+      eq_expr test9.cpp 145:14 - operand
+       - isUsed: 1
+       parm_decl ptr1 test9.cpp 143:22 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          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 - operand
+       - isUsed: 1
+       parm_decl ptr2 test9.cpp 143:33 - operand
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+       integer_cst 0 - operand
+     bind_expr test9.cpp 148:24 - then
+      var_decl k test9.cpp 147:17 - operand
+       integer_cst 32 - decl size
+       integer_cst 10 - initial
+       integer_type - var type
+       - precisionBits: 32
+       - signed
+        type_decl int <built-in> 0:0 - type name
+        - isAutogenerated: 1
+        integer_cst 32 - type size
+        integer_cst -2147483648 - min value
+        integer_cst 2147483647 - max value
+      statement_list - operand
+       cleanup_point_expr test9.cpp 147:21 - statement
+        decl_expr test9.cpp 147:21 - operand
+         var_decl k test9.cpp 147:17 - operand
+       cleanup_point_expr test9.cpp 148:24 - statement
+        expr_stmt test9.cpp 148:24 - operand
+         convert_expr - expresssion
+          modify_expr - operand
+           indirect_ref - operand
+            - isUsed: 1
+            parm_decl ptr1 test9.cpp 143:22 - ref
+             pointer_type - decl type
+              integer_type - nested type
+              - precisionBits: 32
+              - signed
+               type_decl int <built-in> 0:0 - type name
+               - isAutogenerated: 1
+               integer_cst 32 - type size
+               integer_cst -2147483648 - min value
+               integer_cst 2147483647 - max value
+             integer_cst 64 - parm size
+           integer_cst 100 - operand
+      block - operand
+       var_decl k test9.cpp 147:17 - block vars
+    block - operand
+     block - sub block
+      var_decl k test9.cpp 147:17 - block vars
+   cleanup_point_expr test9.cpp 151:20 - statement
+    expr_stmt test9.cpp 151:20 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       indirect_ref - operand
+        - isUsed: 1
+        parm_decl ptr1 test9.cpp 143:22 - ref
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 32
+          - signed
+           type_decl int <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 32 - type size
+           integer_cst -2147483648 - min value
+           integer_cst 2147483647 - max value
+         integer_cst 64 - parm size
+       integer_cst 200 - operand
+   cleanup_point_expr test9.cpp 152:20 - statement
+    expr_stmt test9.cpp 152:20 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       indirect_ref - operand
+        - isUsed: 1
+        parm_decl ptr2 test9.cpp 143:33 - ref
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 32
+          - signed
+           type_decl int <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           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
+   block - sub block
+    block - sub block
+     var_decl k test9.cpp 147:17 - block vars
+function_decl func12 test9.cpp 155:10
+- isPublic: 1
+ method_type - function type
+  void_type - method return type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test9.cpp 1:7 - type name
+   - isAutogenerated: 1
+   field_decl k test9.cpp 3:9 - field
+   - signed
+    integer_cst 32 - decl size
+   type_decl Object1 test9.cpp 2:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test9.cpp 1:7 - type name
+     - isAutogenerated: 1
+     field_decl k test9.cpp 3:9 - field
+     - signed
+      integer_cst 32 - decl size
+     type_decl Object1 test9.cpp 2:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    pointer_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      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 <built-in> 0:0 - type name
+       - isAutogenerated: 1
+       integer_cst 32 - type size
+       integer_cst -2147483648 - min value
+       integer_cst 2147483647 - max value
+     tree_list - chain
+      void_type - value
+       type_decl void <built-in> 0:0 - type name
+       - isAutogenerated: 1
+ result_decl test9.cpp 156:5 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+ - isUsed: 1
+ parm_decl this test9.cpp 155:37 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test9.cpp 1:7 - type name
+    - isAutogenerated: 1
+    field_decl k test9.cpp 3:9 - field
+    - signed
+     integer_cst 32 - decl size
+    type_decl Object1 test9.cpp 2:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 155:22 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    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 test9.cpp 155:33 - argument
+  pointer_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ statement_list - code
+  if_stmt test9.cpp 157:9 - statement
+   truth_orif_expr test9.cpp 157:19 - condition
+    eq_expr test9.cpp 157:14 - operand
+     - isUsed: 1
+     parm_decl ptr1 test9.cpp 155:22 - operand
+      pointer_type - decl type
+       integer_type - nested type
+       - precisionBits: 32
+       - signed
+        type_decl int <built-in> 0:0 - type name
+        - isAutogenerated: 1
+        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 test9.cpp 157:24 - operand
+     component_ref test9.cpp 157:22 - operand
+      indirect_ref - object
+       nop_expr - ref
+        - isUsed: 1
+        parm_decl this test9.cpp 155:37 - operand
+        - isAutogenerated: 1
+         pointer_type - decl type
+          record_type - nested type
+           type_decl Object1 test9.cpp 1:7 - type name
+           - isAutogenerated: 1
+           field_decl k test9.cpp 3:9 - field
+           - signed
+            integer_cst 32 - decl size
+           type_decl Object1 test9.cpp 2:1 - field
+           - isAutogenerated: 1
+         integer_cst 64 - parm size
+      field_decl k test9.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+     integer_cst 10 - operand
+   cleanup_point_expr test9.cpp 159:24 - then
+    expr_stmt test9.cpp 159:24 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       indirect_ref - operand
+        - isUsed: 1
+        parm_decl ptr1 test9.cpp 155:22 - ref
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 32
+          - signed
+           type_decl int <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 32 - type size
+           integer_cst -2147483648 - min value
+           integer_cst 2147483647 - max value
+         integer_cst 64 - parm size
+       integer_cst 100 - operand
+   cleanup_point_expr test9.cpp 163:24 - else
+    expr_stmt test9.cpp 163:24 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       indirect_ref - operand
+        - isUsed: 1
+        parm_decl ptr1 test9.cpp 155:22 - ref
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 32
+          - signed
+           type_decl int <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 32 - type size
+           integer_cst -2147483648 - min value
+           integer_cst 2147483647 - max value
+         integer_cst 64 - parm size
+       integer_cst 400 - operand
+  cleanup_point_expr test9.cpp 166:20 - statement
+   expr_stmt test9.cpp 166:20 - operand
+    convert_expr - expresssion
+     modify_expr - operand
+      indirect_ref - operand
+       - isUsed: 1
+       parm_decl ptr1 test9.cpp 155:22 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 200 - operand
+  cleanup_point_expr test9.cpp 167:20 - statement
+   expr_stmt test9.cpp 167:20 - operand
+    convert_expr - expresssion
+     modify_expr - operand
+      indirect_ref - operand
+       - isUsed: 1
+       parm_decl ptr2 test9.cpp 155:33 - ref
+        pointer_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+      integer_cst 300 - operand
diff --git a/test/test9-02.txt b/test/test9-02.txt
index c5c7083..36eaea1 100644
--- a/test/test9-02.txt
+++ b/test/test9-02.txt
@@ -7,3 +7,6 @@ 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/test9-03.txt b/test/test9-03.txt
index 53e02bc..7199984 100644
--- a/test/test9-03.txt
+++ b/test/test9-03.txt
@@ -611,3 +611,294 @@ integer_cst -2147483648: ptr1, ptr2,
 integer_cst 2147483647: ptr1, ptr2, 
 integer_cst 64: ptr1, ptr2, 
 integer_cst 300: ptr1, ptr2, 
+function_decl func10: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+bind_expr : ptr1, ptr2, 
+if_stmt : 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 : 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, 
+bind_expr : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst 0: 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, 
+cleanup_point_expr : ptr1, ptr2, 
+decl_expr : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+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: 
+block : ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp: In member function 'void Object1::func10(int*, int*)':
+test9.cpp:139:20: 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, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp:140:20: 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, 
+block : ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+function_decl func11: 
+bind_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+bind_expr : ptr1, ptr2, 
+if_stmt : 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, 
+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, 
+bind_expr : ptr1, 
+var_decl k: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst 10: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+statement_list : ptr1, 
+cleanup_point_expr : ptr1, 
+decl_expr : ptr1, 
+var_decl k: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+convert_expr : ptr1, 
+modify_expr : ptr1, 
+test9.cpp: In member function 'void Object1::func11(int*, int*)':
+test9.cpp:148:24: warning: Using parameter 'ptr1' without checking for null pointer
+             *ptr1 = 100;
+                        ^
+indirect_ref : ptr1, 
+parm_decl ptr1: ptr1, 
+pointer_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 100: ptr1, 
+block : ptr1, 
+var_decl k: ptr1, 
+block : ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp:151:20: 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, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp:152:20: 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, 
+block : ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl k: ptr1, ptr2, 
+function_decl func12: 
+statement_list : ptr1, ptr2, 
+if_stmt : 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 : ptr1, ptr2, 
+component_ref : ptr1, ptr2, 
+indirect_ref : ptr1, ptr2, 
+nop_expr : ptr1, ptr2, 
+parm_decl this: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Object1: ptr1, ptr2, 
+field_decl k: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+type_decl Object1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl k: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst 10: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp: In member function 'void Object1::func12(int*, int*)':
+test9.cpp:159:24: 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, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+convert_expr : 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 400: ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp:166:20: 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, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+test9.cpp:167:20: 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, 
diff --git a/test/test9-04.txt b/test/test9-04.txt
index f4a465f..a5f2775 100644
--- a/test/test9-04.txt
+++ b/test/test9-04.txt
@@ -50,3 +50,30 @@ test9.cpp:124:20: warning: Using parameter 'ptr1' without checking for null poin
 test9.cpp:125:20: warning: Using parameter 'ptr2' without checking for null pointer
          *ptr2 = 300;
                     ^
+test9.cpp: In member function 'void Object1::func10(int*, int*)':
+test9.cpp:139:20: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+                    ^
+test9.cpp:140:20: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 300;
+                    ^
+test9.cpp: In member function 'void Object1::func11(int*, int*)':
+test9.cpp:148:24: warning: Using parameter 'ptr1' without checking for null pointer
+             *ptr1 = 100;
+                        ^
+test9.cpp:151:20: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+                    ^
+test9.cpp:152:20: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 300;
+                    ^
+test9.cpp: In member function 'void Object1::func12(int*, int*)':
+test9.cpp:159:24: warning: Using parameter 'ptr1' without checking for null pointer
+             *ptr1 = 100;
+                        ^
+test9.cpp:166:20: warning: Using parameter 'ptr1' without checking for null pointer
+         *ptr1 = 200;
+                    ^
+test9.cpp:167:20: warning: Using parameter 'ptr2' without checking for null pointer
+         *ptr2 = 300;
+                    ^
diff --git a/test/test9.cpp b/test/test9.cpp
index da0a297..856188e 100644
--- a/test/test9.cpp
+++ b/test/test9.cpp
@@ -125,23 +125,45 @@ class Object1
         *ptr2 = 300;
     }
 
+    void func10(int *ptr1, int *ptr2)
+    {
+        if (!ptr1 || !ptr2)
+        {
+            int k = 0;
+        }
+        else
+        {
+            *ptr1 = 100;
+        }
 
+        *ptr1 = 200;
+        *ptr2 = 300;
+    }
 
-/*
-    void func8(int *ptr1, int *ptr2)
+    void func11(int *ptr1, int *ptr2)
     {
-        int c;
-        if (k == c || !ptr1)
+        if (!ptr1 || ptr2)
         {
-            return;
+            int k = 10;
+            *ptr1 = 100;
         }
-        else
+
+        *ptr1 = 200;
+        *ptr2 = 300;
+    }
+
+    void func12(int *ptr1, int *ptr2)
+    {
+        if (!ptr1 || k == 10)
         {
             *ptr1 = 100;
         }
+        else
+        {
+            *ptr1 = 400;
+        }
 
         *ptr1 = 200;
         *ptr2 = 300;
     }
-*/
 };