Release coccinelle-0.2.4rc5
authorCoccinelle <cocci@diku.dk>
Tue, 26 Oct 2010 07:36:41 +0000 (09:36 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Tue, 26 Oct 2010 07:36:41 +0000 (09:36 +0200)
commit5626f154460b8f6fc435bb3ee75c8297b1155a69
treeded092a175e6cdaa78e1500e7372f08f77469e7b
parente6509c05b4c77bb8fcffa7f454c1412fcc0c3a15
Release coccinelle-0.2.4rc5

** Language:
- scripts now have names and can declare metavariables that are seen by
  SmPL as identifier metavariables, see demos/{python,ocaml}tococci.cocci
- declaration (match variable declarations) and field (match structure
  field declarations) metavariables
- matching of array initializations and of enum declarations

** Features:
- compatability with Python 2.7.  Thanks to Richard W.M. Jones for pointing
  out the problem
- python and ocaml string representations of parameter lists and expression
  lists
- try simpler patterns on glimpse failure
- graceful and immediate failure when a virtual rule is defined on the
  command line, but not in the rule
- spatch returns -1 when a virtual rule is requested that is not supported
- no transformation when using * with the option -no_show_diff
- expanded +++ file name for match output
- struct *^* and enum *^* metavariable types
- allow an assignment to match a variable initialization, even if multiple
  variables are declared at the same time.

** Bugfix:
- detect used after metavariables in simple statement metavariable match
- allow inheriting position variables over rules that make transformations
  but depend on virtual rules that are not defined on the command line
- treat top-level tokens in decl visitor.  Thanks to Peter Tummeltshammer
  for noticing a resulting problem.
- improve typing of the result of an assignment expression
- eliminate some recursive calls in C code parsing to avoid stack overflows
- better pretty printing of #define when the whole line is removed
- better pretty printing of asm code containing
  "::[input]"r"(&coherence_data[i])"
- allow pretty printing of C code with nameless bit fields
- avoid adding an error message to standard output if ocamlfind is not
  found
- struct/union/enum-typed metavariables with a metavariable type name
- better management of whitespace between deleted lines.  Thanks to
  Andriy Gapon for noticing the problem.
- improved parsing recovery for badly parsed struct/enum typedefs
- drop expanded tokens in sgrep output.  Thanks to Andriy Gapon for
  noticing the problem.
- constant strings have array type, not pointer type.  Thanks to Vasiliy
  Kulikov for noticing the problem.
26 files changed:
changes.txt
ctl/ctl_engine.ml
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
engine/cocci_vs_c.ml
globals/config.ml.in
parsing_c/parse_c.ml
parsing_c/parsing_recovery_c.ml
parsing_c/type_annoter_c.ml
parsing_c/unparse_c.ml
parsing_cocci/ast_cocci.ml
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mly
test.ml
tests/armatch.c [new file with mode: 0644]
tests/armatch.cocci [new file with mode: 0644]
tests/bad_kfree.cocci
tests/match_init.c [new file with mode: 0644]
tests/match_init.cocci [new file with mode: 0644]
tests/match_init.res [new file with mode: 0644]
tests/ptrar.c [new file with mode: 0644]
tests/ptrar.cocci [new file with mode: 0644]
tests/ptrar.res [new file with mode: 0644]
tests/regexp3.cocci
tools/splitpatch.ml