https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67736
--- Comment #2 from Aurelien Jarno <aurelien at aurel32 dot net> --- Thanks for the patch. I have just tested it, and it indeed fixes the issue from the testcase. I am currently trying to build ffmpeg, from which the testcase has been extracted to see if all the issues are really fixed.