Add a missing case for NOEXCEPT_ENFORCE

Author: villevoutilainen

gcc/cp/contracts.cc

@@ -2390,7 +2390,7 @@ build_contract_check (tree contract)
 	  finish_expr_stmt (finish_call_expr (fn, &vec, false, false,
 					      tf_warning_or_error));
 	}
-      else if (semantic == CCS_ENFORCE)
+      else if (semantic == CCS_ENFORCE || semantic == CCS_NOEXCEPT_ENFORCE)
 	/* FIXME: we should not call this when exceptions are disabled.  */
 	finish_expr_stmt (build_call_a (terminate_fn, 0, nullptr));
       finish_then_clause (if_stmt);

gcc/testsuite/g++.dg/contracts/cpp26/noexcept-enforce3.C

@@ -0,0 +1,27 @@
+// { dg-do run }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=noexcept_enforce " }
+#include <experimental/contract>
+#include <exception>
+#include <cstdlib>
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  std::exit(0);
+}
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+}
+
+void f(int x) pre(x >= 0)
+{
+}
+
+int main()
+{
+  std::set_terminate (my_term);
+  f(-42);
+  // We should not get here
+  return 1;
+}