From 48d0e5dec19cddd3a0e78febc562b26126ad8446 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Sun, 24 Sep 2023 12:05:44 +0200 Subject: [PATCH] Make also fail in the CI --- tests/regression/73-strings/09-malloc.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/regression/73-strings/09-malloc.c b/tests/regression/73-strings/09-malloc.c index 118db6f0e6..913ec821c0 100644 --- a/tests/regression/73-strings/09-malloc.c +++ b/tests/regression/73-strings/09-malloc.c @@ -1,5 +1,4 @@ // PARAM: --disable ana.base.limit-string-addresses --enable ana.int.interval --enable ana.base.arrays.nullbytes - #include #include #include @@ -11,6 +10,7 @@ int main () { char s2[50]; s2[0] = 'a'; - int len1 = strlen(s1); //WARN - int len2 = strlen(s2); //WARN + // Use size_t to avoid integer warnings hiding the lack of string warnings + size_t len1 = strlen(s1); //WARN + size_t len2 = strlen(s2); //WARN }