1 /* PR target/56890 */
2 /* Reported by Rainer Jung <rainer.jung@kippdata.de> */
3 
4 /* { dg-do assemble } */
5 /* { dg-options "-O2" } */
6 
buggy(unsigned int min,unsigned int max)7 unsigned int buggy(unsigned int min, unsigned int max)
8 {
9     if (max < 16384) {
10         unsigned short num16 = 0;
11         num16 = min + (long) ((double) (max - min + 1.0) * (num16 / (65535 + 1.0)));
12         return num16;
13     }
14     return 0;
15 }
16