Searched refs:ReturnV (Results 1 – 1 of 1) sorted by relevance
73 static std::optional<bool> isInvariantBreak(bool ExpectedValue, SVal ReturnV, in isInvariantBreak() argument75 auto ReturnDV = ReturnV.getAs<DefinedOrUnknownSVal>(); in isInvariantBreak()91 SVal ReturnV = Call.getReturnValue(); in checkPostCall() local94 isInvariantBreak(ExpectedValue, ReturnV, C); in checkPostCall()115 State = State->assume(ReturnV.castAs<DefinedOrUnknownSVal>(), ExpectedValue); in checkPostCall()139 SVal ReturnV = State->getSVal(RS->getRetValue(), C.getLocationContext()); in checkEndFunction() local142 isInvariantBreak(ExpectedValue, ReturnV, C); in checkEndFunction()