[llvm] [TySan] A Type Sanitizer (LLVM) (PR #76259)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 18 14:58:24 PDT 2024


================
@@ -371,11 +371,27 @@ static bool isStructPathTBAA(const MDNode *MD) {
   return isa<MDNode>(MD->getOperand(0)) && MD->getNumOperands() >= 3;
 }
 
+// When using the TypeSanitizer, don't use TBAA information for alias analysis.
+// This might cause us to remove memory accesses that we need to verify at
+// runtime.
+static bool usingSanitizeType(const Value *V) {
----------------
fhahn wrote:

Moved to `TypeBasedAAResult`, thanks. There's still a legacy PM wrapper pass that constructs on a per-module basis, but that's not that relevant probably

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


More information about the llvm-commits mailing list