[PATCH] D40975: [LangRef] Reflect the changes in the TBAA info format

[Ivan Kosarev via Phabricator via llvm-commits]

kosarev added inline comments.


================
Comment at: docs/LangRef.rst:4633
+
+Two accesses alias if:
 
----------------
It seems I forgot the case when one type encloses the other. Will fix on publishing the patch for the analysis machinery.


================
Comment at: docs/LangRef.rst:4683
+
+      // Accesses to union members are not supported yet, and conservatively
+      // represented as accesses to character arrays. Note that in C and C++,
----------------
hfinkel wrote:
> I thought that, in the new format, we were going to support unions by allowing multiple fields at the same offset. Are you planning to just do that as a follow-up set of patches?
Yes, it would help if we can address unions with a separate patch set.


https://reviews.llvm.org/D40975