Release coccinelle-0.2.4rc4
authorCoccinelle <cocci@diku.dk>
Mon, 18 Oct 2010 12:36:11 +0000 (14:36 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Mon, 18 Oct 2010 12:36:11 +0000 (14:36 +0200)
commite6509c05b4c77bb8fcffa7f454c1412fcc0c3a15
treed1af90a54774fc777633a996021bcca887734db4
parentc491d8eea333ab3273dc415c7d7af192e1d0b682
Release coccinelle-0.2.4rc4

** 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

** 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
28 files changed:
Makefile.dev
Makefile.release
changes.txt
cocci.ml
commitmsg [deleted file]
docs/manual/cocci_syntax.tex
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
engine/cocci_vs_c.ml
globals/config.ml.in
parsing_c/parsing_hacks.ml
parsing_cocci/ast0_cocci.ml
parsing_cocci/check_meta.ml
parsing_cocci/free_vars.ml
parsing_cocci/get_constants2.ml
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mly
parsing_cocci/type_cocci.ml
parsing_cocci/type_cocci.mli
parsing_cocci/type_infer.ml
test.ml
tests/strid.c [new file with mode: 0644]
tests/strid.cocci [new file with mode: 0644]
tests/strid.res [new file with mode: 0644]
tests/strid2.c [new file with mode: 0644]
tests/strid2.cocci [new file with mode: 0644]
tests/strid2.res [new file with mode: 0644]