No necesitas hacer eso, con que hagas
session_regenerate_id creas un nuevo id de sesión. Si lo que quieres es borrar los datos de la sesión al pasar por el index con que hagas $_SESSION = array() al inicio tienes.
Al hacer el session_destroy y unset estas diciendole a PHP que envié una cookie de sesión para borrar la sesión y puede que ese sea el problema en IE.
Recuerda que el ID de sesión se transmite por una cookie, y si destruyes esa cookie o la cambias el browser puede que ya no te la transmita más de regreso al servidor.