Searched refs:UpperBoundBitCount (Results 1 – 1 of 1) sorted by relevance
64 std::optional<unsigned> UpperBoundBitCount = std::nullopt; member in __anon760d32cd0111::BitwiseShiftValidator308 if (!UpperBoundBitCount || Limit < UpperBoundBitCount.value()) in recordAssumption()309 UpperBoundBitCount = Limit; in recordAssumption()317 if (!NonNegOperands && !UpperBoundBitCount) in createNoteTag()325 if (UpperBoundBitCount) in createNoteTag()326 Out << Templ.UpperBoundIntro << UpperBoundBitCount.value(); in createNoteTag()