On 12/11/2015 12:28 AM, Jan Beulich wrote:
gcc/c/ 2015-12-10 Jan Beulich <jbeul...@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
