Searched refs:null_ptr_sval (Results 1 – 1 of 1) sorted by relevance
3936 const svalue *null_ptr_sval in on_top_level_param() local3938 add_constraint (init_ptr_sval, NE_EXPR, null_ptr_sval, ctxt); in on_top_level_param()