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

Member predicate RelationalInstruction::getGreater

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

Instruction getGreater()