1 /* PR tree-optimization/79408 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
4
5 void link_error (void);
6
7 void
foo(unsigned int x,unsigned int y)8 foo (unsigned int x, unsigned int y)
9 {
10 if (x > 7312)
11 return;
12 if (y <= 7312)
13 return;
14 if (x % y != x)
15 link_error ();
16 }
17
18 void
bar(int x,int y)19 bar (int x, int y)
20 {
21 if (x > 7312 || x < 0)
22 return;
23 if (y <= 7312)
24 return;
25 if (x % y != x)
26 link_error ();
27 }
28
29 void
baz(int x,int y)30 baz (int x, int y)
31 {
32 if (x > 7312 || x < -7312)
33 return;
34 if (y <= 7312)
35 return;
36 if (x % y != x)
37 link_error ();
38 }
39
40 /* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */
41