search for: allowedalia

...type of various AA, including TBAA. I would expect that the result of the complete alias analysis includes both the information on whether given accesses alias and, as a separate element, whether they are allowed to alias by the rules of the language. Then we may have combinations like (MustAlias, AllowedAlias) that seem to be the common case and combinations like (MustAlias, NotAllowedAlias) that I would expect to a) generate the breaks-alias-rules kind of warnings and b) proceed further as any other MustAlias case. The latter combination is what I would expect for illegal type puns, for whatever defi...