CodeQL library for C/C++
Search

Member predicate GuardedSsa::isLt

Holds if this SsaDefinition is guarded such that this(var) < gt + k is testIsTrue in block.

predicate isLt(StackVariable var, Expr gt, int k, BasicBlock block, boolean testIsTrue)