[compiler-rt] [llvm] [TySan] Add option to outline instrumentation (PR #120582)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 18 02:21:09 PDT 2025


================
@@ -591,6 +633,29 @@ bool TypeSanitizer::instrumentWithShadowUpdate(
 
   Value *TD = IRB.CreateBitCast(TDGV, IRB.getPtrTy());
 
+  if (ClOutlineInstrumentation) {
+    if (!ForceSetType && (!ClWritesAlwaysSetType || IsRead)) {
+      // We need to check the type here. If the type is unknown, then the read
+      // sets the type. If the type is known, then it is checked. If the type
+      // doesn't match, then we call the runtime (which may yet determine that
+      // the mismatch is okay).
+
----------------
fhahn wrote:

It is not clear what checks are referred to here. It always directly calls the runtime?

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


More information about the llvm-commits mailing list