Searched refs:VforkRetVal (Results 1 – 1 of 1) sorted by relevance
153 SVal VforkRetVal = Call.getReturnValue(); in checkPostCall() local155 VforkRetVal.getAs<DefinedOrUnknownSVal>(); in checkPostCall()