cert_exp_33.c done

config/cert_exp_33.c

+#include <stddef.h>
+
 void set_flag(int number, int *sign_flag) {
   if (NULL == sign_flag) {
     return;
   }
-
-  if (number > 0) {
+ 
+  /* Account for number being 0 */
+  if (number >= 0) {
     *sign_flag = 1;
-  } else if (number < 0) {
+  } else {
     *sign_flag = -1;
   }
 }
-
+ 
 int is_negative(int number) {
-  int sign;
+  int sign = 0; /* Initialize for defense-in-depth */
   set_flag(number, &sign);
   return sign < 0;
 }

config/cert_exp_33_realloc.c

@@ -23,7 +23,8 @@ void func(void) {
     /* Handle error */
     return;
   }
-
+	
+  /*@ loop unroll OLD_SIZE; */
   for (size_t i = 0; i < OLD_SIZE; ++i) {
     array[i] = i;
   }
@@ -33,7 +34,8 @@ void func(void) {
     /* Handle error */
     return;
   }
-
+  
+  /*@ loop unroll NEW_SIZE; */
   for (size_t i = 0; i < NEW_SIZE; ++i) {
     printf("%d ", array[i]);
   }