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