https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78443 --- Comment #11 from federico <perini at wisc dot edu> --- Janus, sure - please take your time! Opening a new ticket for this further issue. Thanks, Federico