validation/sm_err_ptr.c

   1 #include <stdio.h>
   2
   3 int *add_inode();
   4 #define IS_ERR_VALUE(x) ((x) >= (unsigned long)-4095)
   5 static int IS_ERR(const void *ptr)
   6 {
   7         return IS_ERR_VALUE((unsigned long)ptr);
   8 }
   9
  10 int main(void)
  11 {
  12         int *p;
  13
  14         p = add_inode();
  15         if (!IS_ERR(p)) {
  16                 *p = 1;
  17         }
  18         *p = 1;
  19
  20         return 0;
  21 }
  22 /*
  23  * check-name: dereferencing ERR_PTR bugs
  24  * check-command: smatch -p=kernel sm_err_ptr.c
  25  *
  26  * check-output-start
  27 sm_err_ptr.c:18 main() error: 'p' dereferencing possible ERR_PTR()
  28  * check-output-end
  29  */