On Tue, 16 Jun 2020 at 12:58, Roland Denis wrote: > Am I missing something important or does that look like a GCC bug ? It's a bug. It started with https://gcc.gnu.org/r271510 and was fixed in the master branch by https://gcc.gnu.org/r11-963 which was addressing https://gcc.gnu.org/PR95493 which is a different bug. > PS: result is correct with trunk version of GCC in godbolt, does that > mean it is an already solved bug? Looks like it, but I've added a comment to PR 95493 so that it can be investigated and we can be sure your problem is really fixed.