1acf3bdc2SBruno Ricci // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s
2acf3bdc2SBruno Ricci
Fun()389ff9bf0SBruno Ricci consteval int Fun() { return; } // expected-error {{non-void consteval function 'Fun' should return a value}}
4acf3bdc2SBruno Ricci
FunT1()589ff9bf0SBruno Ricci template <typename T> consteval int FunT1() { return; } // expected-error {{non-void consteval function 'FunT1' should return a value}}
FunT2()6acf3bdc2SBruno Ricci template <typename T> consteval int FunT2() { return 0; }
FunT2()7acf3bdc2SBruno Ricci template <> consteval int FunT2<double>() { return 0; }
FunT2()889ff9bf0SBruno Ricci template <> consteval int FunT2<int>() { return; } // expected-error {{non-void consteval function 'FunT2<int>' should return a value}}
989ff9bf0SBruno Ricci
1089ff9bf0SBruno Ricci enum E {};
1189ff9bf0SBruno Ricci
operator +(E,E)1289ff9bf0SBruno Ricci constexpr E operator+(E,E) { return; } // expected-error {{non-void constexpr function 'operator+' should return a value}}
operator -(E,E)13*528deeddSArthur O'Dwyer consteval E operator-(E,E) { return; } // expected-error {{non-void consteval function 'operator-' should return a value}}
operator +(E,E)14*528deeddSArthur O'Dwyer template <typename T> constexpr E operator+(E,E) { return; } // expected-error {{non-void constexpr function 'operator+' should return a value}}
operator -(E,E)1589ff9bf0SBruno Ricci template <typename T> consteval E operator-(E,E) { return; } // expected-error {{non-void consteval function 'operator-' should return a value}}
1689ff9bf0SBruno Ricci
1789ff9bf0SBruno Ricci template <typename T> constexpr E operator*(E,E);
1889ff9bf0SBruno Ricci template <typename T> consteval E operator/(E,E);
1989ff9bf0SBruno Ricci template <> constexpr E operator*<int>(E,E) { return; } // expected-error {{non-void constexpr function 'operator*<int>' should return a value}}
2089ff9bf0SBruno Ricci template <> consteval E operator/<int>(E,E) { return; } // expected-error {{non-void consteval function 'operator/<int>' should return a value}}
21038edf60SRichard Smith
no_return()22038edf60SRichard Smith consteval void no_return() {}
with_return()23038edf60SRichard Smith consteval void with_return() { return; }
with_return_void()24038edf60SRichard Smith consteval void with_return_void() { return void(); }
use_void_fn()25038edf60SRichard Smith void use_void_fn() {
26038edf60SRichard Smith no_return();
27038edf60SRichard Smith with_return();
28038edf60SRichard Smith with_return_void();
29038edf60SRichard Smith }
30