CodeQL library for C/C++
codeql/cpp-all 0.9.3 ( changelog , source )
Search

Predicate definitionBarrier

Holds if barrier is either a (potential) definition of v or follows an access that gets the address of v. In both cases, the value of v after barrier cannot be assumed to be the same as before.

Import path

import cpp
predicate definitionBarrier ( SemanticStackVariable v , ControlFlowNode barrier )