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

1 files changed, 698 insertions, 0 deletions

diff --git a/test/test19-01.txt b/test/test19-01.txt
index 796d1a0..b2cb43c 100644
--- a/test/test19-01.txt
+++ b/test/test19-01.txt
@@ -141,8 +141,64 @@ function_decl func1 test19.cpp 8:5
      - isAutogenerated: 1
   decl_expr test19.cpp 10:19 - operand
    var_decl ptr3 test19.cpp 10:12 - operand
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 8:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
   block - operand
    var_decl ptr3 test19.cpp 10:12 - block vars
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 8:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func2 test19.cpp 13:5
 - isPublic: 1
  function_type - function type
@@ -289,6 +345,34 @@ function_decl func2 test19.cpp 13:5
    decl_expr test19.cpp 15:19 - statement
     var_decl ptr3 test19.cpp 15:12 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     - isUsed: 1
+     parm_decl ptr1 test19.cpp 13:25 - initial 2
+      pointer_type - decl type
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
+      integer_cst 64 - parm size
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test19.cpp 16:20 - statement
     expr_stmt test19.cpp 16:20 - operand
      convert_expr - expresssion
@@ -297,6 +381,34 @@ function_decl func2 test19.cpp 13:5
         indirect_ref - object
          var_decl ptr3 test19.cpp 15:12 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          - isUsed: 1
+          parm_decl ptr1 test19.cpp 13:25 - initial 2
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test19.cpp 1:8 - type name
+            - isAutogenerated: 1
+            field_decl val test19.cpp 3:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            type_decl Data1 test19.cpp 2:1 - field
+            - isAutogenerated: 1
         field_decl val test19.cpp 3:9 - field
         - signed
          integer_cst 32 - decl size
@@ -312,6 +424,34 @@ function_decl func2 test19.cpp 13:5
   block - operand
    var_decl ptr3 test19.cpp 15:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 13:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func3 test19.cpp 19:5
 - isPublic: 1
  function_type - function type
@@ -458,10 +598,66 @@ function_decl func3 test19.cpp 19:5
    decl_expr test19.cpp 21:19 - statement
     var_decl ptr3 test19.cpp 21:12 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     - isUsed: 1
+     parm_decl ptr1 test19.cpp 19:25 - initial 2
+      pointer_type - decl type
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
+      integer_cst 64 - parm size
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
    if_stmt test19.cpp 22:5 - statement
     ne_expr - condition
      var_decl ptr3 test19.cpp 21:12 - operand
      - isUsed: 1
+      integer_cst 64 - decl size 2
+      - isUsed: 1
+      parm_decl ptr1 test19.cpp 19:25 - initial 2
+       pointer_type - decl type
+        record_type - nested type
+         type_decl Data1 test19.cpp 1:8 - type name
+         - isAutogenerated: 1
+         field_decl val test19.cpp 3:9 - field
+         - signed
+          integer_cst 32 - decl size
+          integer_type - field type
+          - precisionBits: 32
+          - signed
+         type_decl Data1 test19.cpp 2:1 - field
+         - isAutogenerated: 1
+       integer_cst 64 - parm size
+      pointer_type - var type 2
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
      integer_cst 0 - operand
     cleanup_point_expr test19.cpp 23:24 - then
      expr_stmt test19.cpp 23:24 - operand
@@ -471,6 +667,34 @@ function_decl func3 test19.cpp 19:5
          indirect_ref - object
           var_decl ptr3 test19.cpp 21:12 - ref
           - isUsed: 1
+           integer_cst 64 - decl size 2
+           - isUsed: 1
+           parm_decl ptr1 test19.cpp 19:25 - initial 2
+            pointer_type - decl type
+             record_type - nested type
+              type_decl Data1 test19.cpp 1:8 - type name
+              - isAutogenerated: 1
+              field_decl val test19.cpp 3:9 - field
+              - signed
+               integer_cst 32 - decl size
+               integer_type - field type
+               - precisionBits: 32
+               - signed
+              type_decl Data1 test19.cpp 2:1 - field
+              - isAutogenerated: 1
+            integer_cst 64 - parm size
+           pointer_type - var type 2
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
          field_decl val test19.cpp 3:9 - field
          - signed
           integer_cst 32 - decl size
@@ -486,6 +710,34 @@ function_decl func3 test19.cpp 19:5
   block - operand
    var_decl ptr3 test19.cpp 21:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 19:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func4 test19.cpp 26:5
 - isPublic: 1
  function_type - function type
@@ -633,10 +885,66 @@ function_decl func4 test19.cpp 26:5
    decl_expr test19.cpp 28:19 - statement
     var_decl ptr3 test19.cpp 28:12 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     - isUsed: 1
