Update test 23. Update test results.

1 files changed, 695 insertions, 512 deletions

diff --git a/test/test23-03.txt b/test/test23-03.txt
index 72847ad..d3db60a 100644
--- a/test/test23-03.txt
+++ b/test/test23-03.txt
@@ -652,87 +652,87 @@ cleanup_point_expr : __arg, __fct,
 expr_stmt : __arg, __fct, 
 convert_expr : __arg, __fct, 
 init_expr : __arg, __fct, 
-component_ref : __arg, __fct, 
-indirect_ref : __arg, __fct, 
-parm_decl this: __arg, __fct, 
-pointer_type : __arg, __fct, 
-record_type : __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-field_decl __cancel_type: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-parm_decl __fct: __arg, __fct, 
-pointer_type : __arg, __fct, 
-function_type : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-tree_list : __arg, __fct, 
-pointer_type : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-tree_list : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-cleanup_point_expr : __arg, __fct, 
-expr_stmt : __arg, __fct, 
-convert_expr : __arg, __fct, 
-init_expr : __arg, __fct, 
-component_ref : __arg, __fct, 
-indirect_ref : __arg, __fct, 
-parm_decl this: __arg, __fct, 
-pointer_type : __arg, __fct, 
-record_type : __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-field_decl __cancel_type: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-parm_decl __arg: __arg, __fct, 
-pointer_type : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-cleanup_point_expr : __arg, __fct, 
-expr_stmt : __arg, __fct, 
-convert_expr : __arg, __fct, 
-init_expr : __arg, __fct, 
-component_ref : __arg, __fct, 
-indirect_ref : __arg, __fct, 
-parm_decl this: __arg, __fct, 
-pointer_type : __arg, __fct, 
-record_type : __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-field_decl __cancel_type: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-integer_cst 1: __arg, __fct, 
+component_ref : __arg, __fct, this->__cancel_routine, 
+indirect_ref : __arg, __fct, this->__cancel_routine, 
+parm_decl this: __arg, __fct, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_routine, 
+record_type : __arg, __fct, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_type: __arg, __fct, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+parm_decl __fct: __arg, __fct, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_routine, 
+function_type : __arg, __fct, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_routine, 
+tree_list : __arg, __fct, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_routine, 
+tree_list : __arg, __fct, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+cleanup_point_expr : __arg, __fct, this->__cancel_routine, 
+expr_stmt : __arg, __fct, this->__cancel_routine, 
+convert_expr : __arg, __fct, this->__cancel_routine, 
+init_expr : __arg, __fct, this->__cancel_routine, 
+component_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+indirect_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+parm_decl this: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+record_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_type: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+parm_decl __arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+cleanup_point_expr : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+expr_stmt : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+convert_expr : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+init_expr : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+component_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+indirect_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+parm_decl this: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+record_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_type: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 1: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
 block : __arg, __fct, 
 function_decl __base_ctor : 
 bind_expr : __arg, __fct, 
@@ -741,87 +741,87 @@ cleanup_point_expr : __arg, __fct,
 expr_stmt : __arg, __fct, 
 convert_expr : __arg, __fct, 
 init_expr : __arg, __fct, 
