This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add no_sanitize_undefined attribute (PR sanitizer/58411)
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Marek Polacek <polacek at redhat dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Jason Merrill <jason at redhat dot com>, "Joseph S. Myers" <joseph at codesourcery dot com>
- Date: Tue, 17 Sep 2013 18:34:38 +0200
- Subject: Re: [PATCH] Add no_sanitize_undefined attribute (PR sanitizer/58411)
- Authentication-results: sourceware.org; auth=none
- References: <20130917152422 dot GB15960 at redhat dot com> <20130917153751 dot GA1817 at tucnak dot redhat dot com> <20130917162652 dot GC15960 at redhat dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Tue, Sep 17, 2013 at 06:26:52PM +0200, Marek Polacek wrote:
> Well I wonder too ;) I thought it can't be NULL, and tried this
>
> struct C {
> C() { __builtin_unreachable (); }
> };
I was more wondering about stuff like:
int a = (__builtin_unreachable (), 1);
or similar.
Jakub