This is good news! Clang representatives were very basically the only ones against this clarification. Do you have a pointer?
https://llvm.org/docs/LangRef.html#volatile-memory-accesses:
> Volatile operations are permitted to trap. The compiler may not assume that execution will continue after a volatile operation.
https://llvm.org/docs/LangRef.html#volatile-memory-accesses:
> Volatile operations are permitted to trap. The compiler may not assume that execution will continue after a volatile operation.