Module UnsignedGEZero

Provides classes and predicates implementing the UnsignedGEZero query. This library is also used by the PointlessComparison query, so that we can avoid reporting the same result twice. (PointlessComparison is a newer and more general query which also finds instances of the UnsignedGEZero pattern.)

Import path

Likely_Bugs.Arithmetic.UnsignedGEZero

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

Classes