From: Mark Weiser <mark.umcp-cs at udel-relay> Even if the compiler does mung with the SP, it should still be safe to allocate from it. Whatever the compiler does it should do from the current sp value, which is the one you updated to leave space for your array.