inversion de légalité

config/cert_exp_33.c

-void set_flag(int number, int *sign_flag) {
-  if (NULL == sign_flag) {
+void set_flag(int number, int *sign_flag)
+{
+  if (sign_flag == NULL)
+  {
     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);
   return sign < 0;
 }