Update test9.

1 files changed, 601 insertions, 0 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