1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-dom2" } */
3
4 extern void abort (void);
5 extern int blah[];
6
7 void
foo(int index)8 foo(int index)
9 {
10 if (blah [(unsigned int)index] != 0)
11 abort ();
12 if (blah [(unsigned int)index] != 0)
13 abort ();
14 }
15
16 /* There should be precisely one load of blah. If there is
17 more than one, then the dominator optimizations failed. */
18 /* { dg-final { scan-tree-dump-times "blah" 1 "dom2"} } */
19
20 /* There should be exactly one IF conditional. */
21 /* { dg-final { scan-tree-dump-times "if " 1 "dom2"} } */
22
23