[PATCH] D96090: [analyzer] Replace StoreManager::CastRetrievedVal with SValBuilder::evalCast

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D96090#2574526 <https://reviews.llvm.org/D96090#2574526>, @ASDenysPetrov wrote:

> @steakhal wrote:
>
>> This patch preserves all previous reports as expected.

Even with or without Z3 refutation.

> If this patch is technically full-baked and does not bring any harm, can we approve it as well to move forward?

I would like @NoQ or someone else to also review this.


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

https://reviews.llvm.org/D96090