<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Daniel,<br>
<br>
> This is an aggregate type that includes a type compatible<br>
> with the effective type of the object. In particular,
<div class="gmail_quote">> x->i is an lvalue expression of
type "int"</div>
<div class="gmail_quote">> b->a is an lvalue expression of
type "struct A"</div>
<div class="gmail_quote">> "struct A" is an aggregate type that
includes "int" among<br>
> its members.</div>
<div class="gmail_quote">> Therefore, the b->a object may
access x->i by TBAA<br>
<br>
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?<br>
<br>
Thanks,<br>
<br>
-- <br>
</div>
<br>
</body>
</html>