CodeQL library for JavaScript
Search

Member predicate BasicBlock::localMayBeOverwritten

Holds if d is a definition of v that is reachable from the beginning of this basic block without going through a redefinition of v.

predicate localMayBeOverwritten(LocalVariable v, VarDef d)