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 */