<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hi Alexey, <div><br></div><div>Thanks for the patch. The stack-coloring pass does data flow analysis and it is designed to overcome open lifetime regions. However, it will be a good idea to fix simplifycfg if possible. The 'use-after-scope' part LGTM. </div><div><br></div><div>Thanks,</div><div>Nadav</div><div><br><div><div>On Apr 1, 2013, at 3:43 AM, Alexey Samsonov <<a href="mailto:samsonov@google.com">samsonov@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr">+cc cfe-commits<div class="gmail_extra"><br>On Mon, Apr 1, 2013 at 2:43 PM, Alexey Samsonov<span class="Apple-converted-space"> </span><span dir="ltr"><<a href="mailto:samsonov@google.com" target="_blank">samsonov@google.com</a>></span><span class="Apple-converted-space"> </span>wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;"><div dir="ltr">Hi!<div><br></div><div>This patch adds a tiny bit to r177819: it turns on emitting lifetime markers for all auto variables under -fsanitize=use-after-scope mode. LLVM part of this mode is already implemented and adds calls to ASan runtime that mark the memory as addressable before llvm.lifetime.start() and "unaddressable" after llvm.lifetime.end().</div><div><br></div><div>Also note that currently there is a problem with simplifycfg: it may kill llvm.lifetime.start intrinsics at the beginning of some basic blocks. Do you think it may harm you?</div><span class="HOEnZb"><font color="#888888"><div><br></div><div></div></font></span></div></blockquote></div><br><br>--<span class="Apple-converted-space"> </span><br><div>Alexey Samsonov, MSK</div></div></div></div></blockquote></div><br></div></body></html>