CodeQL library for C/C++
Search

Member predicate DataFlow::BarrierGuard::checks

Override this predicate to hold if this guard validates e upon evaluating to b.

predicate checks(Expr e, boolean b)