validation/sm_memleak2.c

   1 void func (void)
   2 {
   3         void *ptr;
   4
   5         ptr = malloc(42);
   6         ptr = (void *) 0;
   7
   8         return;
   9 }
  10 /*
  11  * check-name: leak test #2
  12  * check-command: smatch sm_memleak2.c
  13  *
  14  * check-output-start
  15 sm_memleak2.c +6 func(5) error: memory leak of 'ptr'
  16  * check-output-end
  17  */