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

Class NoReason

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

Import path

import semmle.code.cpp.rangeanalysis.new.RangeAnalysis

Direct supertypes

Predicates

toString

Gets a string representation of this reason