Estupendamente raro IE 9 Javascript bug: Alterar el título del documento hace que el código posterior se ejecute

No entiendo esto en absoluto. Aquí hay un código Javascript que funciona en todos los navegadores, excepto IE 9. Se llama desde una película Flash usando ExternalInterface, y está destinado a cambiar dinámicamente el tamaño de la película en el DOM si el tamaño de la película cambia internamente

function vResizeFlash(swfId, ht) {
    document.getElementById(swfId).height = "100%";
    document.getElementById('flashContainer').style.height = ht + "px";
}

Pero funciona bien si altero el documento.título:

function vResizeFlash(swfId, ht) {
    // IE 9 won't run the rest of this function unless
    // we go through the charade of changing the document title.
    if (navigator.appName.indexOf("Microsoft") != -1) {
       var docTitle = document.title.replace(/^(.+?)\s*$/,"$1");
       document.title = docTitle + " ";
    }
    // Well-coded browsers begin here
    document.getElementById(swfId).height = "100%";
    document.getElementById('flashContainer').style.height = ht + "px";
}

Aquí simplemente recorte cualquier espacio en blanco desde el lado derecho del document.title, luego agregue un solo carácter de espacio en blanco. De repente se ejecutan las siguientes líneas. Nota: hay otras llamadas ExternalInterface en la página, y todas funcionan bien, incluso en IE 9, por lo que no es un problema de Flash/IE 9.

Me topé con la solución porque estaba alterando el título para mostrar los argumentos de la función (como una prueba de depuración rápida), solo para asegurarme de que la función se estaba ejecutando. Y de repente el código funcionó. ¿Sacarlo? No funciona. 100% reproducible.

Cualquiera sabe por qué este comportamiento absolutamente estupefaciente toma lugar?

ACTUALIZACIÓN

@c69 ha planteado la pregunta: "Tal vez su eliminador de código muerto de IE9?"

No sabía nada de esto, así que busqué en Google y encontré este artículo sobre el tema, así como alguna discusión de él en otro lugar. No se lo suficiente como para evaluar cómo esto afectaría a una función Javascript de dos líneas, sin embargo, especialmente porque una de las líneas tiene un referente en la página (aunque se carga tarde a través del Código SWFObject). Aún así, sería un error bastante malo para un "optimizador" de código eliminar líneas de código que considera innecesarias porque no entiende cómo se llaman. Y si no entendió cómo se llaman las líneas, cómo insertar una línea haciendo un cambio falso en el documento.título hacer que el código de repente "necesario"?

ACTUALIZACIÓN 2

Otra pieza del rompecabezas Esto puede tener algo que ver con el modo de compatibilidad de IE 9. Pagina comienza en el modo estándar de IE 9.

Ahora, si enciendo el modo de compatibilidad de IE,

El problema desaparece sin usar el truco anterior. Apágalo, y el problema vuelve (si no hay hack presente).

Pero cuando intenté hacer una prueba simple usando exactamente el mismo HTML (menos un par de etiquetas JSP) y un SWF reducido que solo contiene el código de cambio de tamaño y las herramientas para probar, todo funciona bien. En ese caso, sin embargo, no el icono de compatibilidad se muestra en absoluto.

Estamos usando Tomcat 6.0.32. No soy consciente de que estamos utilizando encabezados especiales, y no hay etiquetas meta con respecto al modo de compatibilidad de IE (ya sea en la aplicación principal o en mi aplicación de prueba).