[CP-SAT] fix fuzzer bug

google · Nov 15, 2024 · 84fdd0d · 84fdd0d
1 parent 8b79dbc
commit 84fdd0d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ortools/sat/cp_model_checker.cc b/ortools/sat/cp_model_checker.cc
@@ -915,6 +915,11 @@ std::string ValidateSearchStrategies(const CpModelProto& model) {
                             " has a domain too large to be used in a"
                             " SELECT_MEDIAN_VALUE value selection strategy");
       }
+      if (PossibleIntegerOverflow(model, {ref}, {1})) {
+        // This will become an overflow if translated to an expr.
+        return absl::StrCat("Possible integer overflow in strategy: ",
+                            ProtobufShortDebugString(strategy));
+      }
     }
     for (const LinearExpressionProto& expr : strategy.exprs()) {
       for (const int var : expr.vars()) {