diff --git a/random_seed.c b/random_seed.c
index 7945824..5b2155d 100644
--- a/random_seed.c
+++ b/random_seed.c
@@ -310,6 +310,7 @@ static int get_time_seed(void)
 {
 	DEBUG_SEED("get_time_seed");
 
+	/* coverity[store_truncates_time_t] */
 	return (unsigned)time(NULL) * 433494437;
 }
 #endif