Searched refs:prependSVal (Results 1 – 3 of 3) sorted by relevance
258 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L) { in prependSVal() function
417 CompoundSVals = BVF.prependSVal(Value, CompoundSVals); in processArgument()
767 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()