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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
