diff options
author | 2010-05-27 18:32:15 +0200 | |
---|---|---|
committer | 2010-08-03 09:48:44 -0400 | |
commit | 0fc8f274aef03bbe85774ba30e75deb58e8a90ff (patch) | |
tree | 1d17e82cfb3a7ac8214e93adf11954cade872d2f /drivers/platform/x86/hp-wmi.c | |
parent | X86 platform: hp-wmi Better match the HP WMI query interface (diff) | |
download | linux-dev-0fc8f274aef03bbe85774ba30e75deb58e8a90ff.tar.xz linux-dev-0fc8f274aef03bbe85774ba30e75deb58e8a90ff.zip |
drivers/platform/x86: Eliminate a NULL pointer dereference
Give different error messages if device_enum is NULL or if its type field
has the wrong value.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@r exists@
expression E,E1;
identifier f;
statement S1,S2,S3;
@@
if ((E == NULL && ...) || ...)
{
... when != if (...) S1 else S2
when != E = E1
* E->f
... when any
return ...;
}
else S3
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Matthew Garrett <mjg@redhat.com>
Diffstat (limited to 'drivers/platform/x86/hp-wmi.c')
0 files changed, 0 insertions, 0 deletions