https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105660
--- Comment #10 from Martin Uecker <muecker at gwdg dot de> --- I do not think the suggested change is correct. I am looking into it.
muecker at gwdg dot de via Gcc-bugs Wed, 08 Feb 2023 14:46:13 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105660
--- Comment #10 from Martin Uecker <muecker at gwdg dot de> --- I do not think the suggested change is correct. I am looking into it.