1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// 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);
}
|
