Searched refs:AssumedNonNegative (Results 1 – 1 of 1) sorted by relevance
71 bool AssumedNonNegative = false; member in __anonb48263820111::StateUpdateReporter81 void recordNonNegativeAssumption() { AssumedNonNegative = true; } in recordNonNegativeAssumption()86 bool assumedNonNegative() { return AssumedNonNegative; } in assumedNonNegative()468 if (!AssumedNonNegative && !AssumedUpperBound) in createNoteTag()477 bool ShouldReportNonNegative = AssumedNonNegative; in getMessage()