The suggestion of this Editor’s Note is that we should include local variables (variables in a for-loop initialization). This is true but we also would have to include variables from sequences as well.
This section is informative. The list is meant to describe what an automatic variable is and does not need to be exhaustive. I would recommend changing the language to:
A variable can
be static (storage allocated on instantiation and never de-allocated) or
automatic (stack storage allocated on entry to a scope (such as a task, function or block) and
de-allocated on exit). C has the keywords static
and auto.
SystemVerilog follows Verilog in respect of the static default storage class,
with automatic tasks and functions, but allows static to
override a default of automatic for a particular variable in such tasks
and functions.