https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108968
--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Minimal reproducer: https://godbolt.org/z/E6EEY1WT6 Am I right in understanding that: register unsigned long sp asm("rsp"); is intended as a way to read the %rsp register? If so, I think the analyzer might be failing to grok that idiom.