[PATCH] D104285: [analyzer] Retrieve value by direct index from list initialization of constant array declaration.

[Denys Petrov via Phabricator via cfe-commits]

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