test/metastate/voidptr.c

   1 void *direalloc (/*@out@*/ /*@null@*/ void *x, size_t size,
   2                  char *name, int line)
   3 {
   4   void *ret;
   5
   6   if (x == NULL)
   7     {
   8       ret = (void *) malloc (size);
   9     }
  10   else
  11     {
  12       ret = (void *) realloc (x, size);
  13     }
  14
  15   return ret;
  16 }