1. 07 2月, 2014 1 次提交
  2. 06 10月, 2012 1 次提交
    • P
      [media] drivers/media/dvb-frontends/s921.c: Removes useless kfree() · 4a0543ee
      Peter Senna Tschudin 提交于
      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: NPeter Senna Tschudin <peter.senna@gmail.com>
      Signed-off-by: NMauro Carvalho Chehab <mchehab@redhat.com>
      4a0543ee
  3. 14 8月, 2012 1 次提交
  4. 05 1月, 2012 1 次提交
  5. 31 12月, 2011 6 次提交
  6. 29 12月, 2010 1 次提交