[PATCH] D110642: Add ability to detect no-alias between different fields of the same structure

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri requested changes to this revision.
lebedev.ri added a comment.

This is valid given C++ semantics, but not LLVM IR semantics.
I have it my queue to encode the C++ semantics, hang on.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110642/new/

https://reviews.llvm.org/D110642