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

Chandler Carruth chandlerc at google.com
Thu Nov 6 18:14:49 PST 2014


Have you thought about force emitting the memcpy metadata that describes
the padding holes in the struct, and use that to predicate the
instrumentation?

While there is some risk that the optimizer loses this information,
frankly, we want to find all those places and fix them.

On Thu, Nov 6, 2014 at 8:01 PM, Kostya Serebryany <kcc at google.com> wrote:

> Hi majnemer, rsmith,
>
> If we've added poisoned paddings to a type do not emit memcpy for
> operator=.
>
> http://reviews.llvm.org/D6160
>
> Files:
>   lib/CodeGen/CGExprCXX.cpp
>   test/CodeGen/sanitize-address-field-padding.cpp
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20141106/d6b52077/attachment.html>


More information about the cfe-commits mailing list