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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a subscriber: alexfh.
NoQ added a comment.

I think there are much more problems that we will find this way, starting from

  long foo(long x) {
    unsigned y = (unsigned)x;
    if (y <= -1)
      return 0;
  
    return (y + 2) < 2; // crash :(
  }

I don't mind delaying this patch until at least some of them are sorted out.

----

+ at alexfh because he seems to enjoy running us with assertions :)


Repository:
  rC Clang

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

https://reviews.llvm.org/D57062