Update test 28.

1 files changed, 630 insertions, 0 deletions

diff --git a/test/test28-01.txt b/test/test28-01.txt
index 82c37af..7f8e037 100644
--- a/test/test28-01.txt
+++ b/test/test28-01.txt
@@ -3406,3 +3406,633 @@ function_decl func9 test28.cpp 174:10
       addr_expr - operand
        string_cst ptr1 - operand
        - stringLength: 5
+function_decl func10 test28.cpp 232: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 test28.cpp 14:7 - type name
+   - isAutogenerated: 1
+   field_decl tmp1 test28.cpp 16:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+   field_decl tmp2 test28.cpp 17:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+   type_decl Object1 test28.cpp 15:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test28.cpp 14:7 - type name
+     - isAutogenerated: 1
+     field_decl tmp1 test28.cpp 16:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+     field_decl tmp2 test28.cpp 17:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+     type_decl Object1 test28.cpp 15:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    pointer_type - value
+     record_type - nested type
+      type_decl Data1 test28.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test28.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+      field_decl ptrval test28.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+      field_decl arr test28.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+      type_decl Data1 test28.cpp 4:1 - field
+      - isAutogenerated: 1
+    tree_list - chain
+     void_type - value
+      type_decl void <built-in> 0:0 - type name
+      - isAutogenerated: 1
+ result_decl test28.cpp 233: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 test28.cpp 232:28 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test28.cpp 14:7 - type name
+    - isAutogenerated: 1
+    field_decl tmp1 test28.cpp 16:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+    field_decl tmp2 test28.cpp 17:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+    type_decl Object1 test28.cpp 15:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test28.cpp 232:24 - argument
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Data1 test28.cpp 3:8 - type name
+    - isAutogenerated: 1
+    field_decl val test28.cpp 5:9 - field
+    - signed
+     integer_cst 32 - decl size
+    field_decl ptrval test28.cpp 6:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+    field_decl arr test28.cpp 7:14 - field
+    - signed
+     integer_cst 96 - decl size
+    type_decl Data1 test28.cpp 4:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ bind_expr test28.cpp 263:9 - code
+  var_decl ptr2 test28.cpp 234:16 - operand
+  - isUsed: 1
+   integer_cst 64 - decl size
+   pointer_type - var type
+    record_type - nested type
+     type_decl Data1 test28.cpp 3:8 - type name
+     - isAutogenerated: 1
+     field_decl val test28.cpp 5:9 - field
+     - signed
+      integer_cst 32 - decl size
+     field_decl ptrval test28.cpp 6:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+     field_decl arr test28.cpp 7:14 - field
+     - signed
+      integer_cst 96 - decl size
+     type_decl Data1 test28.cpp 4:1 - field
+     - isAutogenerated: 1
+  statement_list - operand
+   decl_expr test28.cpp 234:16 - statement
+    var_decl ptr2 test28.cpp 234:16 - operand
+    - isUsed: 1
+   cleanup_point_expr test28.cpp 235:57 - statement
+    expr_stmt test28.cpp 235:57 - operand
+     call_expr test28.cpp 235:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst knownVars - operand
+        - stringLength: 10
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   cleanup_point_expr test28.cpp 236:60 - statement
+    expr_stmt test28.cpp 236:60 - operand
+     call_expr test28.cpp 236:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst knownNonNullVars - operand
+        - stringLength: 17
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test28.cpp 237:57 - statement
+    expr_stmt test28.cpp 237:57 - operand
+     call_expr test28.cpp 237:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst knownNullVars - operand
+        - stringLength: 14
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test28.cpp 238:65 - statement
+    expr_stmt test28.cpp 238:65 - operand
+     call_expr test28.cpp 238:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst needCheckNullVars - operand
+        - stringLength: 18
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   if_stmt test28.cpp 239:9 - statement
+    truth_andif_expr test28.cpp 239:18 - condition
+     ne_expr - operand
+      - isUsed: 1
+      parm_decl ptr1 test28.cpp 232:24 - operand
+       pointer_type - decl type
+        record_type - nested type
+         type_decl Data1 test28.cpp 3:8 - type name
+         - isAutogenerated: 1
+         field_decl val test28.cpp 5:9 - field
+         - signed
+          integer_cst 32 - decl size
+         field_decl ptrval test28.cpp 6:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+         field_decl arr test28.cpp 7:14 - field
+         - signed
+          integer_cst 96 - decl size
+         type_decl Data1 test28.cpp 4:1 - field
+         - isAutogenerated: 1
+       integer_cst 64 - parm size
+      integer_cst 0 - operand
+     ne_expr test28.cpp 239:26 - operand
+      component_ref test28.cpp 239:29 - operand
+       indirect_ref - object
+        nop_expr - ref
+         - isUsed: 1
+         parm_decl this test28.cpp 232:28 - operand
+         - isAutogenerated: 1
+          pointer_type - decl type
+           record_type - nested type
+            type_decl Object1 test28.cpp 14:7 - type name
+            - isAutogenerated: 1
+            field_decl tmp1 test28.cpp 16:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+            field_decl tmp2 test28.cpp 17:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+            type_decl Object1 test28.cpp 15:1 - field
+            - isAutogenerated: 1
+          integer_cst 64 - parm size
+       field_decl tmp1 test28.cpp 16:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+      var_decl ptr2 test28.cpp 234:16 - operand
+      - isUsed: 1
+    statement_list - then
+     cleanup_point_expr test28.cpp 241:61 - statement
+      expr_stmt test28.cpp 241:61 - operand
+       call_expr test28.cpp 241:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownVars - operand
+          - stringLength: 10
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 242:68 - statement
+      expr_stmt test28.cpp 242:68 - operand
+       call_expr test28.cpp 242:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownNonNullVars - operand
+          - stringLength: 17
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 243:61 - statement
+      expr_stmt test28.cpp 243:61 - operand
+       call_expr test28.cpp 243:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownNullVars - operand
+          - stringLength: 14
+        nop_expr - arg
+         addr_expr - operand
+          string_cst - operand
+          - stringLength: 1
+     cleanup_point_expr test28.cpp 244:65 - statement
+      expr_stmt test28.cpp 244:65 - operand
+       call_expr test28.cpp 244:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst needCheckNullVars - operand
+          - stringLength: 18
+        nop_expr - arg
+         addr_expr - operand
+          string_cst - operand
+          - stringLength: 1
+     return_expr test28.cpp 245:13 - statement
+   cleanup_point_expr test28.cpp 247:57 - statement
+    expr_stmt test28.cpp 247:57 - operand
+     call_expr test28.cpp 247:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst knownVars - operand
+        - stringLength: 10
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   cleanup_point_expr test28.cpp 248:60 - statement
+    expr_stmt test28.cpp 248:60 - operand
+     call_expr test28.cpp 248:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst knownNonNullVars - operand
+        - stringLength: 17
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test28.cpp 249:57 - statement
+    expr_stmt test28.cpp 249:57 - operand
+     call_expr test28.cpp 249:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst knownNullVars - operand
+        - stringLength: 14
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test28.cpp 250:65 - statement
+    expr_stmt test28.cpp 250:65 - operand
+     call_expr test28.cpp 250:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst needCheckNullVars - operand
+        - stringLength: 18
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   if_stmt test28.cpp 252:9 - statement
+    eq_expr test28.cpp 252:14 - condition
+     - isUsed: 1
+     parm_decl ptr1 test28.cpp 232:24 - operand
+      pointer_type - decl type
+       record_type - nested type
+        type_decl Data1 test28.cpp 3:8 - type name
+        - isAutogenerated: 1
+        field_decl val test28.cpp 5:9 - field
+        - signed
+         integer_cst 32 - decl size
+        field_decl ptrval test28.cpp 6:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+        field_decl arr test28.cpp 7:14 - field
+        - signed
+         integer_cst 96 - decl size
+        type_decl Data1 test28.cpp 4:1 - field
+        - isAutogenerated: 1
+      integer_cst 64 - parm size
+     integer_cst 0 - operand
+    statement_list - then
+     cleanup_point_expr test28.cpp 254:61 - statement
+      expr_stmt test28.cpp 254:61 - operand
+       call_expr test28.cpp 254:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownVars - operand
+          - stringLength: 10
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 255:64 - statement
+      expr_stmt test28.cpp 255:64 - operand
+       call_expr test28.cpp 255:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownNonNullVars - operand
+          - stringLength: 17
+        nop_expr - arg
+         addr_expr - operand
+          string_cst - operand
+          - stringLength: 1
+     cleanup_point_expr test28.cpp 256:65 - statement
+      expr_stmt test28.cpp 256:65 - operand
+       call_expr test28.cpp 256:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownNullVars - operand
+          - stringLength: 14
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 257:69 - statement
+      expr_stmt test28.cpp 257:69 - operand
+       call_expr test28.cpp 257:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst needCheckNullVars - operand
+          - stringLength: 18
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 258:24 - statement
+      expr_stmt test28.cpp 258:24 - operand
+       convert_expr - expresssion
+        modify_expr - operand
+         - isUsed: 1
+         parm_decl ptr1 test28.cpp 232:24 - operand
+          pointer_type - decl type
+           record_type - nested type
+            type_decl Data1 test28.cpp 3:8 - type name
+            - isAutogenerated: 1
+            field_decl val test28.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+            field_decl ptrval test28.cpp 6:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+            field_decl arr test28.cpp 7:14 - field
+            - signed
+             integer_cst 96 - decl size
+            type_decl Data1 test28.cpp 4:1 - field
+            - isAutogenerated: 1
+          integer_cst 64 - parm size
+         component_ref test28.cpp 258:20 - operand
+          indirect_ref - object
+           nop_expr - ref
+            - isUsed: 1
+            parm_decl this test28.cpp 232:28 - operand
+            - isAutogenerated: 1
+             pointer_type - decl type
+              record_type - nested type
+               type_decl Object1 test28.cpp 14:7 - type name
+               - isAutogenerated: 1
+               field_decl tmp1 test28.cpp 16:12 - field
+               - unsigned
+                integer_cst 64 - decl size
+               field_decl tmp2 test28.cpp 17:12 - field
+               - unsigned
+                integer_cst 64 - decl size
+               type_decl Object1 test28.cpp 15:1 - field
+               - isAutogenerated: 1
+             integer_cst 64 - parm size
+          field_decl tmp2 test28.cpp 17:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+     cleanup_point_expr test28.cpp 259:61 - statement
+      expr_stmt test28.cpp 259:61 - operand
+       call_expr test28.cpp 259:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownVars - operand
+          - stringLength: 10
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 260:64 - statement
+      expr_stmt test28.cpp 260:64 - operand
+       call_expr test28.cpp 260:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownNonNullVars - operand
+          - stringLength: 17
+        nop_expr - arg
+         addr_expr - operand
+          string_cst - operand
+          - stringLength: 1
+     cleanup_point_expr test28.cpp 261:65 - statement
+      expr_stmt test28.cpp 261:65 - operand
+       call_expr test28.cpp 261:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst knownNullVars - operand
+          - stringLength: 14
+        nop_expr - arg
+         addr_expr - operand
+          string_cst ptr1 - operand
+          - stringLength: 5
+     cleanup_point_expr test28.cpp 262:65 - statement
+      expr_stmt test28.cpp 262:65 - operand
+       call_expr test28.cpp 262:35 - expresssion
+        addr_expr - function
+         function_decl paranuckerInternalTest test28.cpp 12:6 - operand
+         - isExternal: 1
+         - isPublic: 1
+          function_type - function type
+        nop_expr - arg
+         addr_expr - operand
+          string_cst = - operand
+          - stringLength: 2
+        nop_expr - arg
+         addr_expr - operand
+          string_cst needCheckNullVars - operand
+          - stringLength: 18
+        nop_expr - arg
+         addr_expr - operand
+          string_cst - operand
+          - stringLength: 1
+  block - operand
+   var_decl ptr2 test28.cpp 234:16 - block vars
+   - isUsed: 1