[Bug c++/65382] New: pointer-to-noexcept-function typealias allowed via using

[Bug c++/65382] New: pointer-to-noexcept-function typealias allowed via using

[vgheorgh at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

            Bug ID: 65382
           Summary: pointer-to-noexcept-function typealias allowed via
                    using
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vgheorgh at gmail dot com

According to 15.4 Exception specifications [except.spec]/2, the following code
should be rejected, 

#include <iostream>

using fptr = void(*)() noexcept; // should not be accepted
// typedef void (*FPTR)() noexcept; // rejected by the compiler

void f() noexcept
{
    std::cout << "void f() noexcept" << std::endl;
}

int main()
{
    fptr fp = f;
    fp();
}


Replacing using with a typedef makes the compiler emit an error, however the
code above compiles just fine, and it shouldn't.

[Bug c++/65382] pointer-to-noexcept-function typealias allowed via using

[vgheorgh at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

--- Comment #1 from Vlad Gheorghiu <vgheorgh at gmail dot com> ---
I compiled with gcc5 and also with gcc4.9.2, using `-Wall -Wextra -pedantic`

[Bug c++/65382] pointer-to-noexcept-function typealias allowed via using

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-10
     Ever confirmed|0                           |1

[Bug c++/65382] pointer-to-noexcept-function typealias allowed via using

[vgheorgh at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

--- Comment #2 from Vlad Gheorghiu <vgheorgh at gmail dot com> ---
More details: http://stackoverflow.com/q/30172483/3093378

[Bug c++/65382] pointer-to-noexcept-function typealias allowed via using

[vgheorgh at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

--- Comment #3 from Vlad Gheorghiu <vgheorgh at gmail dot com> ---
Please ignore the previous comment, posted by mistake for another bug I
reported

[Bug c++/65382] [C++11/14 only] pointer-to-noexcept-function typealias allowed via using

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|pointer-to-noexcept-functio |[C++11/14 only]
                   |n typealias allowed via     |pointer-to-noexcept-functio
                   |using                       |n typealias allowed via
                   |                            |using

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
C++11:
An exception-specification shall not appear in a typedef declaration or
alias-declaration. 

But C++17 removed that restriction.

The question becomes how important is this now the restriction is gone in new
C++ standard and GCC moved to C++17 by default already.

[Bug c++/65382] [C++11/14 only] pointer-to-noexcept-function typealias allowed via using

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65382

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kariya_mitsuru at hotmail dot com

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 63290 has been marked as a duplicate of this bug. ***