[PATCH] D136162: [analyzer] Fix assertion failure in RegionStore within bindArray()

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> In this example, we try to store 42 to the Elem{buffer, 0}.

In this case the natural question is, why does it go through `bindArray()`? We're not binding an array. Can we try to preserve the contract that `bindArray()` only deals with arrays?

@martong's comment makes sense to me, it sounds like this could be a case of `CallEvent::getRuntimeDefinition()` not picking up the right definition, at least not consistently.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136162/new/

https://reviews.llvm.org/D136162