https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124089
Iain Sandoe <iains at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2026-02-16
Assignee|unassigned at gcc dot gnu.org |iains at gcc dot gnu.org
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0 |1
--- Comment #2 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> Ick, and we even removed options in the past:
As for naming:
- we can make them all plural
- we probably need to have at least an initial discussion with the clang
folks to try and avoid having mismatches.
I would personally like to shorten some of them, but it's not obvious how to
without losing "contracts" as part of the option name.
> > grep '^fcontract' ../../gcc-15-branch/gcc/c-family/c.opt
> fcontracts
> fcontract-assumption-mode=
> fcontract-build-level=
> fcontract-strict-declarations=
> fcontract-mode=
> fcontract-continuation-mode=
> fcontract-role=
> fcontract-semantic=
> > grep '^fcontract' c-family/c.opt
> fcontracts
> fcontract-evaluation-semantic=
> fcontracts-conservative-ipa
> fcontract-checks-outlined
> fcontract-disable-optimized-checks
> fcontracts-client-check=
> fcontracts-definition-check=
>
> that's a no-no, they should have been kept as Ignored.
ack .. mea culpa. I will do a patch to put them back and make them Ignored
(presumably they do not need documenting when ignored)
