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