[PATCH] Disable inlining between sanitized and non-sanitized functions

Chandler Carruth chandlerc at gmail.com
Thu Aug 8 00:44:18 PDT 2013


On Wed, Aug 7, 2013 at 4:00 AM, Evgeniy Stepanov <eugenis at google.com> wrote:

>
>   I'm not sure what to test there. Inliner has no problem with this, but
> having sanitize_address and sanitize_memory functions in the same module
> will not work for a number of different reasons and just should not happen
> in reality.
>   Probably best to say that this behaviour is unspecified?


Hmm.

If you want to go this route, you should have the verifier assert this fact
about the module. Only then am I really comfortable with code and tests
ignoring the possibility.

Anyways, any/all of this can be handled at any point.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130808/d86d814d/attachment.html>


More information about the llvm-commits mailing list