codeql/cpp-all
3.2.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
A reason for an inferred bound pointing to a condition.
import codeql.rangeanalysis.RangeAnalysis
Gets the condition that is the reason for the bound.
Gets a textual representation of this reason.