PimpalkarNeha wrote:

> > in C these char types may alias any type
> 
> The standard doesn't say this.



> > in C these char types may alias any type
> 
> The standard doesn't say this.



Thanks for the note. You're right — the standard does not say that in those 
words. I meant that a store through char*** and a load through int*** can refer 
to the same memory, so those accesses must not be treated as non-aliasing in 
TBAA.

I've updated the description.


https://github.com/llvm/llvm-project/pull/200392
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to