https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124391
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |documentation
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
float16 rounding issues come up repeatedly, maybe we need some better
documentation (or make that more discoverable, in case it exists)
