CodeQL library for C/C++
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)