[Bug c++/4462] Incorrect warning about noreturn function in C++

[Wolfgang Bangerth]

> > ------- Additional Comments From bangerth@dealii.org  2003-05-23 14:30 -------
> > The noreturn argument is certainly not part of the function's signature,
> > so it wouldn't be inherited from functions in a derived class.
> 
> Why not?
> 
> It's not like the standard prescribes the meaning of noreturn.

Certainly right. It's a gcc extension (another one where we don't know the 
exact semantics, sigh). I'd argue that making the attribute part of the 
signature of the function would just multiply the problem we have with 
this stuff, and would make things overly complicated.

Given that this is really not a real important thing, I doubt anyone would 
like to spend his time on it. It's just too obscure what you try to do.

Nathan, I leave this to you to decide. I'm for closing this PR.

W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/