[PATCH] D52848: [analyzer] Do not crash if the assumption added in TrustNonNullChecker is enough to make the state unfeasible

[Fangrui Song via Phabricator via cfe-commits]

MaskRay added a comment.

This change appears to break `test/Analysis/trustnonnullchecker_test.m` in 
non-optimized (__OPTIMIZE__ not defined) mode. Can you take a look?


Repository:
  rC Clang

https://reviews.llvm.org/D52848



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits