https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67973
--- Comment #12 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot
Uni-Bielefeld.DE> ---
Right: an initial version was posted to gcc-patches at the listed URL,
but is currently being reworked. I usually only attach patches if they
are not yet ready for posting.
Rainer
