Home
last modified time | relevance | path

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

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