From b36be69d99e98e6ec45bd6959764bbf2633f2c3c Mon Sep 17 00:00:00 2001 From: rguenth Date: Wed, 7 Mar 2012 09:24:40 +0000 Subject: 2012-03-07 Richard Guenther * tree-ssa-math-opts.c (convert_mult_to_widen): Check actual precision against gimple constraints. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185026 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-math-opts.c | 2 ++ 2 files changed, 7 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3fa5e51649f..c98c983e21d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2012-03-07 Richard Guenther + + * tree-ssa-math-opts.c (convert_mult_to_widen): Check actual + precision against gimple constraints. + 2012-03-06 Richard Sandiford PR middle-end/52372 diff --git a/gcc/tree-ssa-math-opts.c b/gcc/tree-ssa-math-opts.c index a00541fbdf5..ab982f50482 100644 --- a/gcc/tree-ssa-math-opts.c +++ b/gcc/tree-ssa-math-opts.c @@ -2158,6 +2158,8 @@ convert_mult_to_widen (gimple stmt, gimple_stmt_iterator *gsi) /* Ensure that the inputs to the handler are in the correct precison for the opcode. This will be the full mode size. */ actual_precision = GET_MODE_PRECISION (actual_mode); + if (2 * actual_precision > TYPE_PRECISION (type)) + return false; if (actual_precision != TYPE_PRECISION (type1) || from_unsigned1 != TYPE_UNSIGNED (type1)) { -- cgit v1.2.1