/*
 * Test bug in gcc-4.1.2 4.2.4 4.3.3.
 * This should print 0 not 99999.0 but fsils when compiled for
 * arm-linux-gnueabi softfloat with -O -ffinite-math-only
 *
 * Fixed in gcc-4.3.4
 */
#include <stdio.h>

#define test_min(x,y)   ((x) >  (y) ? (y) : (x))

int
main (void)
{
        static float data [1];
        float min = 99999.0 ;

        min = test_min (min, data[0]) ;

        printf("min = %f\n", min);

        return min != 0.0 ;
}