CodeQL library for JavaScript
Search

Member predicate BasicBlock::localLiveDefAt

Holds if d defines variable v at the ith node of this basic block, and the definition is live, that is, the variable may be read after this definition and before a re-definition.

predicate localLiveDefAt(PurelyLocalVariable v, int i, VarDef d)