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

// ensure that passing pre/post do not affect constexpr functions
// ensure that failing pre/post generate an error at runtime in constexpr funcs
// { dg-do run }
// { dg-options "-std=c++20 -fcontracts -fcontract-continuation-mode=on" }

constexpr int wfun(int a)
  [[ pre: a > 0 ]]
  [[ post r: r > 0 ]]
{
  return a;
}

constexpr int ffun(int a)
  [[ pre: a > 0 ]]
  [[ post r: r > 0 ]]
{
  return a;
}

template<typename T>
constexpr int tfun(T a)
  [[ pre: a > 0 ]]
  [[ post r: r > 0 ]]
{
  return a;
}

template<typename T>
constexpr int wtfun(T a)
  [[ pre: a > 0 ]]
  [[ post r: r > 0 ]]
{
  return a;
}

template<typename T>
constexpr int ftfun(T a)
  [[ pre: a > 0 ]]
  [[ post r: r > 0 ]]
{
  return a;
}

constexpr int explicitfn(int a)
  [[ pre ignore: a > 0 ]]
  [[ pre check_maybe_continue: a > 0 ]]
  [[ post ignore r: r > 0 ]]
  [[ post check_maybe_continue r: r > 0 ]]
{
  return a;
}

int main(int, char **) {
  constexpr int a = wfun(10);
  int b = ffun(-10);
  constexpr int c = wtfun(10);
  int d = ftfun(-10);

  int e = explicitfn(-10);

  int z = ftfun(-10.0);

  return 0;
}

// { dg-output "default std::handle_contract_violation called: .*.C 14 ffun .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 15 ffun .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 38 ftfun<int> .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 39 ftfun<int> .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 46 explicitfn .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 48 explicitfn .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 38 ftfun<double> .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 39 ftfun<double> .*(\n|\r\n|\r)*" }