test/SemaCXX/implicit-exception-spec.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -std=c++0x -Wall %s
   2
   3 template<bool b> struct ExceptionIf { static int f(); };
   4 template<> struct ExceptionIf<false> { typedef int f; };
   5
   6 // The exception specification of a defaulted default constructor depends on
   7 // the contents of in-class member initializers. However, the in-class member
   8 // initializers can depend on the exception specification of the constructor,
   9 // since the class is considered complete within them. We reject any such cases.
  10 namespace InClassInitializers {
  11   // Noexcept::Noexcept() is implicitly declared as noexcept(false), because it
  12   // directly invokes ThrowSomething(). However...
  13   //
  14   // If noexcept(Noexcept()) is false, then Noexcept() is a constant expression,
  15   // so noexcept(Noexcept()) is true. But if noexcept(Noexcept()) is true, then
  16   // Noexcept::Noexcept is not declared constexpr, therefore noexcept(Noexcept())
  17   // is false.
  18   bool ThrowSomething() noexcept(false);
  19   struct ConstExpr {
  20     bool b = noexcept(ConstExpr()) && ThrowSomething(); // expected-error {{exception specification is not available until end of class definition}}
  21   };
  22   // We can use it now.
  23   bool w = noexcept(ConstExpr());
  24
  25   // Much more obviously broken: we can't parse the initializer without already
  26   // knowing whether it produces a noexcept expression.
  27   struct TemplateArg {
  28     int n = ExceptionIf<noexcept(TemplateArg())>::f(); // expected-error {{exception specification is not available until end of class definition}}
  29   };
  30   bool x = noexcept(TemplateArg());
  31
  32   // And within a nested class.
  33   struct Nested {
  34     struct Inner {
  35       int n = ExceptionIf<noexcept(Nested())>::f(); // expected-error {{exception specification is not available until end of class definition}}
  36     } inner;
  37   };
  38   bool y = noexcept(Nested());
  39   bool z = noexcept(Nested::Inner());
  40 }
  41
  42 // FIXME:
  43 // The same problem arises in delayed parsing of exception specifications,
  44 // which clang does not yet support.
  45 namespace ExceptionSpecification {
  46   struct Nested { // expected-note {{not complete}}
  47     struct T {
  48       T() noexcept(!noexcept(Nested())); // expected-error {{incomplete type}}
  49     } t;
  50   };
  51 }
  52
  53 // FIXME:
  54 // The same problem arises in delayed parsing of default arguments,
  55 // which clang does not yet support.
  56 namespace DefaultArgument {
  57   // FIXME: this diagnostic is completely wrong.
  58   struct Default { // expected-note {{explicitly marked deleted here}}
  59     struct T {
  60       T(int = ExceptionIf<noexcept(Default())::f()); // expected-error {{call to deleted constructor}}
  61     } t;
  62   };
  63 }