https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67836
--- Comment #2 from nicolas.boulenguez at free dot fr --- The Debian URL above provides a shorter instance of (probably) the same bug within a single task.
nicolas.boulenguez at free dot fr Sun, 03 Jul 2016 04:50:46 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67836
--- Comment #2 from nicolas.boulenguez at free dot fr --- The Debian URL above provides a shorter instance of (probably) the same bug within a single task.