Searched refs:AssumedUpperBound (Results 1 – 1 of 1) sorted by relevance
86 std::optional<NonLoc> AssumedUpperBound = std::nullopt; member in __anon612badfa0111::StateUpdateReporter97 AssumedUpperBound = UpperBoundVal; in recordUpperBoundAssumption()486 if (!AssumedNonNegative && !AssumedUpperBound) in createNoteTag()497 if (AssumedUpperBound && in getMessage()498 providesInformationAboutInteresting(*AssumedUpperBound, BR)) { in getMessage()510 std::optional<int64_t> ExtentN = getConcreteValue(AssumedUpperBound); in getMessage()522 } else if (AssumedUpperBound) { in getMessage()534 if (AssumedUpperBound) { in getMessage()