[PATCH] D63685: [analyzer] exploded-graph-rewriter: Add support for range constraints.

2019-06-24 Thread Phabricator via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL364268: [analyzer] exploded-graph-rewriter: Add support for range constraints. (authored by dergachev, committed by ). Herald added a project: LLVM. Herald added a subscriber: llvm-commits. Changed prior

[PATCH] D63685: [analyzer] exploded-graph-rewriter: Add support for range constraints.

2019-06-22 Thread Csaba Dabis via Phabricator via cfe-commits
Charusso accepted this revision. Charusso added a comment. This revision is now accepted and ready to land. That is a great design-decision, thanks! Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D63685/new/ https://reviews.llvm.org/D63685 __

[PATCH] D63685: [analyzer] exploded-graph-rewriter: Add support for range constraints.

2019-06-21 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ created this revision. NoQ added reviewers: dcoughlin, xazax.hun, a_sidorin, rnkovacs, Szelethus, baloghadamsoftware, Charusso. Herald added subscribers: cfe-commits, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet. Herald added a project: clang. NoQ added a parent revision: D63684: [a