Searched refs:simplifySValOnce (Results 1 – 1 of 1) sorted by relevance
63 SVal simplifySValOnce(ProgramStateRef State, SVal V);1250 SVal SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1253 SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1262 SVal SimpleSValBuilder::simplifySValOnce(ProgramStateRef State, SVal V) { in simplifySValOnce() function in SimpleSValBuilder