adding missing files

Author: NinaRanns

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)

gcc/cp/contracts.h

@@ -37,6 +37,7 @@ enum contract_level
    CCS_MAYBE  -> observe
    CCS_NEVER  -> enforce
    CCS_QUICK  -> quick_enforce
+   CCS_NOEXCEPT_ENFORCE -> noexcept_enforce
 */
 
 enum contract_semantic
@@ -48,7 +49,8 @@ enum contract_semantic
   CCS_ENFORCE = CCS_NEVER,
   CCS_MAYBE = 4,
   CCS_OBSERVE = CCS_MAYBE,
-  CCS_QUICK = 5
+  CCS_QUICK = 5,
+  CCS_NOEXCEPT_ENFORCE
 };
 
 /* True if the contract is unchecked.  */
@@ -99,7 +101,8 @@ enum contract_evaluation_semantic {
   CES_IGNORE = 1,
   CES_OBSERVE = 2,
   CES_ENFORCE = 3,
-  CES_QUICK = 4
+  CES_QUICK = 4,
+  CES_NOEXCEPT_ENFORCE =5
 };
 
 enum constract_detection_mode {