On 10/16/25 09:03, Richard Biener wrote:
We’ve added RejectNegative in the past IIRC, so that’s OK. For such
options there should be a separate fno-analyzer-verbosity (without
=) aliasing one of the positive options if that makes sense.
Yes, I remember doing something similar for one of the -m options for
the old nios2 back end, when we changed an existing on/off flag to
multiple choice and aliased the old options to the new one. There's
usually less reason to do that for a completely new feature, though.
-Sandra