Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/struct-as.c
          +++ new/usr/src/tools/smatch/src/validation/struct-as.c
↓ open down ↓ 4 lines elided ↑ open up ↑
   5    5  #define __user __attribute__((address_space(1)))
   6    6  
   7    7  struct hello {
   8    8          int a;
   9    9  };
  10   10  
  11   11  extern int test(int __user *ip);
  12   12  
  13   13  static int broken(struct hello __user *sp)
  14   14  {
  15      -        test(&sp->a);
       15 +        return test(&sp->a);
  16   16  }
  17   17  /*
  18   18   * check-name: Address space of a struct member
  19   19   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX