From 42045aac7b44d74229ba8f3e492acb404cc93320 Mon Sep 17 00:00:00 2001 From: Donatas Abraitis Date: Wed, 1 Nov 2023 10:29:07 +0200 Subject: [PATCH] bgpd: Fix UNINTENDED_INTEGER_DIVISION for bgp_lp_event_zebra_up() CID 1570864. Signed-off-by: Donatas Abraitis --- bgpd/bgp_labelpool.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/bgpd/bgp_labelpool.c b/bgpd/bgp_labelpool.c index b2bb49b943..bf2b3566b4 100644 --- a/bgpd/bgp_labelpool.c +++ b/bgpd/bgp_labelpool.c @@ -652,11 +652,7 @@ void bgp_lp_event_zebra_up(void) } /* round up */ - if (((float)labels_needed / (float)lp->next_chunksize) > - (labels_needed / lp->next_chunksize)) - chunks_needed = (labels_needed / lp->next_chunksize) + 1; - else - chunks_needed = (labels_needed / lp->next_chunksize); + chunks_needed = (labels_needed + lp->next_chunksize - 1) / lp->next_chunksize; labels_needed = chunks_needed * lp->next_chunksize; /* -- 2.39.5