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