AntonyCJ30 wrote: Patch updated: kept getUnderlyingObject() check, removed SCEV logic. Now only checks for same SSA value with different underlying objects as requested. Removed the SCEV test case. https://github.com/llvm/llvm-project/pull/206401