jaykang10 added a comment. @nikic @reames After moving this change to isKnownNonEqual, it still handles the example case with existing patterns in aliasGEP. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D98422/new/ https://reviews.llvm.org/D98422