[Bug c/53072] New: automatically set Init() only if option was not set in some other way

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53072

             Bug #: 53072
           Summary: automatically set Init() only if option was not set in
                    some other way
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: manu@gcc.gnu.org


Currently, it is possible to specify an initial value in the .opt file with
Init(). However, this value is set at the beginning, so it is (impossible?) to
know whether the value is the default or was set explicitly in some other way.
This is why many options are initialized to -1 instead.

The infrastructure to detect whether options have been set explicitly seems to
be there, but it is not clear how to use it to fix the above problem.