[linuxtv-media:master 499/499] drivers/media/rc/rc-main.c:1201 rc_register_device() warn: inconsistent returns mutex:&dev->lock: locked (1107 [(-12)]) unlocked (1077 [(-22)], 1083 [(-22)], 1186 [0], 1201 [s32min-(-1)], 1201 [s32min-(-1),1-s32max], 1201 [s32min-(-1),1-s32max], 1201 [s32min-(-1),1-s32max])

[Dan Carpenter]

Hi Mauro,

FYI, there are new smatch warnings show up in

tree:   git://linuxtv.org/media_tree.git master
head:   587d1b06e07b4a079453c74ba9edf17d21931049
commit: 587d1b06e07b4a079453c74ba9edf17d21931049 [499/499] [media] rc-core: 
reuse device numbers

drivers/media/rc/rc-main.c:1201 rc_register_device() warn: inconsistent returns 
mutex:&dev->lock: locked (1107 [(-12)]) unlocked (1077 [(-22)], 1083 [(-22)], 
1186 [0], 1201 [s32min-(-1)], 1201 [s32min-(-1),1-s32max], 1201 
[s32min-(-1),1-s32max], 1201 [s32min-(-1),1-s32max])

git remote add linuxtv-media git://linuxtv.org/media_tree.git
git remote update linuxtv-media
git checkout 587d1b06e07b4a079453c74ba9edf17d21931049
vim +1201 drivers/media/rc/rc-main.c

d8b4b5822 David Härdeman       2010-10-29  1185  
bc2a6c571 Mauro Carvalho Chehab 2010-11-09  1186        return 0;
d8b4b5822 David Härdeman       2010-10-29  1187  
d8b4b5822 David Härdeman       2010-10-29  1188  out_raw:
d8b4b5822 David Härdeman       2010-10-29  1189        if (dev->driver_type == 
RC_DRIVER_IR_RAW)
d8b4b5822 David Härdeman       2010-10-29  1190                
ir_raw_event_unregister(dev);
d8b4b5822 David Härdeman       2010-10-29  1191  out_input:
d8b4b5822 David Härdeman       2010-10-29  1192        
input_unregister_device(dev->input_dev);
d8b4b5822 David Härdeman       2010-10-29  1193        dev->input_dev = NULL;
d8b4b5822 David Härdeman       2010-10-29  1194  out_table:
b088ba658 Mauro Carvalho Chehab 2010-11-17  1195        
ir_free_table(&dev->rc_map);
d8b4b5822 David Härdeman       2010-10-29  1196  out_dev:
d8b4b5822 David Härdeman       2010-10-29  1197        device_del(&dev->dev);
08aeb7c9a Jarod Wilson          2011-05-11  1198  out_unlock:
08aeb7c9a Jarod Wilson          2011-05-11  1199        
mutex_unlock(&dev->lock);
587d1b06e Mauro Carvalho Chehab 2014-01-14  1200        clear_bit(dev->devno, 
ir_core_dev_number);
d8b4b5822 David Härdeman       2010-10-29 @1201        return rc;
bc2a6c571 Mauro Carvalho Chehab 2010-11-09  1202  }
d8b4b5822 David Härdeman       2010-10-29  1203  
EXPORT_SYMBOL_GPL(rc_register_device);
bc2a6c571 Mauro Carvalho Chehab 2010-11-09  1204  
d8b4b5822 David Härdeman       2010-10-29  1205  void 
rc_unregister_device(struct rc_dev *dev)
bc2a6c571 Mauro Carvalho Chehab 2010-11-09  1206  {
d8b4b5822 David Härdeman       2010-10-29  1207        if (!dev)
d8b4b5822 David Härdeman       2010-10-29  1208                return;
bc2a6c571 Mauro Carvalho Chehab 2010-11-09  1209  

---
0-DAY kernel build testing backend              Open Source Technology Center
http://lists.01.org/mailman/listinfo/kbuild                 Intel Corporation
--
To unsubscribe from this list: send the line "unsubscribe linux-media" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html