Add test 40. Update test results.

10 files changed, 5743 insertions, 13 deletions

diff --git a/test/Makefile b/test/Makefile
index 380e123..f8b42c8 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -43,7 +43,8 @@ TESTS36 = $(call TEST,36,5)
 TESTS37 = $(call TEST,37,5)
 TESTS38 = $(call TEST,38,5)
 TESTS39 = $(call TEST,39,5)
-TESTNUMBERS = 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
+TESTS40 = $(call TEST,40,5)
+TESTNUMBERS = 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
 ALLTESTS = $(foreach num,$(TESTNUMBERS),test$(num) ${TESTS$(num)})
 
 .PHONY: ${ALLTESTS} ${CRASHES} all crashes
@@ -486,6 +487,18 @@ test39-04:
 test39-05:
 	$(call CMDXX,detectnullpointers,test39.cpp,test39-05.txt,-O2 -std=c++0x -Wall -Wnonnull)
 
+test40: ${TESTS40}
+test40-01:
+	$(call CMDXX,dump,test40.cpp,test40-01.txt,-std=c++0x)
+test40-02:
+	$(call CMDXX,findargs,test40.cpp,test40-02.txt,-std=c++0x)
+test40-03:
+	$(call CMDXX,dumpnullpointers,test40.cpp,test40-03.txt,-std=c++0x)
+test40-04:
+	$(call CMDXX,detectnullpointers,test40.cpp,test40-04.txt,-std=c++0x)
+test40-05:
+	$(call CMDXX,detectnullpointers,test40.cpp,test40-05.txt,-O2 -std=c++0x -Wall -Wnonnull)
+
 crashtest01:
 	$(call CMDXX,dump,crashtest01.h,crashtest01-01.txt)
 crashtest02:
diff --git a/test/test26-03.txt b/test/test26-03.txt
index 925bb0e..017476e 100644
--- a/test/test26-03.txt
+++ b/test/test26-03.txt
@@ -25334,10 +25334,6 @@ call_expr :
 obj_type_ref : 
 indirect_ref : 
 pointer_plus_expr : 
-test26.cpp: In static member function 'static void Object1::func5(Data2*)':
-test26.cpp:85:16: warning: Using variable 'ptr1->_vptr.Data2' without checking for null pointer
-         delete ptr1;
-                ^
 component_ref : 
 indirect_ref : 
 parm_decl ptr1: 
diff --git a/test/test26-04.txt b/test/test26-04.txt
index cf7a782..7c50d2a 100644
--- a/test/test26-04.txt
+++ b/test/test26-04.txt
@@ -6,10 +6,6 @@ test26.cpp: In member function 'void Object1::func2(Data1*)':
 test26.cpp:57:18: warning: Useless variable check 'ptr1'. It already was checked before
              if (!ptr1 && k == 1)
                   ^
-test26.cpp: In static member function 'static void Object1::func5(Data2*)':
-test26.cpp:85:16: warning: Using variable 'ptr1->_vptr.Data2' without checking for null pointer
-         delete ptr1;
-                ^
 test26.cpp: In member function 'void Object1::func6(Data1*)':
 test26.cpp:103:18: warning: Useless variable check 'ptr1'. It already was checked before
              if (!ptr1 && k == 4)
diff --git a/test/test26-05.txt b/test/test26-05.txt
index cf7a782..7c50d2a 100644
--- a/test/test26-05.txt
+++ b/test/test26-05.txt
@@ -6,10 +6,6 @@ test26.cpp: In member function 'void Object1::func2(Data1*)':
 test26.cpp:57:18: warning: Useless variable check 'ptr1'. It already was checked before
              if (!ptr1 && k == 1)
                   ^
-test26.cpp: In static member function 'static void Object1::func5(Data2*)':
-test26.cpp:85:16: warning: Using variable 'ptr1->_vptr.Data2' without checking for null pointer
-         delete ptr1;
-                ^
 test26.cpp: In member function 'void Object1::func6(Data1*)':
 test26.cpp:103:18: warning: Useless variable check 'ptr1'. It already was checked before
              if (!ptr1 && k == 4)
