https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97927
--- Comment #6 from Matthias Klose <doko at debian dot org> --- just checked with today's trunk and --enable-checking=yes,extra,rtl working there.
doko at debian dot org via Gcc-bugs Fri, 20 Nov 2020 06:53:37 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97927
--- Comment #6 from Matthias Klose <doko at debian dot org> --- just checked with today's trunk and --enable-checking=yes,extra,rtl working there.