1. 08 10月, 2016 5 次提交
  2. 24 9月, 2016 3 次提交
  3. 04 8月, 2016 5 次提交
  4. 03 8月, 2016 4 次提交
  5. 12 7月, 2016 1 次提交
  6. 24 6月, 2016 2 次提交
  7. 23 6月, 2016 11 次提交
  8. 18 6月, 2016 1 次提交
    • B
      IB/cma: Make the code easier to verify · 37e07cda
      Bart Van Assche 提交于
      Static source code analysis tools like smatch cannot handle functions
      that lock or not lock a mutex depending on the value of the arguments.
      Hence inline the function cma_disable_callback(). Additionally, this
      patch realizes a small performance optimization by reducing the number of
      mutex_lock() and mutex_unlock() calls in the modified functions. With
      this patch applied smatch no longer complains about source file cma.c.
      Without this patch smatch reports the following for this source file:
      
      drivers/infiniband/core/cma.c:1959: cma_req_handler() warn: inconsistent returns 'mutex:&listen_id->handler_mutex'.
        Locked on:   line 1880
                     line 1959
        Unlocked on: line 1941
      drivers/infiniband/core/cma.c:2112: iw_conn_req_handler() warn: inconsistent returns 'mutex:&listen_id->handler_mutex'.
        Locked on:   line 2048
        Unlocked on: line 2112
      Signed-off-by: NBart Van Assche <bart.vanassche@sandisk.com>
      Cc: Sean Hefty <sean.hefty@intel.com>
      Cc: Steve Wise <swise@opengridcomputing.com>
      Cc: Leon Romanovsky <leonro@mellanox.com>
      Acked-by: NSean Hefty <sean.hefty@intel.com>
      Reviewed-by: NSteve Wise <swise@opengridcomputing.com>
      Reviewed-by: NLeon Romanovsky <leonro@mellanox.com>
      Signed-off-by: NDoug Ledford <dledford@redhat.com>
      37e07cda
  9. 07 6月, 2016 8 次提交