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

Predicate PhiInsertion::definitionLiveOnExitFromBlock

Holds if the definition defLocation is live on exit from block block. The definition is live on exit if it is live on entry to any of the successors of block.

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
predicate definitionLiveOnExitFromBlock(MemoryLocation defLocation, OldBlock block)