From 6bd4c26cd37af306f2db8675ab3ae27c951695ee Mon Sep 17 00:00:00 2001
From: Yassine Ettayeb <yassine.ettayeb@student-cs.fr>
Date: Thu, 20 Mar 2025 22:45:31 +0100
Subject: [PATCH] fixed alarm on cert_exp_33.c

---
 config/cert_exp_33.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/config/cert_exp_33.c b/config/cert_exp_33.c
index 0a87e07..f314e56 100644
--- a/config/cert_exp_33.c
+++ b/config/cert_exp_33.c
@@ -10,6 +10,9 @@ void set_flag(int number, int *sign_flag) {
   } 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