https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82007
--- Comment #1 from Édouard Canot <edouard.ca...@univ-rennes1.fr> --- I omit to say that many lines in the attached source are commented by a double bang (!!); remove some of them to reveal the bug... EC
