Merge pull request gcc-mirror#76 from iains/contracts-nonattr-fix-noconst-in-postconditions

c++, contracts: Make sure we check const-ification is required on post.

Author: villevoutilainen

gcc/cp/contracts.cc

@@ -2763,6 +2763,7 @@ maybe_reject_param_in_postcondition (tree decl)
   if (flag_contracts_nonattr
       && !TREE_READONLY (decl)
       && TREE_CODE (decl) == PARM_DECL
+      && should_constify_contract
       && processing_postcondition
       && !dependent_type_p (TREE_TYPE (decl))
       && !CP_TYPE_CONST_P (TREE_TYPE (decl))

gcc/testsuite/g++.dg/contracts/cpp26/postcondition-with-nonconst.C

@@ -0,0 +1,11 @@
+// { dg-options "-std=c++23 -fcontracts -fcontracts-nonattr -fcontracts-nonattr-noconst" }
+
+// This should compile without error.
+
+class X {
+
+static int calc ()
+  post (alignment: 0 == (alignment & (alignment-1)));
+
+};
+