Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/address_space.c
          +++ new/usr/src/tools/smatch/src/validation/address_space.c
↓ open down ↓ 4 lines elided ↑ open up ↑
   5    5  static int sys_do_stuff(void __user *user_addr)
   6    6  {
   7    7          return poke_memory(user_addr);
   8    8  }
   9    9  /*
  10   10   * check-name: address_space attribute
  11   11   *
  12   12   * check-error-start
  13   13  address_space.c:7:28: warning: incorrect type in argument 1 (different address spaces)
  14   14  address_space.c:7:28:    expected void *addr
  15      -address_space.c:7:28:    got void <asn:1>*user_addr
       15 +address_space.c:7:28:    got void <asn:1> *user_addr
  16   16   * check-error-end
  17   17   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX