Mutually Exclusive If/Else Branches Both Allocate Frame Space

[0xGeorgii]

Arrays in both if and else arms are allocated simultaneously in the function-wide frame. Correct but wasteful. A liveness-aware allocator could overlap exclusive-arm arrays (LLVM does this via StackColoring).