2 /* { dg-options "-O -ftrapping-math" } */
4 float f1 = __FLT_MAX__ + __FLT_MAX__;
8 return __FLT_MAX__ + __FLT_MAX__;
18 /* { dg-final { scan-assembler-times "2139095040" 2 { target { ! mmix-*-* } } } } */
19 /* { dg-final { scan-assembler-times "#7f800000" 2 { target mmix-*-* } } } */