Searched refs:assumedNonNegative (Results 1 – 1 of 1) sorted by relevance
86 bool assumedNonNegative() { return AssumedNonNegative; } in assumedNonNegative() function in __anonb48263820111::StateUpdateReporter617 bool AlsoMentionUnderflow = SUR.assumedNonNegative(); in performCheck()