https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86979
--- Comment #10 from Alexander Monakov <amonakov at gcc dot gnu.org> --- As discussed with Andrew offline, the real problem is creating a path where stack pointer is decremented twice - that is really not supposed to happen (so the issue could appear even in absence of REG_ARGS_SIZE notes). We'll be having another look to find the root cause.