1. 21 Dec, 2008 1 commit
    • Julia Lawall's avatar
      IB/ehca: Remove redundant test of vpage · 139cdab0
      Julia Lawall authored
      vpage is checked not to be NULL just after it is initialized at the
      beginning of each loop iteration.
      
      A simplified version of the semantic patch that makes this change is
      as follows: (http://www.emn.fr/x-info/coccinelle/)
      
      // <smpl>
      @r exists@
      local idexpression x;
      expression E;
      position p1,p2;
      @@
      
      if (x@p1 == NULL || ...) { ... when forall
         return ...; }
      ... when != \(x=E\|x--\|x++\|--x\|++x\|x-=E\|x+=E\|x|=E\|x&=E\|&x\)
      (
      x@p2 == NULL
      |
      x@p2 != NULL
      )
      
      // another path to the test that is not through p1?
      @s exists@
      local idexpression r.x;
      position r.p1,r.p2;
      @@
      
      ... when != x@p1
      (
      x@p2 == NULL
      |
      x@p2 != NULL
      )
      
      @fix depends on !s@
      position r.p1,r.p2;
      expression x,E;
      statement S1,S2;
      @@
      
      (
      - if ((x@p2 != NULL) || ...)
        S1
      |
      - if ((x@p2 == NULL) && ...) S1
      |
      - BUG_ON(x@p2 == NULL);
      )
      // </smpl>
      Signed-off-by: default avatarJulia Lawall <julia@diku.dk>
      Signed-off-by: default avatarRoland Dreier <rolandd@cisco.com>
      139cdab0
  2. 05 Dec, 2008 1 commit
  3. 02 Dec, 2008 27 commits
  4. 01 Dec, 2008 11 commits