From: Jason Merrill <jason@redhat.com>
To: Marek Polacek <polacek@redhat.com>
Cc: GCC Patches <gcc-patches@gcc.gnu.org>,
Jakub Jelinek <jakub@redhat.com>,
Jeff Law <law@redhat.com>,
"Joseph S. Myers" <joseph@codesourcery.com>
Subject: Re: Request to merge Undefined Behavior Sanitizer in (take 2)
Date: Wed, 07 Aug 2013 14:25:00 -0000 [thread overview]
Message-ID: <520258BB.4040202@redhat.com> (raw)
In-Reply-To: <20130807100643.GD17022@redhat.com>
On 08/07/2013 06:06 AM, Marek Polacek wrote:
> I might've misunderstood what you mean. If we drop the hunk above,
> then we'll call
> error ("%q+E is not a constant expression", t);
> so, we'll print "is not a constant expression" no matter what
Yes, that's fine; 1/0 is not a constant expression, because it has
undefined behavior.
> we surely can recognize the ubsan built-ins in dump_expr, but what would
> we do then?
Print something more meaningful to the user.
Jason
next prev parent reply other threads:[~2013-08-07 14:25 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-25 15:35 Request to merge Undefined Behavior Sanitizer in Marek Polacek
2013-07-25 15:40 ` Marek Polacek
2013-07-25 22:47 ` Joseph S. Myers
2013-07-31 12:59 ` Marek Polacek
2013-07-25 20:23 ` Jason Merrill
2013-07-25 20:32 ` Marek Polacek
2013-07-31 17:49 ` Request to merge Undefined Behavior Sanitizer in (take 2) Marek Polacek
2013-07-31 19:04 ` Jason Merrill
2013-08-01 18:06 ` Marek Polacek
2013-08-03 16:24 ` Jason Merrill
2013-08-05 11:25 ` Marek Polacek
2013-08-06 21:24 ` Jason Merrill
2013-08-07 14:58 ` Marek Polacek
2013-08-15 11:04 ` Marek Polacek
2013-08-15 15:45 ` Jason Merrill
2013-08-06 14:42 ` Marek Polacek
2013-08-06 23:07 ` Jason Merrill
2013-08-07 10:07 ` Marek Polacek
2013-08-07 14:25 ` Jason Merrill [this message]
2013-08-07 16:13 ` Marek Polacek
2013-08-15 8:00 ` Marek Polacek
2013-08-15 15:29 ` Jason Merrill
2013-07-25 22:43 ` Request to merge Undefined Behavior Sanitizer in Joseph S. Myers
2013-07-26 5:33 ` Jeff Law
2013-07-26 6:06 ` Andrew Pinski
2013-07-26 12:11 ` Marek Polacek
2013-07-26 19:25 ` Jason Merrill
2013-07-26 20:06 ` Marc Glisse
2013-07-26 23:07 ` Jason Merrill
2013-07-29 10:09 ` Marek Polacek
2013-07-26 6:51 ` Marc Glisse
2013-08-08 15:57 ` Joseph S. Myers
2013-08-23 23:23 ` Marc Glisse
2013-07-31 11:07 ` Marek Polacek
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=520258BB.4040202@redhat.com \
--to=jason@redhat.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=joseph@codesourcery.com \
--cc=law@redhat.com \
--cc=polacek@redhat.com \
/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: link
Be 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).