> > get_alias_set already handles VCEs properly. Btw I've said I see - i keep thinking of get_alias_set as a simple accessor to type's alias set which it is not. It may make sense to separate these two later.
> BIT_FIELD_REF has the same issue but you didn't include that > case below. Sorry, missed that in your reply. I am testing the fix. What about aliasing_component_refs. When I have VCE in the the path, I suppose I do not want to consider the stuff after VCE as part of path and also while testing whether one path can be continuation from other I want to start from outermost VCE rather than ref_type, right? So I would go for adjusting the ref1 and ref2 accordingly in the first walk of handled components. alias set needs no updating since that is aready done earlier. Honza
