linux/drivers/media
Peter Senna Tschudin 0ae13e9e67 [media] drivers/media/platform/davinci/vpbe.c: Removes useless kfree()
Remove useless kfree() and clean up code related to the removal.
The semantic patch that finds this problem is as follows:
(http://coccinelle.lip6.fr/)
// <smpl>
@r exists@
position p1,p2;
expression x;
@@
if (x@p1 == NULL) { ... kfree@p2(x); ... return ...; }
@unchanged exists@
position r.p1,r.p2;
expression e <= r.x,x,e1;
iterator I;
statement S;
@@
if (x@p1 == NULL) { ... when != I(x,...) S
                        when != e = e1
                        when != e += e1
                        when != e -= e1
                        when != ++e
                        when != --e
                        when != e++
                        when != e--
                        when != &e
   kfree@p2(x); ... return ...; }
@ok depends on unchanged exists@
position any r.p1;
position r.p2;
expression x;
@@
... when != true x@p1 == NULL
kfree@p2(x);
@depends on !ok && unchanged@
position r.p2;
expression x;
@@
*kfree@p2(x);
// </smpl>

Signed-off-by: Peter Senna Tschudin <peter.senna@gmail.com>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>
2012-10-06 11:14:21 -03:00
..
common [media] v4l2: make vidioc_s_fbuf const 2012-09-26 10:42:36 -03:00
dvb-core [media] Support for Asus MyCinema U3100Mini Plus 2012-09-27 15:14:17 -03:00
dvb-frontends [media] drivers/media/dvb-frontends/tda665x.c: Removes useless kfree() 2012-10-06 11:14:04 -03:00
firewire [media] Fix some Makefile rules 2012-08-16 19:55:03 -03:00
i2c [media] ov2640: select sensor register bank before applying h/v-flip settings 2012-10-06 09:21:27 -03:00
mmc [media] Fix some Makefile rules 2012-08-16 19:55:03 -03:00
parport [media] Add missing help for some menuconfig items 2012-08-21 08:17:37 -03:00
pci [media] drivers/media/pci/cx88/cx88-blackbird.c: removes unnecessary semicolon 2012-10-06 08:22:06 -03:00
platform [media] drivers/media/platform/davinci/vpbe.c: Removes useless kfree() 2012-10-06 11:14:21 -03:00
radio [media] drivers/media/radio/si4713-i2c.c: removes unnecessary semicolon 2012-10-06 08:26:14 -03:00
rc [media] rc-core: fix return codes in ir_lirc_ioctl() 2012-10-06 09:25:01 -03:00
tuners [media] tda18271: properly report read errors in tda18271_get_id 2012-10-02 15:17:46 -03:00
usb [media] technisat-usb2: add a MODULE_DEVICE_TABLE for udev autoload 2012-10-05 21:26:26 -03:00
v4l2-core [media] v4l: Add control definitions for new H264 encoder features 2012-10-05 22:42:17 -03:00
Kconfig [media] Kconfig: merge all customise options into just one 2012-08-21 08:05:06 -03:00
Makefile [media] move i2c files into drivers/media/i2c 2012-09-06 18:42:54 -03:00
media-device.c [media] media: fix MEDIA_IOC_DEVICE_INFO return code 2012-08-12 07:57:57 -03:00
media-devnode.c [media] media-devnode: Replace printk with pr_* 2012-09-27 14:19:23 -03:00
media-entity.c [media] media: Add link_validate() op to check links to the sink pad 2012-05-14 08:44:11 -03:00