[PATCH] D86669: [ValueTracking] Remove MaxLookup from getUnderlyingObjects

[Vitaly Buka via Phabricator via llvm-commits]

vitalybuka added a comment.

In D86669#3560983 <https://reviews.llvm.org/D86669#3560983>, @efriedma wrote:

> If you're seeing a miscompile, something is probably wrong with the caller.  getUnderlyingObjects() is, in general, not guaranteed to produce an identifiable object.  If the caller cares, it should check; for example, GlobalsAAResult::getModRefInfoForArgument checks `all_of(Objects, isIdentifiedObject)`.

I am not sure why do don't want to make it guaranty with a patch like this?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86669