/* { dg-compile } */
+/* { dg-skip-if "consts are shorts, not longs" { "m32c-*-*" "avr-*-*" } { "*" } { "" } } */
+/* { dg-skip-if "No Inf support" { spu-*-* } } */
/* { dg-options "-O -ftrapping-math" } */
+/* There should be exactly 2 +Inf in the assembly file. */
+
float f1 = __FLT_MAX__ + __FLT_MAX__;
float foo1(void)