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: unassig...@gcc.gnu.org
ReportedBy: m...@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.
