Searched refs:simplifySVal (Results 1 – 3 of 3) sorted by relevance
78 SVal simplifySVal(ProgramStateRef State, SVal V) override;415 SVal simplifiedLhs = simplifySVal(state, lhs); in evalBinOpNN()416 SVal simplifiedRhs = simplifySVal(state, rhs); in evalBinOpNN()1187 return getConstValue(state, simplifySVal(state, V)); in getKnownValue()1199 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal() function in SimpleSValBuilder
237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
116 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;