Request to merge Undefined Behavior Sanitizer in (take 3)

[Marek Polacek]

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