[PATCH] D39049: [analyzer] Fix wrong calculation of offset in ArrayBoundsV2

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

In https://reviews.llvm.org/D39049#926597, @danielmarjamaki wrote:

> > Could you do a similar analysis that I did above to check why does this not work for the multidimensional case? (I.e.: checking what constraints are generated and what the analyzer does with them.)
>
> Expressions:
>  rawOffsetVal => 0
>
> extentBegin => 0
>
> For getSimplifiedOffset() , the offset is not a SymIntExpr it will just return 0.


So what are the argument that are passed to `getSimplifiedOffset()` in that case? 0? That does not seem to be correct.


Repository:
  rL LLVM

https://reviews.llvm.org/D39049