-component_ref : __arg, __fct, 
-indirect_ref : __arg, __fct, 
-parm_decl this: __arg, __fct, 
-pointer_type : __arg, __fct, 
-record_type : __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-field_decl __cancel_type: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-parm_decl __fct: __arg, __fct, 
-pointer_type : __arg, __fct, 
-function_type : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-tree_list : __arg, __fct, 
-pointer_type : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-tree_list : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-cleanup_point_expr : __arg, __fct, 
-expr_stmt : __arg, __fct, 
-convert_expr : __arg, __fct, 
-init_expr : __arg, __fct, 
-component_ref : __arg, __fct, 
-indirect_ref : __arg, __fct, 
-parm_decl this: __arg, __fct, 
-pointer_type : __arg, __fct, 
-record_type : __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-field_decl __cancel_type: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-parm_decl __arg: __arg, __fct, 
-pointer_type : __arg, __fct, 
-void_type : __arg, __fct, 
-type_decl void: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-cleanup_point_expr : __arg, __fct, 
-expr_stmt : __arg, __fct, 
-convert_expr : __arg, __fct, 
-init_expr : __arg, __fct, 
-component_ref : __arg, __fct, 
-indirect_ref : __arg, __fct, 
-parm_decl this: __arg, __fct, 
-pointer_type : __arg, __fct, 
-record_type : __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-field_decl __cancel_routine: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __cancel_arg: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-field_decl __cancel_type: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-type_decl __pthread_cleanup_class: __arg, __fct, 
-integer_cst 64: __arg, __fct, 
-field_decl __do_it: __arg, __fct, 
-integer_cst 32: __arg, __fct, 
-integer_cst 1: __arg, __fct, 
+component_ref : __arg, __fct, this->__cancel_routine, 
+indirect_ref : __arg, __fct, this->__cancel_routine, 
+parm_decl this: __arg, __fct, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_routine, 
+record_type : __arg, __fct, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_type: __arg, __fct, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+parm_decl __fct: __arg, __fct, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_routine, 
+function_type : __arg, __fct, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_routine, 
+tree_list : __arg, __fct, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_routine, 
+tree_list : __arg, __fct, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_routine, 
+cleanup_point_expr : __arg, __fct, this->__cancel_routine, 
+expr_stmt : __arg, __fct, this->__cancel_routine, 
+convert_expr : __arg, __fct, this->__cancel_routine, 
+init_expr : __arg, __fct, this->__cancel_routine, 
+component_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+indirect_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+parm_decl this: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+record_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_type: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+parm_decl __arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+void_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl void: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+cleanup_point_expr : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+expr_stmt : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+convert_expr : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+init_expr : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+component_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+indirect_ref : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+parm_decl this: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+pointer_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+record_type : __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_routine: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_arg: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __cancel_type: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+type_decl __pthread_cleanup_class: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 64: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+field_decl __do_it: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 32: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
+integer_cst 1: __arg, __fct, this->__cancel_arg, this->__cancel_routine, 
 block : __arg, __fct, 
 function_decl __comp_ctor : 
 statement_list : __arg, __fct, 
@@ -1896,53 +1896,53 @@ cleanup_point_expr : __x,
 expr_stmt : __x, 
 convert_expr : __x, 
 init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_reference: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_mask: __x, 
-integer_cst 64: __x, 
-type_decl _Bit_reference: __x, 
-integer_cst 64: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-parm_decl __x: __x, 
-pointer_type : __x, 
-integer_type : __x, 
-type_decl _Bit_type: __x, 
-integer_cst 64: __x, 
-integer_cst 0: __x, 
-integer_cst : __x, 
-integer_cst 64: __x, 
-cleanup_point_expr : __x, 
-expr_stmt : __x, 
-convert_expr : __x, 
-init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_reference: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_mask: __x, 
-integer_cst 64: __x, 
-type_decl _Bit_reference: __x, 
-integer_cst 64: __x, 
-field_decl _M_mask: __x, 
-integer_cst 64: __x, 
-parm_decl __y: __x, 
-integer_type : __x, 
-type_decl _Bit_type: __x, 
-integer_cst 64: __x, 
-integer_cst 0: __x, 
-integer_cst : __x, 
-integer_cst 64: __x, 
+component_ref : __x, this->_M_p, 
+indirect_ref : __x, this->_M_p, 
+parm_decl this: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+record_type : __x, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_mask: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+parm_decl __x: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+integer_type : __x, this->_M_p, 
+type_decl _Bit_type: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+integer_cst 0: __x, this->_M_p, 
+integer_cst : __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+cleanup_point_expr : __x, this->_M_p, 
+expr_stmt : __x, this->_M_p, 
+convert_expr : __x, this->_M_p, 
+init_expr : __x, this->_M_p, 
+component_ref : __x, this->_M_mask, this->_M_p, 
+indirect_ref : __x, this->_M_mask, this->_M_p, 
+parm_decl this: __x, this->_M_mask, this->_M_p, 
+pointer_type : __x, this->_M_mask, this->_M_p, 
+record_type : __x, this->_M_mask, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_mask, this->_M_p, 
+field_decl _M_p: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+field_decl _M_mask: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+field_decl _M_mask: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+parm_decl __y: __x, this->_M_mask, this->_M_p, 
+integer_type : __x, this->_M_mask, this->_M_p, 
+type_decl _Bit_type: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+integer_cst 0: __x, this->_M_mask, this->_M_p, 
+integer_cst : __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
 block : __x, 
 function_decl __base_ctor : 
 bind_expr : __x, 
