@@ -4170,6 +4170,7 @@ match_arith_overflow (gimple_stmt_iterat
rhs2 = fold_convert (type, rhs2);
else
{
+ g = SSA_NAME_DEF_STMT (rhs2);
if (gimple_assign_cast_p (g)
&& useless_type_conversion_p (type,
TREE_TYPE (gimple_assign_rhs1 (g)))
@@ -0,0 +1,20 @@
+/* PR tree-optimization/98727 */
+
+__attribute__((noipa)) long int
+foo (long int x, long int y)
+{
+ long int z = (unsigned long) x * y;
+ if (x != z / y)
+ return -1;
+ return z;
+}
+
+int
+main ()
+{
+ if (foo (4, 24) != 96
+ || foo (124, 126) != 124L * 126
+ || foo (__LONG_MAX__ / 16, 17) != -1)
+ __builtin_abort ();
+ return 0;
+}