[PATCH] D124758: [analyzer] Implement assume in terms of assumeDual

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

In D124758#3502913 <https://reviews.llvm.org/D124758#3502913>, @martong wrote:

> Hopefully this commit fixes the failure:
> https://github.com/llvm/llvm-project/commit/21feafaeb85aad2847db44aa2208999b166ba4a9

Yes, it fixed the test case both at clang-armv7-quick and at clang-x64-windows-msvc.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124758