Member predicate DataFlow::Configuration::isBarrierGuard
Holds if data flow node guard
can act as a barrier when appearing
in a condition.
For example, if guard
is the comparison expression in
if(x == 'some-constant'){ ... x ... }
, it could block flow of
x
into the “then” branch.
predicate isBarrierGuard(BarrierGuardNode guard)