Merge pull request #1672 from goblint/refine_loop

Fix `fixpoint` option `ana.int.refinement` - loop was never executed

Author: michael-schwarz

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

@@ -265,7 +265,7 @@ module IntDomTupleImpl = struct
          let old_dt = !dt in
          List.iter (fun f -> dt := f !dt) (refine_functions ik);
          quit_loop := equal old_dt !dt;
-         if is_bot !dt then dt := bot_of ik; quit_loop := true;
+         if is_bot !dt then (dt := bot_of ik; quit_loop := true);
          if M.tracing then M.trace "cong-refine-loop" "old: %a, new: %a" pretty old_dt pretty !dt;
        done;
      | _ -> ()