validation/sm_params.c

   1 //#include <stdio.h>
   2
   3 struct foo {
   4         int a;
   5 };
   6
   7 static void func (struct foo *aa)
   8 {
   9         aa->a = 1;
  10 }
  11
  12 void func1 (struct foo *ab)
  13 {
  14         if (!ab)
  15                 printf("Error ad is not ALLOWED to be NULL\n");
  16         ab->a = 1;
  17 }
  18
  19 void bar (void)
  20 {
  21         struct foo *ac = returns_nonnull(sizeof(*ac));
  22         struct foo *ad;
  23
  24         if(1)
  25                 ac = 0;
  26         func(ac);
  27         func1(ad);
  28         func(ad);
  29 }
  30 /*
  31  * check-name: Cross function dereferences
  32  * check-command: smatch sm_params.c
  33  *
  34  * check-output-start
  35 sm_params.c +16 info: unchecked param func1 0
  36 sm_params.c +26 error: cross_func deref func 0
  37 sm_params.c +27 error: cross_func deref func1 0
  38 sm_params.c +28 error: cross_func deref func 0
  39  * check-output-end
  40  */