double_itod-sf.c

//C: '-msoft-fp-double'

int main(void)
{
  volatile double z;
  volatile int a;

  z = (int)a;

  return 0;
}