Protect int stats methods (#6442)

This PR protects two methods of the IntStat class in case statistics are disabled.

diff --git a/src/util/statistics_stats.cpp b/src/util/statistics_stats.cpp
index 971c592ac99aa6a2bc3b8eed0c68640fde2852d9..1ecbf61ce147643705b09a57a1b3ecbe94b99e31 100644 (file)
--- a/src/util/statistics_stats.cpp
+++ b/src/util/statistics_stats.cpp
@@ -68,17 +68,23 @@ IntStat& IntStat::operator+=(int64_t val)
 
 void IntStat::maxAssign(int64_t val)
 {
-  if (d_data->d_value < val)
+  if constexpr (Configuration::isStatisticsBuild())
   {
-    d_data->d_value = val;
+    if (d_data->d_value < val)
+    {
+      d_data->d_value = val;
+    }
   }
 }
 
 void IntStat::minAssign(int64_t val)
 {
-  if (d_data->d_value > val)
+  if constexpr (Configuration::isStatisticsBuild())
   {
-    d_data->d_value = val;
+    if (d_data->d_value > val)
+    {
+      d_data->d_value = val;
+    }
   }
 }