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