[LLVMdev] Strange pointer aliasing behaviour

Pierre C 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
> either.
> -Eli

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 mailing list