You will be hard pressed to find a compiler that has a high level safety certification that covers optimizations. Most safety manuals I am aware of explicitly forbid enabling optimizations.
Edit: https://store.developer.arm.com/store/embedded-iot-software-...