Predicate ifndefDirective
Holds if ppd is effectively an #ifndef directive that tests macro.
This includes #if !defined(macro).
Import path
import semmle.code.cpp.headers.MultipleInclusion
predicate
ifndefDirective
(
PreprocessorDirective
ppd
,
string
macro
)