CodeQL library for C/C++
Search

Member predicate Configuration::isBarrierGuard

Holds if data flow through nodes guarded by guard is prohibited.

predicate isBarrierGuard(BarrierGuard guard)