CodeQL library for C/C++
Search

Datatype RelationStrictness

Describes whether a relation is ‘strict’ (that is, a < or > relation) or ‘non-strict’ (a <= or >= relation).

Import path

import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils

Branch types

Nonstrict

Represents that a relation is ‘non-strict’ (that is, a <= or >= relation)

Strict

Represents that a relation is ‘strict’ (that is, a < or > relation).

Injectors

Nonstrict

Represents that a relation is ‘non-strict’ (that is, a <= or >= relation)

Strict

Represents that a relation is ‘strict’ (that is, a < or > relation).