Class CondReason

A reason for an inferred bound pointing to a condition.

Import path

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

getCond	Gets the guard condition that caused the inferred bound
toString	Gets a string representation of this reason