This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Finish up -fsanitize=signed-integer-overflow multiplication handling
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Jeff Law <law at redhat dot com>, Marek Polacek <polacek at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sat, 14 Dec 2013 08:55:59 +0100
- Subject: [PATCH] Finish up -fsanitize=signed-integer-overflow multiplication handling
- Authentication-results: sourceware.org; auth=none
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
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 least
have 2x narrower mode).
Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
2013-12-14 Jakub Jelinek <jakub@redhat.com>
* predict.h (PROB_LIKELY): Fix the value.
* internal-fn.c (ubsan_expand_si_overflow_mul_check): Add support
for overflow checking for modes without 2xwider supported mode,
if the mode has 2xnarrower mode.
* c-c++-common/ubsan/overflow-mul-3.c: New test.
* c-c++-common/ubsan/overflow-mul-4.c: New test.
--- gcc/predict.h.jj 2013-12-12 18:48:44.892011631 +0100
+++ gcc/predict.h 2013-12-12 20:28:09.927588762 +0100
@@ -28,7 +28,7 @@ along with GCC; see the file COPYING3.
#define PROB_VERY_LIKELY (REG_BR_PROB_BASE - PROB_VERY_UNLIKELY)
#define PROB_ALWAYS (REG_BR_PROB_BASE)
#define PROB_UNLIKELY (REG_BR_PROB_BASE / 5 - 1)
-#define PROB_LIKELY (PROB_ALWAYS - PROB_VERY_LIKELY)
+#define PROB_LIKELY (REG_BR_PROB_BASE - PROB_UNLIKELY)
#define DEF_PREDICTOR(ENUM, NAME, HITRATE, FLAGS) ENUM,
enum br_predictor
--- gcc/internal-fn.c.jj 2013-12-12 20:28:04.558615203 +0100
+++ gcc/internal-fn.c 2013-12-13 14:26:43.060339323 +0100
@@ -436,6 +436,8 @@ ubsan_expand_si_overflow_mul_check (gimp
if (icode == CODE_FOR_nothing)
{
struct separate_ops ops;
+ enum machine_mode hmode
+ = mode_for_size (GET_MODE_PRECISION (mode) / 2, MODE_INT, 1);
ops.op0 = arg0;
ops.op1 = arg1;
ops.op2 = NULL_TREE;
@@ -462,10 +464,295 @@ ubsan_expand_si_overflow_mul_check (gimp
emit_cmp_and_jump_insns (signbit, hipart, EQ, NULL_RTX, mode,
false, done_label, PROB_VERY_LIKELY);
}
+ else if (hmode != BLKmode
+ && 2 * GET_MODE_PRECISION (hmode) == GET_MODE_PRECISION (mode))
+ {
+ rtx large_op0 = gen_label_rtx ();
+ rtx small_op0_large_op1 = gen_label_rtx ();
+ rtx one_small_one_large = gen_label_rtx ();
+ rtx both_ops_large = gen_label_rtx ();
+ rtx after_hipart_neg = gen_label_rtx ();
+ rtx after_lopart_neg = gen_label_rtx ();
+ rtx do_overflow = gen_label_rtx ();
+ rtx hipart_different = gen_label_rtx ();
+
+ int hprec = GET_MODE_PRECISION (hmode);
+ rtx hipart0 = expand_shift (RSHIFT_EXPR, mode, op0, hprec,
+ NULL_RTX, 0);
+ hipart0 = gen_lowpart (hmode, hipart0);
+ rtx lopart0 = gen_lowpart (hmode, op0);
+ rtx signbit0 = expand_shift (RSHIFT_EXPR, hmode, lopart0, hprec - 1,
+ NULL_RTX, 0);
+ rtx hipart1 = expand_shift (RSHIFT_EXPR, mode, op1, hprec,
+ NULL_RTX, 0);
+ hipart1 = gen_lowpart (hmode, hipart1);
+ rtx lopart1 = gen_lowpart (hmode, op1);
+ rtx signbit1 = expand_shift (RSHIFT_EXPR, hmode, lopart1, hprec - 1,
+ NULL_RTX, 0);
+
+ res = gen_reg_rtx (mode);
+
+ /* True if op0 resp. op1 are known to be in the range of
+ halfstype. */
+ bool op0_small_p = false;
+ bool op1_small_p = false;
+ /* True if op0 resp. op1 are known to have all zeros or all ones
+ in the upper half of bits, but are not known to be
+ op{0,1}_small_p. */
+ bool op0_medium_p = false;
+ bool op1_medium_p = false;
+ /* -1 if op{0,1} is known to be negative, 0 if it is known to be
+ nonnegative, 1 if unknown. */
+ int op0_sign = 1;
+ int op1_sign = 1;
+
+ if (TREE_CODE (arg0) == SSA_NAME)
+ {
+ double_int arg0_min, arg0_max;
+ if (get_range_info (arg0, &arg0_min, &arg0_max) == VR_RANGE)
+ {
+ if (arg0_max.sle (double_int::max_value (hprec, false))
+ && double_int::min_value (hprec, false).sle (arg0_min))
+ op0_small_p = true;
+ else if (arg0_max.sle (double_int::max_value (hprec, true))
+ && (~double_int::max_value (hprec,
+ true)).sle (arg0_min))
+ op0_medium_p = true;
+ if (!arg0_min.is_negative ())
+ op0_sign = 0;
+ else if (arg0_max.is_negative ())
+ op0_sign = -1;
+ }
+ }
+ if (TREE_CODE (arg1) == SSA_NAME)
+ {
+ double_int arg1_min, arg1_max;
+ if (get_range_info (arg1, &arg1_min, &arg1_max) == VR_RANGE)
+ {
+ if (arg1_max.sle (double_int::max_value (hprec, false))
+ && double_int::min_value (hprec, false).sle (arg1_min))
+ op1_small_p = true;
+ else if (arg1_max.sle (double_int::max_value (hprec, true))
+ && (~double_int::max_value (hprec,
+ true)).sle (arg1_min))
+ op1_medium_p = true;
+ if (!arg1_min.is_negative ())
+ op1_sign = 0;
+ else if (arg1_max.is_negative ())
+ op1_sign = -1;
+ }
+ }
+
+ int smaller_sign = 1;
+ int larger_sign = 1;
+ if (op0_small_p)
+ {
+ smaller_sign = op0_sign;
+ larger_sign = op1_sign;
+ }
+ else if (op1_small_p)
+ {
+ smaller_sign = op1_sign;
+ larger_sign = op0_sign;
+ }
+ else if (op0_sign == op1_sign)
+ {
+ smaller_sign = op0_sign;
+ larger_sign = op0_sign;
+ }
+
+ if (!op0_small_p)
+ emit_cmp_and_jump_insns (signbit0, hipart0, NE, NULL_RTX, hmode,
+ false, large_op0, PROB_UNLIKELY);
+
+ if (!op1_small_p)
+ emit_cmp_and_jump_insns (signbit1, hipart1, NE, NULL_RTX, hmode,
+ false, small_op0_large_op1,
+ PROB_UNLIKELY);
+
+ /* If both op0 and op1 are sign extended from hmode to mode,
+ the multiplication will never overflow. We can do just one
+ hmode x hmode => mode widening multiplication. */
+ if (GET_CODE (lopart0) == SUBREG)
+ {
+ SUBREG_PROMOTED_VAR_P (lopart0) = 1;
+ SUBREG_PROMOTED_UNSIGNED_SET (lopart0, 0);
+ }
+ if (GET_CODE (lopart1) == SUBREG)
+ {
+ SUBREG_PROMOTED_VAR_P (lopart1) = 1;
+ SUBREG_PROMOTED_UNSIGNED_SET (lopart1, 0);
+ }
+ tree halfstype = build_nonstandard_integer_type (hprec, 0);
+ ops.op0 = make_tree (halfstype, lopart0);
+ ops.op1 = make_tree (halfstype, lopart1);
+ ops.code = WIDEN_MULT_EXPR;
+ ops.type = TREE_TYPE (arg0);
+ rtx thisres
+ = expand_expr_real_2 (&ops, NULL_RTX, mode, EXPAND_NORMAL);
+ emit_move_insn (res, thisres);
+ emit_jump (done_label);
+
+ emit_label (small_op0_large_op1);
+
+ /* If op0 is sign extended from hmode to mode, but op1 is not,
+ just swap the arguments and handle it as op1 sign extended,
+ op0 not. */
+ rtx larger = gen_reg_rtx (mode);
+ rtx hipart = gen_reg_rtx (hmode);
+ rtx lopart = gen_reg_rtx (hmode);
+ emit_move_insn (larger, op1);
+ emit_move_insn (hipart, hipart1);
+ emit_move_insn (lopart, lopart0);
+ emit_jump (one_small_one_large);
+
+ emit_label (large_op0);
+
+ if (!op1_small_p)
+ emit_cmp_and_jump_insns (signbit1, hipart1, NE, NULL_RTX, hmode,
+ false, both_ops_large, PROB_UNLIKELY);
+
+ /* If op1 is sign extended from hmode to mode, but op0 is not,
+ prepare larger, hipart and lopart pseudos and handle it together
+ with small_op0_large_op1. */
+ emit_move_insn (larger, op0);
+ emit_move_insn (hipart, hipart0);
+ emit_move_insn (lopart, lopart1);
+
+ emit_label (one_small_one_large);
+
+ /* lopart is the low part of the operand that is sign extended
+ to mode, larger is the the other operand, hipart is the
+ high part of larger and lopart0 and lopart1 are the low parts
+ of both operands.
+ We perform lopart0 * lopart1 and lopart * hipart widening
+ multiplications. */
+ tree halfutype = build_nonstandard_integer_type (hprec, 1);
+ ops.op0 = make_tree (halfutype, lopart0);
+ ops.op1 = make_tree (halfutype, lopart1);
+ rtx lo0xlo1
+ = expand_expr_real_2 (&ops, NULL_RTX, mode, EXPAND_NORMAL);
+
+ ops.op0 = make_tree (halfutype, lopart);
+ ops.op1 = make_tree (halfutype, hipart);
+ rtx loxhi = gen_reg_rtx (mode);
+ rtx tem = expand_expr_real_2 (&ops, NULL_RTX, mode, EXPAND_NORMAL);
+ emit_move_insn (loxhi, tem);
+
+ /* if (hipart < 0) loxhi -= lopart << (bitsize / 2); */
+ if (larger_sign == 0)
+ emit_jump (after_hipart_neg);
+ else if (larger_sign != -1)
+ emit_cmp_and_jump_insns (hipart, const0_rtx, GE, NULL_RTX, hmode,
+ false, after_hipart_neg, PROB_EVEN);
+
+ tem = expand_shift (LSHIFT_EXPR, mode, lopart, hprec, NULL_RTX, 1);
+ tem = expand_simple_binop (mode, MINUS, loxhi, tem, NULL_RTX,
+ 1, OPTAB_DIRECT);
+ emit_move_insn (loxhi, tem);
+
+ emit_label (after_hipart_neg);
+
+ /* if (lopart < 0) loxhi -= larger; */
+ if (smaller_sign == 0)
+ emit_jump (after_lopart_neg);
+ else if (smaller_sign != -1)
+ emit_cmp_and_jump_insns (lopart, const0_rtx, GE, NULL_RTX, hmode,
+ false, after_lopart_neg, PROB_EVEN);
+
+ tem = expand_simple_binop (mode, MINUS, loxhi, larger, NULL_RTX,
+ 1, OPTAB_DIRECT);
+ emit_move_insn (loxhi, tem);
+
+ emit_label (after_lopart_neg);
+
+ /* loxhi += (uns) lo0xlo1 >> (bitsize / 2); */
+ tem = expand_shift (RSHIFT_EXPR, mode, lo0xlo1, hprec, NULL_RTX, 1);
+ tem = expand_simple_binop (mode, PLUS, loxhi, tem, NULL_RTX,
+ 1, OPTAB_DIRECT);
+ emit_move_insn (loxhi, tem);
+
+ /* if (loxhi >> (bitsize / 2)
+ == (hmode) loxhi >> (bitsize / 2 - 1)) */
+ rtx hipartloxhi = expand_shift (RSHIFT_EXPR, mode, loxhi, hprec,
+ NULL_RTX, 0);
+ hipartloxhi = gen_lowpart (hmode, hipartloxhi);
+ rtx lopartloxhi = gen_lowpart (hmode, loxhi);
+ rtx signbitloxhi = expand_shift (RSHIFT_EXPR, hmode, lopartloxhi,
+ hprec - 1, NULL_RTX, 0);
+
+ emit_cmp_and_jump_insns (signbitloxhi, hipartloxhi, NE, NULL_RTX,
+ hmode, false, do_overflow,
+ PROB_VERY_UNLIKELY);
+
+ /* res = (loxhi << (bitsize / 2)) | (hmode) lo0xlo1; */
+ rtx loxhishifted = expand_shift (LSHIFT_EXPR, mode, loxhi, hprec,
+ NULL_RTX, 1);
+ tem = convert_modes (mode, hmode, gen_lowpart (hmode, lo0xlo1), 1);
+
+ tem = expand_simple_binop (mode, IOR, loxhishifted, tem, res,
+ 1, OPTAB_DIRECT);
+ if (tem != res)
+ emit_move_insn (res, tem);
+ emit_jump (done_label);
+
+ emit_label (both_ops_large);
+
+ /* If both operands are large (not sign extended from hmode),
+ then perform the full multiplication which will be the result
+ of the operation. The only cases which don't overflow are
+ some cases where both hipart0 and highpart1 are 0 or -1. */
+ ops.code = MULT_EXPR;
+ ops.op0 = make_tree (TREE_TYPE (arg0), op0);
+ ops.op1 = make_tree (TREE_TYPE (arg0), op1);
+ tem = expand_expr_real_2 (&ops, NULL_RTX, mode, EXPAND_NORMAL);
+ emit_move_insn (res, tem);
+
+ if (!op0_medium_p)
+ {
+ tem = expand_simple_binop (hmode, PLUS, hipart0, const1_rtx,
+ NULL_RTX, 1, OPTAB_DIRECT);
+ emit_cmp_and_jump_insns (tem, const1_rtx, GTU, NULL_RTX, hmode,
+ true, do_error, PROB_VERY_UNLIKELY);
+ }
+
+ if (!op1_medium_p)
+ {
+ tem = expand_simple_binop (hmode, PLUS, hipart1, const1_rtx,
+ NULL_RTX, 1, OPTAB_DIRECT);
+ emit_cmp_and_jump_insns (tem, const1_rtx, GTU, NULL_RTX, hmode,
+ true, do_error, PROB_VERY_UNLIKELY);
+ }
+
+ /* At this point hipart{0,1} are both in [-1, 0]. If they are the
+ same, overflow happened if res is negative, if they are different,
+ overflow happened if res is positive. */
+ if (op0_sign != 1 && op1_sign != 1 && op0_sign != op1_sign)
+ emit_jump (hipart_different);
+ else if (op0_sign == 1 || op1_sign == 1)
+ emit_cmp_and_jump_insns (hipart0, hipart1, NE, NULL_RTX, hmode,
+ true, hipart_different, PROB_EVEN);
+
+ emit_cmp_and_jump_insns (res, const0_rtx, LT, NULL_RTX, mode, false,
+ do_error, PROB_VERY_UNLIKELY);
+ emit_jump (done_label);
+
+ emit_label (hipart_different);
+
+ emit_cmp_and_jump_insns (res, const0_rtx, GE, NULL_RTX, mode, false,
+ do_error, PROB_VERY_UNLIKELY);
+ emit_jump (done_label);
+
+ emit_label (do_overflow);
+
+ /* Overflow, do full multiplication and fallthru into do_error. */
+ ops.op0 = make_tree (TREE_TYPE (arg0), op0);
+ ops.op1 = make_tree (TREE_TYPE (arg0), op1);
+ tem = expand_expr_real_2 (&ops, NULL_RTX, mode, EXPAND_NORMAL);
+ emit_move_insn (res, tem);
+ }
else
{
- /* For now we don't instrument this. See __mulvDI3 in libgcc2.c
- for what could be done. */
ops.code = MULT_EXPR;
ops.type = TREE_TYPE (arg0);
res = expand_expr_real_2 (&ops, NULL_RTX, mode, EXPAND_NORMAL);
--- gcc/testsuite/c-c++-common/ubsan/overflow-mul-3.c.jj 2013-12-13 12:29:17.981194936 +0100
+++ gcc/testsuite/c-c++-common/ubsan/overflow-mul-3.c 2013-12-13 12:29:43.479049299 +0100
@@ -0,0 +1,39 @@
+/* { dg-do run } */
+/* { dg-options "-fsanitize=signed-integer-overflow" } */
+/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
+
+__attribute__((noinline, noclone)) long long
+mul (long long x, long long y)
+{
+ return x * y;
+}
+
+long long tab[] = {
+ 0x7fffffffLL, 0x7fffffffLL, 0x3fffffff00000001LL,
+ -0x80000000LL, -0x80000000LL, 0x4000000000000000LL,
+ 0x7fffffffLL, -0x80000000LL, -0x3fffffff80000000LL,
+ -0x80000000LL, 0x7fffffffLL, -0x3fffffff80000000LL,
+ 3LL, 5LL, 15LL,
+ -3LL, -9LL, 27LL,
+ 6LL, -7LL, -42LL,
+ -12LL, 13LL, -156LL,
+ 0x1555555555555555LL, 6LL, 0x7ffffffffffffffeLL,
+ -0x1555555555555555LL, -6LL, 0x7ffffffffffffffeLL,
+ 0x1555555555555555LL, -6LL, -0x7ffffffffffffffeLL,
+ -0x1555555555555555LL, 6LL, -0x7ffffffffffffffeLL,
+ 0x81234567LL, 0xfdbe971fLL, 0x7fffffffbea72879LL,
+ -0x81234567LL, -0xfdbe971fLL, 0x7fffffffbea72879LL,
+ 0x81234567LL, -0xfdbe971fLL, -0x7fffffffbea72879LL,
+ -0x81234567LL, 0xfdbe971fLL, -0x7fffffffbea72879LL
+};
+
+int
+main ()
+{
+ unsigned int i;
+ for (i = 0; i < sizeof (tab) / sizeof (long long); i += 3)
+ if (mul (tab[i], tab[i + 1]) != tab[i + 2]
+ || mul (tab[i + 1], tab[i]) != tab[i + 2])
+ __builtin_abort ();
+ return 0;
+}
--- gcc/testsuite/c-c++-common/ubsan/overflow-mul-4.c.jj 2013-12-13 12:29:21.100177922 +0100
+++ gcc/testsuite/c-c++-common/ubsan/overflow-mul-4.c 2013-12-13 12:36:04.904035463 +0100
@@ -0,0 +1,86 @@
+/* { dg-do run } */
+/* { dg-options "-fsanitize=signed-integer-overflow" } */
+/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
+
+int
+main ()
+{
+#define MUL_WITH_CHECK(xv, yv, zv) \
+ do { \
+ long long x = xv; \
+ long long y = yv; \
+ long long z; \
+ asm ("" : "+g" (x)); \
+ asm ("" : "+g" (y)); \
+ z = x * y; \
+ asm ("" : "+g" (z)); \
+ if (z != zv) \
+ __builtin_abort (); \
+ } while (0)
+ MUL_WITH_CHECK (0x1555555555555556LL, 6LL, -0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (-0x1555555555555556LL, -6LL, -0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (0x1555555555555556LL, -6LL, 0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (-0x1555555555555556LL, 6LL, 0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (0x81234568LL, 0xfdbe971fLL, -0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (-0x81234568LL, -0xfdbe971fLL, -0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (0x81234568LL, -0xfdbe971fLL, 0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (-0x81234568LL, 0xfdbe971fLL, 0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (0x1555555555555555LL, 7LL, -0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (-0x1555555555555555LL, -7LL, -0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (0x1555555555555555LL, -7LL, 0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (-0x1555555555555555LL, 7LL, 0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (0x81234567LL, 0xfdbe9720LL, -0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (-0x81234567LL, -0xfdbe9720LL, -0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (0x81234567LL, -0xfdbe9720LL, 0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (-0x81234567LL, 0xfdbe9720LL, 0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (6LL, 0x1555555555555556LL, -0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (-6LL, -0x1555555555555556LL, -0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (-6LL, 0x1555555555555556LL, 0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (6LL, -0x1555555555555556LL, 0x7ffffffffffffffcLL);
+ MUL_WITH_CHECK (0xfdbe971fLL, 0x81234568LL, -0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (-0xfdbe971fLL, -0x81234568LL, -0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (-0xfdbe971fLL, 0x81234568LL, 0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (0xfdbe971fLL, -0x81234568LL, 0x7fffffff439a4068LL);
+ MUL_WITH_CHECK (7LL, 0x1555555555555555LL, -0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (-7LL, -0x1555555555555555LL, -0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (-7LL, 0x1555555555555555LL, 0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (7LL, -0x1555555555555555LL, 0x6aaaaaaaaaaaaaadLL);
+ MUL_WITH_CHECK (0xfdbe9720LL, 0x81234567LL, -0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (-0xfdbe9720LL, -0x81234567LL, -0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (-0xfdbe9720LL, 0x81234567LL, 0x7fffffffc0359220LL);
+ MUL_WITH_CHECK (0xfdbe9720LL, -0x81234567LL, 0x7fffffffc0359220LL);
+ return 0;
+}
+
+/* { dg-output "overflow-mul-4.c:20:\[^\n\r]*signed integer overflow: 1537228672809129302 \\* 6 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:21:\[^\n\r]*signed integer overflow: -1537228672809129302 \\* -6 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:22:\[^\n\r]*signed integer overflow: 1537228672809129302 \\* -6 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:23:\[^\n\r]*signed integer overflow: -1537228672809129302 \\* 6 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:24:\[^\n\r]*signed integer overflow: 2166572392 \\* 4257126175 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:25:\[^\n\r]*signed integer overflow: -2166572392 \\* -4257126175 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:26:\[^\n\r]*signed integer overflow: 2166572392 \\* -4257126175 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:27:\[^\n\r]*signed integer overflow: -2166572392 \\* 4257126175 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:28:\[^\n\r]*signed integer overflow: 1537228672809129301 \\* 7 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:29:\[^\n\r]*signed integer overflow: -1537228672809129301 \\* -7 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:30:\[^\n\r]*signed integer overflow: 1537228672809129301 \\* -7 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:31:\[^\n\r]*signed integer overflow: -1537228672809129301 \\* 7 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:32:\[^\n\r]*signed integer overflow: 2166572391 \\* 4257126176 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:33:\[^\n\r]*signed integer overflow: -2166572391 \\* -4257126176 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:34:\[^\n\r]*signed integer overflow: 2166572391 \\* -4257126176 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:35:\[^\n\r]*signed integer overflow: -2166572391 \\* 4257126176 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:36:\[^\n\r]*signed integer overflow: 6 \\* 1537228672809129302 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:37:\[^\n\r]*signed integer overflow: -6 \\* -1537228672809129302 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:38:\[^\n\r]*signed integer overflow: -6 \\* 1537228672809129302 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:39:\[^\n\r]*signed integer overflow: 6 \\* -1537228672809129302 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:40:\[^\n\r]*signed integer overflow: 4257126175 \\* 2166572392 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:41:\[^\n\r]*signed integer overflow: -4257126175 \\* -2166572392 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:42:\[^\n\r]*signed integer overflow: -4257126175 \\* 2166572392 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:43:\[^\n\r]*signed integer overflow: 4257126175 \\* -2166572392 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:44:\[^\n\r]*signed integer overflow: 7 \\* 1537228672809129301 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:45:\[^\n\r]*signed integer overflow: -7 \\* -1537228672809129301 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:46:\[^\n\r]*signed integer overflow: -7 \\* 1537228672809129301 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:47:\[^\n\r]*signed integer overflow: 7 \\* -1537228672809129301 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:48:\[^\n\r]*signed integer overflow: 4257126176 \\* 2166572391 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:49:\[^\n\r]*signed integer overflow: -4257126176 \\* -2166572391 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:50:\[^\n\r]*signed integer overflow: -4257126176 \\* 2166572391 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
+/* { dg-output "\[^\n\r]*overflow-mul-4.c:51:\[^\n\r]*signed integer overflow: 4257126176 \\* -2166572391 cannot be represented in type 'long long int'(\n|\r\n|\r)" } */
Jakub