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

1 files changed, 533 insertions, 0 deletions

diff --git a/test/test29-01.txt b/test/test29-01.txt
index a6d2564..87e8274 100644
--- a/test/test29-01.txt
+++ b/test/test29-01.txt
@@ -3772,6 +3772,27 @@ function_decl func3 test29.cpp 78:12
    decl_expr test29.cpp 80:16 - statement
     var_decl ptr1 test29.cpp 80:16 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test29.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test29.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test29.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test29.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test29.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test29.cpp 81:62 - statement
     expr_stmt test29.cpp 81:62 - operand
      call_expr test29.cpp 81:31 - expresssion
@@ -4486,6 +4507,27 @@ function_decl func3 test29.cpp 78:12
       modify_expr - operand
        var_decl ptr1 test29.cpp 80:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test29.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test29.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test29.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test29.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test29.cpp 4:1 - field
+          - isAutogenerated: 1
        - isUsed: 1
        parm_decl ptr2 test29.cpp 78:25 - operand
         pointer_type - decl type
@@ -4876,9 +4918,51 @@ function_decl func3 test29.cpp 78:12
       integer_cst 64 - decl size
      var_decl ptr1 test29.cpp 80:16 - operand
      - isUsed: 1
+      integer_cst 64 - decl size 2
+      pointer_type - var type 2
+       record_type - nested type
+        type_decl Data1 test29.cpp 3:8 - type name
+        - isAutogenerated: 1
+        field_decl val test29.cpp 5:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test29.cpp 6:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test29.cpp 7:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data1 test29.cpp 4:1 - field
+        - isAutogenerated: 1
   block - operand
    var_decl ptr1 test29.cpp 80:16 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test29.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test29.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test29.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test29.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test29.cpp 4:1 - field
+      - isAutogenerated: 1
 function_decl func4 test29.cpp 99:10
 - isPublic: 1
  method_type - function type
@@ -8137,6 +8221,27 @@ function_decl func6 test29.cpp 143:12
    decl_expr test29.cpp 145:16 - statement
     var_decl ptr1 test29.cpp 145:16 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test29.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test29.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test29.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test29.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test29.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test29.cpp 146:62 - statement
     expr_stmt test29.cpp 146:62 - operand
      call_expr test29.cpp 146:31 - expresssion
@@ -8851,6 +8956,27 @@ function_decl func6 test29.cpp 143:12
       modify_expr - operand
        var_decl ptr1 test29.cpp 145:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test29.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test29.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test29.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test29.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test29.cpp 4:1 - field
+          - isAutogenerated: 1
        - isUsed: 1
        parm_decl ptr2 test29.cpp 143:25 - operand
         pointer_type - decl type
@@ -9241,9 +9367,51 @@ function_decl func6 test29.cpp 143:12
       integer_cst 64 - decl size
      var_decl ptr1 test29.cpp 145:16 - operand
      - isUsed: 1
+      integer_cst 64 - decl size 2
+      pointer_type - var type 2
+       record_type - nested type
+        type_decl Data1 test29.cpp 3:8 - type name
+        - isAutogenerated: 1
+        field_decl val test29.cpp 5:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test29.cpp 6:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test29.cpp 7:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data1 test29.cpp 4:1 - field
+        - isAutogenerated: 1
   block - operand
    var_decl ptr1 test29.cpp 145:16 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test29.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test29.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test29.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test29.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test29.cpp 4:1 - field
+      - isAutogenerated: 1
 function_decl func7 test29.cpp 164:10
 - isPublic: 1
  method_type - function type
@@ -23390,6 +23558,45 @@ function_decl func17 test29.cpp 451:10
         - stringLength: 10
    decl_expr test29.cpp 457:72 - statement
     var_decl ptr3 test29.cpp 457:28 - operand
