[llvm-bugs] [Bug 33736] New: default member initialization and noexcept problems

[via llvm-bugs]

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

            Bug ID: 33736
           Summary: default member initialization and noexcept problems
           Product: clang
           Version: 4.0
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
          Assignee: unassignedclangbugs at nondot.org
          Reporter: joe.sylve at gmail.com
                CC: dgregor at apple.com, llvm-bugs at lists.llvm.org

I'm seeing an error that is similar to the question raised at
https://stackoverflow.com/questions/43819314.  That question seems to not have
any consensus as to what the problem may be.  

The following code produces a compile-time error in clang++ 4.0.0 and later,
but works fine in gcc as well as previous versions of clang.

#include <memory>

struct A {
    A() noexcept = default;
    A(const A&) noexcept = default;

    std::shared_ptr<int> _a {};
};

int main() {
    return 0;
}

It's worth noting that if I remove the copy constructor, this compiles fine. 
If I remove the noexcept qualification from the default constructor it also
compiles fine.

The error I'm getting is as follows:

<source>:4:5: error: default member initializer for '_a' needed within
definition of enclosing class 'A' outside of member functions
    A() noexcept = default;
    ^
/opt/compiler-explorer/clang-4.0.0/bin/../include/c++/v1/type_traits:1306:29:
note: in instantiation of template class 'std::__1::is_class<int *>' requested
here
template <class _Tp, bool = is_class<_Tp>::value>
                            ^
/opt/compiler-explorer/clang-4.0.0/bin/../include/c++/v1/type_traits:1311:71:
note: in instantiation of default argument for '__libcpp_abstract<int *>'
required here
template <class _Tp> struct _LIBCPP_TEMPLATE_VIS is_abstract : public
__libcpp_abstract<_Tp> {};
                                                                     
^~~~~~~~~~~~~~~~~~~~~~
/opt/compiler-explorer/clang-4.0.0/bin/../include/c++/v1/type_traits:1384:39:
note: in instantiation of template class 'std::__1::is_abstract<int *>'
requested here
                                     !is_abstract<_T2>::value> {};
                                      ^
/opt/compiler-explorer/clang-4.0.0/bin/../include/c++/v1/memory:3918:39: note:
in instantiation of template class 'std::__1::is_convertible<int *, int *>'
requested here
                   typename enable_if<is_convertible<_Yp*,
element_type*>::value, __nat>::type = __nat())
                                      ^
/opt/compiler-explorer/clang-4.0.0/bin/../include/c++/v1/memory:3883:28: note:
while substituting deduced template arguments into function template
'shared_ptr' [with _Yp = int]
class _LIBCPP_TEMPLATE_VIS shared_ptr
                           ^
<source>:7:26: note: default member initializer declared here
    std::shared_ptr<int> _a {};

-- 
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/20170710/0a9ae532/attachment-0001.html>