Home
last modified time | relevance | path

Searched refs:MaximalAllowedShift (Results 1 – 1 of 1) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBitwiseShiftChecker.cpp259 const unsigned MaximalAllowedShift = in checkLeftShiftOverflow() local
262 if (assumeRequirement(OperandSide::Right, BO_LT, MaximalAllowedShift + 1)) in checkLeftShiftOverflow()
277 assert(RHS > MaximalAllowedShift); in checkLeftShiftOverflow()
278 const int64_t OverflownBits = RHS - MaximalAllowedShift; in checkLeftShiftOverflow()