Re: typeid name of non-throwing function type

[Stephan Bergmann <sbergman at redhat dot com>]

On 12/21/2017 07:52 AM, Stephan Bergmann wrote:
> Thinking a bit more about it, I think that's rather a bug in GCC, right?
>
> > ~ cat test72.cc
> > #include <iostream>
> > #include <typeinfo>
> > void f1();
> > void f2() noexcept;
> > int main() { std::cout << (typeid(f1) == typeid(f2)) << '\n'; }
> >
> > ~ g++ -std=c++17 test72.cc
> > ~ ./a.out
> > 1
>
> should print "0" instead of "1" (like the version does that compares
>
>    (typeid(&f1) == typeid(&f2))
>
> instead).

filed <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83534> "C++17: 
typeinfo for noexcept function lacks noexcept information"