Searched refs:CompoundSVals (Results 1 – 1 of 1) sorted by relevance
418 llvm::ImmutableList<SVal> CompoundSVals = BVF.getEmptySValList(); in processArgument() local419 CompoundSVals = BVF.prependSVal(Value, CompoundSVals); in processArgument()422 return SVB.makeCompoundVal(ParamType, CompoundSVals); in processArgument()