[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])

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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 majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Linux Input]     [Video for Linux]     [Gstreamer Embedded]     [Mplayer Users]     [Linux USB Devel]     [Linux Audio Users]     [Linux Kernel]     [Linux SCSI]     [Yosemite Backpacking]
  Powered by Linux