[llvm-bugs] [Bug 38850] New: evaluating an exception specification should not be a SFINAE context

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=38850

            Bug ID: 38850
           Summary: evaluating an exception specification should not be a
                    SFINAE context
           Product: clang
           Version: 5.0
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++11
          Assignee: unassignedclangbugs at nondot.org
          Reporter: richard-llvm at metafoo.co.uk
                CC: dgregor at apple.com, llvm-bugs at lists.llvm.org

Evaluating an exception specification is currently treated as a SFINAE context,
in order to accept code such as:

  struct A {
    struct X { int n = 0; } x;
    static_assert(!__is_constructible(X), "");
  };

(which shows up during a bootstrap). However, this results in our caching a
potentially-wrong value for the exception specification of A::X::X().

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180905/1d8a1638/attachment-0001.html>