Coccinelle release 1.0.0c7.
authorCoccinelle <cocci@diku.dk>
Mon, 29 Aug 2011 20:14:23 +0000 (22:14 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Mon, 29 Aug 2011 20:15:06 +0000 (22:15 +0200)
commit7fe62b653dbe13c8fc74c58c3ca4b8af523c1637
tree320a21b8de12f971b43a93f9b7d2933a0b8ea2ae
parentf3c4ece655af618c34b793f1b3286baee09ccbf7
Coccinelle release 1.0.0c7.

** 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.
- add the option -recursive_includes

** 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.
- improve indentation when adding code after a function call with indented
  arguments.
- return type of sizeof converted to unsigned long.  Thanks to Vasiliy
  Kulikov for noticing the problem.
- improve spacing when adding structure initializers.  Thanks to Vasiliy
  Kulikov for noticing the problem.
48 files changed:
Makefile
changes.txt
docs/manual/cocci_syntax.tex
docs/manual/macros.tex
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
engine/check_exhaustive_pattern.ml
engine/cocci_vs_c.ml
globals/config.ml.in
parsing_c/ast_c.ml
parsing_c/parser_c.mly
parsing_c/pretty_print_c.ml
parsing_c/unparse_cocci.ml
parsing_c/visitor_c.ml
parsing_cocci/arity.ml
parsing_cocci/ast0_cocci.ml
parsing_cocci/ast0_cocci.mli
parsing_cocci/ast0toast.ml
parsing_cocci/ast_cocci.ml
parsing_cocci/ast_cocci.mli
parsing_cocci/check_meta.ml
parsing_cocci/compute_lines.ml
parsing_cocci/context_neg.ml
parsing_cocci/disjdistr.ml
parsing_cocci/index.ml
parsing_cocci/iso_pattern.ml
parsing_cocci/lexer_cocci.mll
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mly
parsing_cocci/pretty_print_cocci.ml
parsing_cocci/single_statement.ml
parsing_cocci/type_infer.ml
parsing_cocci/unify_ast.ml
parsing_cocci/unparse_ast0.ml
parsing_cocci/visitor_ast.ml
parsing_cocci/visitor_ast0.ml
tests/SCORE_expected.sexp
tests/SCORE_expected_orig.sexp
tests/constructor.c [new file with mode: 0644]
tests/constructor.cocci [new file with mode: 0644]
tests/constructor.res [new file with mode: 0644]
tests/extra.c [new file with mode: 0644]
tests/extra.cocci [new file with mode: 0644]
tests/extra.res [new file with mode: 0644]
tests/regexp.cocci
tests/regexp2.cocci
tests/regexp3.cocci