Searched refs:is_null (Results 1 – 3 of 3) sorted by relevance
43 (*self).is_null() in is_zero()50 (*self).is_null() in is_zero()
1144 assume(!ptr.is_null()); in as_ptr()1180 assume(!ptr.is_null()); in as_mut_ptr()
9950 bool is_null) in mark_ptr_or_null_reg() argument9964 if (is_null) { in mark_ptr_or_null_reg()9994 bool is_null) in mark_ptr_or_null_regs() argument10001 if (ref_obj_id && ref_obj_id == id && is_null) in mark_ptr_or_null_regs()10009 mark_ptr_or_null_reg(state, reg, id, is_null); in mark_ptr_or_null_regs()
