Print this page
12257 resync smatch to 0.6.1-rc1-il-4
*** 22,33 ****
/*
* check-name: Smatch locking #3
* check-command: smatch --project=kernel sm_locking3.c
*
* check-output-start
! sm_locking3.c:18 func() error: double unlock 'spin_lock:mylock'
! sm_locking3.c:20 func() warn: inconsistent returns 'spin_lock:mylock'.
! Locked on: line 16
! Unlocked on: line 10
! line 20
* check-output-end
*/
--- 22,32 ----
/*
* check-name: Smatch locking #3
* check-command: smatch --project=kernel sm_locking3.c
*
* check-output-start
! sm_locking3.c:18 func() error: double unlocked 'mylock' (orig line 15)
! sm_locking3.c:20 func() warn: inconsistent returns 'mylock'.
! Locked on : 16
! Unlocked on: 10,20
* check-output-end
*/