From 75a6a5721e706991c96cb6e83d141a0875317eec Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Thu, 23 Jul 2015 19:28:17 +0300 Subject: Add test 40. Update test results. --- test/Makefile | 15 +- test/test26-03.txt | 4 - test/test26-04.txt | 4 - test/test26-05.txt | 4 - test/test40-01.txt | 4782 ++++++++++++++++++++++++++++++++++++++++++++++++++++ test/test40-02.txt | 7 + test/test40-03.txt | 859 ++++++++++ test/test40-04.txt | 0 test/test40-05.txt | 0 test/test40.cpp | 81 + 10 files changed, 5743 insertions(+), 13 deletions(-) create mode 100644 test/test40-01.txt create mode 100644 test/test40-02.txt create mode 100644 test/test40-03.txt create mode 100644 test/test40-04.txt create mode 100644 test/test40-05.txt create mode 100644 test/test40.cpp 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 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 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 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 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 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 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 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 0:0 - type name + - isAutogenerated: 1 + function_type - nested type + integer_type - function return type + - precisionBits: 32 + - signed + type_decl int 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0:0 - type name + - isAutogenerated: 1 + function_type - nested type + integer_type - function return type + - precisionBits: 32 + - signed + type_decl int 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0:0 - type name + - isAutogenerated: 1 + result_decl test40.cpp 58:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0:0 - type name + - isAutogenerated: 1 + function_type - nested type + integer_type - function return type + - precisionBits: 32 + - signed + type_decl int 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 diff --git a/test/test40-05.txt b/test/test40-05.txt new file mode 100644 index 0000000..e69de29 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"); + } + +}; -- cgit v1.2.3-60-g2f50