From d74bf77c642005e694905d091c97f1b2276f814c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomas=20H=C3=A4rdin?= Date: Wed, 15 May 2024 20:43:54 +0200 Subject: [PATCH 3/7] eva: av_clip() --- libavutil/eva.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/libavutil/eva.c b/libavutil/eva.c index 1f7f457015..0bdfd4ff1a 100644 --- a/libavutil/eva.c +++ b/libavutil/eva.c @@ -2,9 +2,15 @@ #include "__fc_builtin.h" int main(void) { + int a = Frama_C_int_interval(INT_MIN, INT_MAX); + int amin = Frama_C_int_interval(INT_MIN, INT_MAX); + 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); av_log2(uint); av_log2_16bit(ushort); + if (amin <= amax) { + int res = av_clip(a, amin, amax); + } return 0; } -- 2.39.2