Searched refs:ReturnV (Results 1 – 1 of 1) sorted by relevance
78 auto ReturnV = Call.getReturnValue().getAs<DefinedOrUnknownSVal>(); in checkPostCall() local80 if (!ReturnV) in checkPostCall()84 if (ProgramStateRef StTrue = State->assume(*ReturnV, true)) { in checkPostCall()