float_abs.c

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

#include <math.h>
//float fabsf(float x);

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

  z = fabsf(a);

  return 0;
}