| // { dg-additional-options "-fmodule-header -Wextra" } | |
| // { dg-module-cmi {} } | |
| void* operator new(__SIZE_TYPE__, void* __p) noexcept; | |
| void* operator new[](__SIZE_TYPE__, void* __p) noexcept; | |
| void operator delete (void*, void*) noexcept; | |
| void operator delete[](void*, void*) noexcept; | |