Merge pull request #1799 from goblint/issue-1798

Fix copy-paste typo in interval set overflow handling

Author: sim642

src/cdomain/value/cdomains/int/intervalSetDomain.ml

@@ -167,7 +167,7 @@ struct
     let res = List.map (norm_interval ~suppress_ovwarn ~cast ik) xs in
     let intvs = List.concat_map fst res in
     let underflow = List.exists (fun (_,{underflow; _}) -> underflow) res in
-    let overflow = List.exists (fun (_,{overflow; _}) -> underflow) res in
+    let overflow = List.exists (fun (_,{overflow; _}) -> overflow) res in
     (canonize intvs,{underflow; overflow})
 
   let binary_op_with_norm op (ik:ikind) (x: t) (y: t) : t*overflow_info = match x, y with

tests/regression/67-interval-sets-two/59-issue-1798.c

@@ -0,0 +1,6 @@
+// PARAM: --enable ana.int.interval_set
+int count_int_int;
+void main() {
+  for (;; count_int_int++) // WARN (overflow)
+    ;
+}