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