@@ -1951,53 +1951,53 @@ cleanup_point_expr : __x,
 expr_stmt : __x, 
 convert_expr : __x, 
 init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_reference: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_mask: __x, 
-integer_cst 64: __x, 
-type_decl _Bit_reference: __x, 
-integer_cst 64: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-parm_decl __x: __x, 
-pointer_type : __x, 
-integer_type : __x, 
-type_decl _Bit_type: __x, 
-integer_cst 64: __x, 
-integer_cst 0: __x, 
-integer_cst : __x, 
-integer_cst 64: __x, 
-cleanup_point_expr : __x, 
-expr_stmt : __x, 
-convert_expr : __x, 
-init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_reference: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_mask: __x, 
-integer_cst 64: __x, 
-type_decl _Bit_reference: __x, 
-integer_cst 64: __x, 
-field_decl _M_mask: __x, 
-integer_cst 64: __x, 
-parm_decl __y: __x, 
-integer_type : __x, 
-type_decl _Bit_type: __x, 
-integer_cst 64: __x, 
-integer_cst 0: __x, 
-integer_cst : __x, 
-integer_cst 64: __x, 
+component_ref : __x, this->_M_p, 
+indirect_ref : __x, this->_M_p, 
+parm_decl this: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+record_type : __x, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_mask: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+parm_decl __x: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+integer_type : __x, this->_M_p, 
+type_decl _Bit_type: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+integer_cst 0: __x, this->_M_p, 
+integer_cst : __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+cleanup_point_expr : __x, this->_M_p, 
+expr_stmt : __x, this->_M_p, 
+convert_expr : __x, this->_M_p, 
+init_expr : __x, this->_M_p, 
+component_ref : __x, this->_M_mask, this->_M_p, 
+indirect_ref : __x, this->_M_mask, this->_M_p, 
+parm_decl this: __x, this->_M_mask, this->_M_p, 
+pointer_type : __x, this->_M_mask, this->_M_p, 
+record_type : __x, this->_M_mask, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_mask, this->_M_p, 
+field_decl _M_p: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+field_decl _M_mask: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+type_decl _Bit_reference: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+field_decl _M_mask: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+parm_decl __y: __x, this->_M_mask, this->_M_p, 
+integer_type : __x, this->_M_mask, this->_M_p, 
+type_decl _Bit_type: __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
+integer_cst 0: __x, this->_M_mask, this->_M_p, 
+integer_cst : __x, this->_M_mask, this->_M_p, 
+integer_cst 64: __x, this->_M_mask, this->_M_p, 
 block : __x, 
 function_decl __comp_ctor : 
 statement_list : __x, 
@@ -2035,53 +2035,53 @@ cleanup_point_expr : __x,
 expr_stmt : __x, 
 convert_expr : __x, 
 init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_iterator_base: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_offset: __x, 
