summaryrefslogtreecommitdiffstats
path: root/samples
diff options
context:
space:
mode:
authorJulia Lawall <julia@diku.dk>2010-05-27 18:32:15 +0200
committerMatthew Garrett <mjg@redhat.com>2010-08-03 09:48:44 -0400
commit0fc8f274aef03bbe85774ba30e75deb58e8a90ff (patch)
tree1d17e82cfb3a7ac8214e93adf11954cade872d2f /samples
parent6d96e00cef35036c513d342c4676d210b842880d (diff)
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 'samples')
0 files changed, 0 insertions, 0 deletions