From ca877359781199baace8b23f300d20e091e01f00 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomas=20H=C3=A4rdin?= Date: Wed, 15 May 2024 20:47:32 +0200 Subject: [PATCH 4/7] eva: av_clip64 --- libavutil/eva.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/libavutil/eva.c b/libavutil/eva.c index 0bdfd4ff1a..565460d024 100644 --- a/libavutil/eva.c +++ b/libavutil/eva.c @@ -7,10 +7,17 @@ int main(void) { int amax = Frama_C_int_interval(INT_MIN, INT_MAX); unsigned uint = Frama_C_unsigned_int_interval(0, UINT_MAX); unsigned short ushort = Frama_C_unsigned_short_interval(0, UINT16_MAX); + int64_t a64 = Frama_C_long_long_interval(INT64_MIN, INT64_MAX); + int64_t a64min = Frama_C_long_long_interval(INT64_MIN, INT64_MAX); + int64_t a64max = Frama_C_long_long_interval(INT64_MIN, INT64_MAX); + av_log2(uint); av_log2_16bit(ushort); if (amin <= amax) { int res = av_clip(a, amin, amax); } + if (a64min <= a64max) { + av_clip64(a64, a64min, a64max); + } return 0; } -- 2.39.2