Searched refs:recordUpperBoundAssumption (Results 1 – 1 of 1) sorted by relevance
96 void recordUpperBoundAssumption(NonLoc UpperBoundVal) { in recordUpperBoundAssumption() function in __anon612badfa0111::StateUpdateReporter706 SUR.recordUpperBoundAssumption(*KnownSize); in performCheck()