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