+     integer_cst 64 - decl size 2
+     cond_expr test29.cpp 457:72 - initial 2
+      ne_expr test29.cpp 457:72 - operand
+       nop_expr - operand
+        - isUsed: 1
+        parm_decl ptr2 test29.cpp 451:49 - operand
+       integer_cst 0 - operand
+      addr_expr - operand
+       component_ref - operand
+        indirect_ref - object
+         nop_expr - ref
+          - isUsed: 1
+          parm_decl ptr2 test29.cpp 451:49 - operand
+        field_decl test29.cpp 10:8 - field
+        - signed
+        - isAutogenerated: 1
+         integer_cst 256 - decl size
+         record_type - field type
+      integer_cst 0 - operand
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test29.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test29.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test29.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test29.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test29.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test29.cpp 458:62 - statement
     expr_stmt test29.cpp 458:62 - operand
      call_expr test29.cpp 458:31 - expresssion
@@ -23708,6 +23915,45 @@ function_decl func17 test29.cpp 451:10
         - stringLength: 10
   block - operand
    var_decl ptr3 test29.cpp 457:28 - block vars
+    integer_cst 64 - decl size 2
+    cond_expr test29.cpp 457:72 - initial 2
+     ne_expr test29.cpp 457:72 - operand
+      nop_expr - operand
+       - isUsed: 1
+       parm_decl ptr2 test29.cpp 451:49 - operand
+      integer_cst 0 - operand
+     addr_expr - operand
+      component_ref - operand
+       indirect_ref - object
+        nop_expr - ref
+         - isUsed: 1
+         parm_decl ptr2 test29.cpp 451:49 - operand
+       field_decl test29.cpp 10:8 - field
+       - signed
+       - isAutogenerated: 1
+        integer_cst 256 - decl size
+        record_type - field type
+     integer_cst 0 - operand
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test29.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test29.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test29.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test29.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test29.cpp 4:1 - field
+      - isAutogenerated: 1
 function_decl func18 test29.cpp 464:9
 - isPublic: 1
  method_type - function type
@@ -23886,12 +24132,54 @@ function_decl func18 test29.cpp 464:9
    decl_expr test29.cpp 466:54 - statement
     var_decl ptr1 test29.cpp 466:16 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test29.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test29.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test29.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test29.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test29.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test29.cpp 466:54 - statement
     expr_stmt test29.cpp 466:54 - operand
      convert_expr - expresssion
       init_expr - operand
        var_decl ptr1 test29.cpp 466:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test29.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test29.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test29.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test29.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test29.cpp 4:1 - field
+          - isAutogenerated: 1
        cond_expr test29.cpp 466:54 - operand
         ne_expr test29.cpp 466:54 - operand
          save_expr test29.cpp 466:52 - operand
@@ -24270,6 +24558,27 @@ function_decl func18 test29.cpp 464:9
            - isAutogenerated: 1
        var_decl ptr1 test29.cpp 466:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test29.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test29.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test29.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test29.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test29.cpp 4:1 - field
+          - isAutogenerated: 1
    bind_expr test29.cpp 475:9 - statement
     if_stmt test29.cpp 468:9 - operand
      ne_expr - condition
@@ -24356,6 +24665,27 @@ function_decl func18 test29.cpp 464:9
            indirect_ref - object
             var_decl ptr1 test29.cpp 466:16 - ref
             - isUsed: 1
+             integer_cst 64 - decl size 2
+             pointer_type - var type 2
+              record_type - nested type
+               type_decl Data1 test29.cpp 3:8 - type name
+               - isAutogenerated: 1
+               field_decl val test29.cpp 5:9 - field
+               - signed
+                integer_cst 32 - decl size
+                integer_type - field type
+                - precisionBits: 32
+                - signed
+               field_decl ptrval test29.cpp 6:12 - field
+               - unsigned
+                integer_cst 64 - decl size
+                pointer_type - field type
+               field_decl arr test29.cpp 7:14 - field
+               - signed
+                integer_cst 96 - decl size
+                array_type - field type
+               type_decl Data1 test29.cpp 4:1 - field
+               - isAutogenerated: 1
            field_decl val test29.cpp 5:9 - field
            - signed
             integer_cst 32 - decl size
@@ -24379,6 +24709,32 @@ function_decl func18 test29.cpp 464:9
           decl_expr test29.cpp 472:33 - statement
            var_decl val test29.cpp 472:21 - operand
            - isUsed: 1
