Hi José,
Patch tested only on x86_64-pc-linux-gnu.
Also tested on darwin20. The patch is OK for me provided the updated PR94331.c test file replaces the original one. Since the PRs are about wrong code, I think the patch should be backported to at least GCC11 (applied and regtested OK).
Thanks for the work, Dominique