Hacker News new | ask | show | jobs
by gmueckl 2528 days ago
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.
2 comments
Tomte 2528 days ago
ARM Clang does not require optimizations to be switched off, and is certified for SIL3/ASIL4, IIRC.

Edit: https://store.developer.arm.com/store/embedded-iot-software-...

link
fuklief 2528 days ago
CompCert ?
link
gmueckl 2528 days ago
Okay, it recently did get quite high formal certifications.
link