ASDenysPetrov added a comment. @chrish_ericsson_atx
> I don't understand -- probably I don't have enough experience with analyzer > state dumps to know what I should find surprising or better in this example. Simply saying, now `ptr[3]` returns value `4` as expected, but `arr[1][1]` still returns `unknown` symbol. Previously `ptr[3]` also returned `unknown` symbol, basically matched with what `arr[1][1]` returns. After my patch `ptr[3]` started to return 'undefined' and therefore asserted. I've made a fix which improved the behavior for `ptr[3]` but remained `arr[1][1]` as is. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D104285/new/ https://reviews.llvm.org/D104285 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
