Injector RightIsSmaller
Represents that the right side of a pointless comparison is known to be smaller.
Import path
import semmle.code.cpp.rangeanalysis.PointlessComparisonRepresents that the right side of a pointless comparison is known to be smaller.
import semmle.code.cpp.rangeanalysis.PointlessComparison