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