function_decl getData: 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 Object1: integer_cst 64: field_decl tmp1: integer_cst 64: pointer_type : record_type : type_decl Data1: function_decl func1: statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, if_stmt : ptr1, truth_orif_expr : ptr1, eq_expr : ptr1, integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, eq_expr : integer_cst 10: component_ref : indirect_ref : parm_decl ptr1: pointer_type : record_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: integer_cst 10: statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, return_expr : ptr1, statement_list : expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : ptr1, call_expr : addr_expr : function_decl paranuckerInternalTest: function_decl func2: statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, if_stmt : ptr1, truth_andif_expr : ptr1, eq_expr : ptr1, integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, eq_expr : ptr1, test30.cpp: In member function 'void Object1::func2(Data1*)': test30.cpp:69:32: warning: Using variable 'ptr1' without checking for null pointer if (!ptr1 && ptr1->val == 10) ^ integer_cst 10: ptr1, component_ref : ptr1, indirect_ref : ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, type_decl Data1: ptr1, integer_cst 64: ptr1, field_decl val: ptr1, integer_cst 32: ptr1, integer_type : ptr1, type_decl int: ptr1, integer_cst 32: ptr1, integer_cst -2147483648: ptr1, integer_cst 2147483647: ptr1, integer_cst 10: ptr1, statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, return_expr : ptr1, statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, function_decl func3: statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, if_stmt : ptr1, truth_andif_expr : ptr1, ne_expr : ptr1, integer_cst 0: ptr1, parm_decl ptr1: ptr1, pointer_type : ptr1, record_type : ptr1, type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, eq_expr : integer_cst 10: component_ref : indirect_ref : parm_decl ptr1: pointer_type : record_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: integer_cst 10: statement_list : expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: expr_stmt : call_expr : addr_expr : function_decl paranuckerInternalTest: return_expr : statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, function_decl func4: statement_list : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, if_stmt : ptr1, eq_expr : ptr1, integer_cst 0: ptr1, test30.cpp: In member function 'void Object1::func4(Data1*, Data1*)': test30.cpp:127:14: warning: Useless variable check 'ptr2'. It already was checked before if (!ptr2) ^ parm_decl ptr2: ptr1, pointer_type : ptr1, record_type : ptr1, type_decl Data1: ptr1, integer_cst 64: ptr1, integer_cst 0: ptr1, return_expr : ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1,