[Bug libstdc++/57505] New: [C++11] destructor of std::function should be noexcept

[f.heckenbach@fh-soft.de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57505

            Bug ID: 57505
           Summary: [C++11] destructor of std::function should be noexcept
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: f.heckenbach@fh-soft.de

Created attachment 30243
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30243&action=edit
Test case

According to
http://en.cppreference.com/w/cpp/utility/functional/function/~function, the
destructor of std::function, like all standard destructors, should be noexcept,
but as the attached test case shows, it isn't so:

% g++-4.7 -std=c++11 test.cpp 
test.cpp:4:1: error: static assertion failed: ~function is not noexcept