https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106037
David SAUVAGE - AdaLabs <david.sauvage at adalabs dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |david.sauvage at adalabs dot com --- Comment #3 from David SAUVAGE - AdaLabs <david.sauvage at adalabs dot com> --- reproducer available on https://gitlab.com/adalabs/reproducers/-/tree/main/106037