RepoMirrors
/
ffmpeg
mirror of https://git.ffmpeg.org/ffmpeg.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

tools/coverity: Phase 1 study of anti-halicogenic for coverity av_rescale() 

Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
This commit is contained in:
Michael Niedermayer 2024-07-01 23:18:47 +02:00
parent 7ba8982181
commit 380a8213b1
No known key found for this signature in database
GPG Key ID: B18E8928B3948D64
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
tools/coverity.c
View File

@ -31,6 +31,17 @@
#define NULL (void *)0
typedef long long int64_t;
enum AVRounding {
AV_ROUND_ZERO = 0,
AV_ROUND_INF = 1,
AV_ROUND_DOWN = 2,
AV_ROUND_UP = 3,
AV_ROUND_NEAR_INF = 5,
AV_ROUND_PASS_MINMAX = 8192,
};
// Based on https://scan.coverity.com/models
void *av_malloc(size_t size) {
int has_memory;
@ -77,3 +88,10 @@ void *av_free(void *ptr) {
__coverity_mark_as_afm_freed__(ptr, "av_free");
}
int64_t av_rescale_rnd(int64_t a, int64_t b, int64_t c, enum AVRounding rnd) {
__coverity_negative_sink__(b);
__coverity_negative_sink__(c);
return (double)a * (double)b / (double)c;
}