Module BarrierGuardWithIntParam
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaImplPredicates
Parameters
| P | ParamSig | |
| guardChecksNode | guardChecksNodeSig |
import semmle.code.cpp.ir.dataflow.internal.SsaImpl| P | ParamSig | |
| guardChecksNode | guardChecksNodeSig |