/* PR optimization/9325  */

/* { dg-additional-options "-fno-trapping-math" } */

#include <limits.h>

extern void abort(void);

int f1() {
    return (int)2147483648.0f;
}

int f2() {
    return (int)(float)(2147483647);
}

int main() {
#if INT_MAX == 2147483647
    if (f1() != 2147483647)
        abort();
    if (f2() != 2147483647)
        abort();
#endif
    return 0;
}
