CodeQL library for C/C++
Search

Member predicate BarrierGuard::checksInstr

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

predicate checksInstr(Instruction instr, boolean b)