This is an automated email from the git hooks/post-receive script. eugen pushed a change to branch upstream in repository coccinelle.
from d874c05 Imported Upstream version 1.0.4.deb new 83e4641 New upstream version 1.0.6.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 | 67 +- Makefile.config.in | 43 +- Makefile.libs | 30 +- Makefile.release | 14 +- autogen | 10 +- changes.txt | 77 + cocci.ml | 567 ++-- cocci.mli | 2 +- commons/Makefile | 36 +- commons/bytes.ml | 255 -- commons/bytes.mli | 406 --- commons/common.ml | 126 +- commons/common.mli | 42 +- commons/glimpse.ml | 149 - commons/interfaces.ml | 194 -- commons/oarray.ml | 47 - commons/oarray.mli | 30 - commons/oassoc.ml | 56 - commons/oassoc.mli | 25 - commons/objet.ml | 29 - commons/objet.mli | 18 - commons/ocamlextra/dumper.ml | 3 +- commons/ocamlextra/dynArray.ml | 448 --- commons/ocamlextra/dynArray.mli | 281 -- commons/ocamlextra/enum.ml | 376 --- commons/ocamlextra/enum.mli | 201 -- commons/ocamlextra/mapb.ml | 144 - commons/ocamlextra/setPt.ml | 346 --- commons/ocamlextra/setb.ml | 299 -- commons/ocamlextra/setb.mli | 159 - commons/ocamlextra/suffix_tree.ml | 315 -- commons/ocamlextra/suffix_tree.mli | 90 - commons/ocamlextra/suffix_tree_ext.ml | 332 --- commons/ocamlextra/suffix_tree_ext.mli | 98 - commons/ocollection.ml | 117 - commons/ocollection.mli | 38 - commons/ocollection/oassocb.ml | 26 - commons/ocollection/osetb.ml | 36 - commons/ograph.ml | 30 - commons/ograph.mli | 21 - commons/ograph_extended.ml | 475 +-- commons/ograph_extended.mli | 147 +- commons/ograph_simple.ml | 267 +- commons/ograph_simple.mli | 89 +- commons/osequence.ml | 12 - commons/osequence.mli | 8 - commons/oset.ml | 49 - commons/oset.mli | 28 - commons/parser_combinators.ml | 370 --- commons/parser_combinators.mli | 154 - commons/seti.ml | 348 --- configure | 3136 ++------------------ configure.ac | 186 +- ctl/Makefile | 1 + ctl/ctl_engine.ml | 38 +- ctl/ctl_engine.mli | 7 +- ctl/pretty_print_ctl.ml | 2 +- demos/exists1.c | 19 + demos/exists1.cocci | 9 + demos/exists1.res | 19 + demos/exists2.c | 20 + demos/exists2.cocci | 13 + demos/exists2.res | 22 + demos/exists3.c | 20 + demos/exists3.cocci | 12 + demos/exists3.res | 22 + demos/exists4.c | 21 + demos/exists4.cocci | 13 + demos/exists4.res | 20 + demos/localidexpression.c | 6 + tests/lid.cocci => demos/localidexpression.cocci | 0 demos/localidexpression.res | 6 + demos/plusplus1.c | 4 + demos/plusplus1.cocci | 17 + demos/plusplus1.res | 5 + demos/plusplus2.c | 7 + demos/plusplus2.cocci | 26 + demos/plusplus2.res | 10 + demos/poscon.c | 9 + demos/poscon.cocci | 21 + demos/python_iteration.c | 13 + demos/python_iteration.cocci | 107 + demos/video_usercopy.cocci | 2 +- docs/Coccilib.3cocci | 17 +- docs/Makefile | 1 + docs/dev/modules | 180 ++ docs/manual/Makefile | 7 +- docs/manual/cocci_syntax.tex | 539 +++- docs/manual/flow1.c | 10 + docs/manual/flow2.c | 11 + docs/manual/main.tex | 9 +- docs/manual/spatch_options.tex | 80 +- docs/pycocci.1 | 38 +- docs/spatch.1.in | 49 +- docs/spgen.1 | 2 +- engine/Makefile | 11 +- engine/asttoctl2.ml | 18 +- engine/asttomember.ml | 10 +- engine/check_reachability.ml | 39 +- engine/check_reachability.mli | 8 +- engine/cocci_vs_c.ml | 401 +-- engine/cocci_vs_c.mli | 3 + engine/ctlcocci_integration.ml | 60 +- engine/ctlcocci_integration.mli | 4 +- engine/isomorphisms_c_c.ml | 2 +- engine/lib_engine.ml | 8 +- engine/pattern_c.ml | 45 +- engine/postprocess_transinfo.mli | 4 +- engine/pretty_print_engine.ml | 3 +- engine/transformation_c.ml | 12 +- extra/Makefile | 1 + flag_cocci.ml | 20 - globals/Makefile | 1 + globals/config.ml.in | 3 + globals/flag.ml | 8 +- install.txt | 30 +- license.txt | 42 +- main.ml | 382 ++- ocaml/Makefile | 10 +- ocaml/Makefile.doc | 1 + ocaml/coccilib.ml | 16 +- ocaml/exposed_modules.ml | 1 - {engine => ocaml}/externalanalysis.ml | 0 {engine => ocaml}/externalanalysis.mli | 0 ocaml/no_prepare_ocamlcocci.ml | 2 +- ocaml/ocamlcocci_aux.ml | 2 + ocaml/run_ocamlcocci.ml | 39 +- ocaml/run_ocamlcocci.mli | 5 + ocaml/yes_prepare_ocamlcocci.ml | 101 +- parsing_c/Makefile | 8 +- parsing_c/ast_c.ml | 6 +- parsing_c/compare_c.ml | 12 +- parsing_c/control_flow_c.ml | 66 +- parsing_c/control_flow_c.mli | 22 +- parsing_c/control_flow_c_build.ml | 98 +- parsing_c/cpp_analysis_c.ml | 116 +- parsing_c/cpp_ast_c.ml | 4 +- parsing_c/cpp_token_c.ml | 14 +- parsing_c/cpp_token_c.mli | 1 + parsing_c/includes.ml | 169 ++ parsing_c/includes.mli | 49 + parsing_c/lexer_c.mll | 16 +- parsing_c/lib_parsing_c.ml | 4 + parsing_c/parse_c.ml | 116 +- parsing_c/parse_c.mli | 22 +- parsing_c/parser_c.mly | 150 +- parsing_c/parsing_hacks.ml | 20 +- parsing_c/pretty_print_c.ml | 187 +- parsing_c/pretty_print_c.mli | 14 +- parsing_c/test_parsing_c.ml | 24 +- parsing_c/token_helpers.ml | 9 +- parsing_c/type_annoter_c.ml | 12 +- parsing_c/type_c.ml | 2 +- parsing_c/unparse_c.ml | 151 +- parsing_c/unparse_cocci.ml | 31 +- parsing_c/unparse_hrule.ml | 20 +- parsing_c/visitor_c.ml | 55 +- parsing_c/visitor_c.mli | 4 + parsing_cocci/Makefile | 18 +- parsing_cocci/arity.ml | 10 +- parsing_cocci/ast0_cocci.ml | 288 +- parsing_cocci/ast0_cocci.mli | 60 +- parsing_cocci/ast0toast.ml | 81 +- parsing_cocci/ast0toast.mli | 4 +- parsing_cocci/ast_cocci.ml | 476 ++- parsing_cocci/ast_cocci.mli | 160 +- parsing_cocci/check_meta.ml | 27 +- parsing_cocci/comm_assoc.ml | 18 +- parsing_cocci/compute_lines.ml | 7 +- parsing_cocci/context_neg.ml | 36 +- parsing_cocci/data.ml | 162 +- parsing_cocci/data.mli | 117 +- parsing_cocci/disjdistr.ml | 14 +- parsing_cocci/free_vars.ml | 281 +- parsing_cocci/free_vars.mli | 3 +- parsing_cocci/function_prototypes.ml | 8 +- parsing_cocci/get_constants2.ml | 197 +- parsing_cocci/get_constants2.mli | 4 +- parsing_cocci/get_metas.ml | 2 +- parsing_cocci/id_utils.ml | 97 +- parsing_cocci/id_utils.mli | 2 +- parsing_cocci/index.ml | 3 +- parsing_cocci/index.mli | 1 + parsing_cocci/insert_plus.ml | 87 +- parsing_cocci/iso_compile.ml | 43 +- parsing_cocci/iso_pattern.ml | 244 +- parsing_cocci/lexer_cocci.mll | 47 +- parsing_cocci/parse_aux.ml | 57 +- parsing_cocci/parse_cocci.ml | 221 +- parsing_cocci/parse_cocci.mli | 14 +- parsing_cocci/parser_cocci_menhir.mly | 338 ++- parsing_cocci/pretty_print_cocci.ml | 142 +- parsing_cocci/safe_for_multi_decls.ml | 7 +- parsing_cocci/simple_assignments.ml | 3 +- parsing_cocci/single_statement.ml | 11 +- parsing_cocci/stmtlist.ml | 2 +- parsing_cocci/top_level.ml | 2 +- parsing_cocci/type_cocci.ml | 141 - parsing_cocci/type_infer.ml | 261 +- parsing_cocci/unify_ast.ml | 423 +-- parsing_cocci/unify_ast.mli | 11 + parsing_cocci/unitary_ast0.ml | 57 +- parsing_cocci/unparse_ast0.ml | 27 +- parsing_cocci/unparse_ast0.mli | 1 + parsing_cocci/visitor_ast.ml | 22 +- parsing_cocci/visitor_ast.mli | 2 + parsing_cocci/visitor_ast0.ml | 56 +- parsing_cocci/visitor_ast0.mli | 2 + parsing_cocci/visitor_ast0_types.ml | 19 +- popl/Makefile | 1 + popl/popltoctl.ml | 1 + popl09/Makefile | 1 + popl09/popltoctl.ml | 2 +- python/Makefile | 5 +- python/coccilib/Makefile | 1 + python/coccilib/coccigui/coccigui.py | 20 +- python/coccilib/coccigui/vimcom.py | 2 +- python/coccilib/elems.py | 52 +- python/coccilib/iteration.py | 50 + python/coccilib/org.py | 36 +- python/coccilib/output.py | 208 +- python/coccilib/report.py | 4 +- python/coccilib/trac.py | 10 +- python/coccipython.cmxa | Bin 2653 -> 0 bytes python/no_pycocci.ml | 3 + python/pycocci.mli | 13 +- python/pycocci_aux.ml | 2 + python/yes_pycocci.ml | 334 ++- release.nix | 610 ---- scripts/pycocci-check.sh | 8 + scripts/spatch.bash_completion | 2 +- scripts/spatch.sh.in | 2 +- setup/Makefile.in | 3 - setup/cocci.m4 | 2 +- standard.h | 2 + standard.iso | 39 +- testing.ml | 191 +- testing.mli | 2 +- tests/SCORE_expected.sexp | Bin 16740 -> 0 bytes tests/SCORE_expected_orig.sexp | Bin 16740 -> 0 bytes tests/caseprint.c | 6 + tests/caseprint.cocci | 9 + tests/caseprint.res | 12 + tests/compare_const2.c | 6 + tests/compare_const2.cocci | 37 + tests/compare_const2.res | 6 + tests/idcon_ocaml.c | 5 + tests/idcon_ocaml.cocci | 14 + tests/idcon_ocaml.res | 5 + tests/idcon_python.c | 5 + tests/idcon_python.cocci | 14 + tests/idcon_python.res | 5 + tests/ifexpfile.c | 5 + tests/ifexpfile.cocci | 14 + tests/incl2.c | 5 + tests/incl2.cocci | 5 + tests/incl2.res | 6 + tests/includes-bug-2.c | 11 + tests/includes-bug-3.c | 11 + tests/includes-bug-3.h | 6 + tests/includes-bug.c | 11 + tests/includes-bug.cocci | 5 + tests/includes-bug.h | 1 + tests/incpos.cocci | 10 +- tests/incpos1.cocci | 10 +- tests/iteration.c | 7 + tests/iteration.cocci | 41 + tests/iteration.res | 7 + tests/iteration.stdout | 1 + tests/long.c | 4 + tests/long.cocci | 14 + tests/long.res | 4 + tests/mdeclp.cocci | 2 +- tests/mdeclp2.cocci | 2 +- tests/op.c | 8 + tests/op.cocci | 8 + tests/op.res | 7 + tests/output.c | 1 + tests/output.cocci | 11 + tests/output.res | 1 + tests/output.stdout | 1 + tests/output_init.c | 3 + tests/output_init.cocci | 10 + tests/output_init.res | 3 + tests/parenmac.c | 1 + tests/parenmac.cocci | 11 + tests/parenmac.res | 1 + tests/pcomma.c | 14 + tests/pcomma.cocci | 17 + tests/pcomma.res | 14 + tests/poscon.c | 9 + tests/poscon.cocci | 21 + tests/poscon.res | 9 + tests/pycocci/code/0001-proto3/proto3.c | 7 + tests/pycocci/code/0001-proto3/proto3.h | 3 + .../patches/0001-proto3.cocci} | 0 .../0001-proto3/0001-change-prototypes.patch | 18 + tests/python_iteration.c | 7 + tests/python_iteration.cocci | 40 + tests/python_iteration.res | 7 + tests/python_iteration.stdout | 1 + tests/{mdecl.c => python_mdecl.c} | 0 tests/python_mdecl.cocci | 29 + tests/{mdecl.res => python_mdecl.res} | 0 tests/{mdeclp.c => python_mdeclp.c} | 0 tests/python_mdeclp.cocci | 12 + tests/{mdeclp.res => python_mdeclp.res} | 0 tests/python_poscon.c | 9 + tests/python_poscon.cocci | 21 + tests/python_poscon.res | 9 + tests/remove-code-in-branch1.c | 7 + tests/remove-code-in-branch1.cocci | 4 + tests/remove-code-in-branch1.res | 7 + tests/scope_id_1.c | 14 + tests/scope_id_1.cocci | 29 + tests/scope_id_2.c | 10 + tests/scope_id_2.cocci | 29 + tests/scope_id_3.c | 6 + tests/scope_id_3.cocci | 29 + tools/Makefile | 1 + tools/distributed/Makefile | 4 +- tools/distributed/spatch_linux.c | 4 +- tools/pycocci | 89 +- tools/spgen/Makefile | 24 +- tools/spgen/documentation/Makefile | 28 +- tools/spgen/documentation/about.tex | 11 +- tools/spgen/documentation/documentation.tex | 10 +- tools/spgen/documentation/future.tex | 2 +- tools/spgen/documentation/implementation.tex | 18 +- tools/spgen/documentation/knownissues.tex | 27 +- tools/spgen/documentation/usage.tex | 23 +- tools/spgen/scripts/spgen.sh.in | 18 +- tools/spgen/source/Makefile | 50 +- tools/spgen/source/ast_tostring.ml | 22 +- tools/spgen/source/context_rule.ml | 26 +- tools/spgen/source/context_rule.mli | 2 + tools/spgen/source/detect_patch.ml | 4 +- tools/spgen/source/file_transform.ml | 4 +- tools/spgen/source/globals.ml | 17 +- tools/spgen/source/globals.mli | 2 + tools/spgen/source/meta_variable.ml | 164 +- tools/spgen/source/meta_variable.mli | 7 +- tools/spgen/source/position_generator.ml | 80 +- tools/spgen/source/rule_body.ml | 42 +- tools/spgen/source/rule_header.ml | 9 +- tools/spgen/source/script_rule.ml | 20 +- tools/spgen/source/spgen.ml | 10 +- tools/spgen/source/spgen.mli | 2 + tools/spgen/source/spgen_config.ml | 2 +- tools/spgen/source/spgen_config.mli | 1 + tools/spgen/source/spgen_interactive.ml | 2 +- tools/spgen/source/spgen_test.ml | 4 +- tools/spgen/source/user_input.ml | 6 +- tools/spgen/source/user_input.mli | 2 +- tools/spgen/tests/addvoid.expected | 4 +- tools/spgen/tests/definepos.cocci | 9 + tools/spgen/tests/definepos.config | 3 + tools/spgen/tests/definepos.expected | 67 + tools/spgen/tests/disj.expected | 2 +- tools/spgen/tests/divr.cocci | 23 + tools/spgen/tests/divr.config | 3 + tools/spgen/tests/divr.expected | 104 + tools/spgen/tests/include.expected | 24 +- tools/spgen/tests/inherited.expected | 18 +- tools/spgen/tests/tiny.expected | 4 +- tools/splitpatch.ml | 292 +- version | 2 +- 367 files changed, 9151 insertions(+), 13797 deletions(-) delete mode 100644 commons/bytes.ml delete mode 100644 commons/bytes.mli delete mode 100644 commons/glimpse.ml delete mode 100644 commons/interfaces.ml delete mode 100644 commons/oarray.ml delete mode 100644 commons/oarray.mli delete mode 100644 commons/oassoc.ml delete mode 100644 commons/oassoc.mli delete mode 100644 commons/objet.ml delete mode 100644 commons/objet.mli delete mode 100644 commons/ocamlextra/dynArray.ml delete mode 100644 commons/ocamlextra/dynArray.mli delete mode 100644 commons/ocamlextra/enum.ml delete mode 100644 commons/ocamlextra/enum.mli delete mode 100644 commons/ocamlextra/mapb.ml delete mode 100644 commons/ocamlextra/setPt.ml delete mode 100644 commons/ocamlextra/setb.ml delete mode 100644 commons/ocamlextra/setb.mli delete mode 100644 commons/ocamlextra/suffix_tree.ml delete mode 100644 commons/ocamlextra/suffix_tree.mli delete mode 100644 commons/ocamlextra/suffix_tree_ext.ml delete mode 100644 commons/ocamlextra/suffix_tree_ext.mli delete mode 100644 commons/ocollection.ml delete mode 100644 commons/ocollection.mli delete mode 100644 commons/ocollection/oassocb.ml delete mode 100644 commons/ocollection/osetb.ml delete mode 100644 commons/ograph.ml delete mode 100644 commons/ograph.mli delete mode 100644 commons/osequence.ml delete mode 100644 commons/osequence.mli delete mode 100644 commons/oset.ml delete mode 100644 commons/oset.mli delete mode 100644 commons/parser_combinators.ml delete mode 100644 commons/parser_combinators.mli delete mode 100644 commons/seti.ml create mode 100644 demos/exists1.c create mode 100644 demos/exists1.cocci create mode 100644 demos/exists1.res create mode 100644 demos/exists2.c create mode 100644 demos/exists2.cocci create mode 100644 demos/exists2.res create mode 100644 demos/exists3.c create mode 100644 demos/exists3.cocci create mode 100644 demos/exists3.res create mode 100644 demos/exists4.c create mode 100644 demos/exists4.cocci create mode 100644 demos/exists4.res create mode 100644 demos/localidexpression.c copy tests/lid.cocci => demos/localidexpression.cocci (100%) create mode 100644 demos/localidexpression.res create mode 100644 demos/plusplus1.c create mode 100644 demos/plusplus1.cocci create mode 100644 demos/plusplus1.res create mode 100644 demos/plusplus2.c create mode 100644 demos/plusplus2.cocci create mode 100644 demos/plusplus2.res create mode 100644 demos/poscon.c create mode 100644 demos/poscon.cocci create mode 100644 demos/python_iteration.c create mode 100644 demos/python_iteration.cocci create mode 100644 docs/dev/modules create mode 100644 docs/manual/flow1.c create mode 100644 docs/manual/flow2.c rename {engine => ocaml}/externalanalysis.ml (100%) rename {engine => ocaml}/externalanalysis.mli (100%) create mode 100644 parsing_c/includes.ml create mode 100644 parsing_c/includes.mli delete mode 100644 parsing_cocci/type_cocci.ml create mode 100644 python/coccilib/iteration.py delete mode 100644 python/coccipython.cmxa delete mode 100644 release.nix create mode 100755 scripts/pycocci-check.sh delete mode 100644 tests/SCORE_expected.sexp delete mode 100644 tests/SCORE_expected_orig.sexp create mode 100644 tests/caseprint.c create mode 100644 tests/caseprint.cocci create mode 100644 tests/caseprint.res create mode 100644 tests/compare_const2.c create mode 100644 tests/compare_const2.cocci create mode 100644 tests/compare_const2.res create mode 100644 tests/idcon_ocaml.c create mode 100644 tests/idcon_ocaml.cocci create mode 100644 tests/idcon_ocaml.res create mode 100644 tests/idcon_python.c create mode 100644 tests/idcon_python.cocci create mode 100644 tests/idcon_python.res create mode 100644 tests/ifexpfile.c create mode 100644 tests/ifexpfile.cocci create mode 100644 tests/incl2.c create mode 100644 tests/incl2.cocci create mode 100644 tests/incl2.res create mode 100644 tests/includes-bug-2.c create mode 100644 tests/includes-bug-3.c create mode 100644 tests/includes-bug-3.h create mode 100644 tests/includes-bug.c create mode 100644 tests/includes-bug.cocci create mode 100644 tests/includes-bug.h create mode 100644 tests/iteration.c create mode 100644 tests/iteration.cocci create mode 100644 tests/iteration.res create mode 100644 tests/iteration.stdout create mode 100644 tests/long.c create mode 100644 tests/long.cocci create mode 100644 tests/long.res create mode 100644 tests/op.c create mode 100644 tests/op.cocci create mode 100644 tests/op.res create mode 100644 tests/output.c create mode 100644 tests/output.cocci create mode 100644 tests/output.res create mode 100644 tests/output.stdout create mode 100644 tests/output_init.c create mode 100644 tests/output_init.cocci create mode 100644 tests/output_init.res create mode 100644 tests/parenmac.c create mode 100644 tests/parenmac.cocci create mode 100644 tests/parenmac.res create mode 100644 tests/pcomma.c create mode 100644 tests/pcomma.cocci create mode 100644 tests/pcomma.res create mode 100644 tests/poscon.c create mode 100644 tests/poscon.cocci create mode 100644 tests/poscon.res create mode 100644 tests/pycocci/code/0001-proto3/proto3.c create mode 100644 tests/pycocci/code/0001-proto3/proto3.h copy tests/{proto2.cocci => pycocci/patches/0001-proto3.cocci} (100%) create mode 100644 tests/pycocci/patches/0001-proto3/0001-change-prototypes.patch create mode 100644 tests/python_iteration.c create mode 100644 tests/python_iteration.cocci create mode 100644 tests/python_iteration.res create mode 100644 tests/python_iteration.stdout copy tests/{mdecl.c => python_mdecl.c} (100%) create mode 100644 tests/python_mdecl.cocci copy tests/{mdecl.res => python_mdecl.res} (100%) copy tests/{mdeclp.c => python_mdeclp.c} (100%) create mode 100644 tests/python_mdeclp.cocci copy tests/{mdeclp.res => python_mdeclp.res} (100%) create mode 100644 tests/python_poscon.c create mode 100644 tests/python_poscon.cocci create mode 100644 tests/python_poscon.res create mode 100644 tests/remove-code-in-branch1.c create mode 100644 tests/remove-code-in-branch1.cocci create mode 100644 tests/remove-code-in-branch1.res create mode 100644 tests/scope_id_1.c create mode 100644 tests/scope_id_1.cocci create mode 100644 tests/scope_id_2.c create mode 100644 tests/scope_id_2.cocci create mode 100644 tests/scope_id_3.c create mode 100644 tests/scope_id_3.cocci create mode 100644 tools/spgen/tests/definepos.cocci create mode 100644 tools/spgen/tests/definepos.config create mode 100644 tools/spgen/tests/definepos.expected create mode 100644 tools/spgen/tests/divr.cocci create mode 100644 tools/spgen/tests/divr.config create mode 100644 tools/spgen/tests/divr.expected -- 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