[llvm-dev] RFC: Resolving TBAA issues

[Daniel Berlin via llvm-dev]

Hi Ivan,


On Sun, Aug 20, 2017 at 7:11 AM, Ivan A. Kosarev via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Hello Daniel,
>
> Like gcc, icc says "no alias", except when the members we access are part
> of the common initial sequence


The problem with the way you are trying to show this is that there are many
ways to prove no-alias, and TBAA is one of them.
The reason i stare at dump files and debug info is precisely to separate
the TBAA portion from the rest.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170820/7754bfed/attachment.html>