Re: typeid name of non-throwing function type

2017-12-21 Thread Stephan Bergmann
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 #include void f1(); void f2() noexcept; int main() { std::cout << (typeid(f1) == typeid(f2)) << '\n'; } ~ g++ -std=c++17 test72.cc ~ ./a.out 1 s

Re: typeid name of non-throwing function type

2017-12-20 Thread Stephan Bergmann
On 12/20/2017 03:48 PM, Stephan Bergmann wrote: I see with any recent GCC (when targeting the Itanium C++ ABI), $ cat test.cc #include #include void f() noexcept; int main() { std::cout << typeid(f).name() << '\n'; } $ g++ -std=c++17 test.cc $ ./a.out FvvE that the function type's mangling

typeid name of non-throwing function type

2017-12-20 Thread Stephan Bergmann
I see with any recent GCC (when targeting the Itanium C++ ABI), $ cat test.cc #include #include void f() noexcept; int main() { std::cout << typeid(f).name() << '\n'; } $ g++ -std=c++17 test.cc $ ./a.out FvvE that the function type's mangling doesn't contain the noexcept specifier (in whic