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

   1 // An assumed contract shouldn't break constant evaluation.
   2
   3 // { dg-do compile { target c++20 } }
   4 // { dg-additional-options -fcontracts }
   5
   6 bool b;
   7
   8 constexpr int f() [[ pre assume: b ]] { return 42; }
   9
  10 static_assert (f() > 0);