This is an automated email from the git hooks/post-receive script. eugen pushed a change to branch upstream in repository coccinelle.
from 9324251 Imported Upstream version 1.0.0.deb new c73dbce Imported Upstream version 1.0.2.deb The 1 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 - 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 + 335 files changed, 5558 insertions(+), 3136 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