[llvm] [Delinarization] Add test for inferred array size exceeds integer range (PR #169048)

[Michael Kruse via llvm-commits]

================
@@ -0,0 +1,136 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
+; RUN: opt < %s -passes='print<delinearization>' --delinearize-use-fixed-size-array-heuristic -disable-output 2>&1 | FileCheck %s
+
+; FIXME: When considering an array as a function from subcripts to addresses,
+; it should be injective. That is, different subscript tuples should map to
----------------
Meinersbur wrote:

Is injectivity a requirement for array accesses that we want to analyze? What about `A[i][j/2]`, `A[i][max(0,j-1)]` or `A[i][0]`?

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