------- Comment #5 from daney at gcc dot gnu dot org 2009-12-08 17:34 ------- (In reply to comment #4) > Mike Stump says that the frame can be optimized away on darwin. However, > Apple's 4.2.1 compiler in darwin10 also appears to leave the stack frame...
That compiler doesn't implement __builtin_unreachable(), so is irrelevant to the discussion of this bug. Of interest is why, in a leaf function that doesn't use the stack, the stack pointer is adjusted. A darwin hacker will probably have to look into it as I only have access to GNU/Linux targets. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42313