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

   1
   2 #include <stdlib.h>
   3
   4 int main ( void )
   5 {
   6    double* dp = malloc(sizeof(double));
   7    float*  fp = malloc(sizeof(float));
   8
   9    *dp += 3.0;    // ok
  10    *fp += 30.0;   // ok
  11    free(dp);
  12    free(fp);
  13    *dp += 3.0;    // bad, been freed
  14    *fp += 30.0;   // bad, been freed
  15
  16    return 0;
  17 }