65 lines · plain
1// Tests that the implicit declared allocation functions2// are attached to the global module fragment.3// RUN: rm -rf %t4// RUN: mkdir -p %t5// RUN: split-file %s %t6//7// RUN: %clang_cc1 -std=c++20 %t/foo.cppm -fsyntax-only -verify8// RUN: %clang_cc1 -std=c++20 %t/foo2.cppm -fsyntax-only -verify9 10//--- foo.cppm11export module foo;12export void alloc_wrapper() {13 void *a = ::operator new(32);14 // [basic.stc.dynamic.general]Note215 // The implicit declarations do not introduce the names std, std::size_t,16 // std::align_val_t, ..., However, referring to std or std::size_t or17 // std::align_val_t is ill-formed unless a standard library declaration18 // ([cstddef.syn], [new.syn], [std.modules]) of that name precedes19 // ([basic.lookup.general]) the use of that name.20 void *b = ::operator new((std::size_t)32); // expected-error {{use of undeclared identifier 'std'}}21 void *c = ::operator new((std::size_t)32, // expected-error {{use of undeclared identifier 'std'}}22 (std::align_val_t)64); // expected-error {{use of undeclared identifier 'std'}}23 24 ::operator delete(a);25 ::operator delete(b, (std::size_t)32); // expected-error {{use of undeclared identifier 'std'}}26 ::operator delete(c, (std::size_t)32, // expected-error {{use of undeclared identifier 'std'}}27 (std::align_val_t)64); // expected-error {{use of undeclared identifier 'std'}}28}29 30//--- new31namespace std {32 using size_t = decltype(sizeof(0));33 enum class align_val_t : size_t {};34}35 36[[nodiscard]] void *operator new(std::size_t);37[[nodiscard]] void *operator new(std::size_t, std::align_val_t);38[[nodiscard]] void *operator new[](std::size_t);39[[nodiscard]] void *operator new[](std::size_t, std::align_val_t);40void operator delete(void*) noexcept;41void operator delete(void*, std::size_t) noexcept;42void operator delete(void*, std::align_val_t) noexcept;43void operator delete(void*, std::size_t, std::align_val_t) noexcept;44void operator delete[](void*, std::size_t, std::align_val_t) noexcept;45void operator delete[](void*, std::size_t) noexcept;46void operator delete[](void*, std::align_val_t) noexcept;47void operator delete[](void*, std::size_t, std::align_val_t) noexcept;48 49//--- foo2.cppm50// expected-no-diagnostics51module;52#include "new"53export module foo2;54export void alloc_wrapper() {55 void *a = ::operator new(32);56 void *b = ::operator new((std::size_t)32);57 void *c = ::operator new((std::size_t)32,58 (std::align_val_t)64);59 60 ::operator delete(a);61 ::operator delete(b, (std::size_t)32);62 ::operator delete(c, (std::size_t)32,63 (std::align_val_t)64);64}65