[llvm] [llvm][rtsan] Add transform pass for sanitize_realtime_unsafe (PR #109543)

[via llvm-commits]

================
@@ -0,0 +1,19 @@
+; RUN: opt < %s -passes=rtsan -S | FileCheck %s
+
+define void @_Z17blocking_functionv() #0 {
+  ret void
+}
+
+define noundef i32 @main() #2 {
+  call void @_Z17blocking_functionv() #4
+  ret i32 0
+}
+
+attributes #0 = { mustprogress noinline sanitize_realtime_unsafe optnone ssp uwtable(sync) }
----------------
davidtrevelyan wrote:

Yeah good question - the attributes are indeed mutually exclusive. You can see the test in `main` here: https://github.com/llvm/llvm-project/blob/main/llvm/test/Verifier/rtsan-attrs.ll

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