https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67552
--- Comment #5 from Yulia Koval <julia.koval at intel dot com> --- Sorry, I don't understand why we shouldn't preserve the red zone. The function "foo", executing before the interrupt was called, used its red zone. If the interrupt does not adjust the stack pointer, who control that "foo" function's red zone would not be overwritten?
