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