[PATCH] [clang/asan] Do not emit memcpy for trivial operator= when -fsanitize-address-field-padding >= 1

Richard Smith richard at metafoo.co.uk
Tue Nov 11 15:24:44 PST 2014


LGTM, assuming the answer to my question is 'no'.

================
Comment at: lib/CodeGen/CGExprCXX.cpp:321
@@ -320,3 +320,3 @@
   if ((MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator()) &&
-      MD->isTrivial()) {
+      MD->isTrivial() && !MD->getParent()->mayInsertExtraPadding()) {
     llvm::Value *Src = EmitLValue(E->getArg(1)).getAddress();
----------------
Is `mayInsertExtraPadding` ever `true` for a union? The non-`memcpy` path will not do the right thing for a trivial assignment operator in that case.

http://reviews.llvm.org/D6160






More information about the cfe-commits mailing list