// RUN: %clang_cc1 -fsyntax-only -verify -std=c++20 %s

// Various tests for -fno-exceptions

typedef __SIZE_TYPE__ size_t;

namespace test0 {
  class Foo {
  public:
    void* operator new(size_t x);
  private:
    void operator delete(void *x);
  };

  void test() {
    // Under -fexceptions, this does access control for the associated
    // 'operator delete'.
    (void) new Foo();
  }
}

namespace test1 {
void f() {
  throw; // expected-error {{cannot use 'throw' with exceptions disabled}}
}

void g() {
  try { // expected-error {{cannot use 'try' with exceptions disabled}}
    f();
  } catch (...) {
  }
}
}

namespace test2 {
template <auto enable> void foo(auto &&Fnc) {
  if constexpr (enable)
    try {
      Fnc();
    } catch (...) {
    }
  else
    Fnc();
}

void bar1() {
  foo<false>([] {});
}

template <typename T> void foo() {
  try { // expected-error {{cannot use 'try' with exceptions disabled}}
  } catch (...) {
  }
  throw 1; // expected-error {{cannot use 'throw' with exceptions disabled}}
}
void bar2() { foo<int>(); } // expected-note {{in instantiation of function template specialization 'test2::foo<int>' requested here}}
}