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

scip-ci · scip-ci · commit 8c36faacf516 · 2025-08-26T12:57:45.000+02:00
diff --git a/src/scip/scip_copy.c b/src/scip/scip_copy.c
@@ -747,6 +747,7 @@ SCIP_RETCODE SCIPgetVarCopy(
    if( !uselocalvarmap )
    {
       *targetvar = (SCIP_VAR*) SCIPhashmapGetImage(varmap, sourcevar);
+      assert(*targetvar == NULL || (*targetvar)->scip == targetscip);
       if( *targetvar != NULL )
          return SCIP_OKAY;
    }
@@ -924,6 +925,7 @@ SCIP_RETCODE SCIPgetVarCopy(
    SCIP_CALL( SCIPaddVar(targetscip, var) );
 
    *targetvar = var;
+   assert((*targetvar)->scip == targetscip);
 
    /* remove the variable capture which was done due to the creation of the variable */
    SCIP_CALL( SCIPreleaseVar(targetscip, &var) );

Original file line number	Diff line number	Diff line change
`@@ -747,6 +747,7 @@ SCIP_RETCODE SCIPgetVarCopy(`
`747`	`747`	`if( !uselocalvarmap )`
`748`	`748`	`{`
`749`	`749`	`targetvar = (SCIP_VAR) SCIPhashmapGetImage(varmap, sourcevar);`
	`750`	`+ assert(targetvar == NULL \|\| (targetvar)->scip == targetscip);`
`750`	`751`	`if( *targetvar != NULL )`
`751`	`752`	`return SCIP_OKAY;`
`752`	`753`	`}`
`@@ -924,6 +925,7 @@ SCIP_RETCODE SCIPgetVarCopy(`
`924`	`925`	`SCIP_CALL( SCIPaddVar(targetscip, var) );`
`925`	`926`
`926`	`927`	`*targetvar = var;`
	`928`	`+ assert((*targetvar)->scip == targetscip);`
`927`	`929`
`928`	`930`	`/* remove the variable capture which was done due to the creation of the variable */`
`929`	`931`	`SCIP_CALL( SCIPreleaseVar(targetscip, &var) );`