Searched refs:simplifySVal (Results 1 – 2 of 2) sorted by relevance
52 SVal simplifySVal(ProgramStateRef State, SVal V) override;746 SVal simplifiedLhs = simplifySVal(state, lhs); in evalBinOpNN()1205 V = simplifySVal(state, V); in getKnownValue()1222 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal() function in SimpleSValBuilder
139 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;