Merge pull request #46 from NinaRanns/contracts_noexcept_tests

adding more noexcept function tests, renaming existing tests

Author: villevoutilainen

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

@@ -0,0 +1,47 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a post condition on a constructor with function
+// try block
+// { dg-do run }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe " }
+
+#include <experimental/contract>
+#include <exception>
+#include <cstdlib>
+
+struct MyException{};
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  try { throw; }
+  catch(MyException) { std::exit(0); }
+}
+
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+  throw MyException{};
+}
+
+struct X
+{
+
+    X(const int x) noexcept post(x>1) try
+    {
+       int i = 1;
+    }
+    catch(...) {}
+};
+
+int main()
+{
+  std::set_terminate (my_term);
+  try
+  {
+      X x(-42);
+  } catch (...) {
+  }
+  // We should not get here
+  return 1;
+}

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

@@ -0,0 +1,47 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a pre condition on a constructor with function
+// try block
+// { dg-do run }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe " }
+
+#include <experimental/contract>
+#include <exception>
+#include <cstdlib>
+
+struct MyException{};
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  try { throw; }
+  catch(MyException) { std::exit(0); }
+}
+
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+  throw MyException{};
+}
+
+struct X
+{
+
+    X(int x) noexcept pre(x>1) try
+    {
+       int i = 1;
+    }
+    catch(...) {}
+};
+
+int main()
+{
+  std::set_terminate (my_term);
+  try
+  {
+      X x(-42);
+  } catch (...) {
+  }
+  // We should not get here
+  return 1;
+}

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

@@ -0,0 +1,50 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a pre condition on a constructor
+// { dg-do run }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe " }
+
+#include <experimental/contract>
+#include <exception>
+#include <cstdlib>
+
+struct MyException{};
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  try { throw; }
+  catch(MyException) { std::exit(0); }
+}
+
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+  throw MyException{};
+}
+
+struct X
+{
+
+    X(int x) noexcept pre(x>1)
+    {
+      try{
+       int i = 1;
+      }
+      catch(...) {
+      }
+    }
+};
+
+int main()
+{
+  std::set_terminate (my_term);
+  try
+  {
+      X x(-42);
+  } catch (...) {
+  }
+  // We should not get here
+  return 1;
+
+}

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

@@ -0,0 +1,49 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a pre condition on a destructor
+// { dg-do compile }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe " }
+
+#include <experimental/contract>
+#include <exception>
+#include <cstdlib>
+
+struct MyException{};
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  try { throw; }
+  catch(MyException) { std::exit(0); }
+}
+
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+  throw MyException{};
+}
+
+const int x = -42;
+
+struct X
+{
+
+    ~X() noexcept pre(x>1)
+    {
+      try{}
+      catch(...){
+      }
+    }
+};
+
+int main()
+{
+  std::set_terminate (my_term);
+  try
+  {
+      X x;
+  } catch (...) {
+  }
+  // We should not get here
+  return 1;
+}

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

@@ -0,0 +1,49 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a pre condition on an implictly noexcept
+// destructor
+// { dg-do run }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe " }
+
+#include <experimental/contract>
+#include <exception>
+#include <cstdlib>
+
+struct MyException{};
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  try { throw; }
+  catch(MyException) { std::exit(0); }
+}
+
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+  throw MyException{};
+}
+
+const int x = -42;
+
+struct X
+{
+
+    ~X() pre(x>1) try
+    {
+    }
+    catch(...) {}
+};
+
+int main()
+{
+  std::set_terminate (my_term);
+  try
+  {
+      X x;
+  } catch (...) {
+  }
+  // We should not get here
+  return 1;
+
+}

gcc/testsuite/g++.dg/contracts/cpp26/callerside_checks-all.C renamed to gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/callerside-checks-all.C

@@ -0,0 +1,48 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a post condition on a member function
+// with caller side checks.
+// { dg-do run }
+// { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe -fcontracts-nonattr-client-contracts=all " }
+
+#include <experimental/contract>
+#include <iostream>
+#include <exception>
+#include <cstdlib>
+
+struct MyException{};
+
+// Test that there is an active exception when we reach the terminate handler.
+void my_term()
+{
+  try { throw; }
+  catch(MyException) { std::exit(0); }
+}
+
+
+void handle_contract_violation(const std::experimental::contract_violation& violation)
+{
+  throw MyException{};
+}
+
+void f(const int x) noexcept post(x >= 0)
+{
+  try{
+   int i = 1;
+  }
+  catch(...) {
+  }
+}
+
+int main()
+{
+
+  std::set_terminate (my_term);
+  try
+  {
+      f(-42);
+  } catch (...) {
+  }
+  // We should not get here
+  return 1;
+}

gcc/testsuite/g++.dg/contracts/cpp26/callerside_checks-none.C renamed to gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/callerside-checks-none.C

@@ -1,3 +1,7 @@
+// Throwing violation handler in a pre/post check on a noexcept function
+// behaves as if the function exited via an exception.
+// This tests the behaviour of a post condition on a member function
+// with caller side checks.
 // { dg-do run }
 // { dg-options "-std=c++2a -fcontracts -fcontracts-nonattr -fcontract-evaluation-semantic=observe -fcontracts-nonattr-client-contracts=all " }
 
@@ -21,7 +25,14 @@ void handle_contract_violation(const std::experimental::contract_violation& viol
   throw MyException{};
 }
 
-void f(int x) noexcept pre(x >= 0)  {}
+void f(int x) noexcept pre(x >= 0)
+{
+  try{
+   int i = 1;
+  }
+  catch(...) {
+  }
+}
 
 int main()
 {
@@ -32,4 +43,6 @@ int main()
       f(-42);
   } catch (...) {
   }
+  // We should not get here
+  return 1;
 }