Re: [PATCH] drivers/video/fbdev : dereference without an error test

On 21/06/14 18:57, Himangi Saraogi wrote: > After a variable is assigned the result of backlight_device_register, an > error test should be performed before a dereference. > > A simplified version of the semantic match that finds this problem is > as follows: > > // > @def0@ > expression x; > po

[PATCH] drivers/video/fbdev : dereference without an error test

After a variable is assigned the result of backlight_device_register, an error test should be performed before a dereference. A simplified version of the semantic match that finds this problem is as follows: // @def0@ expression x; position p0; @@ x@p0 = backlight_device_register(...) @protect