Eventuell arbeitet der Compiler auch nicht ganz statisch und optimiert manchmal so und manchmal so.
Das kann ja "irgendwie nicht ganz wahr sein".
Seit wann ist die Optimierung ein - salopp forumuliert - Glücksspiel?
Hat der Kunde nicht das Recht auf stete vollumfängliche Optimierung gemäß den eingestellten Optionen?
Wenigstens ein Compiler sollte verläßlich, genaugenommen determiniert arbeiten. Ansonsten muß man sich über die Ablehnung solcher Compilate für sicherheitskritische Bereiche nicht wundern.