-integer_cst 32: __x, 
-type_decl _Bit_iterator_base: __x, 
-integer_cst 64: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-parm_decl __x: __x, 
-pointer_type : __x, 
-integer_type : __x, 
-type_decl _Bit_type: __x, 
-integer_cst 64: __x, 
-integer_cst 0: __x, 
-integer_cst : __x, 
-integer_cst 64: __x, 
-cleanup_point_expr : __x, 
-expr_stmt : __x, 
-convert_expr : __x, 
-init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_iterator_base: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_offset: __x, 
-integer_cst 32: __x, 
-type_decl _Bit_iterator_base: __x, 
-integer_cst 64: __x, 
-field_decl _M_offset: __x, 
-integer_cst 32: __x, 
-parm_decl __y: __x, 
-integer_type : __x, 
-type_decl unsigned int: __x, 
-integer_cst 32: __x, 
-integer_cst 0: __x, 
-integer_cst 4294967295: __x, 
-integer_cst 32: __x, 
+component_ref : __x, this->_M_p, 
+indirect_ref : __x, this->_M_p, 
+parm_decl this: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+record_type : __x, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_offset: __x, this->_M_p, 
+integer_cst 32: __x, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+parm_decl __x: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+integer_type : __x, this->_M_p, 
+type_decl _Bit_type: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+integer_cst 0: __x, this->_M_p, 
+integer_cst : __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+cleanup_point_expr : __x, this->_M_p, 
+expr_stmt : __x, this->_M_p, 
+convert_expr : __x, this->_M_p, 
+init_expr : __x, this->_M_p, 
+component_ref : __x, this->_M_offset, this->_M_p, 
+indirect_ref : __x, this->_M_offset, this->_M_p, 
+parm_decl this: __x, this->_M_offset, this->_M_p, 
+pointer_type : __x, this->_M_offset, this->_M_p, 
+record_type : __x, this->_M_offset, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_offset, this->_M_p, 
+field_decl _M_p: __x, this->_M_offset, this->_M_p, 
+integer_cst 64: __x, this->_M_offset, this->_M_p, 
+field_decl _M_offset: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_offset, this->_M_p, 
+integer_cst 64: __x, this->_M_offset, this->_M_p, 
+field_decl _M_offset: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
+parm_decl __y: __x, this->_M_offset, this->_M_p, 
+integer_type : __x, this->_M_offset, this->_M_p, 
+type_decl unsigned int: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
+integer_cst 0: __x, this->_M_offset, this->_M_p, 
+integer_cst 4294967295: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
 block : __x, 
 function_decl __base_ctor : 
 bind_expr : __x, 
@@ -2105,53 +2105,53 @@ cleanup_point_expr : __x,
 expr_stmt : __x, 
 convert_expr : __x, 
 init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_iterator_base: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_offset: __x, 
