martong abandoned this revision.
martong added inline comments.
Comment at: clang/test/Analysis/constraint_manager_negate_difference.c:125-130
void negate_unsigned_mid(unsigned m, unsigned n) {
if (m - n == UINT_MID) {
-clang_analyzer_eval(n - m == UINT_MID); //
steakhal added a comment.
Seems reasonable.
Comment at: clang/test/Analysis/constraint_manager_negate_difference.c:145-148
+// FIXME only the TRUE case should appear. But it is better to be
+// conservative than faulty.
+clang_analyzer_eval(n - m == 1); //
martong created this revision.
martong added reviewers: NoQ, steakhal.
Herald added subscribers: manas, ASDenysPetrov, gamesh411, dkrupp, donat.nagy,
Szelethus, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware,
xazax.hun.
Herald added a reviewer: Szelethus.
Herald added a