I think the problem is not too much optimizations but the undefined behaviors/compiler bugs detection. There should be an "optimized debug" mode that apply all optimizations requested but add asserts to check every assumptions made by the compiler. In this way we can run the "optimized debug" binary and check it doesn't trigger any assert.