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