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

Class RangeStage::SemNoReason

A reason for an inferred bound that indicates that the bound is inferred without going through a bounding condition.

Import path

import codeql.rangeanalysis.RangeAnalysis

Direct supertypes

Indirect supertypes

Predicates

toString

Gets a textual representation of this reason.