[m-rev.] for review: warn about unneeded initial and final state vars

[Zoltan Somogyi]

On Sun, 18 May 2025 02:32:17 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> We have a growing set of style warnings, and while we do have the option
> --inhibit-style-warnings to turn them all off, we do not have its converse. I
> think that it is probably worth adding --enable-all-style-warnings. It may
> result in a lot of warnings, but it seems preferable to invoking the style
> options one-by-one (and presumably having to and look up what some of them are
> in between such invocations).

That is a good idea. We should also consider doing a similar group enable/disable
mechanism for options like the new --warn-unused-final-statevars, which straddle
the line between being style options and "warning about possible incorrectness"
options. (Though offhand I can't think of another option in that category,
there may be some.)

Before implementing it, I intend to reorganize the order of the warning options,
because at the moment, we have related options that are not listed next to
each other. I will post a proposed order for review before effecting the
reordering it requires.

Zoltan.