1*67e74705SXin Li // RUN: %clang_cc1 -std=c++1y -verify %s -fsized-deallocation -fexceptions -fcxx-exceptions
2*67e74705SXin Li
3*67e74705SXin Li using size_t = decltype(sizeof(0));
4*67e74705SXin Li void operator delete(void *, size_t) noexcept; // expected-note {{'operator delete' declared here}}
5*67e74705SXin Li void operator delete[](void *, size_t) noexcept;
6*67e74705SXin Li
f(void * p,void * q)7*67e74705SXin Li void f(void *p, void *q) {
8*67e74705SXin Li // OK, implicitly declared.
9*67e74705SXin Li operator delete(p, 8);
10*67e74705SXin Li operator delete[](q, 12);
11*67e74705SXin Li static_assert(noexcept(operator delete(p, 8)), "");
12*67e74705SXin Li static_assert(noexcept(operator delete[](q, 12)), "");
13*67e74705SXin Li }
14*67e74705SXin Li
15*67e74705SXin Li void *operator new(size_t bad, size_t idea);
SS16*67e74705SXin Li struct S { S() { throw 0; } };
g()17*67e74705SXin Li void g() {
18*67e74705SXin Li new (123) S; // expected-error {{'new' expression with placement arguments refers to non-placement 'operator delete'}}
19*67e74705SXin Li }
20