Searched refs:AssumedNonNegative (Results 1 – 1 of 1) sorted by relevance
85 bool AssumedNonNegative = false; member in __anon612badfa0111::StateUpdateReporter95 void recordNonNegativeAssumption() { AssumedNonNegative = true; } in recordNonNegativeAssumption()100 bool assumedNonNegative() { return AssumedNonNegative; } in assumedNonNegative()486 if (!AssumedNonNegative && !AssumedUpperBound) in createNoteTag()495 bool ShouldReportNonNegative = AssumedNonNegative; in getMessage()