mirrors
/
gnss-sdr
mirror of https://github.com/gnss-sdr/gnss-sdr
1
0
Fork 0
Code Issues Releases Wiki Activity

Avoid potential undefined behaviour detected by Coverity Scan

This commit is contained in:
Carles Fernandez 2023-11-05 10:14:36 +01:00
parent 955770eb11
commit 2dfd79d45c
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/algorithms/observables/gnuradio_blocks/hybrid_observables_gs.cc
View File

@ -431,6 +431,10 @@ bool hybrid_observables_gs::interp_trk_obs(Gnss_Synchro &interpolated_obs, uint3
// 1st: copy the nearest gnss_synchro data for that channel
interpolated_obs = d_gnss_synchro_history->get(ch, nearest_element);
if (interpolated_obs.fs == 0LL)
{
return false;
}
// 2nd: Linear interpolation: y(t) = y(t1) + (y(t2) - y(t1)) * (t - t1) / (t2 - t1)
const double T_rx_s = static_cast<double>(rx_clock) / static_cast<double>(interpolated_obs.fs);