From ef1ee34e644a7fa0479f2a79bd7398d49e2dcae1 Mon Sep 17 00:00:00 2001
From: Yassine Ettayeb <yassine.ettayeb@student-cs.fr>
Date: Thu, 20 Mar 2025 23:01:46 +0100
Subject: [PATCH] modified fix on sign inequality to deals with number=0 case
 which is the origin of the alarm

---
 config/cert_exp_33.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/config/cert_exp_33.c b/config/cert_exp_33.c
index f314e56..87ff0d7 100644
--- a/config/cert_exp_33.c
+++ b/config/cert_exp_33.c
@@ -5,14 +5,11 @@ void set_flag(int number, int *sign_flag) {
     return;
   }
 
-  if (number > 0) {
+  if (number >= 0) { // on remplace > par >= pour gérer le cas number = 0
     *sign_flag = 1;
   } else if (number < 0) {
     *sign_flag = -1;
   }
-  else {
-  	*sign_flag = 0; // gère le cas où number est 0
-  	}
   Frama_C_show_each_set_flag(number, *sign_flag);
 }
 
-- 
GitLab