C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.
C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.

github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql