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

1 files changed, 665 insertions, 0 deletions

diff --git a/test/test35-01.txt b/test/test35-01.txt
index f5a5670..4a232a2 100644
--- a/test/test35-01.txt
+++ b/test/test35-01.txt
@@ -1063,12 +1063,54 @@ function_decl func1 test35.cpp 37:9
    decl_expr test35.cpp 39:32 - statement
     var_decl ptr1 test35.cpp 39:16 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test35.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test35.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test35.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test35.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test35.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test35.cpp 39:32 - statement
     expr_stmt test35.cpp 39:32 - operand
      convert_expr - expresssion
       init_expr - operand
        var_decl ptr1 test35.cpp 39:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test35.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test35.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test35.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test35.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test35.cpp 4:1 - field
+          - isAutogenerated: 1
        call_expr test35.cpp 39:31 - operand
         addr_expr - function
          function_decl getData1 test35.cpp 27:12 - operand
@@ -1271,6 +1313,27 @@ function_decl func1 test35.cpp 37:9
            - isAutogenerated: 1
        var_decl ptr1 test35.cpp 39:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test35.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test35.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test35.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test35.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test35.cpp 4:1 - field
+          - isAutogenerated: 1
    bind_expr test35.cpp 48:9 - statement
     if_stmt test35.cpp 41:9 - operand
      ne_expr - condition
@@ -1357,6 +1420,27 @@ function_decl func1 test35.cpp 37:9
            indirect_ref - object
             var_decl ptr1 test35.cpp 39:16 - ref
             - isUsed: 1
+             integer_cst 64 - decl size 2
+             pointer_type - var type 2
+              record_type - nested type
+               type_decl Data1 test35.cpp 3:8 - type name
+               - isAutogenerated: 1
+               field_decl val test35.cpp 5:9 - field
+               - signed
+                integer_cst 32 - decl size
+                integer_type - field type
+                - precisionBits: 32
+                - signed
+               field_decl ptrval test35.cpp 6:12 - field
+               - unsigned
+                integer_cst 64 - decl size
+                pointer_type - field type
+               field_decl arr test35.cpp 7:14 - field
+               - signed
+                integer_cst 96 - decl size
+                array_type - field type
+               type_decl Data1 test35.cpp 4:1 - field
+               - isAutogenerated: 1
            field_decl val test35.cpp 5:9 - field
            - signed
             integer_cst 32 - decl size
@@ -1380,6 +1464,32 @@ function_decl func1 test35.cpp 37:9
           decl_expr test35.cpp 45:33 - statement
            var_decl val test35.cpp 45:21 - operand
            - isUsed: 1
+            integer_cst 32 - decl size 2
+            component_ref test35.cpp 45:33 - initial 2
+             indirect_ref - object
+              var_decl ptr1 test35.cpp 39:16 - ref
+              - isUsed: 1
+               integer_cst 64 - decl size 2
+               pointer_type - var type 2
+             field_decl val test35.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 test35.cpp 46:24 - statement
            init_expr - operand
             result_decl test35.cpp 38:5 - operand
@@ -1395,24 +1505,154 @@ function_decl func1 test35.cpp 37:9
              integer_cst 32 - decl size
             var_decl val test35.cpp 45:21 - operand
             - isUsed: 1
+             integer_cst 32 - decl size 2
+             component_ref test35.cpp 45:33 - initial 2
+              indirect_ref - object
+               var_decl ptr1 test35.cpp 39:16 - ref
+               - isUsed: 1
+                integer_cst 64 - decl size 2
+                pointer_type - var type 2
+              field_decl val test35.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 test35.cpp 45:21 - block vars
           - isUsed: 1
+           integer_cst 32 - decl size 2
+           component_ref test35.cpp 45:33 - initial 2
+            indirect_ref - object
+             var_decl ptr1 test35.cpp 39:16 - ref
+             - isUsed: 1
+              integer_cst 64 - decl size 2
+              pointer_type - var type 2
+            field_decl val test35.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 test35.cpp 45:21 - block vars
          - isUsed: 1
+          integer_cst 32 - decl size 2
+          component_ref test35.cpp 45:33 - initial 2
+           indirect_ref - object
+            var_decl ptr1 test35.cpp 39:16 - ref
+            - isUsed: 1
+             integer_cst 64 - decl size 2
+             pointer_type - var type 2
+           field_decl val test35.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 test35.cpp 45:21 - block vars
          - isUsed: 1
