Searched refs:simplifySVal (Results 1 – 3 of 3) sorted by relevance
46 SVal simplifySVal(ProgramStateRef State, SVal V) override;629 SVal simplifiedLhs = simplifySVal(state, lhs); in evalBinOpNN()1097 V = simplifySVal(state, V); in getKnownValue()1114 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal() function in SimpleSValBuilder
231 SVal SimplifiedVal = SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplify()
152 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;