Searched refs:ReturnV (Results 1 – 1 of 1) sorted by relevance
72 static Optional<bool> isInvariantBreak(bool ExpectedValue, SVal ReturnV, in isInvariantBreak() argument74 auto ReturnDV = ReturnV.getAs<DefinedOrUnknownSVal>(); in isInvariantBreak()90 SVal ReturnV = Call.getReturnValue(); in checkPostCall() local92 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkPostCall()113 State = State->assume(ReturnV.castAs<DefinedOrUnknownSVal>(), ExpectedValue); in checkPostCall()137 SVal ReturnV = State->getSVal(RS->getRetValue(), C.getLocationContext()); in checkEndFunction() local139 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkEndFunction()