[PATCH] D57062: [analyzer] Re-enable the "System is over constrained" assertion on optimized builds.

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov requested changes to this revision.
george.karpenkov added a comment.
This revision now requires changes to proceed.

We would start getting crashes from `TrustNonnullChecker` if we enable it. Shouldn't those be fixed first?
An input which crashes with this assertion is `test/Analysis/trustnonnullchecker_test.m`.


Repository:
  rC Clang

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

https://reviews.llvm.org/D57062