Merge pull request gcc-mirror#48 from NinaRanns/noexcept_enforce_2

noexcept_enforce
NinaRanns · Jan 17, 2025 · a77cb5e · a77cb5e
2 parents 6393e2b + 1071c38
commit a77cb5e
Show file tree

Hide file tree

Showing 5 changed files with 258 additions and 139 deletions.
diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt
@@ -1906,9 +1906,12 @@ Enum(p2900_semantic) String(observe) Value(4)
 EnumValue
 Enum(p2900_semantic) String(quick_enforce) Value(5)
 
+EnumValue
+Enum(p2900_semantic) String(noexcept_enforce) Value(6)
+
 fcontract-evaluation-semantic=
 C++ Joined RejectNegative Enum(p2900_semantic) Var(flag_contract_evaluation_semantic) Init (3)
--fcontract-evaluation-semantic=[ignore|observe|enforce|quick_enforce]	Select the contract evaluation semantic (defaults to enforce).
+-fcontract-evaluation-semantic=[ignore|observe|enforce|quick_enforce|noexcept_enforce]	Select the contract evaluation semantic (defaults to enforce).
 
 fcontract-checks-outlined
 C++ Var(flag_contract_checks_outlined) Init(1)