+          integer_cst 32 - decl size 2
+          component_ref test35.cpp 45:33 - initial 2
+           indirect_ref - object
+            var_decl ptr1 test35.cpp 39:16 - ref
+            - isUsed: 1
+             integer_cst 64 - decl size 2
+             pointer_type - var type 2
+           field_decl val test35.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 test35.cpp 45:21 - block vars
         - isUsed: 1
+         integer_cst 32 - decl size 2
+         component_ref test35.cpp 45:33 - initial 2
+          indirect_ref - object
+           var_decl ptr1 test35.cpp 39:16 - ref
+           - isUsed: 1
+            integer_cst 64 - decl size 2
+            pointer_type - var type 2
+          field_decl val test35.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 test35.cpp 49:16 - statement
     init_expr - operand
      result_decl test35.cpp 38:5 - operand
@@ -1430,12 +1670,59 @@ function_decl func1 test35.cpp 37:9
   block - operand
    var_decl ptr1 test35.cpp 39:16 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test35.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test35.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test35.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test35.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test35.cpp 4:1 - field
+      - isAutogenerated: 1
    block - sub block
     block - sub block
      block - sub block
       block - sub block
        var_decl val test35.cpp 45:21 - block vars
        - isUsed: 1
+        integer_cst 32 - decl size 2
+        component_ref test35.cpp 45:33 - initial 2
+         indirect_ref - object
+          var_decl ptr1 test35.cpp 39:16 - ref
+          - isUsed: 1
+           integer_cst 64 - decl size 2
+           pointer_type - var type 2
+         field_decl val test35.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
 function_decl func2 test35.cpp 52:10
 - isPublic: 1
  method_type - function type
@@ -1603,12 +1890,54 @@ function_decl func2 test35.cpp 52:10
    decl_expr test35.cpp 54:38 - statement
     var_decl ptr1 test35.cpp 54:16 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test35.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test35.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test35.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test35.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test35.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test35.cpp 54:38 - statement
     expr_stmt test35.cpp 54:38 - operand
      convert_expr - expresssion
       init_expr - operand
        var_decl ptr1 test35.cpp 54:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test35.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test35.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test35.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test35.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test35.cpp 4:1 - field
+          - isAutogenerated: 1
        call_expr test35.cpp 54:37 - operand
         addr_expr - function
          function_decl getData3 test35.cpp 8:12 - operand
@@ -2610,12 +2939,54 @@ function_decl func2 test35.cpp 52:10
       ne_expr - operand
        var_decl ptr1 test35.cpp 54:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test35.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test35.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test35.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test35.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test35.cpp 4:1 - field
+          - isAutogenerated: 1
        integer_cst 0 - operand
       eq_expr test35.cpp 65:34 - operand
        component_ref test35.cpp 65:30 - operand
         indirect_ref - object
          var_decl ptr1 test35.cpp 54:16 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test35.cpp 3:8 - type name
+            - isAutogenerated: 1
+            field_decl val test35.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test35.cpp 6:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test35.cpp 7:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data1 test35.cpp 4:1 - field
+            - isAutogenerated: 1
         field_decl val test35.cpp 5:9 - field
         - signed
          integer_cst 32 - decl size
@@ -2633,6 +3004,27 @@ function_decl func2 test35.cpp 52:10
        indirect_ref - object
         var_decl ptr1 test35.cpp 54:16 - ref
         - isUsed: 1
+         integer_cst 64 - decl size 2
+         pointer_type - var type 2
+          record_type - nested type
+           type_decl Data1 test35.cpp 3:8 - type name
+           - isAutogenerated: 1
+           field_decl val test35.cpp 5:9 - field
+           - signed
+            integer_cst 32 - decl size
+            integer_type - field type
+            - precisionBits: 32
+            - signed
+           field_decl ptrval test35.cpp 6:12 - field
+           - unsigned
+            integer_cst 64 - decl size
+            pointer_type - field type
+           field_decl arr test35.cpp 7:14 - field
+           - signed
+            integer_cst 96 - decl size
+            array_type - field type
+           type_decl Data1 test35.cpp 4:1 - field
+           - isAutogenerated: 1
        field_decl ptrval test35.cpp 6:12 - field
        - unsigned
         integer_cst 64 - decl size