+     parm_decl ptr1 test19.cpp 26:25 - initial 2
+      pointer_type - decl type
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
+      integer_cst 64 - parm size
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
    if_stmt test19.cpp 29:5 - statement
     ne_expr - condition
      var_decl ptr3 test19.cpp 28:12 - operand
      - isUsed: 1
+      integer_cst 64 - decl size 2
+      - isUsed: 1
+      parm_decl ptr1 test19.cpp 26:25 - initial 2
+       pointer_type - decl type
+        record_type - nested type
+         type_decl Data1 test19.cpp 1:8 - type name
+         - isAutogenerated: 1
+         field_decl val test19.cpp 3:9 - field
+         - signed
+          integer_cst 32 - decl size
+          integer_type - field type
+          - precisionBits: 32
+          - signed
+         type_decl Data1 test19.cpp 2:1 - field
+         - isAutogenerated: 1
+       integer_cst 64 - parm size
+      pointer_type - var type 2
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
      integer_cst 0 - operand
     cleanup_point_expr test19.cpp 30:24 - then
      expr_stmt test19.cpp 30:24 - operand
@@ -646,6 +954,34 @@ function_decl func4 test19.cpp 26:5
          indirect_ref - object
           var_decl ptr3 test19.cpp 28:12 - ref
           - isUsed: 1
+           integer_cst 64 - decl size 2
+           - isUsed: 1
+           parm_decl ptr1 test19.cpp 26:25 - initial 2
+            pointer_type - decl type
+             record_type - nested type
+              type_decl Data1 test19.cpp 1:8 - type name
+              - isAutogenerated: 1
+              field_decl val test19.cpp 3:9 - field
+              - signed
+               integer_cst 32 - decl size
+               integer_type - field type
+               - precisionBits: 32
+               - signed
+              type_decl Data1 test19.cpp 2:1 - field
+              - isAutogenerated: 1
+            integer_cst 64 - parm size
+           pointer_type - var type 2
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
          field_decl val test19.cpp 3:9 - field
          - signed
           integer_cst 32 - decl size
@@ -745,6 +1081,34 @@ function_decl func4 test19.cpp 26:5
   block - operand
    var_decl ptr3 test19.cpp 28:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 26:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func5 test19.cpp 35:5
 - isPublic: 1
  function_type - function type
@@ -942,6 +1306,34 @@ function_decl func5 test19.cpp 35:5
    decl_expr test19.cpp 40:19 - statement
     var_decl ptr3 test19.cpp 40:12 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     - isUsed: 1
+     parm_decl ptr1 test19.cpp 35:25 - initial 2
+      pointer_type - decl type
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
+      integer_cst 64 - parm size
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test19.cpp 42:20 - statement
     expr_stmt test19.cpp 42:20 - operand
      convert_expr - expresssion
@@ -950,6 +1342,34 @@ function_decl func5 test19.cpp 35:5
         indirect_ref - object
          var_decl ptr3 test19.cpp 40:12 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          - isUsed: 1
+          parm_decl ptr1 test19.cpp 35:25 - initial 2
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test19.cpp 1:8 - type name
+            - isAutogenerated: 1
+            field_decl val test19.cpp 3:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            type_decl Data1 test19.cpp 2:1 - field
+            - isAutogenerated: 1
         field_decl val test19.cpp 3:9 - field
         - signed
          integer_cst 32 - decl size
@@ -965,6 +1385,34 @@ function_decl func5 test19.cpp 35:5
   block - operand
    var_decl ptr3 test19.cpp 40:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 35:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func6 test19.cpp 45:5
 - isPublic: 1
  function_type - function type
@@ -1162,6 +1610,34 @@ function_decl func6 test19.cpp 45:5
    decl_expr test19.cpp 50:19 - statement
     var_decl ptr3 test19.cpp 50:12 - operand
     - isUsed: 1
+     integer_cst 64 - decl size 2
+     - isUsed: 1
+     parm_decl ptr1 test19.cpp 45:25 - initial 2
+      pointer_type - decl type
+       record_type - nested type
+        type_decl Data1 test19.cpp 1:8 - type name
+        - isAutogenerated: 1
+        field_decl val test19.cpp 3:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        type_decl Data1 test19.cpp 2:1 - field
+        - isAutogenerated: 1
+      integer_cst 64 - parm size
+     pointer_type - var type 2
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
    cleanup_point_expr test19.cpp 52:20 - statement
     expr_stmt test19.cpp 52:20 - operand
      convert_expr - expresssion
@@ -1170,6 +1646,34 @@ function_decl func6 test19.cpp 45:5
         indirect_ref - object
          var_decl ptr3 test19.cpp 50:12 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          - isUsed: 1
+          parm_decl ptr1 test19.cpp 45:25 - initial 2
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test19.cpp 1:8 - type name
+            - isAutogenerated: 1
+            field_decl val test19.cpp 3:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            type_decl Data1 test19.cpp 2:1 - field
+            - isAutogenerated: 1
         field_decl val test19.cpp 3:9 - field
         - signed
          integer_cst 32 - decl size