-integer_cst 32: __x, 
-type_decl _Bit_iterator_base: __x, 
-integer_cst 64: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-parm_decl __x: __x, 
-pointer_type : __x, 
-integer_type : __x, 
-type_decl _Bit_type: __x, 
-integer_cst 64: __x, 
-integer_cst 0: __x, 
-integer_cst : __x, 
-integer_cst 64: __x, 
-cleanup_point_expr : __x, 
-expr_stmt : __x, 
-convert_expr : __x, 
-init_expr : __x, 
-component_ref : __x, 
-indirect_ref : __x, 
-parm_decl this: __x, 
-pointer_type : __x, 
-record_type : __x, 
-type_decl _Bit_iterator_base: __x, 
-field_decl _M_p: __x, 
-integer_cst 64: __x, 
-field_decl _M_offset: __x, 
-integer_cst 32: __x, 
-type_decl _Bit_iterator_base: __x, 
-integer_cst 64: __x, 
-field_decl _M_offset: __x, 
-integer_cst 32: __x, 
-parm_decl __y: __x, 
-integer_type : __x, 
-type_decl unsigned int: __x, 
-integer_cst 32: __x, 
-integer_cst 0: __x, 
-integer_cst 4294967295: __x, 
-integer_cst 32: __x, 
+component_ref : __x, this->_M_p, 
+indirect_ref : __x, this->_M_p, 
+parm_decl this: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+record_type : __x, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_offset: __x, this->_M_p, 
+integer_cst 32: __x, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+field_decl _M_p: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+parm_decl __x: __x, this->_M_p, 
+pointer_type : __x, this->_M_p, 
+integer_type : __x, this->_M_p, 
+type_decl _Bit_type: __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+integer_cst 0: __x, this->_M_p, 
+integer_cst : __x, this->_M_p, 
+integer_cst 64: __x, this->_M_p, 
+cleanup_point_expr : __x, this->_M_p, 
+expr_stmt : __x, this->_M_p, 
+convert_expr : __x, this->_M_p, 
+init_expr : __x, this->_M_p, 
+component_ref : __x, this->_M_offset, this->_M_p, 
+indirect_ref : __x, this->_M_offset, this->_M_p, 
+parm_decl this: __x, this->_M_offset, this->_M_p, 
+pointer_type : __x, this->_M_offset, this->_M_p, 
+record_type : __x, this->_M_offset, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_offset, this->_M_p, 
+field_decl _M_p: __x, this->_M_offset, this->_M_p, 
+integer_cst 64: __x, this->_M_offset, this->_M_p, 
+field_decl _M_offset: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
+type_decl _Bit_iterator_base: __x, this->_M_offset, this->_M_p, 
+integer_cst 64: __x, this->_M_offset, this->_M_p, 
+field_decl _M_offset: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
+parm_decl __y: __x, this->_M_offset, this->_M_p, 
+integer_type : __x, this->_M_offset, this->_M_p, 
+type_decl unsigned int: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
+integer_cst 0: __x, this->_M_offset, this->_M_p, 
+integer_cst 4294967295: __x, this->_M_offset, this->_M_p, 
+integer_cst 32: __x, this->_M_offset, this->_M_p, 
 block : __x, 
 function_decl __comp_ctor : 
 statement_list : __x, 
@@ -2372,86 +2372,86 @@ cleanup_point_expr : ptr0,
 expr_stmt : ptr0, 
 convert_expr : ptr0, 
 init_expr : ptr0, 
-component_ref : ptr0, 
-indirect_ref : ptr0, 
-parm_decl this: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-parm_decl ptr0: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-cleanup_point_expr : ptr0, 
-expr_stmt : ptr0, 
-call_expr : ptr0, 
-addr_expr : ptr0, 
-function_decl __comp_ctor : ptr0, 
-addr_expr : ptr0, 
-component_ref : ptr0, 
-indirect_ref : ptr0, 
-parm_decl this: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-cleanup_stmt : ptr0, 
-statement_list : ptr0, 
-call_expr : ptr0, 
-addr_expr : ptr0, 
-function_decl __comp_dtor : ptr0, 
-addr_expr : ptr0, 
-component_ref : ptr0, 
-indirect_ref : ptr0, 
-parm_decl this: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
+component_ref : ptr0, this->ptrval, 
+indirect_ref : ptr0, this->ptrval, 
+parm_decl this: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+parm_decl ptr0: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+cleanup_point_expr : ptr0, this->ptrval, 
+expr_stmt : ptr0, this->ptrval, 
+call_expr : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+function_decl __comp_ctor : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+component_ref : ptr0, this->ptrval, 
+indirect_ref : ptr0, this->ptrval, 
+parm_decl this: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+cleanup_stmt : ptr0, this->ptrval, 
+statement_list : ptr0, this->ptrval, 
+call_expr : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+function_decl __comp_dtor : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+component_ref : ptr0, this->ptrval, 
+indirect_ref : ptr0, this->ptrval, 
+parm_decl this: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
 block : ptr0, 
 function_decl __base_ctor : 
 bind_expr : ptr0, 
@@ -2460,86 +2460,86 @@ cleanup_point_expr : ptr0,
 expr_stmt : ptr0, 
 convert_expr : ptr0, 
 init_expr : ptr0, 
