For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

getABarrierNode

Import path

Module BarrierGuard

Predicates

getABarrierNode

Parameters

guardChecks

Predicate BarrierGuard :: getABarrierNode

Gets a node that is safely guarded by the given guard check.

Import path


                                import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil


                            
                                
                                    ExprNode
                                
                                 
                            
                            
                                getABarrierNode
                            
                            
                                (
                                )