Home
last modified time | relevance | path

Searched refs:prependSVal (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h258 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L) { in prependSVal() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp760 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()
H A DCallEvent.cpp420 CompoundSVals = BVF.prependSVal(Value, CompoundSVals); in processArgument()