From cad27cdc2ea46ec401b71b76a92fcf3bc1d094e0 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 8 Jun 2006 02:53:25 +0000 Subject: (eval4): Detect overflow properly when multiplying INTMAX_MIN * -1. --- src/expr.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/expr.c') diff --git a/src/expr.c b/src/expr.c index 7b5c77be6..e0510fc10 100644 --- a/src/expr.c +++ b/src/expr.c @@ -640,7 +640,9 @@ eval4 (bool evaluate) if (fxn == multiply) { val = l->u.i * r->u.i; - if (! (l->u.i == 0 || val / l->u.i == r->u.i)) + if (! (l->u.i == 0 || r->u.i == 0 + || ((val < 0) == ((l->u.i < 0) ^ (r->u.i < 0)) + && val / l->u.i == r->u.i))) integer_overflow ('*'); } else -- cgit v1.2.3-54-g00ecf