tests/bad_kfree.c

   1 int main () {
   2   for (i = 0; i < IVTV_VBI_FRAMES; i++) {
   3     a = itv[i];
   4     kfree(itv[i]);
   5   }
   6   print("foo",itv[i]);
   7   print("foo",itv[i]);
   8   a = itv[i];
   9   itv[i]=12;
  10   a = itv[i];
  11 }
  12
  13 int bad () {
  14   kfree(itv[i]);
  15   print("foo",itv[i]);
  16   print("foo",itv[i]);
  17   a = itv[i];
  18   itv[i]=12;
  19   a = itv[i];
  20 }