[PATCH] D77062: [analyzer] Improve zero assumption in CStringChecke::assumeZero

[Denys Petrov via Phabricator via cfe-commits]

ASDenysPetrov added a comment.

@steakhal

> Till then, I recommend you to follow my effort at D88477 <https://reviews.llvm.org/D88477>.

I'm aleady on this way. I'm debugging the Store. I think we load a wrong type because we store a wrong type.


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

https://reviews.llvm.org/D77062