[llvm] [DA] Fix the check between Subscript and Size after delinearization (PR #151326)

[Michael Kruse via llvm-commits]

================
@@ -1111,9 +1111,9 @@ bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X,
   }
 }
 
-/// Compare to see if S is less than Size, using isKnownNegative(S - max(Size, 1))
----------------
Meinersbur wrote:

The want a Size of 0 to pass the test. Zero size means no memory accessed, so obviously no dependency.

And then there is the issue that `Size` could evaluate to a negative number... , which first needs to verify that it is being used in a GEP inbounds expression (that is then used to access memory)

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