[PATCH] D52853: [Analyzer] Try fixing ConstraintManager::assumeDual

Wed Oct 3 16:53:12 PDT 2018

MaskRay added a comment.

In https://reviews.llvm.org/D52853#1254486, @NoQ wrote:

> This should have been fixed by https://reviews.llvm.org/D52848.
>
> This is a very important fundamental assertion, we definitely should not remove it.

Sorry I don't understand the code at all but I get a different result.

`~/llvm/Debug/bin/llvm-lit test/Analysis/trustnonnullchecker_test.m` => assert() fails

Reverting https://reviews.llvm.org/D52848 (https://reviews.llvm.org/rC343735) seems to unbreak the test...

Repository:
  rC Clang

https://reviews.llvm.org/D52853