Solche Fehler, die vom Optimizer verursacht sind, sind immer superschwer zu finden! Vielleicht wird dieser Bug ja irgendwann behoben.
Kann man eigentlich den Leuten solche Bugs berichten? Wenn ja, dann wo?

Gruß, Yaro