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

scipopt · Oct 28, 2024 · b4117b7 · b4117b7
2 parents 086f9c9 + 5092692
commit b4117b7
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 11 deletions.
diff --git a/src/scip/branch_allfullstrong.c b/src/scip/branch_allfullstrong.c
@@ -174,12 +174,12 @@ SCIP_RETCODE branch(
          /* update the lower bounds in the children */
          if( allcolsinlp && !exactsolve )
          {
-            if( bestdownvalid )
+            if( downchild != NULL && bestdownvalid )
             {
                SCIP_CALL( SCIPupdateNodeLowerbound(scip, downchild, bestdown) );
                SCIPdebugMsg(scip, " -> down child's lowerbound: %g\n", SCIPnodeGetLowerbound(downchild));
             }
-            if( bestupvalid )
+            if( upchild != NULL && bestupvalid )
             {
                SCIP_CALL( SCIPupdateNodeLowerbound(scip, upchild, bestup) );
                SCIPdebugMsg(scip, " -> up child's lowerbound:   %g\n", SCIPnodeGetLowerbound(upchild));

diff --git a/src/scip/branch_fullstrong.c b/src/scip/branch_fullstrong.c
@@ -637,25 +637,22 @@ SCIP_DECL_BRANCHEXECLP(branchExeclpFullstrong)
          SCIPdebugMsg(scip, " -> %d candidates, selected candidate %d: variable <%s> (solval=%g, down=%g, up=%g, score=%g)\n",
             nlpcands, bestcand, SCIPvarGetName(var), lpcandssol[bestcand], bestdown, bestup, bestscore);
          SCIP_CALL( SCIPbranchVarVal(scip, var, val, &downchild, NULL, &upchild) );
-         assert(downchild != NULL);
-         assert(upchild != NULL);
 
          /* update the lower bounds in the children */
          if( allcolsinlp && !exactsolve )
          {
-            if( bestdownvalid )
+            if( downchild != NULL && bestdownvalid )
             {
                SCIP_CALL( SCIPupdateNodeLowerbound(scip, downchild, bestdown) );
+               SCIPdebugMsg(scip, " -> down child's lowerbound: %g\n", SCIPnodeGetLowerbound(downchild));
             }
-            if( bestupvalid )
+            if( upchild != NULL && bestupvalid )
             {
                SCIP_CALL( SCIPupdateNodeLowerbound(scip, upchild, bestup) );
+               SCIPdebugMsg(scip, " -> up child's lowerbound: %g\n", SCIPnodeGetLowerbound(upchild));
             }
          }
 
-         SCIPdebugMsg(scip, " -> down child's lowerbound: %g\n", SCIPnodeGetLowerbound(downchild));
-         SCIPdebugMsg(scip, " -> up child's lowerbound: %g\n", SCIPnodeGetLowerbound(upchild));
-
          *result = SCIP_BRANCHED;
       }
    }

diff --git a/src/scip/branch_vanillafullstrong.c b/src/scip/branch_vanillafullstrong.c
@@ -497,12 +497,12 @@ SCIP_DECL_BRANCHEXECLP(branchExeclpVanillafullstrong)
          /* update the lower bounds in the children */
          if( !branchruledata->idempotent && allcolsinlp && !exactsolve )
          {
-            if( bestdownvalid )
+            if( downchild != NULL && bestdownvalid )
             {
                SCIP_CALL( SCIPupdateNodeLowerbound(scip, downchild, bestdown) );
                SCIPdebugMsg(scip, " -> down child's lowerbound: %g\n", SCIPnodeGetLowerbound(downchild));
             }
-            if( bestupvalid )
+            if( upchild != NULL && bestupvalid )
             {
                SCIP_CALL( SCIPupdateNodeLowerbound(scip, upchild, bestup) );
                SCIPdebugMsg(scip, " -> up child's lowerbound:   %g\n", SCIPnodeGetLowerbound(upchild));