validation/sm_propagate.c

   1 #include "check_debug.h"
   2
   3 int frob();
   4
   5 int func(int *p)
   6 {
   7         int ret;
   8
   9         ret = frob();
  10         if (ret < 0)
  11                 return -1;
  12         return 0;
  13 }
  14 /*
  15  * check-name: Smatch propagate return codes
  16  * check-command: smatch -p=kernel -I.. sm_propagate.c
  17  *
  18  * check-output-start
  19 sm_propagate.c +11 func(6) info: why not propagate 'ret' from frob() instead of -1?
  20  * check-output-end
  21  */