https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120929
--- Comment #15 from Sam James <sjames at gcc dot gnu.org> --- (In reply to qinzhao from comment #14) > (In reply to Siddhesh Poyarekar from comment #13) > > Here's a super-minimal test case: > > > thanks for the smaller testing case, it has the same behavior as the one > Sergei provided in comment #7: On X86 machine, even the older GCC reports > the overflow error. But on aarch64, only the latest GCC reports the overflow > error. > it looks like an old bug in object-size. I can't reproduce that behaviour at all on x86-64. Very odd. It's OK with 12..16 (with your commits reverted for testing).