Go to file
Lucas De Marchi 9df58ae530 Remove NULL pointer dereference
Bug found by the "andand" semantic patch:

// The right argument of || or && is dereferencing something known to be NULL
//
// Confidence: High
// Copyright: (C) Gilles Muller, Julia Lawall, EMN, INRIA, DIKU.  GPLv2.
// URL: http://coccinelle.lip6.fr/rules/andand.html
// Options:

@ expression@
expression E;
identifier fld;
@@

- !E &&
+ !E ||
  <+...E->fld...+>

@ expression@
expression E;
identifier fld;
@@

- E ||
+ E &&
  <+...E->fld...+>




SVN revision: 50118
2010-07-08 03:21:33 +00:00
legacy Remove NULL pointer dereference 2010-07-08 03:21:33 +00:00