[PATCH] D66461: [CaptureTracker] Comparisons of allocation pointers do not capture

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Thinking about it a bit more, that definition is probably okay.

It would be possible to define a stronger property, that the value of the pointer isn't significant for the operation.  So if a pointer points to the value "3", you can replace it with some other pointer that also points to "3".  Sort of like unnamed_addr on globals.  But that's stronger than you need for alias analysis.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D66461