-component_ref : ptr0, 
-indirect_ref : ptr0, 
-parm_decl this: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-parm_decl ptr0: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-cleanup_point_expr : ptr0, 
-expr_stmt : ptr0, 
-call_expr : ptr0, 
-addr_expr : ptr0, 
-function_decl __comp_ctor : ptr0, 
-addr_expr : ptr0, 
-component_ref : ptr0, 
-indirect_ref : ptr0, 
-parm_decl this: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-try_catch_expr : ptr0, 
-statement_list : ptr0, 
-call_expr : ptr0, 
-addr_expr : ptr0, 
-function_decl __comp_dtor : ptr0, 
-addr_expr : ptr0, 
-component_ref : ptr0, 
-indirect_ref : ptr0, 
-parm_decl this: ptr0, 
-pointer_type : ptr0, 
-record_type : ptr0, 
-type_decl Data1: ptr0, 
-field_decl val: ptr0, 
-integer_cst 32: ptr0, 
-field_decl ptrval: ptr0, 
-integer_cst 64: ptr0, 
-field_decl arr: ptr0, 
-integer_cst 96: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
-type_decl Data1: ptr0, 
-integer_cst 64: ptr0, 
-field_decl str1: ptr0, 
-integer_cst 64: ptr0, 
+component_ref : ptr0, this->ptrval, 
+indirect_ref : ptr0, this->ptrval, 
+parm_decl this: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+parm_decl ptr0: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+cleanup_point_expr : ptr0, this->ptrval, 
+expr_stmt : ptr0, this->ptrval, 
+call_expr : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+function_decl __comp_ctor : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+component_ref : ptr0, this->ptrval, 
+indirect_ref : ptr0, this->ptrval, 
+parm_decl this: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+try_catch_expr : ptr0, this->ptrval, 
+statement_list : ptr0, this->ptrval, 
+call_expr : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+function_decl __comp_dtor : ptr0, this->ptrval, 
+addr_expr : ptr0, this->ptrval, 
+component_ref : ptr0, this->ptrval, 
+indirect_ref : ptr0, this->ptrval, 
+parm_decl this: ptr0, this->ptrval, 
+pointer_type : ptr0, this->ptrval, 
+record_type : ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+field_decl val: ptr0, this->ptrval, 
+integer_cst 32: ptr0, this->ptrval, 
+field_decl ptrval: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl arr: ptr0, this->ptrval, 
+integer_cst 96: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+type_decl Data1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
+field_decl str1: ptr0, this->ptrval, 
+integer_cst 64: ptr0, this->ptrval, 
 block : ptr0, 
 function_decl __comp_ctor : 
 statement_list : ptr0, 
@@ -2555,6 +2555,189 @@ integer_cst -2147483648: ptr0,
 integer_cst 2147483647: ptr0, 
 integer_cst 32: ptr0, 
 integer_cst 1: ptr0, 
