sqc 0.4.13

Software Code Quality - CERT C compliance checker
/*
 * Rule: ERR33-C
 * Source: wiki
 * Status: PASS - Should NOT trigger ERR33-C violation
 */

#include <stdlib.h>
 
void *p;
void func(size_t new_size) {
  void *q;

  if (new_size == 0) {
    /* Handle error */
  }
 
  q = realloc(p, new_size);
  if (q == NULL) {
   /* Handle error */
  } else {
    p = q;
  }
}