[clang] 7e2b995 - [analyzer] [NFC] Add more test cases for equality tracking

[Denys Petrov via cfe-commits]

Author: Denys Petrov
Date: 2022-08-10T19:52:55+03:00
New Revision: 7e2b995e0cced8a292c3de9e4ec6a503223de38a

URL: https://github.com/llvm/llvm-project/commit/7e2b995e0cced8a292c3de9e4ec6a503223de38a
DIFF: https://github.com/llvm/llvm-project/commit/7e2b995e0cced8a292c3de9e4ec6a503223de38a.diff

LOG: [analyzer] [NFC] Add more test cases for equality tracking

Summary: Cover `ConstraintAssignor::assign(EquivalenceClass, RangeSet)` function with more regression tests.

Differential Revision: https://reviews.llvm.org/D131514

Added: 
    

Modified: 
    clang/test/Analysis/equality_tracking.c

Removed: 
    


################################################################################
diff  --git a/clang/test/Analysis/equality_tracking.c b/clang/test/Analysis/equality_tracking.c
index 681453b1fe29b..e33b95700d002 100644
--- a/clang/test/Analysis/equality_tracking.c
+++ b/clang/test/Analysis/equality_tracking.c
@@ -8,6 +8,7 @@
 #define CHAR_MAX (char)(UCHAR_MAX & (UCHAR_MAX >> 1))
 #define CHAR_MIN (char)(UCHAR_MAX & ~(UCHAR_MAX >> 1))
 
+void clang_analyzer_value(int);
 void clang_analyzer_eval(int);
 void clang_analyzer_warnIfReached(void);
 
@@ -233,3 +234,139 @@ void implyDisequalityFromLT(int a, int b) {
     clang_analyzer_eval(a != b); // expected-warning{{TRUE}}
   }
 }
+
+void deletePointBefore(int x, int tmp) {
+  if(tmp == 0)
+    if(x != tmp)
+     clang_analyzer_value(x); // expected-warning {{32s:{ [-2147483648, -1], [1, 2147483647] }}}
+}
+
+void deletePointAfter(int x, int tmp) {
+  if(x != tmp)
+    if(tmp == 2147483647)
+      clang_analyzer_value(x); // expected-warning {{32s:{ [-2147483648, 2147483646] }}}
+}
+
+void deleteTwoPoints(int x, int tmp1, int tmp2) {
+  if(x != tmp1) {
+    if (tmp1 == 42 && tmp2 == 87) {
+      clang_analyzer_value(x); // expected-warning {{32s:{ [-2147483648, 41], [43, 2147483647] }}}
+      if(x != tmp2)
+        clang_analyzer_value(x); // expected-warning {{32s:{ [-2147483648, 41], [43, 86], [88, 2147483647] }}}
+    }
+  }
+}
+
+void deleteAllPoints(unsigned char x, unsigned char *arr) {
+
+#define cond(n) \
+arr[n##0] == n##0 && \
+arr[n##1] == n##1 && \
+arr[n##2] == n##2 && \
+arr[n##3] == n##3 && \
+arr[n##4] == n##4 && \
+arr[n##5] == n##5 && \
+arr[n##6] == n##6 && \
+arr[n##7] == n##7 && \
+arr[n##8] == n##8 && \
+arr[n##9] == n##9 && \
+
+#define condX(n) \
+arr[n##0] != x && \
+arr[n##1] != x && \
+arr[n##2] != x && \
+arr[n##3] != x && \
+arr[n##4] != x && \
+arr[n##5] != x && \
+arr[n##6] != x && \
+arr[n##7] != x && \
+arr[n##8] != x && \
+arr[n##9] != x && \
+
+  clang_analyzer_value(x); // expected-warning {{{ [0, 255] }}}
+  if (
+    cond()  // 0  .. 9
+    cond(1) // 10 .. 19
+    cond(2) // 20 .. 29
+    cond(3) // 30 .. 39
+    cond(4) // 40 .. 49
+    cond(5) // 50 .. 59
+    cond(6) // 60 .. 69
+    cond(7) // 70 .. 79
+    cond(8) // 80 .. 89
+    cond(9) // 90 .. 99
+    cond(10) // 100 .. 209
+    cond(11) // 110 .. 219
+    cond(12) // 120 .. 229
+    cond(13) // 130 .. 239
+    cond(14) // 140 .. 249
+    cond(15) // 150 .. 259
+    cond(16) // 160 .. 269
+    cond(17) // 170 .. 279
+    cond(18) // 180 .. 289
+    cond(19) // 190 .. 199
+    cond(20) // 200 .. 209
+    cond(21) // 210 .. 219
+    cond(22) // 220 .. 229
+    cond(23) // 230 .. 239
+    cond(24) // 240 .. 249
+    arr[250] == 250 &&
+    arr[251] == 251 &&
+    arr[252] == 252 &&
+    arr[253] == 253 &&
+    arr[254] == 254 &&
+    arr[255] == 255
+    ) {
+    if (
+      condX()  // 0  .. 9
+      condX(1) // 10 .. 19
+      condX(2) // 20 .. 29
+      condX(3) // 30 .. 39
+      condX(4) // 40 .. 49
+      condX(5) // 50 .. 59
+      condX(6) // 60 .. 69
+      condX(7) // 70 .. 79
+      condX(8) // 80 .. 89
+      condX(9) // 90 .. 99
+      condX(10) // 100 .. 209
+      condX(11) // 110 .. 219
+      condX(12) // 120 .. 229
+      condX(13) // 130 .. 239
+      condX(14) // 140 .. 249
+      condX(15) // 150 .. 259
+      condX(16) // 160 .. 269
+      condX(17) // 170 .. 279
+      condX(18) // 180 .. 289
+      condX(19) // 190 .. 199
+      condX(20) // 200 .. 209
+      condX(21) // 210 .. 219
+      condX(22) // 220 .. 229
+      condX(23) // 230 .. 239
+      arr[240] != x &&
+      arr[241] != x &&
+      arr[242] != x &&
+      arr[243] != x &&
+      arr[244] != x &&
+      arr[245] != x &&
+      arr[246] != x &&
+      arr[247] != x &&
+      arr[248] != x &&
+      arr[249] != x
+      ) {
+      clang_analyzer_value(x); // expected-warning {{{ [250, 255] }}}
+      if (
+      arr[250] != x &&
+      arr[251] != x &&
+      //skip arr[252]
+      arr[253] != x &&
+      arr[254] != x &&
+      arr[255] != x
+      ) {
+        clang_analyzer_value(x); // expected-warning {{32s:252}}
+        if (arr[252] != x) {
+          clang_analyzer_warnIfReached(); // unreachable
+        }
+      }
+    }
+  }
+}