[PATCH] D107357: [getUnderlyingObject] support ptr_provenance

[Zoxc via Phabricator via llvm-commits]

Zoxc added a comment.

It does kind of seem to me that getUnderlyingObject is intended to discover the provenance given that it discards GEPs. So always following the provenance path seems reasonable. However for full restrict the question to follow noalias intrinsics or not does appear to be more situational. So perhaps FollowProvenance should turn in to a FollowNoAlias argument?


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

https://reviews.llvm.org/D107357