| // { dg-options "-std=gnu++23" } | |
| // { dg-do compile { target c++23 } } | |
| #include <utility> | |
| #ifndef __cpp_lib_unreachable | |
| # error "Feature-test macro for unreachable missing in <utility>" | |
| #elif __cpp_lib_unreachable != 202202L | |
| # error "Feature-test macro for unreachable has wrong value in <utility>" | |
| #endif | |
| bool test01(int i) | |
| { | |
| if (i == 4) | |
| return true; | |
| std::unreachable(); | |
| } // { dg-bogus "control reaches end of non-void function" } |