Add static cast so both types in min are int

Opt-Mucca · Opt-Mucca · commit 9f0383ba8d14 · 2025-08-22T12:09:51.000+02:00
diff --git a/highs/mip/HighsRedcostFixing.cpp b/highs/mip/HighsRedcostFixing.cpp
@@ -216,7 +216,7 @@ void HighsRedcostFixing::addRootRedcost(const HighsMipSolver& mipsolver,
   int expshift = 0;
   std::frexp(numRedcostLargeDomainCols / 10, &expshift);
   if (expshift > 5) {
-    expshift = std::min(expshift, maxNumStepsExp);
+    expshift = std::min(expshift, static_cast<int>(maxNumStepsExp));
     maxNumStepsExp = maxNumStepsExp - expshift + 5;
   }
   auto maxNumSteps = static_cast<HighsInt>(1ULL << maxNumStepsExp);

Original file line number	Diff line number	Diff line change
`@@ -216,7 +216,7 @@ void HighsRedcostFixing::addRootRedcost(const HighsMipSolver& mipsolver,`
`216`	`216`	`int expshift = 0;`
`217`	`217`	`std::frexp(numRedcostLargeDomainCols / 10, &expshift);`
`218`	`218`	`if (expshift > 5) {`
`219`		`- expshift = std::min(expshift, maxNumStepsExp);`
	`219`	`+ expshift = std::min(expshift, static_cast<int>(maxNumStepsExp));`
`220`	`220`	`maxNumStepsExp = maxNumStepsExp - expshift + 5;`
`221`	`221`	`}`
`222`	`222`	`auto maxNumSteps = static_cast<HighsInt>(1ULL << maxNumStepsExp);`