public inbox for gcc-prs@sourceware.org help / color / mirror / Atom feed
From: nathan@gcc.gnu.org To: Luc.Maisonobe@c-s.fr, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org Subject: Re: c++/4898: adding an option to verify exception specifications Date: Sun, 15 Sep 2002 12:37:00 -0000 [thread overview] Message-ID: <20020915193757.9784.qmail@sources.redhat.com> (raw) 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
next reply other threads:[~2002-09-15 19:37 UTC|newest] Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top 2002-09-15 12:37 nathan [this message] -- strict thread matches above, loose matches on Subject: below -- 2001-11-13 9:36 Luc.Maisonobe
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20020915193757.9784.qmail@sources.redhat.com \ --to=nathan@gcc.gnu.org \ --cc=Luc.Maisonobe@c-s.fr \ --cc=gcc-bugs@gcc.gnu.org \ --cc=gcc-gnats@gcc.gnu.org \ --cc=gcc-prs@gcc.gnu.org \ --cc=nobody@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).