@@ -3466,6 +3858,27 @@ function_decl func2 test35.cpp 52:10
         modify_expr - operand
          var_decl ptr1 test35.cpp 54:16 - operand
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test35.cpp 3:8 - type name
+            - isAutogenerated: 1
+            field_decl val test35.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test35.cpp 6:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test35.cpp 7:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data1 test35.cpp 4:1 - field
+            - isAutogenerated: 1
          call_expr test35.cpp 77:42 - operand
           addr_expr - function
            function_decl getData3 test35.cpp 8:12 - operand
@@ -3617,6 +4030,27 @@ function_decl func2 test35.cpp 52:10
             indirect_ref - object
              var_decl ptr1 test35.cpp 54:16 - ref
              - isUsed: 1
+              integer_cst 64 - decl size 2
+              pointer_type - var type 2
+               record_type - nested type
+                type_decl Data1 test35.cpp 3:8 - type name
+                - isAutogenerated: 1
+                field_decl val test35.cpp 5:9 - field
+                - signed
+                 integer_cst 32 - decl size
+                 integer_type - field type
+                 - precisionBits: 32
+                 - signed
+                field_decl ptrval test35.cpp 6:12 - field
+                - unsigned
+                 integer_cst 64 - decl size
+                 pointer_type - field type
+                field_decl arr test35.cpp 7:14 - field
+                - signed
+                 integer_cst 96 - decl size
+                 array_type - field type
+                type_decl Data1 test35.cpp 4:1 - field
+                - isAutogenerated: 1
             field_decl ptrval test35.cpp 6:12 - field
             - unsigned
              integer_cst 64 - decl size
@@ -4445,6 +4879,27 @@ function_decl func2 test35.cpp 52:10
   block - operand
    var_decl ptr1 test35.cpp 54:16 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test35.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test35.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test35.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test35.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test35.cpp 4:1 - field
+      - isAutogenerated: 1
 function_decl func3 test35.cpp 91:10
 - isPublic: 1
  method_type - function type
@@ -4612,12 +5067,54 @@ function_decl func3 test35.cpp 91:10
    decl_expr test35.cpp 93:38 - statement
     var_decl ptr1 test35.cpp 93:16 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test35.cpp 3:8 - type name
+       - isAutogenerated: 1
+       field_decl val test35.cpp 5:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test35.cpp 6:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test35.cpp 7:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data1 test35.cpp 4:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test35.cpp 93:38 - statement
     expr_stmt test35.cpp 93:38 - operand
      convert_expr - expresssion
       init_expr - operand
        var_decl ptr1 test35.cpp 93:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test35.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test35.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test35.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test35.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test35.cpp 4:1 - field
+          - isAutogenerated: 1
        call_expr test35.cpp 93:37 - operand
         addr_expr - function
          function_decl getData3 test35.cpp 8:12 - operand
@@ -5619,12 +6116,54 @@ function_decl func3 test35.cpp 91:10
       ne_expr - operand
        var_decl ptr1 test35.cpp 93:16 - operand
        - isUsed: 1
+        integer_cst 64 - decl size 2
+        pointer_type - var type 2
+         record_type - nested type
+          type_decl Data1 test35.cpp 3:8 - type name
+          - isAutogenerated: 1
+          field_decl val test35.cpp 5:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test35.cpp 6:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test35.cpp 7:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test35.cpp 4:1 - field
+          - isAutogenerated: 1
        integer_cst 0 - operand
       eq_expr test35.cpp 104:34 - operand
        component_ref test35.cpp 104:30 - operand
         indirect_ref - object
          var_decl ptr1 test35.cpp 93:16 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test35.cpp 3:8 - type name
+            - isAutogenerated: 1
+            field_decl val test35.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test35.cpp 6:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test35.cpp 7:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data1 test35.cpp 4:1 - field
+            - isAutogenerated: 1
         field_decl val test35.cpp 5:9 - field
         - signed
          integer_cst 32 - decl size
@@ -5642,6 +6181,27 @@ function_decl func3 test35.cpp 91:10
        indirect_ref - object
         var_decl ptr1 test35.cpp 93:16 - ref
         - isUsed: 1
