float_itos.c

////C: '-msoft-fp-single'
//C: '-march=rv64gczfh -mabi=lp64d'

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

  z = (int)a;

  return 0;
}