[llvm] [polly] [delinearize] Extract array dimensions from alloca and global declarations (PR #156342)

[Sebastian Pop via llvm-commits]

================
@@ -523,7 +525,7 @@ for.body:                                         ; preds = %entry, %for.body
   %conv = trunc i64 %i.02 to i32
   %sub = sub nsw i64 18, %i.02
   %mul = mul nsw i64 %i.02, 3
-  %sub1 = add nsw i64 %mul, -18
+  %sub1 = add nsw i64 %mul, 18
----------------
sebpop wrote:

This negative subscript would be out of bounds, so the original testcase is broken from a c/c++ or fortran point of view.

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