+function_decl Object1: 
+bind_expr : ptr1, 
+statement_list : ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+convert_expr : ptr1, 
+init_expr : ptr1, 
+component_ref : ptr1, this->dataptr, 
+indirect_ref : ptr1, this->dataptr, 
+parm_decl this: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+parm_decl ptr1: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Data1: ptr1, this->dataptr, 
+field_decl val: ptr1, this->dataptr, 
+integer_cst 32: ptr1, this->dataptr, 
+field_decl ptrval: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl arr: ptr1, this->dataptr, 
+integer_cst 96: ptr1, this->dataptr, 
+field_decl str1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Data1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+if_stmt : ptr1, this->dataptr, 
+ne_expr : ptr1, this->dataptr, 
+component_ref : ptr1, this->dataptr, 
+indirect_ref : ptr1, this->dataptr, 
+parm_decl this: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+integer_cst 0: ptr1, this->dataptr, 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+call_expr : 
+addr_expr : 
+function_decl ftest1: 
+parm_decl ptr1: 
+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: 
+field_decl str1: 
+integer_cst 64: 
+type_decl Data1: 
+integer_cst 64: 
+cleanup_point_expr : ptr1, this->dataptr, 
+expr_stmt : ptr1, this->dataptr, 
+convert_expr : ptr1, this->dataptr, 
+call_expr : ptr1, this->dataptr, 
+addr_expr : ptr1, this->dataptr, 
+function_decl ftest1: ptr1, this->dataptr, 
+test23.cpp: In constructor 'Object1::Object1(Data1*)':
+test23.cpp:46:24: warning: Using field 'this->dataptr' without checking for null pointer
+         dataptr->ftest1();
+                        ^
+component_ref : ptr1, this->dataptr, 
+indirect_ref : ptr1, this->dataptr, 
+parm_decl this: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+block : ptr1, 
+function_decl __base_ctor : 
+bind_expr : ptr1, 
+statement_list : ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+convert_expr : ptr1, 
+init_expr : ptr1, 
+component_ref : ptr1, this->dataptr, 
+indirect_ref : ptr1, this->dataptr, 
+parm_decl this: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+parm_decl ptr1: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Data1: ptr1, this->dataptr, 
+field_decl val: ptr1, this->dataptr, 
+integer_cst 32: ptr1, this->dataptr, 
+field_decl ptrval: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl arr: ptr1, this->dataptr, 
+integer_cst 96: ptr1, this->dataptr, 
+field_decl str1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Data1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+cond_expr : ptr1, this->dataptr, 
+ne_expr : ptr1, this->dataptr, 
+component_ref : ptr1, this->dataptr, 
+indirect_ref : ptr1, this->dataptr, 
+parm_decl this: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+integer_cst 0: ptr1, this->dataptr, 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+call_expr : 
+addr_expr : 
+function_decl ftest1: 
+parm_decl ptr1: 
+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: 
+field_decl str1: 
+integer_cst 64: 
+type_decl Data1: 
+integer_cst 64: 
+integer_cst 0: ptr1, this->dataptr, 
+cleanup_point_expr : ptr1, this->dataptr, 
+expr_stmt : ptr1, this->dataptr, 
+convert_expr : ptr1, this->dataptr, 
+call_expr : ptr1, this->dataptr, 
+addr_expr : ptr1, this->dataptr, 
+function_decl ftest1: ptr1, this->dataptr, 
+test23.cpp: In constructor 'Object1::Object1(Data1*)':
+test23.cpp:46:24: warning: Using field 'this->dataptr' without checking for null pointer
+component_ref : ptr1, this->dataptr, 
+indirect_ref : ptr1, this->dataptr, 
+parm_decl this: ptr1, this->dataptr, 
+pointer_type : ptr1, this->dataptr, 
+record_type : ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+type_decl Object1: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+field_decl dataptr: ptr1, this->dataptr, 
+integer_cst 64: ptr1, this->dataptr, 
+block : ptr1, 
+function_decl __comp_ctor : 
+statement_list : ptr1, 
 function_decl func1: 
 statement_list : ptr1, 
 cleanup_point_expr : ptr1, 
@@ -2745,7 +2928,7 @@ call_expr : ptr1, this->dataptr,
 addr_expr : ptr1, this->dataptr, 
 function_decl ftest1: ptr1, this->dataptr, 
 test23.cpp: In member function 'void Object1::func3(Data1*)':
-test23.cpp:62:25: warning: Using parameter 'ptr1' without checking for null pointer
+test23.cpp:72:25: warning: Using parameter 'ptr1' without checking for null pointer
              ptr1->ftest1();
                          ^
 parm_decl ptr1: ptr1, this->dataptr, 
@@ -2917,7 +3100,7 @@ call_expr : ptr1, this->dataptr,
 addr_expr : ptr1, this->dataptr, 
 function_decl ftest1: ptr1, this->dataptr, 
 test23.cpp: In member function 'void Object1::func5(Data1*)':
-test23.cpp:80:25: warning: Using parameter 'ptr1' without checking for null pointer
+test23.cpp:90:25: warning: Using parameter 'ptr1' without checking for null pointer
              ptr1->ftest1();
                          ^
 parm_decl ptr1: ptr1, this->dataptr,