[le_video_decode] add missing invariant

tgfrerer · Feb 26, 2024 · b19fa2a · b19fa2a
1 parent 2c61f2b
commit b19fa2a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/modules/le_video_decoder/le_video_decoder.cpp b/modules/le_video_decoder/le_video_decoder.cpp
@@ -3100,7 +3100,9 @@ static void le_video_decoder_set_pause_state( le_video_decoder_o* self, bool sho
 		le_video_decoder_play( self );
 	}
 }
+
 // ----------------------------------------------------------------------
+
 static bool le_video_decoder_get_pause_state( le_video_decoder_o* self ) {
 	if ( self->playback_state == le_video_decoder_o::ePause ) {
 		return true;
@@ -3177,6 +3179,11 @@ static bool get_i_frame_earlier_or_equal_to_given_frame( std::ifstream& mp4_file
 			}
 		}
 	}
+
+	// -----------| Invariant: *sample_index == 0
+
+	*maybe_timestamp_in_ticks = 0;
+
 	return false;
 }