Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp93 SVal simplifySVal(ProgramStateRef State, SVal V) override;
430 SVal simplifiedLhs = simplifySVal(state, lhs); in evalBinOpNN()
431 SVal simplifiedRhs = simplifySVal(state, rhs); in evalBinOpNN()
1220 return getConstValue(state, simplifySVal(state, V)); in getKnownValue()
1225 V = simplifySVal(state, V); in getMinValue()
1238 V = simplifySVal(state, V); in getMaxValue()
1258 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.cpp267 SVal SimplifiedOrigV = svalBuilder.simplifySVal(state, OrigV); in handleLValueBitCast()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h128 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;