bgpd: Fix UNINTENDED_INTEGER_DIVISION for bgp_lp_event_zebra_up()

CID 1570864.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>

diff --git a/bgpd/bgp_labelpool.c b/bgpd/bgp_labelpool.c
index b2bb49b943969e254cf9ba6d832e44e869ac8653..bf2b3566b4dd40192114a8211181a099772eb5a0 100644 (file)
--- 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;
 
        /*