This is an automated email from the git hooks/post-receive script. eugen pushed a change to branch master in repository coccinelle.
from 1809af7 Add camlp4 to Build-Depends adds c73dbce Imported Upstream version 1.0.2.deb new 7828720 Merge tag 'upstream/1.0.2.deb' new 978449f New upstream release new 5415885 Merge branch 'master' of ssh://git.debian.org/git/pkg-ocaml-maint/packages/coccinelle The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: Makefile | 93 ++- Makefile.config.in | 4 +- Makefile.dev | 1 - Makefile.release | 2 +- authors.txt | 4 +- autogen | 5 + changes.txt | 88 ++- cocci.ml | 68 +- cocci.mli | 9 +- commons/bytes.mli | 2 +- commons/common.ml | 394 +++-------- commons/common.mli | 73 +- commons/copyright.txt | 1 - commons/credits.txt | 4 +- commons/features.ml.cpp | 22 +- commons/glimpse.ml | 3 +- commons/oarray.ml | 1 - commons/ocamlextra/enum.ml | 10 +- commons/ocamlextra/enum.mli | 22 +- commons/ocamlextra/setb.ml | 3 - commons/ocamlextra/suffix_tree.ml | 3 - commons/ocamlextra/suffix_tree_ext.ml | 3 - commons/ocollection.ml | 1 - commons/ocollection/oassoc_buffer.ml | 2 - commons/ocollection/oassoc_cache.ml | 2 - commons/ocollection/oassocb.ml | 3 +- commons/ocollection/oassocbdb.ml | 3 +- commons/ocollection/oassocbdb_string.ml | 1 - commons/ocollection/oassocdbm.ml | 1 - commons/ocollection/oassoch.ml | 1 - commons/ocollection/oseth.ml | 2 - commons/osequence.ml | 1 - commons/oset.ml | 7 +- commons/readme.txt | 7 +- commons/seti.ml | 33 +- configure | 50 +- configure.ac | 9 +- credits.txt | 4 +- ctl/ctl_engine.ml | 121 ++-- ctl/ctl_engine.mli | 1 - debian/changelog | 8 +- demos/camltococci.cocci | 4 +- docs/Coccilib.3cocci | 102 ++- docs/developer.txt | 134 ---- docs/manual/cocci_syntax.tex | 26 +- docs/manual/hevea.sty | 2 +- docs/manual/installing.tex | 6 +- docs/manual/introduction.tex | 20 +- docs/manual/macros.tex | 1 - docs/manual/macros_options.tex | 1 - docs/manual/spatch_options.tex | 6 +- docs/manual/tutorial.tex | 1 - docs/manual/workflow.tex | 1 - docs/pycocci.1 | 217 ++++++ docs/spatch.1.in | 47 +- editors/emacs/cocci-ediff.el | 108 +-- engine/asttoctl2.ml | 13 +- engine/asttomember.ml | 1 - engine/c_vs_c.ml | 38 +- engine/check_exhaustive_pattern.ml | 10 +- engine/cocci_vs_c.ml | 398 ++++++----- engine/cocci_vs_c.mli | 12 +- engine/ctlcocci_integration.ml | 20 +- engine/ctltotex.ml | 1 - engine/externalanalysis.ml | 4 +- engine/flag_matcher.ml | 1 - engine/isomorphisms_c_c.ml | 1 - engine/pattern_c.ml | 76 +- engine/postprocess_transinfo.ml | 4 +- engine/pretty_print_engine.ml | 5 +- engine/pretty_print_engine.mli | 1 - engine/transformation_c.ml | 26 +- env.sh | 1 - extra/classic_patch.ml | 4 +- extra/kbuild.ml | 6 +- extra/maintainers.ml | 5 +- extra/maintainers.mli | 2 - globals/config.ml.in | 2 +- globals/flag.ml | 2 +- globals/iteration.ml | 2 +- install.txt | 2 +- main.ml | 148 ++-- ocaml/coccilib.ml | 76 +- ocaml/no_prepare_ocamlcocci.ml | 1 - ocaml/ocamlcocci_aux.ml | 4 +- ocaml/run_ocamlcocci.ml | 7 +- ocaml/run_ocamlcocci.mli | 3 +- ocaml/yes_prepare_ocamlcocci.ml | 1 + parsing_c/ast_c.ml | 27 +- parsing_c/comment_annotater_c.ml | 4 +- parsing_c/compare_c.ml | 8 +- parsing_c/control_flow_c.ml | 2 +- parsing_c/control_flow_c_build.ml | 24 +- parsing_c/copyright.txt | 4 +- parsing_c/cpp_analysis_c.ml | 11 +- parsing_c/cpp_ast_c.ml | 6 +- parsing_c/cpp_ast_c.mli | 1 - parsing_c/cpp_token_c.ml | 8 +- parsing_c/credits.txt | 1 - parsing_c/flag_parsing_c.ml | 11 - parsing_c/lexer_c.mll | 118 ++-- parsing_c/lexer_parser.ml | 4 +- parsing_c/lexer_parser.mli | 3 - parsing_c/lib_parsing_c.ml | 7 +- parsing_c/parse_c.ml | 136 ++-- parsing_c/parse_c.mli | 5 +- parsing_c/parse_string_c.ml | 1 - parsing_c/parser_c.mly | 158 +++-- parsing_c/parsing_consistency_c.ml | 7 +- parsing_c/parsing_hacks.ml | 44 +- parsing_c/parsing_recovery_c.ml | 8 +- parsing_c/pretty_print_c.ml | 47 +- parsing_c/test_parsing_c.ml | 19 +- parsing_c/token_helpers.ml | 167 ++++- parsing_c/token_helpers.mli | 3 + parsing_c/token_views_c.ml | 15 +- parsing_c/token_views_c.mli | 1 - parsing_c/type_annoter_c.ml | 13 +- parsing_c/type_annoter_c.mli | 1 - parsing_c/type_c.ml | 4 +- parsing_c/unparse_c.ml | 118 ++-- parsing_c/unparse_cocci.ml | 178 +++-- parsing_c/unparse_hrule.ml | 9 +- parsing_c/unparse_hrule.mli | 1 - parsing_c/visitor_c.ml | 22 +- parsing_cocci/Makefile | 2 +- parsing_cocci/adjacency.ml | 1 - parsing_cocci/adjust_pragmas.ml | 24 +- parsing_cocci/arity.ml | 30 +- parsing_cocci/ast0_cocci.ml | 24 +- parsing_cocci/ast0_cocci.mli | 13 +- parsing_cocci/ast0toast.ml | 24 +- parsing_cocci/ast_cocci.ml | 16 +- parsing_cocci/ast_cocci.mli | 13 +- parsing_cocci/check_meta.ml | 24 +- parsing_cocci/cocci_grep.ml | 2 +- parsing_cocci/command_line.ml | 2 +- parsing_cocci/commas_on_lists.ml | 2 +- parsing_cocci/compute_lines.ml | 35 +- parsing_cocci/context_neg.ml | 14 +- parsing_cocci/data.ml | 2 +- parsing_cocci/data.mli | 4 +- parsing_cocci/disjdistr.ml | 15 +- parsing_cocci/free_vars.ml | 65 +- parsing_cocci/get_constants2.ml | 98 +-- parsing_cocci/get_constants2.mli | 3 +- parsing_cocci/get_metas.ml | 33 +- parsing_cocci/{iso_compile.mli => git_grep.ml} | 19 +- parsing_cocci/{iso_compile.mli => git_grep.mli} | 5 +- parsing_cocci/index.ml | 9 +- parsing_cocci/insert_plus.ml | 1 + parsing_cocci/iso_compile.mli | 1 - parsing_cocci/iso_pattern.ml | 205 +++--- parsing_cocci/lexer_cli.mll | 1 - parsing_cocci/lexer_cocci.mll | 48 +- parsing_cocci/parse_aux.ml | 62 +- parsing_cocci/parse_cocci.ml | 55 +- parsing_cocci/parse_cocci.mli | 5 +- parsing_cocci/parser_cocci_menhir.mly | 80 ++- parsing_cocci/pretty_print_cocci.ml | 28 +- parsing_cocci/single_statement.ml | 16 +- parsing_cocci/test.cocci | 14 +- parsing_cocci/test2.cocci | 10 +- parsing_cocci/test_exps.ml | 1 - parsing_cocci/type_cocci.ml | 9 + parsing_cocci/type_cocci.mli | 2 + parsing_cocci/type_infer.ml | 12 +- parsing_cocci/unify_ast.ml | 30 +- parsing_cocci/unitary_ast0.ml | 37 +- parsing_cocci/unparse_ast0.ml | 15 +- parsing_cocci/visitor_ast.ml | 108 +-- parsing_cocci/visitor_ast0.ml | 48 +- parsing_cocci/visitor_ast0_types.ml | 2 +- popl/pretty_print_popl.ml | 1 - popl09/ast_popl.ml | 1 - popl09/popltoctl.ml | 2 +- popl09/pretty_print_popl.ml | 1 - python/Makefile | 2 +- python/coccipython.a | Bin 32462 -> 0 bytes python/coccipython.cmxa | Bin 2679 -> 2679 bytes python/pycocci.mli | 7 +- python/pycocci_aux.ml | 4 +- python/yes_pycocci.ml | 14 +- readme.txt | 10 +- release.nix | 18 +- scripts/coccicheck/README | 3 +- scripts/extract_c_and_res.pl | 26 +- scripts/extract_examples.pl | 8 +- scripts/extractor.awk | 10 +- scripts/extractor_README.pl | 4 +- scripts/gather_failed.pl | 2 +- scripts/glimpseindex_cocci.sh | 1 - scripts/readme.pl | 4 +- scripts/setlocalversion | 117 ++++ scripts/spatch.sh.in | 12 +- scripts/stat_directories.pl | 12 +- scripts/stat_directories_complete.pl | 6 +- scripts/stat_directory_complete.pl | 74 +- setup/Makefile.in | 4 +- setup/cocci.m4 | 2 +- setup/fake-subst.sh | 4 +- setup/pkg.m4 | 4 +- standard.h | 80 +-- standard.iso | 158 ++--- testing.ml | 13 +- testing.mli | 2 +- tests/SCORE_expected.sexp | Bin 16078 -> 16531 bytes tests/SCORE_expected_orig.sexp | Bin 16078 -> 16531 bytes tests/addifdef.c | 10 + tests/addifdef.cocci | 7 + tests/addifdef.res | 14 + tests/addtrace.c | 14 + tests/addtrace.cocci | 6 + tests/as_stm.c | 3 + tests/as_stm.cocci | 13 + tests/as_stm.res | 5 + tests/as_stm_pos.c | 3 + tests/as_stm_pos.cocci | 16 + tests/attrs2groups.c | 29 + tests/attrs2groups.cocci | 15 + tests/attrs2groups.res | 35 + tests/bad_parsing.c | 2 + tests/binop.c | 11 + tests/binop.cocci | 12 + tests/binop.res | 13 + tests/changei.c | 7 + tests/changei.cocci | 6 + tests/changei.res | 7 + tests/declinv.c | 4 - tests/declinv.res | 4 - tests/extra.cocci | 4 +- tests/filtercst.cocci | 29 + tests/fortest.c | 18 + tests/fortest.cocci | 13 + tests/fortest.res | 18 + tests/{ifdefmeta4.res => invert.c} | 2 +- tests/invert.cocci | 7 + tests/{ifdefmeta4.res => invert.res} | 2 +- tests/isoif.c | 4 + tests/isoif.cocci | 7 + tests/{addelse.res => isoif.res} | 0 tests/mdecl.c | 5 + tests/mdecl.cocci | 29 + tests/mdecl.res | 4 + tests/mdeclp.c | 2 + tests/mdeclp.cocci | 12 + tests/mdeclp.res | 2 + tests/mdeclp2.c | 2 + tests/mdeclp2.cocci | 29 + tests/mdeclp2.res | 2 + tests/miniswap.c | 5 + tests/miniswap.cocci | 17 + tests/miniswap.res | 5 + tests/param_to_exp.c | 3 + tests/param_to_exp.cocci | 9 + tests/remaft.cocci | 5 + tests/swap3.c | 17 + tests/swap3.cocci | 24 + tests/swap3.res | 17 + tools/cstripenv.ml | 4 +- tools/dir_stats.ml | 2 - tools/extract_c_and_res.ml | 1 - tools/gitsort.ml | 3 - tools/pycocci | 497 +++++++++++++- tools/sgen/Makefile | 1 - tools/sgen/README.md | 20 +- tools/sgen/documentation/documentation.tex | 2 +- tools/sgen/documentation/future.tex | 1 - tools/sgen/documentation/implementation.tex | 5 +- tools/sgen/documentation/usage.tex | 4 +- tools/sgen/examples/README.md | 6 + tools/sgen/examples/addvoid.config | 2 +- tools/sgen/examples/addvoid_.cocci | 1 - tools/sgen/examples/{local.c => context.c} | 0 tools/sgen/examples/{local.cocci => context.cocci} | 0 .../sgen/examples/{local.config => context.config} | 0 .../sgen/examples/{local_.cocci => context_.cocci} | 0 tools/sgen/examples/disj.config | 2 +- tools/sgen/examples/disj_.cocci | 2 +- tools/sgen/examples/test.sh | 36 - tools/sgen/examples/tiny.c | 4 - tools/sgen/scripts/sgen.sh.in | 2 +- tools/sgen/source/Makefile | 13 +- tools/sgen/source/README.md | 14 +- tools/sgen/source/ast_tostring.ml | 30 +- tools/sgen/source/ast_tostring.mli | 3 +- tools/sgen/source/context_rule.ml | 29 +- tools/sgen/source/context_rule.mli | 5 +- tools/sgen/source/detect_patch.ml | 20 +- tools/sgen/source/detect_patch.mli | 4 +- tools/sgen/source/disj_generator.ml | 2 +- tools/sgen/source/file_transform.ml | 12 +- tools/sgen/source/file_transform.mli | 14 +- tools/sgen/source/globals.ml | 15 - tools/sgen/source/globals.mli | 9 - tools/sgen/source/main.ml | 44 +- tools/sgen/source/meta_variable.ml | 99 ++- tools/sgen/source/meta_variable.mli | 4 +- tools/sgen/source/position_generator.ml | 763 +++++++++++---------- tools/sgen/source/position_generator.mli | 21 +- tools/sgen/source/rule_body.ml | 6 +- tools/sgen/source/sgen.ml | 14 +- tools/sgen/source/sgen_config.ml | 7 +- tools/sgen/source/sgen_interactive.ml | 5 +- tools/sgen/source/sgen_test.ml | 199 ++++++ tools/sgen/source/sgen_test.mli | 1 + tools/sgen/source/snapshot.ml | 2 +- tools/sgen/source/user_input.ml | 6 +- tools/sgen/source/user_input.mli | 8 +- tools/sgen/{examples => tests}/addvoid.cocci | 0 tools/sgen/{examples => tests}/addvoid.config | 0 .../addvoid_.cocci => tests/addvoid.expected} | 0 tools/sgen/{examples => tests}/disj.cocci | 0 tools/sgen/{examples => tests}/disj.config | 2 +- .../{examples/disj_.cocci => tests/disj.expected} | 2 +- tools/sgen/tests/include.cocci | 43 ++ tools/sgen/tests/include.config | 18 + tools/sgen/tests/include.expected | 164 +++++ tools/sgen/{examples => tests}/inherited.cocci | 0 tools/sgen/{examples => tests}/inherited.config | 0 .../inherited_.cocci => tests/inherited.expected} | 0 tools/sgen/tests/interleaved.cocci | 45 ++ tools/sgen/tests/interleaved.config | 9 + tools/sgen/tests/interleaved.expected | 112 +++ tools/sgen/{examples => tests}/local.cocci | 0 tools/sgen/{examples => tests}/local.config | 0 .../local_.cocci => tests/local.expected} | 0 tools/sgen/tests/metaops.cocci | 21 + tools/sgen/tests/metaops.config | 10 + tools/sgen/tests/metaops.expected | 85 +++ tools/sgen/{examples => tests}/tiny.cocci | 0 tools/sgen/{examples => tests}/tiny.config | 0 .../{examples/tiny_.cocci => tests/tiny.expected} | 0 tools/splitpatch.ml | 15 +- version | 2 +- version.sh | 5 + 336 files changed, 5564 insertions(+), 3138 deletions(-) delete mode 100644 docs/developer.txt create mode 100644 docs/pycocci.1 copy parsing_cocci/{iso_compile.mli => git_grep.ml} (67%) copy parsing_cocci/{iso_compile.mli => git_grep.mli} (92%) delete mode 100644 python/coccipython.a create mode 100755 scripts/setlocalversion create mode 100644 tests/addifdef.c create mode 100644 tests/addifdef.cocci create mode 100644 tests/addifdef.res create mode 100644 tests/addtrace.c create mode 100644 tests/addtrace.cocci create mode 100644 tests/as_stm.c create mode 100644 tests/as_stm.cocci create mode 100644 tests/as_stm.res create mode 100644 tests/as_stm_pos.c create mode 100644 tests/as_stm_pos.cocci create mode 100644 tests/attrs2groups.c create mode 100644 tests/attrs2groups.cocci create mode 100644 tests/attrs2groups.res create mode 100644 tests/bad_parsing.c create mode 100644 tests/binop.c create mode 100644 tests/binop.cocci create mode 100644 tests/binop.res create mode 100644 tests/changei.c create mode 100644 tests/changei.cocci create mode 100644 tests/changei.res delete mode 100644 tests/declinv.c delete mode 100644 tests/declinv.res create mode 100644 tests/filtercst.cocci create mode 100644 tests/fortest.c create mode 100644 tests/fortest.cocci create mode 100644 tests/fortest.res copy tests/{ifdefmeta4.res => invert.c} (51%) create mode 100644 tests/invert.cocci rename tests/{ifdefmeta4.res => invert.res} (51%) create mode 100644 tests/isoif.c create mode 100644 tests/isoif.cocci copy tests/{addelse.res => isoif.res} (100%) create mode 100644 tests/mdecl.c create mode 100644 tests/mdecl.cocci create mode 100644 tests/mdecl.res create mode 100644 tests/mdeclp.c create mode 100644 tests/mdeclp.cocci create mode 100644 tests/mdeclp.res create mode 100644 tests/mdeclp2.c create mode 100644 tests/mdeclp2.cocci create mode 100644 tests/mdeclp2.res create mode 100644 tests/miniswap.c create mode 100644 tests/miniswap.cocci create mode 100644 tests/miniswap.res create mode 100644 tests/param_to_exp.c create mode 100644 tests/param_to_exp.cocci create mode 100644 tests/remaft.cocci create mode 100644 tests/swap3.c create mode 100644 tests/swap3.cocci create mode 100644 tests/swap3.res rename tools/sgen/examples/{local.c => context.c} (100%) copy tools/sgen/examples/{local.cocci => context.cocci} (100%) copy tools/sgen/examples/{local.config => context.config} (100%) copy tools/sgen/examples/{local_.cocci => context_.cocci} (100%) delete mode 100755 tools/sgen/examples/test.sh delete mode 100644 tools/sgen/examples/tiny.c create mode 100644 tools/sgen/source/sgen_test.ml create mode 100644 tools/sgen/source/sgen_test.mli copy tools/sgen/{examples => tests}/addvoid.cocci (100%) copy tools/sgen/{examples => tests}/addvoid.config (100%) copy tools/sgen/{examples/addvoid_.cocci => tests/addvoid.expected} (100%) copy tools/sgen/{examples => tests}/disj.cocci (100%) copy tools/sgen/{examples => tests}/disj.config (76%) copy tools/sgen/{examples/disj_.cocci => tests/disj.expected} (93%) create mode 100644 tools/sgen/tests/include.cocci create mode 100644 tools/sgen/tests/include.config create mode 100644 tools/sgen/tests/include.expected copy tools/sgen/{examples => tests}/inherited.cocci (100%) copy tools/sgen/{examples => tests}/inherited.config (100%) copy tools/sgen/{examples/inherited_.cocci => tests/inherited.expected} (100%) create mode 100644 tools/sgen/tests/interleaved.cocci create mode 100644 tools/sgen/tests/interleaved.config create mode 100644 tools/sgen/tests/interleaved.expected rename tools/sgen/{examples => tests}/local.cocci (100%) rename tools/sgen/{examples => tests}/local.config (100%) rename tools/sgen/{examples/local_.cocci => tests/local.expected} (100%) create mode 100644 tools/sgen/tests/metaops.cocci create mode 100644 tools/sgen/tests/metaops.config create mode 100644 tools/sgen/tests/metaops.expected rename tools/sgen/{examples => tests}/tiny.cocci (100%) rename tools/sgen/{examples => tests}/tiny.config (100%) rename tools/sgen/{examples/tiny_.cocci => tests/tiny.expected} (100%) create mode 100755 version.sh -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits