[PATCH] D77062: [analyzer] [NFC] Simplify CStringChecke::assumeZero function

[Denys Petrov via Phabricator via cfe-commits]

ASDenysPetrov updated this revision to Diff 299018.
ASDenysPetrov retitled this revision from "[analyzer] Improve zero assumption in CStringChecke::assumeZero" to "[analyzer] [NFC] Simplify CStringChecke::assumeZero function".
ASDenysPetrov edited the summary of this revision.
ASDenysPetrov added a comment.

Updated. Requalified this patch to non-functional changes.

What do you think we should do with the thing that `ProgramState::assume()` doesn't support `CompoundVal` and `LazyCompoundVal` kinds of `SVal`?


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

https://reviews.llvm.org/D77062

Files:
  clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77062.299018.patch
Type: text/x-patch
Size: 5657 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20201019/71a21e83/attachment.bin>