<div class="gmail_quote">Sorry to dig up an old thread...</div><div class="gmail_quote"><br></div><div class="gmail_quote">On Fri, Aug 27, 2010 at 5:19 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Update test case, with comment to later investigate the correct behavior.  Now the behavior is at least consistent.</blockquote>
</div><br><div>Can you explain what's going on here? As mentioned in the PR that this was committed with a partial fix for, these shouldn't warn. I had added some code to prevent the first case from warning, and left a FIXME in the code for the second case. I'm trying to track down what caused the first one to start warning again, it's causing major problems for us.</div>