Two more warnings fixed

Author: fwesselm

src/mip/HighsCliqueTable.cpp

@@ -2021,8 +2021,9 @@ void HighsCliqueTable::runCliqueMerging(HighsDomain& globaldomain,
           std::remove_if(clique.begin(), clique.end(),
                          [&](CliqueVar v) {
                            return globaldomain.isFixed(v.col) &&
-                                  int(globaldomain.col_lower_[v.col]) ==
-                                      (1 - v.val);
+                                  static_cast<int>(
+                                      globaldomain.col_lower_[v.col]) ==
+                                      static_cast<int>(1 - v.val);
                          }),
           clique.end());
     }
@@ -2190,8 +2191,9 @@ void HighsCliqueTable::runCliqueMerging(HighsDomain& globaldomain) {
             std::remove_if(extensionvars.begin(), extensionvars.end(),
                            [&](CliqueVar v) {
                              return globaldomain.isFixed(v.col) &&
-                                    int(globaldomain.col_lower_[v.col]) ==
-                                        (1 - v.val);
+                                    static_cast<int>(
+                                        globaldomain.col_lower_[v.col]) ==
+                                        static_cast<int>(1 - v.val);
                            }),
             extensionvars.end());
 

src/parallel/HighsMutex.h

@@ -114,7 +114,8 @@ class HighsMutex {
   }
 
   void unlock() {
-    unsigned int prevState = state.fetch_add(-1, std::memory_order_release);
+    unsigned int prevState = state.fetch_add(
+        std::numeric_limits<unsigned int>::max(), std::memory_order_release);
 
     if (prevState != 1) {
       unsigned int notifyWorkerId = (prevState >> 1) - 1;