@@ -1185,6 +1689,34 @@ function_decl func6 test19.cpp 45:5
   block - operand
    var_decl ptr3 test19.cpp 50:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 45:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func7 test19.cpp 55:5
 - isPublic: 1
  function_type - function type
@@ -1302,6 +1834,15 @@ function_decl func7 test19.cpp 55:5
    decl_expr test19.cpp 57:9 - statement
     var_decl c test19.cpp 57:9 - operand
     - isUsed: 1
+     integer_cst 32 - decl size 2
+     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
    if_stmt test19.cpp 58:5 - statement
     ne_expr test19.cpp 58:11 - condition
      var_decl k test19.cpp 6:5 - operand
@@ -1317,6 +1858,15 @@ function_decl func7 test19.cpp 55:5
        integer_cst 2147483647 - max value
      var_decl c test19.cpp 57:9 - operand
      - isUsed: 1
+      integer_cst 32 - decl size 2
+      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
     if_stmt test19.cpp 60:9 - then
      eq_expr test19.cpp 60:14 - condition
       - isUsed: 1
@@ -1441,6 +1991,34 @@ function_decl func7 test19.cpp 55:5
         indirect_ref - object
          var_decl ptr3 test19.cpp 64:12 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          - isUsed: 1
+          parm_decl ptr1 test19.cpp 55:25 - initial 2
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test19.cpp 1:8 - type name
+            - isAutogenerated: 1
+            field_decl val test19.cpp 3:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            type_decl Data1 test19.cpp 2:1 - field
+            - isAutogenerated: 1
         field_decl val test19.cpp 3:9 - field
         - signed
          integer_cst 32 - decl size
@@ -1456,8 +2034,45 @@ function_decl func7 test19.cpp 55:5
   block - operand
    var_decl c test19.cpp 57:9 - block vars
    - isUsed: 1
+    integer_cst 32 - decl size 2
+    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
    var_decl ptr3 test19.cpp 64:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 55:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1
 function_decl func8 test19.cpp 70:5
 - isPublic: 1
  function_type - function type
@@ -1575,6 +2190,15 @@ function_decl func8 test19.cpp 70:5
    decl_expr test19.cpp 72:9 - statement
     var_decl c test19.cpp 72:9 - operand
     - isUsed: 1
+     integer_cst 32 - decl size 2
+     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
    if_stmt test19.cpp 73:5 - statement
     ne_expr test19.cpp 73:11 - condition
      var_decl k test19.cpp 6:5 - operand
@@ -1590,6 +2214,15 @@ function_decl func8 test19.cpp 70:5
        integer_cst 2147483647 - max value
      var_decl c test19.cpp 72:9 - operand
      - isUsed: 1
+      integer_cst 32 - decl size 2
+      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
     if_stmt test19.cpp 75:9 - then
      ne_expr - condition
       - isUsed: 1
@@ -1714,6 +2347,34 @@ function_decl func8 test19.cpp 70:5
         indirect_ref - object
          var_decl ptr3 test19.cpp 79:12 - ref
          - isUsed: 1
+          integer_cst 64 - decl size 2
+          - isUsed: 1
+          parm_decl ptr1 test19.cpp 70:25 - initial 2
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Data1 test19.cpp 1:8 - type name
+             - isAutogenerated: 1
+             field_decl val test19.cpp 3:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             type_decl Data1 test19.cpp 2:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+          pointer_type - var type 2
+           record_type - nested type
+            type_decl Data1 test19.cpp 1:8 - type name
+            - isAutogenerated: 1
+            field_decl val test19.cpp 3:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            type_decl Data1 test19.cpp 2:1 - field
+            - isAutogenerated: 1
         field_decl val test19.cpp 3:9 - field
         - signed
          integer_cst 32 - decl size
@@ -1729,5 +2390,42 @@ function_decl func8 test19.cpp 70:5
   block - operand
    var_decl c test19.cpp 72:9 - block vars
    - isUsed: 1
+    integer_cst 32 - decl size 2
+    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
    var_decl ptr3 test19.cpp 79:12 - block vars
    - isUsed: 1
+    integer_cst 64 - decl size 2
+    - isUsed: 1
+    parm_decl ptr1 test19.cpp 70:25 - initial 2
+     pointer_type - decl type
+      record_type - nested type
+       type_decl Data1 test19.cpp 1:8 - type name
+       - isAutogenerated: 1
+       field_decl val test19.cpp 3:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       type_decl Data1 test19.cpp 2:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - parm size
+    pointer_type - var type 2
+     record_type - nested type
+      type_decl Data1 test19.cpp 1:8 - type name
+      - isAutogenerated: 1
+      field_decl val test19.cpp 3:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      type_decl Data1 test19.cpp 2:1 - field
+      - isAutogenerated: 1