<div>Hi Ryan</div><div><br></div><div>Thanks a lot for the patch! I will report back after checking how it works for my analysis and benchmarks.</div><div><br clear="all"><div><span style>Thanks,</span><br style><span style>Shweta</span><br>
</div>
<br><br><div class="gmail_quote">On Fri, Mar 8, 2013 at 11:59 AM, Ryan Govostes <span dir="ltr"><<a href="mailto:rzg@apple.com" target="_blank">rzg@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div style="word-wrap:break-word"><div>Hi Shweta,</div><div><br></div><div>Please find attached a preliminary version of my patch. I am curious to hear from you how well it works.</div><div><br></div><div>The STP-based constraint manager is implemented as a plug-in which lives in clang/tools/smt-constraint-manager/. There is a README file in that directory that explains how to build and use the plug-in. I have only tested it on OS X.</div>

<div><br></div><div>The README also details some caveats that will affect both accuracy and performance.</div><div><br></div><div>Note that with this patch applied, the static analyzer will perform worse even when the plug-in is not active, because I had to disable an optimization in SValBuilder::makeSymExprValNN. I also hope to solve this before submitting the patch, but please keep this in mind if you are planning on running benchmarks.</div>

<div><br></div><div>Best,</div><div>Ryan</div><div><br></div></div><br><div style="word-wrap:break-word"><div><br><div><div>On Mar 7, 2013, at 7:27 PM, Shweta Shinde <<a href="mailto:shwetasshinde24@gmail.com" target="_blank">shwetasshinde24@gmail.com</a>> wrote:</div>

<br><blockquote type="cite"><div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">Thanks for the reply!<div><br></div><div>I will use the checkAssume callback and check if I can manage to get what I want.</div>

<div><br></div><div>It will be great if STP is made available as an alternative in cases where precise results is the priority.  </div><div>For now, I would like to check if the slowdown due to Ryan's patch is significant or trivial for my purposes.</div>

<div>Can I get the patch for checking the slowdown on my tests?<br><div><br clear="all"><div><span>Regards,</span><br><span>Shweta</span></div></div></div></div></blockquote></div><br></div></div><br></blockquote></div><br>

</div>