Searched defs:ReturnV (Results 1 – 1 of 1) sorted by relevance
72 static Optional<bool> isInvariantBreak(bool ExpectedValue, SVal ReturnV, in isInvariantBreak()90 SVal ReturnV = Call.getReturnValue(); in checkPostCall() local137 SVal ReturnV = State->getSVal(RS->getRetValue(), C.getLocationContext()); in checkEndFunction() local