https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109622
--- Comment #2 from Patrick Bégou <patrick.be...@univ-grenoble-alpes.fr> --- Sorry, exact branch is: releases/gcc-13
patrick.begou--- via Gcc-bugs Tue, 25 Apr 2023 03:32:36 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109622
--- Comment #2 from Patrick Bégou <patrick.be...@univ-grenoble-alpes.fr> --- Sorry, exact branch is: releases/gcc-13