1 /* Verify straight-line strength reduction fails for simple integer addition
2    with casts thrown in when -fwrapv is used.  */
3 
4 /* { dg-do compile { target { long_neq_int } } } */
5 /* { dg-options "-O3 -fdump-tree-dom2 -fwrapv" } */
6 
7 long
f(int s,long c)8 f (int s, long c)
9 {
10   int a1, a2, a3;
11   long x1, x2, x3, x;
12 
13   a1 = 2 * s;
14   x1 = c + a1;
15   a2 = 4 * s;
16   x2 = c + a2;
17   a3 = 6 * s;
18   x3 = c + a3;
19   x = x1 + x2 + x3;
20   return x;
21 }
22 
23 /* { dg-final { scan-tree-dump-times " \\* " 3 "dom2" } } */
24