gcc/testsuite/g++.dg/modules/contracts-1_a.C

   1 // Basic test to ensure that guarded templates correctly serialize and
   2 // deserialize their contracts through the CMI.
   3 // { dg-additional-options "-fmodules-ts -fcontracts -fcontract-continuation-mode=on" }
   4 module;
   5 #include <cstdio>
   6 #include <experimental/contract>
   7 export module foo;
   8 // { dg-module-cmi foo }
   9
  10 export int violation_count{0};
  11 export extern "C++" void handle_contract_violation(const std::experimental::contract_violation &violation)
  12 {
  13   violation_count++;
  14   printf("violation_count: %d\n", violation_count);
  15 }
  16
  17 export int nontemplate(int n)
  18   [[ pre: n > 0 ]]
  19   [[ post r: r > 0 ]]
  20 {
  21   return -n;
  22 }
  23
  24 export
  25 template<typename T>
  26 T fn(T n)
  27   [[ pre: n > 0 ]]
  28   [[ post r: r > 0 ]]
  29 {
  30   printf("%s(%d)\n", __FUNCTION__, n);
  31   return n;
  32 }
  33
  34 export
  35 template<typename T>
  36 void void_fn(T n)
  37   [[ pre: n < 0 ]]
  38 {
  39   printf("%s(%d)\n", __FUNCTION__, n);
  40 }
  41
  42 export void foo_fn()
  43 {
  44   fn(5);
  45 }
  46