Datatype SmallSide
Describes which side of a pointless comparison is known to be smaller.
Import path
import semmle.code.cpp.rangeanalysis.PointlessComparison
Branch types
LeftIsSmaller | Represents that the left side of a pointless comparison is known to be smaller. |
RightIsSmaller | Represents that the right side of a pointless comparison is known to be smaller. |
Injectors
LeftIsSmaller | Represents that the left side of a pointless comparison is known to be smaller. |
RightIsSmaller | Represents that the right side of a pointless comparison is known to be smaller. |