| // Tests that the implicit declared allocation functions |
| // are attached to the global module fragment. |
| // RUN: rm -rf %t |
| // RUN: mkdir -p %t |
| // RUN: split-file %s %t |
| // |
| // RUN: %clang_cc1 -std=c++20 %t/foo.cppm -fsyntax-only -verify |
| // RUN: %clang_cc1 -std=c++20 %t/foo2.cppm -fsyntax-only -verify |
| |
| //--- foo.cppm |
| export module foo; |
| export void alloc_wrapper() { |
| void *a = ::operator new(32); |
| // [basic.stc.dynamic.general]Note2 |
| // The implicit declarations do not introduce the names std, std::size_t, |
| // std::align_val_t, ..., However, referring to std or std::size_t or |
| // std::align_val_t is ill-formed unless a standard library declaration |
| // ([cstddef.syn], [new.syn], [std.modules]) of that name precedes |
| // ([basic.lookup.general]) the use of that name. |
| void *b = ::operator new((std::size_t)32); // expected-error {{use of undeclared identifier 'std'}} |
| void *c = ::operator new((std::size_t)32, // expected-error {{use of undeclared identifier 'std'}} |
| (std::align_val_t)64); // expected-error {{use of undeclared identifier 'std'}} |
| |
| ::operator delete(a); |
| ::operator delete(b, (std::size_t)32); // expected-error {{use of undeclared identifier 'std'}} |
| ::operator delete(c, (std::size_t)32, // expected-error {{use of undeclared identifier 'std'}} |
| (std::align_val_t)64); // expected-error {{use of undeclared identifier 'std'}} |
| } |
| |
| //--- new |
| namespace std { |
| using size_t = decltype(sizeof(0)); |
| enum class align_val_t : size_t {}; |
| } |
| |
| [[nodiscard]] void *operator new(std::size_t); |
| [[nodiscard]] void *operator new(std::size_t, std::align_val_t); |
| [[nodiscard]] void *operator new[](std::size_t); |
| [[nodiscard]] void *operator new[](std::size_t, std::align_val_t); |
| void operator delete(void*) noexcept; |
| void operator delete(void*, std::size_t) noexcept; |
| void operator delete(void*, std::align_val_t) noexcept; |
| void operator delete(void*, std::size_t, std::align_val_t) noexcept; |
| void operator delete[](void*, std::size_t, std::align_val_t) noexcept; |
| void operator delete[](void*, std::size_t) noexcept; |
| void operator delete[](void*, std::align_val_t) noexcept; |
| void operator delete[](void*, std::size_t, std::align_val_t) noexcept; |
| |
| //--- foo2.cppm |
| // expected-no-diagnostics |
| module; |
| #include "new" |
| export module foo2; |
| export void alloc_wrapper() { |
| void *a = ::operator new(32); |
| void *b = ::operator new((std::size_t)32); |
| void *c = ::operator new((std::size_t)32, |
| (std::align_val_t)64); |
| |
| ::operator delete(a); |
| ::operator delete(b, (std::size_t)32); |
| ::operator delete(c, (std::size_t)32, |
| (std::align_val_t)64); |
| } |