Searched refs:IsNonNullParam (Results 1 – 1 of 1) sorted by relevance
199 CheckerContext &C, bool IsNonNullParam, in addCastTransition() argument202 ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam); in addCastTransition()