coccinelle release 1.0.0-rc2
authorCoccinelle <cocci@diku.dk>
Mon, 30 May 2011 11:26:57 +0000 (13:26 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Mon, 30 May 2011 11:26:57 +0000 (13:26 +0200)
commit8babbc8f18fe06ec20e19630a1ec09e759c380e1
treec1c9a1d21a19a765a9bb48d765873663308c8a2a
parent8f657093d128c6436330659d273c2762ac9cbf79
coccinelle release 1.0.0-rc2

** Language:
- Addition of initializer list metavariables.  Thanks to Michael Stefaniuc
  for noticing the need for them.
- Allow multiple position variables per token
- ++ can now be associated with - code
- Allow /* */ comments as smpl comments, not only as + code
- Add support for && (label addresses)
- local idexpression metavariable no longer matches static local x

** Features:
- Preserve spacing before // comments when not at the beginning of a line
- Adjusted parsing of endif to put it after jump code
- Improve warning message when using -use_cache
- Allow - nest expressions
- More helpful initial value for exported variables in python
- Support - on expression nests

** Bugfix:
- Corrected parsing of script strings delimited by a single quote.  Thanks
  to Eugeniy Meshcheryakov for reporting the problem.
- Improved indentation of added ifdefs.
- Allow added comments and #ifdefs to precede other added code.  Thanks to
  Jani Monoses for noticing the problem.
- Corrected failure to due missing ocamlfind. Thanks to Derek M. Jones for
  reporting the problem.
- Allow fake nodes to be - in the allminus case, to drop tokens related to
  a function definition or forward declaration but before the first code
  mentioned in the semantic patch.
- Drop __init etc when deleting a whole function.
- Cause appropriate newlines to be preserved when multiple matches (trees)
  contain adjacent modifications derived from the same SmPL code.
- check_meta takes into account fresh identifier seed information.
- Types for worth-trying optimization should not be followed by space
- Improved pretty printing when the first parameter of a function is dropped
86 files changed:
Makefile.dev
Makefile.release
changes.txt
cocci.ml
configure
demos/python_identifier.c [new file with mode: 0644]
demos/python_identifier.cocci [new file with mode: 0644]
docs/Coccilib.3cocci [new file with mode: 0644]
docs/manual/cocci_syntax.tex
docs/manual/macros.tex
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
docs/spatch.1.in
engine/Makefile
engine/asttoctl2.ml
engine/cocci_vs_c.ml
engine/postprocess_transinfo.ml
engine/postprocess_transinfo.mli
engine/sgrep.ml
engine/transformation_c.ml
globals/config.ml.in
ocaml/Makefile
ocaml/prepare_ocamlcocci.ml [new symlink]
ocaml/yes_prepare_ocamlcocci.ml
parsing_c/ast_c.ml
parsing_c/control_flow_c_build.ml
parsing_c/parse_c.ml
parsing_c/parsing_hacks.ml
parsing_c/type_annoter_c.ml
parsing_c/unparse_c.ml
parsing_c/unparse_cocci.ml
parsing_c/unparse_hrule.ml
parsing_cocci/adjust_pragmas.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/data.ml
parsing_cocci/data.mli
parsing_cocci/disjdistr.ml
parsing_cocci/free_vars.ml
parsing_cocci/function_prototypes.ml
parsing_cocci/get_constants2.ml
parsing_cocci/index.ml
parsing_cocci/insert_plus.ml
parsing_cocci/iso_pattern.ml
parsing_cocci/lexer_cocci.mll
parsing_cocci/parse_aux.ml
parsing_cocci/parse_cocci.ml
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mli
parsing_cocci/parser_cocci_menhir.mly
parsing_cocci/pretty_print_cocci.ml
parsing_cocci/simple_assignments.ml
parsing_cocci/single_statement.ml
parsing_cocci/type_infer.ml
parsing_cocci/unify_ast.ml
parsing_cocci/unitary_ast0.ml
parsing_cocci/unparse_ast0.ml
parsing_cocci/visitor_ast.ml
parsing_cocci/visitor_ast0.ml
popl09/pretty_print_popl.ml
python/yes_pycocci.ml
tests/SCORE_expected.sexp [new file with mode: 0644]
tests/SCORE_expected.sexp.save [new file with mode: 0644]
tests/SCORE_expected_orig.sexp
tests/camltococci.c [deleted file]
tests/camltococci.cocci [deleted file]
tests/camltococci.res [deleted file]
tests/lid.c [new file with mode: 0644]
tests/lid.cocci [new file with mode: 0644]
tests/lid.res [new file with mode: 0644]
tests/memory.c
tests/pythontococci.c [deleted file]
tests/pythontococci.cocci [deleted file]
tests/pythontococci.res [deleted file]
tests/remove_call.c [new file with mode: 0644]
tests/remove_call.cocci [new file with mode: 0644]
tests/remove_call.res [new file with mode: 0644]
tests/scope_problem.res