Add test 35. Update test results.

1 files changed, 183 insertions, 4 deletions

diff --git a/test/test29-03.txt b/test/test29-03.txt
index 7368868..24c352a 100644
--- a/test/test29-03.txt
+++ b/test/test29-03.txt
@@ -27,6 +27,20 @@ type_decl Object1:
 integer_cst 64: 
 field_decl tmp1: 
 integer_cst 64: 
+function_decl getData2: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data2: 
+field_decl _vptr.Data2: 
+integer_cst 64: 
+field_decl : 
+integer_cst 256: 
+type_decl Data2: 
+integer_cst 64: 
+integer_cst 0: 
 function_decl func1: 
 statement_list : ptr1, ptr2, 
 cleanup_point_expr : ptr1, ptr2, 
@@ -1422,7 +1436,7 @@ integer_cst 64: ptr1,
 integer_cst 0: ptr1, 
 ne_expr : 
 test29.cpp: In member function 'void Object1::func13(int*)':
-test29.cpp:339:28: warning: Useless variable check 'ptr1'. It already was checked before
+test29.cpp:344:28: warning: Useless variable check 'ptr1'. It already was checked before
          if ((ptr1 || ptr1) && ptr1)
                             ^
 parm_decl ptr1: 
@@ -1472,7 +1486,7 @@ expr_stmt : ptr1,
 call_expr : ptr1, 
 addr_expr : ptr1, 
 function_decl paranuckerInternalTest: ptr1, 
-test29.cpp:351:35: warning: internal collections 'knownNullVars' is different.
+test29.cpp:356:35: warning: internal collections 'knownNullVars' is different.
 want: ptr1,
  get: 
              paranuckerInternalTest("=", "knownNullVars", "ptr1");
@@ -1497,7 +1511,7 @@ expr_stmt : ptr1,
 call_expr : ptr1, 
 addr_expr : ptr1, 
 function_decl paranuckerInternalTest: ptr1, 
-test29.cpp:356:31: warning: internal collections 'knownNullVars' is different.
+test29.cpp:361:31: warning: internal collections 'knownNullVars' is different.
 want: ptr1,
  get: 
          paranuckerInternalTest("=", "knownNullVars", "ptr1");
@@ -1524,7 +1538,7 @@ integer_cst 64: ptr1,
 integer_cst 0: ptr1, 
 ne_expr : 
 test29.cpp: In member function 'void Object1::func14(int*)':
-test29.cpp:364:19: warning: Useless variable check 'ptr1'. It already was checked before
+test29.cpp:369:19: warning: Useless variable check 'ptr1'. It already was checked before
          if ((ptr1 && ptr1) || ptr1)
                    ^
 parm_decl ptr1: 
@@ -1918,3 +1932,168 @@ integer_cst 96: ptr1, ptr2,
 type_decl Data1: ptr1, ptr2, 
 block : ptr1, ptr2, 
 var_decl ptr3: ptr1, ptr2, 
+function_decl func18: 
+bind_expr : 
+statement_list : 
+decl_expr : 
+var_decl ptr1: 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+init_expr : 
+var_decl ptr1: 
+cond_expr : 
+ne_expr : 
+save_expr : 
+call_expr : 
+addr_expr : 
+function_decl getData2: 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+type_decl Object1: 
+integer_cst 64: 
+integer_cst 0: 
+addr_expr : 
+component_ref : 
+indirect_ref : 
+save_expr : 
+call_expr : 
+addr_expr : 
+function_decl getData2: 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+type_decl Object1: 
+integer_cst 64: 
+field_decl : 
+integer_cst 256: 
+integer_cst 0: 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+modify_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+type_decl Object1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+var_decl ptr1: 
+bind_expr : 
+if_stmt : 
+ne_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+type_decl Object1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+integer_cst 0: 
+bind_expr : 
+bind_expr : 
+if_stmt : 
+eq_expr : 
+var_decl k: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 10: 
+bind_expr : 
+statement_list : 
+decl_expr : 
+var_decl val: 
+return_expr : 
+init_expr : 
+result_decl : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 32: 
+var_decl val: 
+var_decl val: 
+integer_cst 32: 
+component_ref : 
+indirect_ref : 
+var_decl ptr1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+block : 
+var_decl val: 
+block : 
+block : 
+var_decl val: 
+block : 
+block : 
+block : 
+var_decl val: 
+block : 
+block : 
+block : 
+block : 
+var_decl val: 
+return_expr : 
+init_expr : 
+result_decl : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 32: 
+integer_cst 0: 
+var_decl ptr1: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+field_decl ptrval: 
+integer_cst 64: 
+field_decl arr: 
+integer_cst 96: 
+type_decl Data1: 
+block : 
+var_decl ptr1: 
+block : 
+block : 
+block : 
+block : 
+var_decl val: