Searched refs:simplifyUntilFixpoint (Results 1 – 1 of 1) sorted by relevance
58 SVal simplifyUntilFixpoint(ProgramStateRef State, SVal Val);1252 SVal SimpleSValBuilder::simplifyUntilFixpoint(ProgramStateRef State, SVal Val) { in simplifyUntilFixpoint() function in SimpleSValBuilder1262 return simplifyUntilFixpoint(State, V); in simplifySVal()