This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Request to merge Undefined Behavior Sanitizer in (take 3)
- From: Marek Polacek <polacek at redhat dot com>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Cc: Jakub Jelinek <jakub at redhat dot com>, Jason Merrill <jason at redhat dot com>, "Joseph S. Myers" <joseph at codesourcery dot com>
- Date: Thu, 22 Aug 2013 19:51:07 +0200
- Subject: Re: Request to merge Undefined Behavior Sanitizer in (take 3)
- References: <20130815150848 dot GZ17022 at redhat dot com>
Ping.
On Thu, Aug 15, 2013 at 05:08:48PM +0200, Marek Polacek wrote:
> I've fixed a few unpleasant bugs; mainly the bug that introduced
> various uninitialized variable warnings was bothersome.
> Now it is possible to do bootstrap with -fsanitize=undefined,
> even though there are some comparison failures at the end.
>
> v3:
> - Fix Wuninitialized warnings because of SAVE_EXPRs
> http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00861.html
> - [ubsan] Add -lpthread to POSTSTAGE1_LDFLAGS
> http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00793.html
> - [ubsan] Fix assert in c-ubsan.c
> http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00802.html
> - [ubsan] Properly create const char type
> http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00213.html
>
> v2:
> - [ubsan] Add -static-libubsan
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01467.html
> - [ubsan] Don't try to sanitize shifts outside of functions
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01468.html
> - [ubsan] Use build_constructor_va where possible
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01469.html
> - [ubsan] Add bootstrap-ubsan.mk
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01470.html
> - [ubsan] Rename obsolete variable
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01473.html
> - [ubsan] Instrument expr only when doing shift or division
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01529.html
> - [ubsan] Improve documentation of -fsanitize=undefined
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01540.html
> - [ubsan] Add missing ubsan tests in g++.dg/dg.exp
> http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01563.html
>
> Regtested/bootstrapped on x86_64-linux and ppc64-linux.
>
> One patch is not in yet, but that isn't anything important:
> http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00376.html
>
> Ok to merge ubsan into trunk?
>
> Marek
Marek