l4/pkg/valgrind/src/valgrind-3.6.0-svn/exp-ptrcheck/tests/zero.c

   1
   2
   3 #include <stdlib.h>
   4 #include <assert.h>
   5
   6 int main ( void )
   7 {
   8    char c __attribute__((unused)), *c0 = malloc(0), *c1;
   9
  10    c = *c0;    // bad
  11
  12    c0 = realloc(c0, 10);
  13    assert(c0);
  14
  15    c = *c0;    // ok
  16
  17    c1 = c0;
  18    c0 = realloc(c0, 0);
  19    assert(!c0);
  20
  21    c = *c1;    // bad, dangling
  22
  23    return 0;
  24 }