gcc/testsuite/g++.dg/contracts/contracts-post7.C

   1 // { dg-do run }
   2 // { dg-options "-std=c++2a -fcontracts" }
   3
   4 #include <experimental/contract>
   5
   6 using std::experimental::contract_violation;
   7 void handle_contract_violation(const contract_violation &violation)
   8 {
   9   __builtin_exit (0);
  10 }
  11
  12 struct A {
  13   int i;
  14   A(): i(42) {}
  15   A(const A&);
  16 };
  17
  18 A f()
  19   [[ post r: r.i == 24 ]]
  20 {
  21   A a;
  22   return a;
  23 }
  24
  25 int main()
  26 {
  27   f();
  28   return -1;
  29 }