From 9e1bbd74dbdbe1df30f50a7f220fb8444d9c90d6 Mon Sep 17 00:00:00 2001 From: Gioni Mexi Date: Wed, 17 Jan 2024 11:38:09 +0100 Subject: [PATCH] suppress coverity false positives in heur_dps --- src/scip/heur_dps.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/scip/heur_dps.c b/src/scip/heur_dps.c index 32c6f5a26a..f2fe21b2ec 100644 --- a/src/scip/heur_dps.c +++ b/src/scip/heur_dps.c @@ -1163,6 +1163,7 @@ SCIP_RETCODE calculateShift( */ for( v = 0; v < linking->nblocks - *nviolatedblocksrhs; v++ ) { + /* coverity[uninit_use] */ part = linking->currentrhs[nonviolatedblocksrhs[v]] - residual/(linking->nblocks - *nviolatedblocksrhs - v); part = MIN(MAX(part, linking->minactivity[nonviolatedblocksrhs[v]]), linking->maxactivity[nonviolatedblocksrhs[v]]); shift_tmp = part - linking->currentrhs[nonviolatedblocksrhs[v]]; @@ -1193,6 +1194,7 @@ SCIP_RETCODE calculateShift( */ for( v = 0; v < linking->nblocks - *nviolatedblockslhs; v++ ) { + /* coverity[uninit_use] */ part = linking->currentlhs[nonviolatedblockslhs[v]] - residual/(linking->nblocks - *nviolatedblockslhs - v); part = MIN(MAX(part, linking->minactivity[nonviolatedblockslhs[v]]), linking->maxactivity[nonviolatedblockslhs[v]]); shift_tmp = part - linking->currentlhs[nonviolatedblockslhs[v]];