From e2d97afe36e3436f0ce9f883bc50dae9776ad4ed Mon Sep 17 00:00:00 2001
From: Michael Platzer <michael.platzer@tuwien.ac.at>
Date: Thu, 16 Apr 2020 11:49:54 +0200
Subject: [PATCH] sequential/ammunition: tighter loop bound for
 ammunition_strcmp()

---
 bench/sequential/ammunition/ammunition_libc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench/sequential/ammunition/ammunition_libc.c b/bench/sequential/ammunition/ammunition_libc.c
index 0445e78c..ab308178 100755
--- a/bench/sequential/ammunition/ammunition_libc.c
+++ b/bench/sequential/ammunition/ammunition_libc.c
@@ -85,7 +85,7 @@ void *ammunition_memmove ( void *s1, const void *s2, size_t n )
 
 int ammunition_strcmp ( const char *str1, const char *str2 )
 {
-  _Pragma( "loopbound min 1 max 4008" )
+  _Pragma( "loopbound min 1 max 11" )
   while ( *str1 && ( *str1 == *str2 ) )
     str1++, str2++;
   return *( const unsigned char * )str1 - *( const unsigned char * )str2;
-- 
GitLab