From 45e23a3be959d59804fa6d5c2221c6c31307530c Mon Sep 17 00:00:00 2001
From: Jos Collin <jcollin@redhat.com>
Date: Sat, 24 Jun 2017 20:26:51 +0530
Subject: [PATCH] mon: Division by zero in PGMapDigest::dump_pool_stats_full()

Fixes The Coverity Scan Report:
CID 1412577 (#1 of 1): Division or modulo by float zero (DIVIDE_BY_ZERO)
35. divide_by_zero: In expression (float)mk / k, division by expression k which may be zero has undefined behavior.

Signed-off-by: Jos Collin <jcollin@redhat.com>
---
 src/mon/PGMap.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mon/PGMap.cc b/src/mon/PGMap.cc
index 91e06fb99e6c5..1ab34f253cb46 100644
--- a/src/mon/PGMap.cc
+++ b/src/mon/PGMap.cc
@@ -683,6 +683,7 @@ void PGMapDigest::dump_pool_stats_full(
 	int mk = m + k;
 	assert(mk != 0);
 	avail = avail * k / mk;
+	assert(k != 0);
 	raw_used_rate = (float)mk / k;
       } else {
 	raw_used_rate = 0.0;
-- 
2.39.5