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

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)