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: unassignedclangb...@nondot.org
Reporter: richard-l...@metafoo.co.uk
CC: dgre...@apple.com, llvm-bugs@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._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
