Class Reason
A reason for an inferred bound. This can either be CondReason if the bound
is due to a specific condition, or NoReason if the bound is inferred
without going through a bounding condition.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisKnown direct subtypes
Predicates
| toString | Gets a string representation of this reason |