Paul Eggert wrote: > Your other comments lead me to think > that we should avoid having a stdnoreturn module, at least for now, to > avoid the issues with [[noreturn]] versus noreturn.
Yes. In the current state of the standards, every use of <stdnoreturn.h> is invalid C++. In this situation, I cannot recommend the use of this header file. Bruno -- In memoriam Zahra Kazemi <http://en.wikipedia.org/wiki/Zahra_Kazemi>
