C++: Measure bounds for `Enum` constants and reduce `getBoundsLimit`#21313

Merged

jketema merged 7 commits intogithub:mainfrom

MathiasVP:range-analysis-lower-bound-and-measure-enums

Feb 16, 2026

Commits on Feb 11, 2026

C++: Add range analysis test demonstrating missing measuring bounds.
MathiasVP
committed

Commits on Feb 12, 2026

Commits on Feb 16, 2026

Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll

MathiasVP
and
Copilot
authored
C++: Add a test showing that we infer a lower and upper bound for parameters of enum types.
MathiasVP
committed
C++: Respond to review comments.
MathiasVP
committed