c++/3821: abort() not known to be noreturn in C++ only

[rodrigc@gcc.gnu.org]

Synopsis: abort() not known to be noreturn in C++ only

State-Changed-From-To: open->closed
State-Changed-By: rodrigc
State-Changed-When: Mon Sep 17 16:40:36 2001
State-Changed-Why:
    I get no warning with this code if I compile with:
    gcc version 3.0.2 20010915 (prerelease)

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3821&database=gcc