[PATCH] D15607: [sanitizer] [msan] Fix origin store of array types

Evgeniy Stepanov via llvm-commits llvm-commits at lists.llvm.org
Fri Jan 8 15:11:22 PST 2016


eugenis added inline comments.

================
Comment at: lib/Transforms/Instrumentation/MemorySanitizer.cpp:733
@@ +732,3 @@
+                Cmp, &*IRB.GetInsertPoint(), false, MS.OriginStoreWeights);
+            IRB.SetInsertPoint(CheckTerm);
+          }
----------------
This code seems to build nested if() blocks, effectively testing that all shadow elements are non-null. This is wrong, it should test that any of those is non-null. And even that is a rough approximation.

Would it be enough to change the isa<StructType> test above to isAggregateType() ?



http://reviews.llvm.org/D15607





More information about the llvm-commits mailing list