[llvm-dev] RFC: Resolving TBAA issues

[Ivan A. Kosarev via llvm-dev]

Daniel,

 > This is an aggregate type that includes a type compatible
 > with the effective type of the object.  In particular,
 > x->i is an lvalue expression of type "int"
 > b->a is an lvalue expression of type "struct A"
 > "struct A" is an aggregate type that includes "int" among
 > its members.
 > Therefore, the b->a object may access x->i by TBAA

My understanding is in x->i there are two accesses by lvalue, of which 
the first one is (*x) and that lvalue is of type that is not compatible 
with [any part of] struct A. Would you agree?

Thanks,

-- 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170819/93cb0594/attachment.html>