xref: /llvm-project/clang/test/SemaCXX/coroutine-no-valid-dealloc.cpp (revision f65f06d63f6a0e40c33a9d77eeb381f1b2a8a524)
1 // Test that if the compiler will emit error message if the promise_type contain
2 // operator delete but none of them are available. This is required by the standard.
3 // RUN: %clang_cc1 %s -std=c++20 %s -fsyntax-only -verify
4 
5 #include "Inputs/std-coroutine.h"
6 
7 namespace std {
8     typedef __SIZE_TYPE__ size_t;
9     enum class align_val_t : size_t {};
10 }
11 
12 struct task {
13   struct promise_type {
initial_suspendtask::promise_type14     auto initial_suspend() { return std::suspend_always{}; }
final_suspendtask::promise_type15     auto final_suspend() noexcept { return std::suspend_always{}; }
get_return_objecttask::promise_type16     auto get_return_object() { return task{}; }
unhandled_exceptiontask::promise_type17     void unhandled_exception() {}
return_valuetask::promise_type18     void return_value(int) {}
19 
20     void operator delete(void *ptr, void *meaningless_placeholder); // expected-note {{member 'operator delete' declared here}}
21   };
22 };
23 
f()24 task f() { // expected-error 1+{{no suitable member 'operator delete' in 'promise_type'}}
25   co_return 43;
26 }
27