diff --git a/test/test40-01.txt b/test/test40-01.txt
new file mode 100644
index 0000000..22d3300
--- /dev/null
+++ b/test/test40-01.txt
@@ -0,0 +1,4782 @@
+function_decl getData3 test40.cpp 9:12
+- isPublic: 1
+ method_type - function type
+  pointer_type - method return type
+   record_type - nested type
+    type_decl Data1 test40.cpp 1:8 - type name
+    - isAutogenerated: 1
+  record_type - method base type
+   type_decl Data2 test40.cpp 4:8 - type name
+   - isAutogenerated: 1
+   field_decl val test40.cpp 6: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
+   field_decl ptrval test40.cpp 7:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 1:8 - type name
+      - isAutogenerated: 1
+   field_decl arr test40.cpp 8:14 - field
+   - signed
+    integer_cst 96 - decl size
+    array_type - field type
+     integer_type - element 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 - domain
+     - precisionBits: 64
+     - signed
+      integer_cst 64 - type size
+      integer_cst 0 - min value
+      integer_cst 2 - max value
+   type_decl Data2 test40.cpp 5:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Data2 test40.cpp 4:8 - type name
+     - isAutogenerated: 1
+     field_decl val test40.cpp 6: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
+     field_decl ptrval test40.cpp 7:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl arr test40.cpp 8:14 - field
+     - signed
+      integer_cst 96 - decl size
+      array_type - field type
+       integer_type - element type
+       - precisionBits: 32
+       - signed
+       integer_type - domain
+       - precisionBits: 64
+       - signed
+     type_decl Data2 test40.cpp 5:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    void_type - value
+     type_decl void <built-in> 0:0 - type name
+     - isAutogenerated: 1
+ result_decl test40.cpp 10:5 - function result
+ - isAutogenerated: 1
+  pointer_type - result type
+   record_type - nested type
+    type_decl Data1 test40.cpp 1:8 - type name
+    - isAutogenerated: 1
+  integer_cst 64 - decl size
+ - isUsed: 1
+ parm_decl this test40.cpp 9:21 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Data2 test40.cpp 4:8 - type name
+    - isAutogenerated: 1
+    field_decl val test40.cpp 6: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
+    field_decl ptrval test40.cpp 7:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl arr test40.cpp 8:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data2 test40.cpp 5:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ return_expr test40.cpp 11:16 - code
+  init_expr - operand
+   result_decl test40.cpp 10:5 - operand
+   - isAutogenerated: 1
+    pointer_type - result type
+     record_type - nested type
+      type_decl Data1 test40.cpp 1:8 - type name
+      - isAutogenerated: 1
+    integer_cst 64 - decl size
+   component_ref test40.cpp 11:16 - operand
+    indirect_ref - object
+     nop_expr - ref
+      - isUsed: 1
+      parm_decl this test40.cpp 9:21 - operand
+      - isAutogenerated: 1
+       pointer_type - decl type
+        record_type - nested type
+         type_decl Data2 test40.cpp 4:8 - type name
+         - isAutogenerated: 1
+         field_decl val test40.cpp 6: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
+         field_decl ptrval test40.cpp 7:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         field_decl arr test40.cpp 8:14 - field
+         - signed
+          integer_cst 96 - decl size
+          array_type - field type
+           integer_type - element type
+           - precisionBits: 32
+           - signed
+           integer_type - domain
+           - precisionBits: 64
+           - signed
+         type_decl Data2 test40.cpp 5:1 - field
+         - isAutogenerated: 1
+       integer_cst 64 - parm size
+    field_decl ptrval test40.cpp 7:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+       type_decl Data1 test40.cpp 1:8 - type name
+       - isAutogenerated: 1
+function_decl getData3 test40.cpp 22:20
+- isVirtual: 1
+- isPublic: 1
+ method_type - function type
+  pointer_type - method return type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  record_type - method base type
+   type_decl Data1 test40.cpp 15:8 - type name
+   - isAutogenerated: 1
+   field_decl _vptr.Data1 test40.cpp 15:8 - field
+   - unsigned
+   - isVirtual: 1
+   - isAutogenerated: 1
+    integer_cst 64 - decl size
+    pointer_type - field type
+     pointer_type - nested type
+      type_decl __vtbl_ptr_type <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      function_type - nested type
+       integer_type - function return 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
+   field_decl val test40.cpp 17: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
+   field_decl ptrval test40.cpp 18:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl perm test40.cpp 19:11 - field
+   - signed
+    integer_cst 256 - decl size
+    record_type - field type
+     type_decl Data2 test40.cpp 4:8 - type name
+     - isAutogenerated: 1
+     field_decl val test40.cpp 6: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
+     field_decl ptrval test40.cpp 7:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+        type_decl Data1 test40.cpp 15:8 - type name
+        - isAutogenerated: 1
+        field_decl _vptr.Data1 test40.cpp 15:8 - field
+        - unsigned
+        - isVirtual: 1
+        - isAutogenerated: 1
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl val test40.cpp 17:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 18:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl perm test40.cpp 19:11 - field
+        - signed
+         integer_cst 256 - decl size
+         record_type - field type
+        field_decl arr test40.cpp 20:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data1 test40.cpp 16:1 - field
+        - isAutogenerated: 1
+     field_decl arr test40.cpp 8:14 - field
+     - signed
+      integer_cst 96 - decl size
+      array_type - field type
+       integer_type - element 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 - domain
+       - precisionBits: 64
+       - signed
+        integer_cst 64 - type size
+        integer_cst 0 - min value
+        integer_cst 2 - max value
+     type_decl Data2 test40.cpp 5:1 - field
+     - isAutogenerated: 1
+   field_decl arr test40.cpp 20:14 - field
+   - signed
+    integer_cst 96 - decl size
+    array_type - field type
+     integer_type - element 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 - domain
+     - precisionBits: 64
+     - signed
+      integer_cst 64 - type size
+      integer_cst 0 - min value
+      integer_cst 2 - max value
+   type_decl Data1 test40.cpp 16:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Data1 test40.cpp 15:8 - type name
+     - isAutogenerated: 1
+     field_decl _vptr.Data1 test40.cpp 15:8 - field
+     - unsigned
+     - isVirtual: 1
+     - isAutogenerated: 1
+      integer_cst 64 - decl size
+      pointer_type - field type
+       pointer_type - nested type
+     field_decl val test40.cpp 17: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
+     field_decl ptrval test40.cpp 18:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl perm test40.cpp 19:11 - field
+     - signed
+      integer_cst 256 - decl size
+      record_type - field type
+       type_decl Data2 test40.cpp 4:8 - type name
+       - isAutogenerated: 1
+       field_decl val test40.cpp 6:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test40.cpp 7:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test40.cpp 8:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data2 test40.cpp 5:1 - field
+       - isAutogenerated: 1
+     field_decl arr test40.cpp 20:14 - field
+     - signed
+      integer_cst 96 - decl size
+      array_type - field type
+       integer_type - element type
+       - precisionBits: 32
+       - signed
+       integer_type - domain
+       - precisionBits: 64
+       - signed
+     type_decl Data1 test40.cpp 16:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    reference_type - value
+     integer_type - nested type
+     - precisionBits: 32
+     - signed
+      type_decl int <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    tree_list - chain
+     void_type - value
+      type_decl void <built-in> 0:0 - type name
+      - isAutogenerated: 1
+ result_decl test40.cpp 23:5 - function result
+ - isAutogenerated: 1
+  pointer_type - result type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - decl size
+ - isUsed: 1
+ parm_decl this test40.cpp 22:35 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl k test40.cpp 22:34 - argument
+  reference_type - decl type
+   integer_type - nested type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  integer_cst 64 - parm size
+ statement_list - code
+  cleanup_point_expr test40.cpp 24:16 - statement
+   expr_stmt test40.cpp 24:16 - operand
+    convert_expr - expresssion
+     modify_expr - operand
+      component_ref test40.cpp 24:9 - operand
+       indirect_ref - object
+        nop_expr - ref
+         - isUsed: 1
+         parm_decl this test40.cpp 22:35 - operand
+         - isAutogenerated: 1
+          pointer_type - decl type
+           record_type - nested type
+            type_decl Data1 test40.cpp 15:8 - type name
+            - isAutogenerated: 1
+            field_decl _vptr.Data1 test40.cpp 15:8 - field
+            - unsigned
+            - isVirtual: 1
+            - isAutogenerated: 1
+             integer_cst 64 - decl size
+             pointer_type - field type
+              pointer_type - nested type
+            field_decl val test40.cpp 17: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
+            field_decl ptrval test40.cpp 18:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+              record_type - nested type
+            field_decl perm test40.cpp 19:11 - field
+            - signed
+             integer_cst 256 - decl size
+             record_type - field type
+              type_decl Data2 test40.cpp 4:8 - type name
+              - isAutogenerated: 1
+              field_decl val test40.cpp 6:9 - field
+              - signed
+               integer_cst 32 - decl size
+               integer_type - field type
+               - precisionBits: 32
+               - signed
+              field_decl ptrval test40.cpp 7:12 - field
+              - unsigned
+               integer_cst 64 - decl size
+               pointer_type - field type
+              field_decl arr test40.cpp 8:14 - field
+              - signed
+               integer_cst 96 - decl size
+               array_type - field type
+              type_decl Data2 test40.cpp 5:1 - field
+              - isAutogenerated: 1
+            field_decl arr test40.cpp 20:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+              integer_type - element type
+              - precisionBits: 32
+              - signed
+              integer_type - domain
+              - precisionBits: 64
+              - signed
+            type_decl Data1 test40.cpp 16:1 - field
+            - isAutogenerated: 1
+          integer_cst 64 - parm size
+       field_decl val test40.cpp 17: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
+      indirect_ref - operand
+       - isUsed: 1
+       parm_decl k test40.cpp 22:34 - ref
+        reference_type - decl type
+         integer_type - nested type
+         - precisionBits: 32
+         - signed
+          type_decl int <built-in> 0:0 - type name
+          - isAutogenerated: 1
+          integer_cst 32 - type size
+          integer_cst -2147483648 - min value
+          integer_cst 2147483647 - max value
+        integer_cst 64 - parm size
+  return_expr test40.cpp 25:16 - statement
+   init_expr - operand
+    result_decl test40.cpp 23:5 - operand
+    - isAutogenerated: 1
+     pointer_type - result type
+      record_type - nested type
+       type_decl Data1 test40.cpp 15:8 - type name
+       - isAutogenerated: 1
+       field_decl _vptr.Data1 test40.cpp 15:8 - field
+       - unsigned
+       - isVirtual: 1
+       - isAutogenerated: 1
+        integer_cst 64 - decl size
+        pointer_type - field type
+         pointer_type - nested type
+       field_decl val test40.cpp 17: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
+       field_decl ptrval test40.cpp 18:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+         record_type - nested type
+       field_decl perm test40.cpp 19:11 - field
+       - signed
+        integer_cst 256 - decl size
+        record_type - field type
+         type_decl Data2 test40.cpp 4:8 - type name
+         - isAutogenerated: 1
+         field_decl val test40.cpp 6:9 - field
+         - signed
+          integer_cst 32 - decl size
+          integer_type - field type
+          - precisionBits: 32
+          - signed
+         field_decl ptrval test40.cpp 7:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+         field_decl arr test40.cpp 8:14 - field
+         - signed
+          integer_cst 96 - decl size
+          array_type - field type
+         type_decl Data2 test40.cpp 5:1 - field
+         - isAutogenerated: 1
+       field_decl arr test40.cpp 20:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+         integer_type - element type
+         - precisionBits: 32
+         - signed
+         integer_type - domain
+         - precisionBits: 64
+         - signed
+       type_decl Data1 test40.cpp 16:1 - field
+       - isAutogenerated: 1
+     integer_cst 64 - decl size
+    component_ref test40.cpp 25:16 - operand
+     indirect_ref - object
+      nop_expr - ref
+       - isUsed: 1
+       parm_decl this test40.cpp 22:35 - operand
+       - isAutogenerated: 1
+        pointer_type - decl type
+         record_type - nested type
+          type_decl Data1 test40.cpp 15:8 - type name
+          - isAutogenerated: 1
+          field_decl _vptr.Data1 test40.cpp 15:8 - field
+          - unsigned
+          - isVirtual: 1
+          - isAutogenerated: 1
+           integer_cst 64 - decl size
+           pointer_type - field type
+            pointer_type - nested type
+          field_decl val test40.cpp 17: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
+          field_decl ptrval test40.cpp 18:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+            record_type - nested type
+          field_decl perm test40.cpp 19:11 - field
+          - signed
+           integer_cst 256 - decl size
+           record_type - field type
+            type_decl Data2 test40.cpp 4:8 - type name
+            - isAutogenerated: 1
+            field_decl val test40.cpp 6:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test40.cpp 7:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test40.cpp 8:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data2 test40.cpp 5:1 - field
+            - isAutogenerated: 1
+          field_decl arr test40.cpp 20:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+            integer_type - element type
+            - precisionBits: 32
+            - signed
+            integer_type - domain
+            - precisionBits: 64
+            - signed
+          type_decl Data1 test40.cpp 16:1 - field
+          - isAutogenerated: 1
+        integer_cst 64 - parm size
+     field_decl ptrval test40.cpp 18:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+        type_decl Data1 test40.cpp 15:8 - type name
+        - isAutogenerated: 1
+        field_decl _vptr.Data1 test40.cpp 15:8 - field
+        - unsigned
+        - isVirtual: 1
+        - isAutogenerated: 1
+         integer_cst 64 - decl size
+         pointer_type - field type
+          pointer_type - nested type
+        field_decl val test40.cpp 17: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
+        field_decl ptrval test40.cpp 18:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+          record_type - nested type
+        field_decl perm test40.cpp 19:11 - field
+        - signed
+         integer_cst 256 - decl size
+         record_type - field type
+          type_decl Data2 test40.cpp 4:8 - type name
+          - isAutogenerated: 1
+          field_decl val test40.cpp 6:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test40.cpp 7:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl arr test40.cpp 8:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data2 test40.cpp 5:1 - field
+          - isAutogenerated: 1
+        field_decl arr test40.cpp 20:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+          integer_type - element type
+          - precisionBits: 32
+          - signed
+          integer_type - domain
+          - precisionBits: 64
+          - signed
+        type_decl Data1 test40.cpp 16:1 - field
+        - isAutogenerated: 1
+function_decl getData4 test40.cpp 27:19
+- isPublic: 1
+ function_type - function type
+  pointer_type - function return type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  tree_list - arg types
+   void_type - value
+    type_decl void <built-in> 0:0 - type name
+    - isAutogenerated: 1
+ result_decl test40.cpp 28:5 - function result
+ - isAutogenerated: 1
+  pointer_type - result type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - decl size
+ return_expr test40.cpp 29:16 - code
+  init_expr - operand
+   result_decl test40.cpp 28:5 - operand
+   - isAutogenerated: 1
+    pointer_type - result type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+    integer_cst 64 - decl size
+   integer_cst 0 - operand
+function_decl getData5 test40.cpp 31:12
+- isPublic: 1
+ method_type - function type
+  tree_list - attribute
+   identifier_node returns_nonnull - purpose
+  pointer_type - method return type
+   record_type - nested type
+    type_decl Data2 test40.cpp 4:8 - type name
+    - isAutogenerated: 1
+    field_decl val test40.cpp 6: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
+    field_decl ptrval test40.cpp 7:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl arr test40.cpp 8:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data2 test40.cpp 5:1 - field
+    - isAutogenerated: 1
+  record_type - method base type
+   type_decl Data1 test40.cpp 15:8 - type name
+   - isAutogenerated: 1
+   field_decl _vptr.Data1 test40.cpp 15:8 - field
+   - unsigned
+   - isVirtual: 1
+   - isAutogenerated: 1
+    integer_cst 64 - decl size
+    pointer_type - field type
+     pointer_type - nested type
+      type_decl __vtbl_ptr_type <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      function_type - nested type
+       integer_type - function return 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
+   field_decl val test40.cpp 17: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
+   field_decl ptrval test40.cpp 18:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl perm test40.cpp 19:11 - field
+   - signed
+    integer_cst 256 - decl size
+    record_type - field type
+     type_decl Data2 test40.cpp 4:8 - type name
+     - isAutogenerated: 1
+     field_decl val test40.cpp 6: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
+     field_decl ptrval test40.cpp 7:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+        type_decl Data1 test40.cpp 15:8 - type name
+        - isAutogenerated: 1
+        field_decl _vptr.Data1 test40.cpp 15:8 - field
+        - unsigned
+        - isVirtual: 1
+        - isAutogenerated: 1
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl val test40.cpp 17:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 18:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl perm test40.cpp 19:11 - field
+        - signed
+         integer_cst 256 - decl size
+         record_type - field type
+        field_decl arr test40.cpp 20:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data1 test40.cpp 16:1 - field
+        - isAutogenerated: 1
+     field_decl arr test40.cpp 8:14 - field
+     - signed
+      integer_cst 96 - decl size
+      array_type - field type
+       integer_type - element 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 - domain
+       - precisionBits: 64
+       - signed
+        integer_cst 64 - type size
+        integer_cst 0 - min value
+        integer_cst 2 - max value
+     type_decl Data2 test40.cpp 5:1 - field
+     - isAutogenerated: 1
+   field_decl arr test40.cpp 20:14 - field
+   - signed
+    integer_cst 96 - decl size
+    array_type - field type
+     integer_type - element 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 - domain
+     - precisionBits: 64
+     - signed
+      integer_cst 64 - type size
+      integer_cst 0 - min value
+      integer_cst 2 - max value
+   type_decl Data1 test40.cpp 16:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Data1 test40.cpp 15:8 - type name
+     - isAutogenerated: 1
+     field_decl _vptr.Data1 test40.cpp 15:8 - field
+     - unsigned
+     - isVirtual: 1
+     - isAutogenerated: 1
+      integer_cst 64 - decl size
+      pointer_type - field type
+       pointer_type - nested type
+     field_decl val test40.cpp 17: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
+     field_decl ptrval test40.cpp 18:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl perm test40.cpp 19:11 - field
+     - signed
+      integer_cst 256 - decl size
+      record_type - field type
+       type_decl Data2 test40.cpp 4:8 - type name
+       - isAutogenerated: 1
+       field_decl val test40.cpp 6:9 - field
+       - signed
+        integer_cst 32 - decl size
+        integer_type - field type
+        - precisionBits: 32
+        - signed
+       field_decl ptrval test40.cpp 7:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+       field_decl arr test40.cpp 8:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+       type_decl Data2 test40.cpp 5:1 - field
+       - isAutogenerated: 1
+     field_decl arr test40.cpp 20:14 - field
+     - signed
+      integer_cst 96 - decl size
+      array_type - field type
+       integer_type - element type
+       - precisionBits: 32
+       - signed
+       integer_type - domain
+       - precisionBits: 64
+       - signed
+     type_decl Data1 test40.cpp 16:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    void_type - value
+     type_decl void <built-in> 0:0 - type name
+     - isAutogenerated: 1
+ result_decl test40.cpp 32:5 - function result
+ - isAutogenerated: 1
+  pointer_type - result type
+   record_type - nested type
+    type_decl Data2 test40.cpp 4:8 - type name
+    - isAutogenerated: 1
+    field_decl val test40.cpp 6: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
+    field_decl ptrval test40.cpp 7:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl arr test40.cpp 8:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data2 test40.cpp 5:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - decl size
+ - isUsed: 1
+ parm_decl this test40.cpp 31:54 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ return_expr test40.cpp 33:17 - code
+  init_expr - operand
+   result_decl test40.cpp 32:5 - operand
+   - isAutogenerated: 1
+    pointer_type - result type
+     record_type - nested type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6: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
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    integer_cst 64 - decl size
+   addr_expr - operand
+    component_ref test40.cpp 33:17 - operand
+     indirect_ref - object
+      nop_expr - ref
+       - isUsed: 1
+       parm_decl this test40.cpp 31:54 - operand
+       - isAutogenerated: 1
+        pointer_type - decl type
+         record_type - nested type
+          type_decl Data1 test40.cpp 15:8 - type name
+          - isAutogenerated: 1
+          field_decl _vptr.Data1 test40.cpp 15:8 - field
+          - unsigned
+          - isVirtual: 1
+          - isAutogenerated: 1
+           integer_cst 64 - decl size
+           pointer_type - field type
+            pointer_type - nested type
+          field_decl val test40.cpp 17: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
+          field_decl ptrval test40.cpp 18:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+            record_type - nested type
+          field_decl perm test40.cpp 19:11 - field
+          - signed
+           integer_cst 256 - decl size
+           record_type - field type
+            type_decl Data2 test40.cpp 4:8 - type name
+            - isAutogenerated: 1
+            field_decl val test40.cpp 6:9 - field
+            - signed
+             integer_cst 32 - decl size
+             integer_type - field type
+             - precisionBits: 32
+             - signed
+            field_decl ptrval test40.cpp 7:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+            field_decl arr test40.cpp 8:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+            type_decl Data2 test40.cpp 5:1 - field
+            - isAutogenerated: 1
+          field_decl arr test40.cpp 20:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+            integer_type - element type
+            - precisionBits: 32
+            - signed
+            integer_type - domain
+            - precisionBits: 64
+            - signed
+          type_decl Data1 test40.cpp 16:1 - field
+          - isAutogenerated: 1
+        integer_cst 64 - parm size
+     field_decl perm test40.cpp 19:11 - field
+     - signed
+      integer_cst 256 - decl size
+      record_type - field type
+       type_decl Data2 test40.cpp 4:8 - type name
+       - isAutogenerated: 1
+       field_decl val test40.cpp 6: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
+       field_decl ptrval test40.cpp 7:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+         record_type - nested type
+          type_decl Data1 test40.cpp 15:8 - type name
+          - isAutogenerated: 1
+          field_decl _vptr.Data1 test40.cpp 15:8 - field
+          - unsigned
+          - isVirtual: 1
+          - isAutogenerated: 1
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl val test40.cpp 17:9 - field
+          - signed
+           integer_cst 32 - decl size
+           integer_type - field type
+           - precisionBits: 32
+           - signed
+          field_decl ptrval test40.cpp 18:12 - field
+          - unsigned
+           integer_cst 64 - decl size
+           pointer_type - field type
+          field_decl perm test40.cpp 19:11 - field
+          - signed
+           integer_cst 256 - decl size
+           record_type - field type
+          field_decl arr test40.cpp 20:14 - field
+          - signed
+           integer_cst 96 - decl size
+           array_type - field type
+          type_decl Data1 test40.cpp 16:1 - field
+          - isAutogenerated: 1
+       field_decl arr test40.cpp 8:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+         integer_type - element 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 - domain
+         - precisionBits: 64
+         - signed
+          integer_cst 64 - type size
+          integer_cst 0 - min value
+          integer_cst 2 - max value
+       type_decl Data2 test40.cpp 5:1 - field
+       - isAutogenerated: 1
+function_decl getData1 test40.cpp 47:12
+- isPublic: 1
+ method_type - function type
+  pointer_type - method return type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test40.cpp 41:7 - type name
+   - isAutogenerated: 1
+   field_decl tmp1 test40.cpp 43:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl tmp2 test40.cpp 44:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl tmp3 test40.cpp 45:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6: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
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+   type_decl Object1 test40.cpp 42:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test40.cpp 41:7 - type name
+     - isAutogenerated: 1
+     field_decl tmp1 test40.cpp 43:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl tmp2 test40.cpp 44:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl tmp3 test40.cpp 45:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     type_decl Object1 test40.cpp 42:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    void_type - value
+     type_decl void <built-in> 0:0 - type name
+     - isAutogenerated: 1
+ result_decl test40.cpp 48:5 - function result
+ - isAutogenerated: 1
+  pointer_type - result type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - decl size
+ - isUsed: 1
+ parm_decl this test40.cpp 47:21 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test40.cpp 41:7 - type name
+    - isAutogenerated: 1
+    field_decl tmp1 test40.cpp 43:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl tmp2 test40.cpp 44:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl tmp3 test40.cpp 45:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    type_decl Object1 test40.cpp 42:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ return_expr test40.cpp 49:16 - code
+  init_expr - operand
+   result_decl test40.cpp 48:5 - operand
+   - isAutogenerated: 1
+    pointer_type - result type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+    integer_cst 64 - decl size
+   component_ref test40.cpp 49:16 - operand
+    indirect_ref - object
+     nop_expr - ref
+      - isUsed: 1
+      parm_decl this test40.cpp 47:21 - operand
+      - isAutogenerated: 1
+       pointer_type - decl type
+        record_type - nested type
+         type_decl Object1 test40.cpp 41:7 - type name
+         - isAutogenerated: 1
+         field_decl tmp1 test40.cpp 43:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         field_decl tmp2 test40.cpp 44:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         field_decl tmp3 test40.cpp 45:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         type_decl Object1 test40.cpp 42:1 - field
+         - isAutogenerated: 1
+       integer_cst 64 - parm size
+    field_decl tmp2 test40.cpp 44:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+       type_decl Data1 test40.cpp 15:8 - type name
+       - isAutogenerated: 1
+       field_decl _vptr.Data1 test40.cpp 15:8 - field
+       - unsigned
+       - isVirtual: 1
+       - isAutogenerated: 1
+        integer_cst 64 - decl size
+        pointer_type - field type
+         pointer_type - nested type
+       field_decl val test40.cpp 17: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
+       field_decl ptrval test40.cpp 18:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+         record_type - nested type
+       field_decl perm test40.cpp 19:11 - field
+       - signed
+        integer_cst 256 - decl size
+        record_type - field type
+         type_decl Data2 test40.cpp 4:8 - type name
+         - isAutogenerated: 1
+         field_decl val test40.cpp 6:9 - field
+         - signed
+          integer_cst 32 - decl size
+          integer_type - field type
+          - precisionBits: 32
+          - signed
+         field_decl ptrval test40.cpp 7:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+         field_decl arr test40.cpp 8:14 - field
+         - signed
+          integer_cst 96 - decl size
+          array_type - field type
+         type_decl Data2 test40.cpp 5:1 - field
+         - isAutogenerated: 1
+       field_decl arr test40.cpp 20:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+         integer_type - element type
+         - precisionBits: 32
+         - signed
+         integer_type - domain
+         - precisionBits: 64
+         - signed
+       type_decl Data1 test40.cpp 16:1 - field
+       - isAutogenerated: 1
+function_decl getData2 test40.cpp 52:12
+- isPublic: 1
+ method_type - function type
+  tree_list - attribute
+   identifier_node returns_nonnull - purpose
+  pointer_type - method return type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test40.cpp 41:7 - type name
+   - isAutogenerated: 1
+   field_decl tmp1 test40.cpp 43:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl tmp2 test40.cpp 44:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl tmp3 test40.cpp 45:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6: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
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+   type_decl Object1 test40.cpp 42:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test40.cpp 41:7 - type name
+     - isAutogenerated: 1
+     field_decl tmp1 test40.cpp 43:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl tmp2 test40.cpp 44:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl tmp3 test40.cpp 45:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     type_decl Object1 test40.cpp 42:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    void_type - value
+     type_decl void <built-in> 0:0 - type name
+     - isAutogenerated: 1
+ result_decl test40.cpp 53:5 - function result
+ - isAutogenerated: 1
+  pointer_type - result type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - decl size
+ - isUsed: 1
+ parm_decl this test40.cpp 52:54 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test40.cpp 41:7 - type name
+    - isAutogenerated: 1
+    field_decl tmp1 test40.cpp 43:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl tmp2 test40.cpp 44:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl tmp3 test40.cpp 45:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    type_decl Object1 test40.cpp 42:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ return_expr test40.cpp 54:16 - code
+  init_expr - operand
+   result_decl test40.cpp 53:5 - operand
+   - isAutogenerated: 1
+    pointer_type - result type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+    integer_cst 64 - decl size
+   component_ref test40.cpp 54:16 - operand
+    indirect_ref - object
+     nop_expr - ref
+      - isUsed: 1
+      parm_decl this test40.cpp 52:54 - operand
+      - isAutogenerated: 1
+       pointer_type - decl type
+        record_type - nested type
+         type_decl Object1 test40.cpp 41:7 - type name
+         - isAutogenerated: 1
+         field_decl tmp1 test40.cpp 43:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         field_decl tmp2 test40.cpp 44:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         field_decl tmp3 test40.cpp 45:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+           record_type - nested type
+         type_decl Object1 test40.cpp 42:1 - field
+         - isAutogenerated: 1
+       integer_cst 64 - parm size
+    field_decl tmp2 test40.cpp 44:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+       type_decl Data1 test40.cpp 15:8 - type name
+       - isAutogenerated: 1
+       field_decl _vptr.Data1 test40.cpp 15:8 - field
+       - unsigned
+       - isVirtual: 1
+       - isAutogenerated: 1
+        integer_cst 64 - decl size
+        pointer_type - field type
+         pointer_type - nested type
+       field_decl val test40.cpp 17: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
+       field_decl ptrval test40.cpp 18:12 - field
+       - unsigned
+        integer_cst 64 - decl size
+        pointer_type - field type
+         record_type - nested type
+       field_decl perm test40.cpp 19:11 - field
+       - signed
+        integer_cst 256 - decl size
+        record_type - field type
+         type_decl Data2 test40.cpp 4:8 - type name
+         - isAutogenerated: 1
+         field_decl val test40.cpp 6:9 - field
+         - signed
+          integer_cst 32 - decl size
+          integer_type - field type
+          - precisionBits: 32
+          - signed
+         field_decl ptrval test40.cpp 7:12 - field
+         - unsigned
+          integer_cst 64 - decl size
+          pointer_type - field type
+         field_decl arr test40.cpp 8:14 - field
+         - signed
+          integer_cst 96 - decl size
+          array_type - field type
+         type_decl Data2 test40.cpp 5:1 - field
+         - isAutogenerated: 1
+       field_decl arr test40.cpp 20:14 - field
+       - signed
+        integer_cst 96 - decl size
+        array_type - field type
+         integer_type - element type
+         - precisionBits: 32
+         - signed
+         integer_type - domain
+         - precisionBits: 64
+         - signed
+       type_decl Data1 test40.cpp 16:1 - field
+       - isAutogenerated: 1
+function_decl func1 test40.cpp 57:10
+- isPublic: 1
+ method_type - function type
+  tree_list - attribute
+   identifier_node nonnull - purpose
+   tree_list - value
+    integer_cst 2 - value
+  void_type - method return type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test40.cpp 41:7 - type name
+   - isAutogenerated: 1
+   field_decl tmp1 test40.cpp 43:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl tmp2 test40.cpp 44:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+   field_decl tmp3 test40.cpp 45:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+    pointer_type - field type
+     record_type - nested type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6: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
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+   type_decl Object1 test40.cpp 42:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test40.cpp 41:7 - type name
+     - isAutogenerated: 1
+     field_decl tmp1 test40.cpp 43:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl tmp2 test40.cpp 44:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     field_decl tmp3 test40.cpp 45:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+      pointer_type - field type
+       record_type - nested type
+     type_decl Object1 test40.cpp 42:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    pointer_type - value
+     record_type - nested type
+      type_decl Data1 test40.cpp 15:8 - type name
+      - isAutogenerated: 1
+      field_decl _vptr.Data1 test40.cpp 15:8 - field
+      - unsigned
+      - isVirtual: 1
+      - isAutogenerated: 1
+       integer_cst 64 - decl size
+       pointer_type - field type
+        pointer_type - nested type
+      field_decl val test40.cpp 17: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
+      field_decl ptrval test40.cpp 18:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+        record_type - nested type
+      field_decl perm test40.cpp 19:11 - field
+      - signed
+       integer_cst 256 - decl size
+       record_type - field type
+        type_decl Data2 test40.cpp 4:8 - type name
+        - isAutogenerated: 1
+        field_decl val test40.cpp 6:9 - field
+        - signed
+         integer_cst 32 - decl size
+         integer_type - field type
+         - precisionBits: 32
+         - signed
+        field_decl ptrval test40.cpp 7:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+         pointer_type - field type
+        field_decl arr test40.cpp 8:14 - field
+        - signed
+         integer_cst 96 - decl size
+         array_type - field type
+        type_decl Data2 test40.cpp 5:1 - field
+        - isAutogenerated: 1
+      field_decl arr test40.cpp 20:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+        integer_type - element type
+        - precisionBits: 32
+        - signed
+        integer_type - domain
+        - precisionBits: 64
+        - signed
+      type_decl Data1 test40.cpp 16:1 - field
+      - isAutogenerated: 1
+    tree_list - chain
+     void_type - value
+      type_decl void <built-in> 0:0 - type name
+      - isAutogenerated: 1
+ result_decl test40.cpp 58:5 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+ parm_decl this test40.cpp 57:61 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test40.cpp 41:7 - type name
+    - isAutogenerated: 1
+    field_decl tmp1 test40.cpp 43:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl tmp2 test40.cpp 44:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl tmp3 test40.cpp 45:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    type_decl Object1 test40.cpp 42:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test40.cpp 57:23 - argument
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Data1 test40.cpp 15:8 - type name
+    - isAutogenerated: 1
+    field_decl _vptr.Data1 test40.cpp 15:8 - field
+    - unsigned
+    - isVirtual: 1
+    - isAutogenerated: 1
+     integer_cst 64 - decl size
+     pointer_type - field type
+      pointer_type - nested type
+    field_decl val test40.cpp 17: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
+    field_decl ptrval test40.cpp 18:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+     pointer_type - field type
+      record_type - nested type
+    field_decl perm test40.cpp 19:11 - field
+    - signed
+     integer_cst 256 - decl size
+     record_type - field type
+      type_decl Data2 test40.cpp 4:8 - type name
+      - isAutogenerated: 1
+      field_decl val test40.cpp 6:9 - field
+      - signed
+       integer_cst 32 - decl size
+       integer_type - field type
+       - precisionBits: 32
+       - signed
+      field_decl ptrval test40.cpp 7:12 - field
+      - unsigned
+       integer_cst 64 - decl size
+       pointer_type - field type
+      field_decl arr test40.cpp 8:14 - field
+      - signed
+       integer_cst 96 - decl size
+       array_type - field type
+      type_decl Data2 test40.cpp 5:1 - field
+      - isAutogenerated: 1
+    field_decl arr test40.cpp 20:14 - field
+    - signed
+     integer_cst 96 - decl size
+     array_type - field type
+      integer_type - element type
+      - precisionBits: 32
+      - signed
+      integer_type - domain
+      - precisionBits: 64
+      - signed
+    type_decl Data1 test40.cpp 16:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ bind_expr test40.cpp 78:65 - code
+  var_decl k100 test40.cpp 68:13 - operand
+  - isUsed: 1
+   integer_cst 32 - decl size
+   integer_cst 100 - initial
+   integer_type - var type
+   - precisionBits: 32
+   - signed
+    type_decl int <built-in> 0:0 - type name
+    - isAutogenerated: 1
+    integer_cst 32 - type size
+    integer_cst -2147483648 - min value
+    integer_cst 2147483647 - max value
+  statement_list - operand
+   cleanup_point_expr test40.cpp 59:57 - statement
+    expr_stmt test40.cpp 59:57 - operand
+     call_expr test40.cpp 59:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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 test40.cpp 60:64 - statement
+    expr_stmt test40.cpp 60:64 - operand
+     call_expr test40.cpp 60:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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 test40.cpp 61:57 - statement
+    expr_stmt test40.cpp 61:57 - operand
+     call_expr test40.cpp 61:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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 test40.cpp 62:61 - statement
+    expr_stmt test40.cpp 62:61 - operand
+     call_expr test40.cpp 62:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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
+   cleanup_point_expr test40.cpp 63:55 - statement
+    expr_stmt test40.cpp 63:55 - operand
+     call_expr test40.cpp 63:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst addNullVars - operand
+        - stringLength: 12
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test40.cpp 64:58 - statement
+    expr_stmt test40.cpp 64:58 - operand
+     call_expr test40.cpp 64:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst removeNullVars - operand
+        - stringLength: 15
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test40.cpp 65:61 - statement
+    expr_stmt test40.cpp 65:61 - operand
+     call_expr test40.cpp 65:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst removeNullVarsAll - operand
+        - stringLength: 18
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test40.cpp 66:58 - statement
+    expr_stmt test40.cpp 66:58 - operand
+     call_expr test40.cpp 66:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst linkedVars - operand
+        - stringLength: 11
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   cleanup_point_expr test40.cpp 67:65 - statement
+    expr_stmt test40.cpp 67:65 - operand
+     call_expr test40.cpp 67:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst linkedReverseVars - operand
+        - stringLength: 18
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   cleanup_point_expr test40.cpp 68:20 - statement
+    decl_expr test40.cpp 68:20 - operand
+     var_decl k100 test40.cpp 68:13 - operand
+     - isUsed: 1
+      integer_cst 32 - decl size 2
+      integer_cst 100 - initial 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
+   cleanup_point_expr test40.cpp 69:29 - statement
+    expr_stmt test40.cpp 69:29 - operand
+     convert_expr - expresssion
+      call_expr test40.cpp 69:23 - operand
+       obj_type_ref - function
+        indirect_ref test40.cpp 69:28 - operand
+         pointer_plus_expr test40.cpp 69:28 - ref
+          component_ref - operand
+           indirect_ref - object
+            non_lvalue_expr - ref
+             - isUsed: 1
+             parm_decl ptr1 test40.cpp 57:23 - operand
+              pointer_type - decl type
+               record_type - nested type
+                type_decl Data1 test40.cpp 15:8 - type name
+                - isAutogenerated: 1
+                field_decl _vptr.Data1 test40.cpp 15:8 - field
+                - unsigned
+                - isVirtual: 1
+                - isAutogenerated: 1
+                 integer_cst 64 - decl size
+                 pointer_type - field type
+                  pointer_type - nested type
+                field_decl val test40.cpp 17: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
+                field_decl ptrval test40.cpp 18:12 - field
+                - unsigned
+                 integer_cst 64 - decl size
+                 pointer_type - field type
+                  record_type - nested type
+                field_decl perm test40.cpp 19:11 - field
+                - signed
+                 integer_cst 256 - decl size
+                 record_type - field type
+                  type_decl Data2 test40.cpp 4:8 - type name
+                  - isAutogenerated: 1
+                  field_decl val test40.cpp 6:9 - field
+                  - signed
+                   integer_cst 32 - decl size
+                   integer_type - field type
+                   - precisionBits: 32
+                   - signed
+                  field_decl ptrval test40.cpp 7:12 - field
+                  - unsigned
+                   integer_cst 64 - decl size
+                   pointer_type - field type
+                  field_decl arr test40.cpp 8:14 - field
+                  - signed
+                   integer_cst 96 - decl size
+                   array_type - field type
+                  type_decl Data2 test40.cpp 5:1 - field
+                  - isAutogenerated: 1
+                field_decl arr test40.cpp 20:14 - field
+                - signed
+                 integer_cst 96 - decl size
+                 array_type - field type
+                  integer_type - element type
+                  - precisionBits: 32
+                  - signed
+                  integer_type - domain
+                  - precisionBits: 64
+                  - signed
+                type_decl Data1 test40.cpp 16:1 - field
+                - isAutogenerated: 1
+              integer_cst 64 - parm size
+           field_decl _vptr.Data1 test40.cpp 15:8 - field
+           - unsigned
+           - isVirtual: 1
+           - isAutogenerated: 1
+            integer_cst 64 - decl size
+            pointer_type - field type
+             pointer_type - nested type
+              type_decl __vtbl_ptr_type <built-in> 0:0 - type name
+              - isAutogenerated: 1
+              function_type - nested type
+               integer_type - function return type
+               - precisionBits: 32
+               - signed
+                type_decl int <built-in> 0:0 - type name
+                - isAutogenerated: 1
+                integer_cst 32 - type size
+                integer_cst -2147483648 - min value
+                integer_cst 2147483647 - max value
+          integer_cst 16 - operand
+        non_lvalue_expr - operand
+         - isUsed: 1
+         parm_decl ptr1 test40.cpp 57:23 - operand
+          pointer_type - decl type
+           record_type - nested type
+            type_decl Data1 test40.cpp 15:8 - type name
+            - isAutogenerated: 1
+            field_decl _vptr.Data1 test40.cpp 15:8 - field
+            - unsigned
+            - isVirtual: 1
+            - isAutogenerated: 1
+             integer_cst 64 - decl size
+             pointer_type - field type
+              pointer_type - nested type
+            field_decl val test40.cpp 17: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
+            field_decl ptrval test40.cpp 18:12 - field
+            - unsigned
+             integer_cst 64 - decl size
+             pointer_type - field type
+              record_type - nested type
+            field_decl perm test40.cpp 19:11 - field
+            - signed
+             integer_cst 256 - decl size
+             record_type - field type
+              type_decl Data2 test40.cpp 4:8 - type name
+              - isAutogenerated: 1
+              field_decl val test40.cpp 6:9 - field
+              - signed
+               integer_cst 32 - decl size
+               integer_type - field type
+               - precisionBits: 32
+               - signed
+              field_decl ptrval test40.cpp 7:12 - field
+              - unsigned
+               integer_cst 64 - decl size
+               pointer_type - field type
+              field_decl arr test40.cpp 8:14 - field
+              - signed
+               integer_cst 96 - decl size
+               array_type - field type
+              type_decl Data2 test40.cpp 5:1 - field
+              - isAutogenerated: 1
+            field_decl arr test40.cpp 20:14 - field
+            - signed
+             integer_cst 96 - decl size
+             array_type - field type
+              integer_type - element type
+              - precisionBits: 32
+              - signed
+              integer_type - domain
+              - precisionBits: 64
+              - signed
+            type_decl Data1 test40.cpp 16:1 - field
+            - isAutogenerated: 1
+          integer_cst 64 - parm size
+        integer_cst 2 - operand
+       non_lvalue_expr - arg
+        - isUsed: 1
+        parm_decl ptr1 test40.cpp 57:23 - operand
+         pointer_type - decl type
+          record_type - nested type
+           type_decl Data1 test40.cpp 15:8 - type name
+           - isAutogenerated: 1
+           field_decl _vptr.Data1 test40.cpp 15:8 - field
+           - unsigned
+           - isVirtual: 1
+           - isAutogenerated: 1
+            integer_cst 64 - decl size
+            pointer_type - field type
+             pointer_type - nested type
+           field_decl val test40.cpp 17: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
+           field_decl ptrval test40.cpp 18:12 - field
+           - unsigned
+            integer_cst 64 - decl size
+            pointer_type - field type
+             record_type - nested type
+           field_decl perm test40.cpp 19:11 - field
+           - signed
+            integer_cst 256 - decl size
+            record_type - field type
+             type_decl Data2 test40.cpp 4:8 - type name
+             - isAutogenerated: 1
+             field_decl val test40.cpp 6:9 - field
+             - signed
+              integer_cst 32 - decl size
+              integer_type - field type
+              - precisionBits: 32
+              - signed
+             field_decl ptrval test40.cpp 7:12 - field
+             - unsigned
+              integer_cst 64 - decl size
+              pointer_type - field type
+             field_decl arr test40.cpp 8:14 - field
+             - signed
+              integer_cst 96 - decl size
+              array_type - field type
+             type_decl Data2 test40.cpp 5:1 - field
+             - isAutogenerated: 1
+           field_decl arr test40.cpp 20:14 - field
+           - signed
+            integer_cst 96 - decl size
+            array_type - field type
+             integer_type - element type
+             - precisionBits: 32
+             - signed
+             integer_type - domain
+             - precisionBits: 64
+             - signed
+           type_decl Data1 test40.cpp 16:1 - field
+           - isAutogenerated: 1
+         integer_cst 64 - parm size
+       nop_expr - arg
+        addr_expr - operand
+         var_decl k100 test40.cpp 68:13 - operand
+         - isUsed: 1
+          integer_cst 32 - decl size 2
+          integer_cst 100 - initial 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
+   cleanup_point_expr test40.cpp 70:57 - statement
+    expr_stmt test40.cpp 70:57 - operand
+     call_expr test40.cpp 70:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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 test40.cpp 71:64 - statement
+    expr_stmt test40.cpp 71:64 - operand
+     call_expr test40.cpp 71:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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 test40.cpp 72:57 - statement
+    expr_stmt test40.cpp 72:57 - operand
+     call_expr test40.cpp 72:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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 test40.cpp 73:61 - statement
+    expr_stmt test40.cpp 73:61 - operand
+     call_expr test40.cpp 73:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      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
+   cleanup_point_expr test40.cpp 74:55 - statement
+    expr_stmt test40.cpp 74:55 - operand
+     call_expr test40.cpp 74:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst addNullVars - operand
+        - stringLength: 12
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test40.cpp 75:58 - statement
+    expr_stmt test40.cpp 75:58 - operand
+     call_expr test40.cpp 75:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst removeNullVars - operand
+        - stringLength: 15
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test40.cpp 76:61 - statement
+    expr_stmt test40.cpp 76:61 - operand
+     call_expr test40.cpp 76:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst removeNullVarsAll - operand
+        - stringLength: 18
+      nop_expr - arg
+       addr_expr - operand
+        string_cst - operand
+        - stringLength: 1
+   cleanup_point_expr test40.cpp 77:58 - statement
+    expr_stmt test40.cpp 77:58 - operand
+     call_expr test40.cpp 77:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst linkedVars - operand
+        - stringLength: 11
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+   cleanup_point_expr test40.cpp 78:65 - statement
+    expr_stmt test40.cpp 78:65 - operand
+     call_expr test40.cpp 78:31 - expresssion
+      addr_expr - function
+       function_decl paranuckerInternalTest test40.cpp 39:6 - operand
+       - isExternal: 1
+       - isPublic: 1
+        function_type - function type
+         void_type - function return type
+          type_decl void <built-in> 0:0 - type name
+          - isAutogenerated: 1
+         tree_list - arg types
+          pointer_type - value
+           integer_type - nested type
+           - precisionBits: 8
+           - isChar: 1
+           - signed
+            type_decl char <built-in> 0:0 - type name
+            - isAutogenerated: 1
+            integer_cst 8 - type size
+            integer_cst -128 - min value
+            integer_cst 127 - max value
+          tree_list - chain
+           pointer_type - value
+            integer_type - nested type
+            - precisionBits: 8
+            - isChar: 1
+            - signed
+           tree_list - chain
+            pointer_type - value
+            tree_list - chain
+        parm_decl action test40.cpp 39:41 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl collection test40.cpp 39:61 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+        parm_decl values test40.cpp 39:85 - argument
+         pointer_type - decl type
+          integer_type - nested type
+          - precisionBits: 8
+          - isChar: 1
+          - signed
+           type_decl char <built-in> 0:0 - type name
+           - isAutogenerated: 1
+           integer_cst 8 - type size
+           integer_cst -128 - min value
+           integer_cst 127 - max value
+         integer_cst 64 - parm size
+      nop_expr - arg
+       addr_expr - operand
+        string_cst = - operand
+        - stringLength: 2
+      nop_expr - arg
+       addr_expr - operand
+        string_cst linkedReverseVars - operand
+        - stringLength: 18
+      nop_expr - arg
+       addr_expr - operand
+        string_cst ptr1 - operand
+        - stringLength: 5
+  block - operand
+   var_decl k100 test40.cpp 68:13 - block vars
+   - isUsed: 1
+    integer_cst 32 - decl size 2
+    integer_cst 100 - initial 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
diff --git a/test/test40-02.txt b/test/test40-02.txt
new file mode 100644
index 0000000..93fb15d
--- /dev/null
+++ b/test/test40-02.txt
@@ -0,0 +1,7 @@
+getData3: 
+getData3: 
+getData4: 
+getData5: 
+getData1: 
+getData2: 
+func1: 
diff --git a/test/test40-03.txt b/test/test40-03.txt
new file mode 100644
index 0000000..89a7fdc
--- /dev/null
+++ b/test/test40-03.txt
@@ -0,0 +1,859 @@
+function_decl getData3: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+integer_cst 64: 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data2: 
+integer_cst 64: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+function_decl getData3: 
+statement_list : 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+modify_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+indirect_ref : 
+parm_decl k: 
+reference_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+function_decl getData4: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+integer_cst 0: 
+function_decl getData5: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data2: 
+integer_cst 64: 
+addr_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data2: 
+function_decl getData1: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl tmp2: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl tmp3: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+function_decl getData2: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl tmp2: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl tmp3: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+function_decl func1: 
+bind_expr : 
+statement_list : 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+decl_expr : 
+var_decl k100: 
+integer_cst 32: 
+integer_cst 100: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+call_expr : 
+obj_type_ref : 
+indirect_ref : 
+pointer_plus_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl ptr1: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+type_decl __vtbl_ptr_type: 
+function_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 16: 
+parm_decl ptr1: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+integer_cst 2: 
+parm_decl ptr1: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl _vptr.Data1: 
+integer_cst 64: 
+pointer_type : 
+pointer_type : 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+field_decl perm: 
+integer_cst 256: 
+record_type : 
+type_decl Data2: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data2: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+integer_type : 
+type_decl Data1: 
+integer_cst 64: 
+addr_expr : 
+var_decl k100: 
+integer_cst 32: 
+integer_cst 100: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+var_decl k100: 
+integer_cst 32: 
+integer_cst 100: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+block : 
+var_decl k100: 
+integer_cst 32: 
+integer_cst 100: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
diff --git a/test/test40-04.txt b/test/test40-04.txt
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/test40-04.txt
diff --git a/test/test40-05.txt b/test/test40-05.txt
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/test40-05.txt
diff --git a/test/test40.cpp b/test/test40.cpp
new file mode 100644
index 0000000..a028f64
--- /dev/null
+++ b/test/test40.cpp
@@ -0,0 +1,81 @@
+struct Data1;
+struct Data2;
+
+struct Data2
+{
+    int val;
+    Data1 *ptrval;
+    int arr[3];
+    Data1 *getData3()
+    {
+        return ptrval;
+    }
+};
+
+struct Data1
+{
+    int val;
+    Data1 *ptrval;
+    Data2 perm;
+    int arr[3];
+    virtual ~Data1();
+    virtual Data1 *getData3(int &k)
+    {
+        val = k;
+        return ptrval;
+    }
+    static Data1 *getData4()
+    {
+        return 0;
+    }
+    Data2 *getData5() __attribute__((returns_nonnull))
+    {
+        return &perm;
+    }
+};
+
+int k;
+
+void paranuckerInternalTest(const char *action, const char *collection, const char *values);
+
+class Object1
+{
+    Data1 *tmp1;
+    Data1 *tmp2;
+    Data2 *tmp3;
+
+    Data1 *getData1()
+    {
+        return tmp2;
+    }
+
+    Data1 *getData2() __attribute__((returns_nonnull))
+    {
+        return tmp2;
+    }
+
+    void func1(Data1 *ptr1) const __attribute__((nonnull(2)))
+    {
+        paranuckerInternalTest("=", "knownVars", "ptr1");
+        paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
+        paranuckerInternalTest("=", "knownNullVars", "");
+        paranuckerInternalTest("=", "needCheckNullVars", "");
+        paranuckerInternalTest("=", "addNullVars", "");
+        paranuckerInternalTest("=", "removeNullVars", "");
+        paranuckerInternalTest("=", "removeNullVarsAll", "");
+        paranuckerInternalTest("=", "linkedVars", "ptr1");
+        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+        int k100 = 100;
+        ptr1->getData3(k100);
+        paranuckerInternalTest("=", "knownVars", "ptr1");
+        paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
+        paranuckerInternalTest("=", "knownNullVars", "");
+        paranuckerInternalTest("=", "needCheckNullVars", "");
+        paranuckerInternalTest("=", "addNullVars", "");
+        paranuckerInternalTest("=", "removeNullVars", "");
+        paranuckerInternalTest("=", "removeNullVarsAll", "");
+        paranuckerInternalTest("=", "linkedVars", "ptr1");
+        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+    }
+
+};