Merge pull request gcc-mirror#91 from NinaRanns/retiring-contracts-cpp26-attr-tests

Retiring contracts cpp26 attr tests

Author: villevoutilainen

gcc/cp/parser.cc

@@ -31561,6 +31561,13 @@ cp_parser_contract_attribute_spec (cp_parser *parser, tree attribute)
       return error_mark_node;
     }
 
+  if (flag_contracts_nonattr)
+    {
+      error_at (loc, "C++2x contracts are not available with "
+		"%<-fcontracts-nonattr%>");
+      return error_mark_node;
+    }
+
   return finish_contract_attribute (attribute, contract);
 }
 

gcc/testsuite/g++.dg/contracts/cpp26-attr/check-err.C

@@ -0,0 +1,15 @@
+// test that attribute syntax is diagnosed when using -fcontracts-nonattr
+// { dg-do compile }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr" }
+
+int fun(int n)  [[ pre : n > 0 ]]; // { dg-error "contracts are not available with" }
+int fun2(const int n)  [[ post : n > 0 ]]; // { dg-error "contracts are not available with" }
+
+int main()
+{
+  int x;
+
+  [[assert: x >= 0]]; // { dg-error "ontracts are not available with" }
+
+  return 0;
+}