gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec3.C

// { dg-do run }
// { dg-options "-std=c++2a -fcontracts -fcontract-continuation-mode=on" }
#include <cstdio>

template<typename T, typename S>
struct G5
{
  template<typename R>
  void f(T t, S s, R r)
    [[ pre: t > 0 ]] [[ pre: s > 0 ]] [[ pre: r > 0 ]]
  {
    printf ("G5 gen T S, f gen R\n");
  }
};

// specializations can remove contracts
template<>
template<typename R>
void G5<double, double>::f(double a, double b, R c)
{
  printf ("G5 full double double, f gen R\n");
}

int main(int, char**) {
  G5<double, double> g5_full;
  g5_full.f(-1.0, -1.0, -2);
  g5_full.f(-1.0, -1.0, -2.1);

  G5<int, double> g5_gen;
  g5_gen.f(-1, -1.0, -2);
  g5_gen.f(-1, -1.0, -2.1);
  return 0;
}

// { dg-output "G5 full double double, f gen R(\n|\r\n|\r)*" }
// { dg-output "G5 full double double, f gen R(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 10 G5<int, .* t > 0 .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 10 G5<int, .* s > 0 .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 10 G5<int, .* r > 0 .*(\n|\r\n|\r)*" }
// { dg-output "G5 gen T S, f gen R(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 10 G5<int, .* t > 0 .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 10 G5<int, .* s > 0 .*(\n|\r\n|\r)*" }
// { dg-output "default std::handle_contract_violation called: .*.C 10 G5<int, .* r > 0 .*(\n|\r\n|\r)*" }
// { dg-output "G5 gen T S, f gen R(\n|\r\n|\r)*" }