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