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