Re: [PATCH] Finish up -fsanitize=signed-integer-overflow multiplication handling

2013-12-16 Thread Jeff Law
On 12/14/13 00:55, Jakub Jelinek wrote: Hi! This patch on top of the http://gcc.gnu.org/ml/gcc-patches/2013-12/msg00500.html Hmm, this looks like it was missed review-wise. ISTM we're getting a bit late in the process for this kind of thing. But it's so well contained in the sanitization

[PATCH] Finish up -fsanitize=signed-integer-overflow multiplication handling

2013-12-13 Thread Jakub Jelinek
Hi! This patch on top of the http://gcc.gnu.org/ml/gcc-patches/2013-12/msg00500.html patch adds multiplication overflow checking for the missing cases (modes which don't have 2x wider supported mode so we can't do a widening multiply to the wider mode or full wider mode multiplication, but we at