https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53915
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot
gnu.org
--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
I've just tried to build latest release of mpfr with --coverage and make check.
But looks the problematic source file wasn't executed. Thus I'm planning to
commit assert to gcov that will ensure that top <= bottom and we hopefully find
a reproducer.
