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/tree-ssa-math-opts.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gcc/tree-ssa-math-opts.c') 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