1 /* PR rtl-optimization/19296 */
2 /* Origin: Falk Hueffner <falk@debian.org> */
3 
4 /* { dg-do run } */
5 /* { dg-options "-O" } */
6 /* { dg-options "-O -mcpu=i686" { target i?86-*-* } } */
7 /* { dg-options "-O -m32 -mcpu=i686" { target x86_64-*-* } } */
8 
9 extern void abort(void);
10 
f(unsigned short ad)11 void f(unsigned short ad)
12 {
13   if (ad >= 0x4000 && ad < 0xc000)
14     abort();
15 }
16 
main(void)17 int main(void)
18 {
19   f(0xff00);
20   return 0;
21 }
22