1  /* PR middle-end/94111 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2" } */
       4  
       5  int
       6  main ()
       7  {
       8    _Decimal32 d = (_Decimal32) __builtin_inff ();
       9    if (!__builtin_isinf ((double) d))
      10      __builtin_abort ();
      11    return 0;
      12  }