https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115410
--- Comment #9 from user202729 <user202729 at protonmail dot com> --- Alright, I open https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115413 instead (discussing one case where gcc already calls a different function from what it should)