Here's an updated patch for DA.<div>It corrects the problem Chandler found, </div><div>plus handles pointer dereferencing in a reasonable fashion.</div><div>Test cases are updated to match.</div><div><br></div><div><div style="font-family:arial,sans-serif;font-size:13px">
If someone could review this change and check it in, if appropriate, I'd be obliged.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Thanks,</div>
<div style="font-family:arial,sans-serif;font-size:13px">Preston</div></div><div><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 4:15 AM, Benjamin Kramer <span dir="ltr"><<a href="mailto:benny.kra@gmail.com" target="_blank">benny.kra@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
On 07.11.2012, at 21:51, Preston Briggs <<a href="mailto:preston.briggs@gmail.com">preston.briggs@gmail.com</a>> wrote:<br>
<br>
> Here's a patch that covers the problems reported by Chandler last week.<br>
> It checks the base pointer of each GEP to be sure they are loop invariant. The patch also updates the -analyze functionality so that all pairs of memory references are tested. Finally, all the test cases have been updated.<br>

><br>
> I haven't yet updated DA to analyze pairs of pointer dereferences. I wanted to get the initial correction in place first. I also expect that analyzer pointer derefs will benefit from delinearization and am hoping it gets incorporated soon.<br>

><br>
> If someone could review this change and check it in, if appropriate, I'd be obliged.<br>
<br>
</div></div>Hi Preston,<br>
<br>
Patch looks good, however, please send changes like this in smaller, incremental patches. A 300 KB diff<br>
is hard to review, especially when there are different changes intertwined.<br>
<br>
I went ahead and committed the test case fixes along with the change to dump all pairs in r167827. The remaining bits are in the attached file, I'd like to have a second pair of eyes looking over it before it goes in.<br>

<br>
</blockquote></div><br></div>