+         integer_cst 64 - decl size 2
+         pointer_type - var type 2
+          record_type - nested type
+           type_decl Data1 test35.cpp 3:8 - type name
+           - isAutogenerated: 1
+           field_decl val test35.cpp 5:9 - field
+           - signed
+            integer_cst 32 - decl size
+            integer_type - field type
+            - precisionBits: 32
+            - signed
+           field_decl ptrval test35.cpp 6:12 - field
+           - unsigned
+            integer_cst 64 - decl size
+            pointer_type - field type
+           field_decl arr test35.cpp 7:14 - field
+           - signed
+            integer_cst 96 - decl size
+            array_type - field type
+           type_decl Data1 test35.cpp 4:1 - field
+           - isAutogenerated: 1
        field_decl ptrval test35.cpp 6:12 - field
        - unsigned
         integer_cst 64 - decl size
@@ -6475,6 +7035,27 @@ function_decl func3 test35.cpp 91:10
         modify_expr - operand
          var_decl ptr1 test35.cpp 93:16 - operand
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test35.cpp 3:8 - type name
+            - isAutogenerated: 1
+            field_decl val test35.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test35.cpp 6:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test35.cpp 7:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data1 test35.cpp 4:1 - field
+            - isAutogenerated: 1
          call_expr test35.cpp 116:34 - operand
           addr_expr - function
            function_decl getData3 test35.cpp 8:12 - operand
@@ -6624,6 +7205,27 @@ function_decl func3 test35.cpp 91:10
           non_lvalue_expr - arg
            var_decl ptr1 test35.cpp 93:16 - operand
            - isUsed: 1
+            integer_cst 64 - decl size 2
+            pointer_type - var type 2
+             record_type - nested type
+              type_decl Data1 test35.cpp 3:8 - type name
+              - isAutogenerated: 1
+              field_decl val test35.cpp 5:9 - field
+              - signed
+               integer_cst 32 - decl size
+               integer_type - field type
+               - precisionBits: 32
+               - signed
+              field_decl ptrval test35.cpp 6:12 - field
+              - unsigned
+               integer_cst 64 - decl size
+               pointer_type - field type
+              field_decl arr test35.cpp 7:14 - field
+              - signed
+               integer_cst 96 - decl size
+               array_type - field type
+              type_decl Data1 test35.cpp 4:1 - field
+              - isAutogenerated: 1
      cleanup_point_expr test35.cpp 117:61 - statement
       expr_stmt test35.cpp 117:61 - operand
        call_expr test35.cpp 117:35 - expresssion
@@ -7420,6 +8022,27 @@ function_decl func3 test35.cpp 91:10
         modify_expr - operand
          var_decl ptr1 test35.cpp 93:16 - operand
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test35.cpp 3:8 - type name
+            - isAutogenerated: 1
+            field_decl val test35.cpp 5:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test35.cpp 6:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test35.cpp 7:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data1 test35.cpp 4:1 - field
+            - isAutogenerated: 1
          call_expr test35.cpp 127:42 - operand
           addr_expr - function
            function_decl getData3 test35.cpp 8:12 - operand
@@ -7571,6 +8194,27 @@ function_decl func3 test35.cpp 91:10
             indirect_ref - object
              var_decl ptr1 test35.cpp 93:16 - ref
              - isUsed: 1
+              integer_cst 64 - decl size 2
+              pointer_type - var type 2
+               record_type - nested type
+                type_decl Data1 test35.cpp 3:8 - type name
+                - isAutogenerated: 1
+                field_decl val test35.cpp 5:9 - field
+                - signed
+                 integer_cst 32 - decl size
+                 integer_type - field type
+                 - precisionBits: 32
+                 - signed
+                field_decl ptrval test35.cpp 6:12 - field
+                - unsigned
+                 integer_cst 64 - decl size
+                 pointer_type - field type
+                field_decl arr test35.cpp 7:14 - field
+                - signed
+                 integer_cst 96 - decl size
+                 array_type - field type
+                type_decl Data1 test35.cpp 4:1 - field
+                - isAutogenerated: 1
             field_decl ptrval test35.cpp 6:12 - field
             - unsigned
              integer_cst 64 - decl size
@@ -8399,3 +9043,24 @@ function_decl func3 test35.cpp 91:10
   block - operand
    var_decl ptr1 test35.cpp 93:16 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test35.cpp 3:8 - type name
+      - isAutogenerated: 1
+      field_decl val test35.cpp 5:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test35.cpp 6:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test35.cpp 7:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data1 test35.cpp 4:1 - field
+      - isAutogenerated: 1