[llvm] [LAA] Make Ptr argument optional in isNoWrap. (PR #127410)

[Florian Hahn via llvm-commits]

================
@@ -1144,13 +1153,10 @@ bool AccessAnalysis::createCheckForAccess(RuntimePointerChecking &RtCheck,
 
     // When we run after a failing dependency check we have to make sure
     // we don't have wrapping pointers.
-    if (ShouldCheckWrap) {
-      // Skip wrap checking when translating pointers.
-      if (TranslatedPtrs.size() > 1)
-        return false;
-
-      if (!isNoWrap(PSE, AR, Ptr, AccessTy, TheLoop, Assume))
-        return false;
+    if (ShouldCheckWrap &&
+        !isNoWrap(PSE, AR, TranslatedPtrs.size() == 1 ? Ptr : nullptr, AccessTy,
----------------
fhahn wrote:

Ah I see. It should never be empty. I added an assert, as it would be incorrect if it would be empty, meaning we couldn't translate the input pointer.

If it is empty, then we should never enter the enclosing loop. I'd prefer to leave it checking `== 1` as this is the only case where it should be safe to use the pointer. WDYT?

https://github.com/llvm/llvm-project/pull/127410