On 2025-06-29 05:17, Pádraig Brady wrote:
> If we want the compiler to just apply Dead Code Elimination here,
> then it may be best to push/pop ignoring that warning ?

Or, since GCC didn't complain about similar code elsewhere, we can 
change the complained-about code to look more like the code elsewhere. 
This is more likely to pacify any non-GCC compilers that are also flummoxed.

There's a similar situation with the floating point formats, which I 
assume you didn't run into because they're all distinct on your platform.

I installed the attached patch which I hope pacifies GCC on your 
platform. I didn't observe the problem with gcc (GCC) 15.1.1 20250521 
(Red Hat 15.1.1-2) on x86-64 so I can't easily test the patch myself.