On Mon, Jun 29, 2009 at 7:40 PM, Wenzhi Tao<linus_wind at zju.edu.cn> wrote: > The result of -aa-eval: > > MayAlias: %struct.Location* %0, %struct.Location* %1 > MayAlias: %struct.Location* %0, %struct.Location* %2 > MayAlias: %struct.Location* %1, %struct.Location* %2 I'm getting NoAlias with the given steps; are you using trunk LLVM? -Eli