floating point rounding giving different results for 80-bit register and 64-bit double: ill-formed code or gcc/clang bug?

Question

The code given below shows different results, depending on -O or -fno-inline flags. Same (strange) results for g++ 10.1 and 10.2 and clang++ 10 on x86. Is this because the c