[LLVMdev] tbaa

[ggan at codeaurora.org]

Hi Daniel,

> If you want it to say that float * and int * don't alias, you will
> have to enhance clang to generate TBAA tags for pointer types
> properly.
> It should already say that float * and int don't alias, and int * and
> float don't alias.

>From what you said above, do you mean that, the current clang can not
disambiguate a "float pointer" (float *) and an "int pointer" (int *)?

Gan