Home
last modified time | relevance | path

Searched refs:simplifySVal (Results 1 – 4 of 4) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp94 SVal simplifySVal(ProgramStateRef State, SVal V) override;
432 SVal simplifiedLhs = simplifySVal(state, lhs); in evalBinOpNN()
433 SVal simplifiedRhs = simplifySVal(state, rhs); in evalBinOpNN()
1223 return getConstValue(state, simplifySVal(state, V)); in getKnownValue()
1228 V = simplifySVal(state, V); in getMinValue()
1241 V = simplifySVal(state, V); in getMaxValue()
1261 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal() function in SimpleSValBuilder
H A DRangedConstraintManager.cpp237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
H A DExprEngineC.cpp271 SVal SimplifiedOrigV = svalBuilder.simplifySVal(state, OrigV); in handleLValueBitCast()
325 CastedV = svalBuilder.evalCast(svalBuilder.simplifySVal(State, OrigV), in VisitCast()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h129 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;