https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70826
--- Comment #2 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- I don't know the register-renames code at all -- does it update debug information when it replaces registers? Sounds like gdb is getting stale results for which register represents a memory value.