[LLVMdev] Strange pointer aliasing behaviour

[Pierre C]

> There are essentially two ways to "solve" this issue: one is
> type-based alias analysis, i.e. assuming "double" and "int" don't
> alias; LLVM doesn't implement this at the moment.  The other is to
> attempt to analyze the loop and prove that %indvar.i is never
> negative; LLVM doesn't implement anything like this at the moment
> either.
>
> -Eli

Actually I think it's much simpler than that...

http://llvm.org/releases/1.3/docs/AliasAnalysis.html#basic-aa

it says says "Different fields of a structure do not alias."

This is the case here : we have two different fields of a struct however  
it mistakenly thinks they alias.