03 Dec, 2010

1 commit

  • For doubleinit.cocci, Coccinelle 0.2.4 requires a comma after ... in a
    field list. Coccinelle also now behaves gracefully when a definition is
    provided for a virtual that doesn't exist, so there is no need for the
    semantic patch code to check for this case.

    Updated the documentation to reflect the fact that the best results will
    now be obtained with Coccinelle version 0.2.4 or later.

    Signed-off-by: Julia Lawall

    Julia Lawall
     

31 Aug, 2010

2 commits

  • Find confusingly indented code in or after an if. An if branch should
    be indented. The code following an if should not be indented.
    Sometimes, code after an if that is indented is actually intended to be
    part of the if branch.

    This has a high rate of false positives, because Coccinelle's column
    calculation does not distinguish between spaces and tabs, so code that
    is not visually aligned may be considered to be in the same column.

    Signed-off-by: Nicolas Palix
    Signed-off-by: Julia Lawall
    Signed-off-by: Michal Marek

    Nicolas Palix
     
  • Find duplicate field initializations. This has a high rate of false
    positives due to #ifdefs, which Coccinelle is not aware of in a structure
    initialization.

    Signed-off-by: Nicolas Palix
    Signed-off-by: Julia Lawall
    Signed-off-by: Michal Marek

    Nicolas Palix