[PATCH] D34502: [analyzer] Do not continue to analyze a path if the constraints contradict with builtin assume

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

Hmm, yeah, right :)


Repository:
  rL LLVM

https://reviews.llvm.org/D34502