adding negative tests

Author: NinaRanns

gcc/testsuite/g++.dg/contracts/cpp26/P2900R13-virtual-func/postcondition-const-check-redecl.C

@@ -20,15 +20,23 @@ struct Base
 struct Derived : Base
 {
   virtual void f (const NTClass i)  post (check (i));
+  virtual void g (const NTClass i) pre ( check (i)) post (true);
 };
 
 struct DerivedV : virtual Base
 {
   virtual void f (const NTClass i)  post (check (i));
+  virtual void g (const NTClass i) pre ( check (i)) post (true);
 };
 
 void
 Derived::f (NTClass i){} // { dg-error "used in a postcondition must be const" }
 
 void
 DerivedV::f (NTClass i){} // { dg-error "used in a postcondition must be const" }
+
+void
+Derived::g (NTClass i){}
+
+void
+DerivedV::g (NTClass i){}

gcc/testsuite/g++.dg/contracts/cpp26/P3653-virtual-func/postcondition-const-check-redecl.C

@@ -20,15 +20,23 @@ struct Base
 struct Derived : Base
 {
   virtual void f (const NTClass i)  post (check (i));
+  virtual void g (const NTClass i) pre ( check (i)) post (true);
 };
 
 struct DerivedV : virtual Base
 {
   virtual void f (const NTClass i)  post (check (i));
+  virtual void g (const NTClass i) pre ( check (i)) post (true);
 };
 
 void
 Derived::f (NTClass i){} // { dg-error "used in a postcondition must be const" }
 
 void
 DerivedV::f (NTClass i){} // { dg-error "used in a postcondition must be const" }
+
+void
+Derived::g (NTClass i){}
+
+void
+DerivedV::g (NTClass i){}

gcc/testsuite/g++.dg/contracts/cpp26/P3653-virtual-func/postcondition-const-check.C

@@ -15,18 +15,21 @@ struct Base
 {
   virtual void f (const NTClass i)  post (check (i));
   virtual void f (const int i)  post (check (i));
-
-
+  virtual void g (const NTClass i, int& j) pre ( check (i)) post (check(j));
 }  ;
 
 struct Derived : Base
 {
   void f (NTClass i); // { dg-error "used in a postcondition must be const" }
+
+  void g (NTClass i, int& j);
 };
 
 struct DerivedV : virtual Base
 {
   void f (NTClass i); // { dg-error "used in a postcondition must be const" }
+
+  void g (NTClass i, int& j);
 };
 
 template<typename T>
@@ -35,6 +38,8 @@ struct DerivedT : Base
   void f (NTClass i) {};
 
   void f (T i) {};
+
+  void g (NTClass i, T& j);
 };
 
 template<typename T>
@@ -43,6 +48,8 @@ template<typename T>
     void f (NTClass i) {};
 
     void f (T i) {};
+
+    void g (NTClass i, T& j);
   };
 
 template<typename T>
@@ -51,6 +58,8 @@ struct BaseT
   virtual void f (const NTClass i) post (check (i));
 
   virtual void f (const T i) post (check (i));
+
+  virtual void g (const NTClass i, T& j) pre ( check (i)) post (check(j));
 };
 
 template<typename T>
@@ -59,6 +68,8 @@ struct DerivedTT : BaseT<T>
   void f (NTClass i) {};
 
   void f (T i) {};
+
+  void g (NTClass i, T& j);
 };
 
 template <typename T>
@@ -67,6 +78,8 @@ struct DerivedTVT : virtual BaseT<T>
   void f (NTClass i) {};
 
   void f (T i) {};
+
+  void g (NTClass i, T& j);
 };
 
 // adding DerivedT2 for diagnostic disambiguation purposes
@@ -76,6 +89,8 @@ struct DerivedT2 : Base
   void f (NTClass i) {};
 
   void f (T i) {};
+
+  void g (NTClass i, T& j);
 };
 
 // adding DerivedTV2 for diagnostic disambiguation purposes
@@ -85,6 +100,8 @@ struct DerivedTV2 : virtual Base
   void f (NTClass i) {};
 
   void f (T i) {};
+
+  void g (NTClass i, T& j);
 };
 
 template<typename T>
@@ -93,6 +110,8 @@ struct DerivedTT2 : BaseT<T>
   void f (NTClass i) {};
 
   void f (int i) {};
+
+  void g (NTClass i, T& j);
 };
 
 template <typename T>
@@ -101,39 +120,41 @@ struct DerivedTVT2 : virtual BaseT<T>
   void f (NTClass i) {};
 
   void f (int i) {};
+
+  void g (NTClass i, T& j);
 };
 
 
 int main()
 {
   DerivedT<int>  dt;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 35 }
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 37 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 38 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 40 }
 
   DerivedTV<int>  dvt;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 43 }
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 45 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 48 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 50 }
 
 
   DerivedTT<int>  dt2;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 59 }
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 61 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 68 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 70 }
 
   DerivedTVT<int>  dvt2;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 67 }
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 69 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 78 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 80 }
 
 
   DerivedT2<char>  dtc;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 76 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 89 }
 
   DerivedTV2<char>  dvtc;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 85 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 100 }
 
   DerivedTT2<char>  dtc2;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 93 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 110 }
 
   DerivedTVT2<char>  dvtc2;
-  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 101 }
+  // { dg-error {used in a postcondition must be const} "" { target *-*-* } 120 }
 
 }

gcc/testsuite/g++.dg/contracts/cpp26/postcondition-const-check.C

@@ -177,3 +177,69 @@ namespace nonFirstDeclaration
   void PostCondT<T>::f (U i){} // { dg-error "used in a postcondition must be const" }
 
 }
+
+namespace nonFirstDeclarationNegative
+{
+
+  int f (const NTClass i)
+    post ( check (true))
+    pre ( check (i));
+
+  template <class T>
+  int f (const T i)
+    post ( check (true))
+    pre ( check (i));
+
+  struct PostCond {
+    void f (const NTClass i)
+      post ( check (true))
+      pre ( check (i));
+
+    template <class T>
+    void f (const T i)
+      post ( check (true))
+      pre ( check (i));
+  };
+
+  template <typename T>
+  struct PostCondT
+  {
+    void f (const NTClass i)
+      post ( check (true))
+      pre ( check (i));
+
+    void f (const T i)
+      post ( check (true))
+      pre ( check (i));
+
+    template <class U>
+    void f (const U i)
+      post ( check (true))
+      pre ( check (i));
+  };
+
+  int
+  f (NTClass i);
+
+  template<class T>
+  int
+  f (T i);
+
+  void
+  PostCond::f (NTClass i){}
+
+  template<class T>
+  void
+  PostCond::f (T i){}
+
+  template<typename T>
+  void PostCondT<T>::f (NTClass i){}
+
+  template<typename T>
+  void PostCondT<T>::f (T i){}
+
+  template<typename T>
+  template<typename U>
+  void PostCondT<T>::f (U i){}
+
+}