Searched refs:AssumedUpperBound (Results 1 – 1 of 1) sorted by relevance
72 std::optional<NonLoc> AssumedUpperBound = std::nullopt; member in __anonb48263820111::StateUpdateReporter83 AssumedUpperBound = UpperBoundVal; in recordUpperBoundAssumption()468 if (!AssumedNonNegative && !AssumedUpperBound) in createNoteTag()479 if (AssumedUpperBound && in getMessage()480 providesInformationAboutInteresting(*AssumedUpperBound, BR)) { in getMessage()492 std::optional<int64_t> ExtentN = getConcreteValue(AssumedUpperBound); in getMessage()504 } else if (AssumedUpperBound) { in getMessage()516 if (AssumedUpperBound) { in getMessage()