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