https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66262
--- Comment #2 from Gianfranco <costamagnagianfranco at yahoo dot it> --- I mentioned a testcase in the Debian bug report. Unfortunately I'm not the upstream developer, I might find difficult to extract what you exactly need...
