If there are are unreachable basic blocks in the native code then the linear allocator might loop. Detect this case and panic instead.