Here's a patch that covers the problems reported by Chandler last week.<div>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.</div>
<div><br></div><div>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.</div>
<div><br></div><div>If someone could review this change and check it in, if appropriate, I'd be obliged.</div><div><br></div><div>Thanks,</div><div>Preston</div><div><br></div>