B.3.3 function declarations are not marked as reading/writing their variables

[bakkot]

For example, in

{
  function f(){}
}

the function does four things from the perspective of scope analysis: declares a global-scoped variable f, declares a block-scoped variable f, reads from the block-scoped variable, and writes to the global-scoped variable.

The scope analyzer misses the latter two.