[llvm-dev] [RFC] Adding range metadata to array subscripts.

[Michael Kruse via llvm-dev]

Am Do., 25. März 2021 um 09:42 Uhr schrieb Clement Courbet via
llvm-dev <llvm-dev at lists.llvm.org>:
> So I tried implementing this on top of `inrange`, and I found out that you can only have one `inrange` index, which doesn't allow us to represent access into multidimensional arrays : https://reviews.llvm.org/D99341

I think this is only for the internal representation. According to the
reference (https://llvm.org/docs/LangRef.html#id230), it is allowed
for each dimension.

Michael