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