1  /* PR target/56890 */
       2  /* Reported by Rainer Jung <rainer.jung@kippdata.de> */
       3  
       4  /* { dg-do assemble } */
       5  /* { dg-options "-O2" } */
       6  
       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  }