From 3ba5a3217c8a2ea1b03c625664e47146306d469c Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@cttc.es>
Date: Fri, 8 Aug 2025 13:52:06 +0200
Subject: [PATCH] Make Coverity Scan happier

---
 src/algorithms/PVT/libs/rinex_printer.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/algorithms/PVT/libs/rinex_printer.cc b/src/algorithms/PVT/libs/rinex_printer.cc
index b8d260c00..5b76c1ec6 100644
--- a/src/algorithms/PVT/libs/rinex_printer.cc
+++ b/src/algorithms/PVT/libs/rinex_printer.cc
@@ -3556,9 +3556,10 @@ void Rinex_Printer::log_rinex_nav(std::fstream& out, const std::map<int32_t, Gps
             // -------- BROADCAST ORBIT - 1
             const bool discontinued_reception = eph.IODE_SF2 != eph.IODE_SF3;
             const double* p_value0 = nullptr;
+            double iode_d = 0.0;
             if (!discontinued_reception)
                 {
-                    const auto iode_d = static_cast<double>(eph.IODE_SF2);
+                    iode_d = static_cast<double>(eph.IODE_SF2);
                     p_value0 = &iode_d;
                 }
             out << get_nav_broadcast_orbit(p_value0, &eph.Crs, &eph.delta_n, &eph.M_0, d_version) << '\n';