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

   1 // test that contracts on overriding functions are found correctly
   2 // { dg-do run }
   3 // { dg-options "-std=c++2a -fcontracts -fcontract-continuation-mode=on" }
   4
   5 struct Base
   6 {
   7   virtual int f(int a) [[ pre: a > 0 ]];
   8 };
   9
  10 int Base::f(int a)
  11 {
  12   return a + 10;
  13 }
  14
  15 // inherits original
  16 struct Child0 : Base
  17 {
  18 };
  19
  20 // defined out of line, explicit override
  21 struct Child1 : Base
  22 {
  23   virtual int f(int a) override;
  24 };
  25
  26 int Child1::f(int a)
  27 {
  28   return a + 20;
  29 }
  30
  31 // defined out of line
  32 struct Child2 : Base
  33 {
  34   int f(int a);
  35 };
  36
  37 int Child2::f(int a)
  38 {
  39   return a + 30;
  40 }
  41
  42 // defined inline, explicitly override
  43 struct Child3 : Base
  44 {
  45   virtual int f(int a) override
  46   {
  47     return a + 40;
  48   }
  49 };
  50
  51 // defined inline
  52 struct Child4 : Base
  53 {
  54   int f(int a)
  55   {
  56     return a + 50;
  57   }
  58 };
  59
  60 #include <cstdio>
  61 int main(int, char**)
  62 {
  63   Base b;
  64   Child0 c0;
  65   Child1 c1;
  66   Child2 c2;
  67   Child3 c3;
  68   Child4 c4;
  69
  70   printf("Base: %d\n", b.f(-10));
  71   printf("Child0: %d\n", c0.f(-10));
  72   printf("Child1: %d\n", c1.f(-10));
  73   printf("Child2: %d\n", c2.f(-10));
  74   printf("Child3: %d\n", c3.f(-10));
  75   printf("Child4: %d\n", c4.f(-10));
  76
  77   return 0;
  78 }
  79
  80 // { dg-skip-if "requires hosted libstdc++ for cstdio" { ! hostedlib } }
  81 // { dg-output "contract violation in function Base::f at .*.C:7: .*(\n|\r\n|\r)" }
  82 // { dg-output "Base: 0(\n|\r\n|\r)" }
  83 // { dg-output "contract violation in function Base::f at .*.C:7: .*(\n|\r\n|\r)" }
  84 // { dg-output "Child0: 0(\n|\r\n|\r)" }
  85 // { dg-output "contract violation in function Child1::f at .*.C:7: .*(\n|\r\n|\r)" }
  86 // { dg-output "Child1: 10(\n|\r\n|\r)" }
  87 // { dg-output "contract violation in function Child2::f at .*.C:7: .*(\n|\r\n|\r)" }
  88 // { dg-output "Child2: 20(\n|\r\n|\r)" }
  89 // { dg-output "contract violation in function Child3::f at .*.C:7: .*(\n|\r\n|\r)" }
  90 // { dg-output "Child3: 30(\n|\r\n|\r)" }
  91 // { dg-output "contract violation in function Child4::f at .*.C:7: .*(\n|\r\n|\r)" }
  92 // { dg-output "Child4: 40(\n|\r\n|\r)" }
  93