From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9807 invoked by alias); 15 Sep 2002 19:37:58 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 9785 invoked by uid 61); 15 Sep 2002 19:37:57 -0000 Date: Sun, 15 Sep 2002 12:37:00 -0000 Message-ID: <20020915193757.9784.qmail@sources.redhat.com> To: Luc.Maisonobe@c-s.fr, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org From: nathan@gcc.gnu.org Reply-To: nathan@gcc.gnu.org, Luc.Maisonobe@c-s.fr, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: c++/4898: adding an option to verify exception specifications X-SW-Source: 2002-09/txt/msg00422.txt.bz2 List-Id: Synopsis: adding an option to verify exception specifications State-Changed-From-To: open->analyzed State-Changed-By: nathan State-Changed-When: Sun Sep 15 12:37:57 2002 State-Changed-Why: yes it would be nice. Note, that C++ is not as strict as Java. For instance void Foo (int i) throw () { if (i) throw i; } is well-formed provided i is never non-zero. And besides even then it's not an error, because std::terminate gets called (though the programmer probably would like to be told) http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4898