float_mv_itos.c

////C: '-msoft-fp-single'
//C: '-march=rv64imaf -mabi=lp64'

#include <stdint.h>

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

  z = *((float *)&a);

  return 0;
}