[clang] [Clang][CodeGen][UBSan] Add more precise attributes to recoverable ubsan handlers (PR #130990)

Yingwei Zheng via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 31 02:20:02 PDT 2025


dtcxzyw wrote:

> willreturn means we eliminate the call

The ubsan handler cannot be eliminated because `inaccessiblemem: readwrite` indicates that it has externally observable side effects. 

BTW, I just worry that some risky instructions (e.g., divided by zero) may be moved before the handler.



https://github.com/llvm/llvm-project/pull/130990


More information about the cfe-commits mailing list