CodeQL library for C/C++
codeql/cpp-all 0.13.1 (changelog, source)

Member predicate RelationalInstruction::getLesser

Gets the operand on the “lesser” (or “lesser-or-equal”) side of this relational instruction, that is, the side that is smaller if the overall instruction evaluates to true; for example on x <= 20 this is x, and on y > 0 it is the 0.

Instruction getLesser()