https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61889
--- Comment #37 from Kai Tietz <ktietz at gcc dot gnu.org> --- I confirm that in libgcc we still have an issue ... Could you please make a new report for libgcc's libgcov-util.c for it. Thanks in advance