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.