On Thursday, 24 May 2018 at 18:31:01 UTC, Luís Marques wrote: > GCC is supposed to be reliable, so I would lean towards > believing this isn't a miscompilation. Turns out it really was a GCC bug! https://groups.google.com/a/groups.riscv.org/d/msg/sw-dev/_F9m7rDH8YM/UuNUJyC_CgAJ