This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add more testing to ubsan #1
- 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>
- Date: Sat, 14 Dec 2013 14:23:08 +0100
- Subject: Re: [PATCH] Add more testing to ubsan #1
- Authentication-results: sourceware.org; auth=none
- References: <20131214132005 dot GS11710 at redhat dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Sat, Dec 14, 2013 at 02:20:05PM +0100, Marek Polacek wrote:
> This adds two sanity tests for signed-integer-overflow sanitization.
> One variant uses asms to prevent ccp/... from optimizing away the
> computations. Nothing in these tests should fail.
>
> Regtested on x86_64-unknown-linux-gnu and powerpc64-unknown-linux-gnu,
> ok for trunk?
>
> 2013-12-14 Marek Polacek <polacek@redhat.com>
>
> testsuite/
> * c-c++-common/ubsan/overflow-1.c: New test.
> * c-c++-common/ubsan/overflow-2.c: New test.
Ok, thanks.
Jakub