+            integer_cst 32 - decl size 2
+            component_ref test29.cpp 472:33 - initial 2
+             indirect_ref - object
+              var_decl ptr1 test29.cpp 466:16 - ref
+              - isUsed: 1
+               integer_cst 64 - decl size 2
+               pointer_type - var type 2
+             field_decl val test29.cpp 5:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field 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_type - var type 2
+            - 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
           return_expr test29.cpp 473:24 - statement
            init_expr - operand
             result_decl test29.cpp 465:5 - operand
@@ -24394,24 +24750,154 @@ function_decl func18 test29.cpp 464:9
              integer_cst 32 - decl size
             var_decl val test29.cpp 472:21 - operand
             - isUsed: 1
+             integer_cst 32 - decl size 2
+             component_ref test29.cpp 472:33 - initial 2
+              indirect_ref - object
+               var_decl ptr1 test29.cpp 466:16 - ref
+               - isUsed: 1
+                integer_cst 64 - decl size 2
+                pointer_type - var type 2
+              field_decl val test29.cpp 5:9 - field
+              - signed
+               integer_cst 32 - decl size
+               integer_type - field 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_type - var type 2
+             - 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
          block - operand
           var_decl val test29.cpp 472:21 - block vars
           - isUsed: 1
+           integer_cst 32 - decl size 2
+           component_ref test29.cpp 472:33 - initial 2
+            indirect_ref - object
+             var_decl ptr1 test29.cpp 466:16 - ref
+             - isUsed: 1
+              integer_cst 64 - decl size 2
+              pointer_type - var type 2
+            field_decl val test29.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field 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_type - var type 2
+           - 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
        block - operand
         block - sub block
          var_decl val test29.cpp 472:21 - block vars
          - isUsed: 1
+          integer_cst 32 - decl size 2
+          component_ref test29.cpp 472:33 - initial 2
+           indirect_ref - object
+            var_decl ptr1 test29.cpp 466:16 - ref
+            - isUsed: 1
+             integer_cst 64 - decl size 2
+             pointer_type - var type 2
+           field_decl val test29.cpp 5:9 - field
+           - signed
+            integer_cst 32 - decl size
+            integer_type - field 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_type - var type 2
+          - 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
       block - operand
        block - sub block
         block - sub block
          var_decl val test29.cpp 472:21 - block vars
          - isUsed: 1
+          integer_cst 32 - decl size 2
+          component_ref test29.cpp 472:33 - initial 2
+           indirect_ref - object
+            var_decl ptr1 test29.cpp 466:16 - ref
+            - isUsed: 1
+             integer_cst 64 - decl size 2
+             pointer_type - var type 2
+           field_decl val test29.cpp 5:9 - field
+           - signed
+            integer_cst 32 - decl size
+            integer_type - field 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_type - var type 2
+          - 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
     block - operand
      block - sub block
       block - sub block
        block - sub block
         var_decl val test29.cpp 472:21 - block vars
         - isUsed: 1
+         integer_cst 32 - decl size 2
+         component_ref test29.cpp 472:33 - initial 2
+          indirect_ref - object
+           var_decl ptr1 test29.cpp 466:16 - ref
+           - isUsed: 1
+            integer_cst 64 - decl size 2
+            pointer_type - var type 2
+          field_decl val test29.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field 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_type - var type 2
+         - 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
    return_expr test29.cpp 476:16 - statement
     init_expr - operand
      result_decl test29.cpp 465:5 - operand
@@ -24429,9 +24915,56 @@ function_decl func18 test29.cpp 464:9
   block - operand
    var_decl ptr1 test29.cpp 466:16 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test29.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test29.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test29.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test29.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test29.cpp 4:1 - field
+      - isAutogenerated: 1
    block - sub block
     block - sub block
      block - sub block
       block - sub block
        var_decl val test29.cpp 472:21 - block vars
        - isUsed: 1
+        integer_cst 32 - decl size 2
+        component_ref test29.cpp 472:33 - initial 2
+         indirect_ref - object
+          var_decl ptr1 test29.cpp 466:16 - ref
+          - isUsed: 1
+           integer_cst 64 - decl size 2
+           pointer_type - var type 2
+         field_decl val test29.cpp 5:9 - field
+         - signed
+          integer_cst 32 - decl size
+          integer_type - field 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_type - var type 2
+        - 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