float_add.c

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

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

  z = a + b;

  return 0;
}