ajout de include

config/cert_exp_33.c

-void set_flag(int number, int *sign_flag) {
-  if ((int *)0 == sign_flag) {
+#include <stddef.h>
+
+void set_flag(int number, int *sign_flag)
+{
+  if (NULL == sign_flag)
+  {
     return;
   }
 
-  if (number > 0) {
+  if (number > 0)
+  {
     *sign_flag = 1;
-  } else if (number < 0) {
+  }
+  else if (number < 0)
+  {
     *sign_flag = -1;
   }
   Frama_C_show_each_set_flag(number, *sign_flag);
 }
 
-int is_negative(int number) {
+int is_negative(int number)
+{
   int sign;
   set_flag(number, &sign);
   Frama_C_show_each_is_negative(number, sign);