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"

Reply via email to