extend shift count warnings to vector types

Jeff Law law@redhat.com
Fri Dec 11 20:40:00 GMT 2015


On 12/11/2015 12:28 AM, Jan Beulich wrote:
> gcc/c/
> 2015-12-10  Jan Beulich  <jbeulich@suse.com>
>
> 	* c-fold.c (c_fully_fold_internal): Also emit shift count
> 	warnings for vector types.
> 	* c-typeck.c (build_binary_op): Likewise.
Needs testcases for the added warnings.

My additional concern here would be that in build_binary_op, after your 
change, we'll be setting doing_shift to true.  That in turn will enable 
ubsan instrumentation of the shift.  Does ubsan work properly for vector 
shifts?


Jeff



More information about the Gcc-patches mailing list