Merge remote-tracking branch 'origin/v10-minor'

Author: scip-ci

CHANGELOG

@@ -431,6 +431,7 @@ Fixed bugs
 - fixed rare invalid memory access when collecting symmetry information for indicator constraints
 - recompute activity bounds before checking infeasibility and redundancy in linear constraint presolving
 - skip integer variables with fractional value in reference solution when finding additional variable fixings in ALNS heuristic
+- fix call of SCIPaddExprsViolScoreNonlinear() with constant expressions (no variables)
 
 Build system
 ------------

src/scip/cons_nonlinear.c

@@ -6331,7 +6331,7 @@ void addExprsViolScore(
    int i;
 
    assert(exprs != NULL);
-   assert(nexprs > 0);
+   assert(nexprs >= 0);
    assert(success != NULL);
 
    if( nexprs == 1 )
@@ -6343,6 +6343,12 @@ void addExprsViolScore(
       return;
    }
 
+   if( nexprs == 0 )
+   {
+      *success = FALSE;
+      return;
+   }
+
    conshdlr = SCIPexprGetOwnerData(exprs[0])->conshdlr;
 
    for( i = 0; i < nexprs; ++i )
@@ -6451,12 +6457,7 @@ SCIP_RETCODE addExprViolScoresAuxVars(
 
    SCIPfreeExpriter(&it);
 
-   if( nexprs > 0 )
-   {
-      SCIP_CALL( SCIPaddExprsViolScoreNonlinear(scip, exprs, nexprs, violscore, sol, success) );
-   }
-   else
-      *success = FALSE;
+   SCIP_CALL( SCIPaddExprsViolScoreNonlinear(scip, exprs, nexprs, violscore, sol, success) );
 
    SCIPfreeBufferArray(scip, &exprs);