diff options
author | Eric Hawicz <erh+git@nimenees.com> | 2022-08-16 18:10:06 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-16 18:10:06 -0400 |
commit | 81f0807b63add9eb57294c7da0cd34ea651f04e1 (patch) | |
tree | 1f36f4c2f60b56fbcca3c07ac6cb452592e2c9cf | |
parent | 9417f4e72658138dbd947cac8befa149245d5741 (diff) | |
parent | 57ea393004fd25c4c717a1b8829fa9ff9d6cffdd (diff) | |
download | json-c-81f0807b63add9eb57294c7da0cd34ea651f04e1.tar.gz |
Merge pull request #784 from rouault/get_time_seed_coverity_scan_silence
get_time_seed(): silence warning emitted by Coverity Scan static analyzer
-rw-r--r-- | random_seed.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |