[Bug c++/124089] New: Inconsistent -fcontract[s] names for compiler flags

[mkretz at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124089

            Bug ID: 124089
           Summary: Inconsistent -fcontract[s] names for compiler flags
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Keywords: c++-contracts
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mkretz at gcc dot gnu.org
  Target Milestone: ---

We currently have:
       -fcontracts
       -fcontract-evaluation-semantic=semantic
       -fcontracts-conservative-ipa
       -fcontract-checks-outlined
       -fcontract-disable-optimized-checks
       -fcontracts-client-check=mode
       -fcontracts-definition-check=mode

4 flags start with -fcontracts, 3 flags start with -fcontract-

I suggest to consistently use -fcontracts for everything even if "contracts
checks outlined" reads strange. But I read it as "feature=contracts; checks
outlined=yes/no".