mirrors/librempeg
1
0
Fork 0
mirror of https://github.com/librempeg/librempeg synced 2024-11-22 00:51:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
Signed-off-by: Paul B Mahol <onemda@gmail.com>
This commit is contained in:
Michael Niedermayer 2024-07-01 23:18:47 +02:00 committed by Paul B Mahol
parent 2c63e51600
commit 7fdbbf2d76
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;
}