Searched refs:ReturnV (Results 1 – 1 of 1) sorted by relevance
73 static Optional<bool> isInvariantBreak(bool ExpectedValue, SVal ReturnV, in isInvariantBreak() argument75 auto ReturnDV = ReturnV.getAs<DefinedOrUnknownSVal>(); in isInvariantBreak()91 SVal ReturnV = Call.getReturnValue(); in checkPostCall() local93 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkPostCall()114 State = State->assume(ReturnV.castAs<DefinedOrUnknownSVal>(), ExpectedValue); in checkPostCall()138 SVal ReturnV = State->getSVal(RS->getRetValue(), C.getLocationContext()); in checkEndFunction() local140 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkEndFunction()