[LLVMdev] Strange pointer aliasing behaviour
lists at peufeu.com
Wed Jun 16 23:14:08 PDT 2010
> 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
Actually I think it's much simpler than that...
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.
More information about the llvm-dev