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

   1 // ensure no errors are thrown when we have to insert a decl for the internal
   2 // unchecked function after leaving a (possibly nested) namespace
   3 // { dg-do compile }
   4 // { dg-options "-std=c++2a -fcontracts" }
   5
   6 namespace ns0
   7 {
   8   int f(int a) [[ pre: a > 0 ]];
   9 }
  10
  11 int ns0::f(int a) [[ pre: a > 0 ]]
  12 {
  13   return -a;
  14 }
  15
  16 namespace ns0
  17 {
  18   namespace ns1
  19   {
  20     int f(int a) [[ pre: a > 0 ]];
  21   }
  22 }
  23
  24 int ns0::ns1::f(int a) [[ pre: a > 0 ]]
  25 {
  26   return -a;
  27 }
  28
  29 namespace ns0
  30 {
  31   namespace ns1
  32   {
  33     int f2(int a) [[ pre: a > 0 ]];
  34     namespace ns2
  35     {
  36       int f(int a) [[ pre: a > 0 ]];
  37     }
  38   }
  39   int ns1::f2(int a) [[ pre: a > 0 ]]
  40   {
  41     return -a;
  42   }
  43 }
  44
  45 int ns0::ns1::ns2::f(int a) [[ pre: a > 0 ]]
  46 {
  47   return -a;
  48 }
  49
  50 namespace ns0
  51 {
  52   struct S
  53   {
  54     int f(int a) [[ pre: a > 0 ]];
  55   };
  56   namespace ns1
  57   {
  58     struct S2
  59     {
  60       int f(int a) [[ pre: a > 0 ]];
  61     };
  62   }
  63 }
  64
  65 int ns0::S::f(int a) [[ pre: a > 0 ]]
  66 {
  67   return -a;
  68 }
  69
  70 int ns0::ns1::S2::f(int a) [[ pre: a > 0 ]]
  71 {
  72   return -a;
  73 }
  74