https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116447
--- Comment #8 from Christophe Lyon <clyon at gcc dot gnu.org> --- Indeed, the problem is that +mve does not enable the floating-point extension, as opposed to +mve.fp, which means that arm_fp16_inst is false (in arm.cc / arm_option_reconfigure_globals) so arm_fp16_format == 0 and the __fp16 type is not defined in arm_init_fp16_builtins. Related to PR 117814 and the incorrect warning emitted for pr112337.c
