Searched refs:init_ptr_sval (Results 1 – 1 of 1) sorted by relevance
3930 const svalue *init_ptr_sval in on_top_level_param() local3932 const region *pointee_reg = m_mgr->get_symbolic_region (init_ptr_sval); in on_top_level_param()3938 add_constraint (init_ptr_sval, NE_EXPR, null_ptr_sval, ctxt); in on_top_level_param()