Searched refs:simplifySValOnce (Results 1 – 1 of 1) sorted by relevance
58 SVal simplifySValOnce(ProgramStateRef State, SVal V);1191 SVal SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1194 SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1203 SVal SimpleSValBuilder::simplifySValOnce(ProgramStateRef State, SVal V) { in simplifySValOnce() function in SimpleSValBuilder