CodeQL library for C/C++
codeql/cpp-all 6.0.1-dev (changelog, source)
Search

Member predicate Make::GuardValue::isIntRange

Holds if this value represents an integer range.

If upper = true the range is (-infinity, bound]. If upper = false the range is [bound, infinity).

predicate isIntRange(int bound, boolean upper)