CodeQL library for C/C++
Search

Member predicate BarrierGuard::checks

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

predicate checks(Expr e, boolean b)