[PATCH] D44934: [analyzer] Improve the modeling of `memset()`.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> In addition, `memset` can bind anything to the region, so `getBindingForDerivedDefaultValue()`'s logic needs some adjustment. **The solution in this patch is certainly not correct.**

Yeah, i guess you meant here the thing that i was saying about concrete bindings. If we only limit ourselves to concrete bindings, it should work well.


Repository:
  rC Clang

https://reviews.llvm.org/D44934