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

Predicate signature Make::DataFlowIntegrationInputSig::includeWriteDefsInFlowStep

Holds if WriteDefinitions should be included as an intermediate node between the assigned Expr or Parameter and the first read of the SSA definition.

signature predicate includeWriteDefsInFlowStep()