Searched defs:DefArgVal (Results 1 – 2 of 2) sorted by relevance
560 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall() local
997 Optional<DefinedSVal> DefArgVal = C.getSVal(Arg).getAs<DefinedSVal>(); in ProcessZeroAllocation() local