[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