[LLVMdev] Type-Based Alias Analysis
sabre at nondot.org
Sat Oct 6 20:18:03 CDT 2007
On Oct 6, 2007, at 8:54 AM, Jon Sargeant wrote:
> I should have been more specific in my earlier post about slicing and
> pointer casting. I come from a C++ background where pointer
> casting is
> particularly dangerous because the compiler is allowed to assume that
> unrelated pointers never address the same location in memory. Even
> doing a "safe" array slice (e.g., casting int(*) to int(*))
> results in undefined behavior. Is this an issue with LLVM?
No, LLVM doesn't use TBAA.
More information about the LLVMdev