https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69261
--- Comment #2 from Jens Auer <jens.auer at cgi dot com> --- I have submitted a second bug report for the crash: Bug 69263. I don't know if that was appropriate, but the bug has different effects on different versions.
