[Pkg-ocaml-maint-commits] [coccinelle] 02/04: Merge tag 'upstream/1.0.0_rc22.deb'

Eugeniy Meshcheryakov eugen at moszumanska.debian.org
Fri Oct 3 18:08:44 UTC 2014


This is an automated email from the git hooks/post-receive script.

eugen pushed a commit to branch master
in repository coccinelle.

commit 5dab5801bd5985c854c07be047fdeb2d06af71e7
Merge: 4369147 5f9d885
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Fri Oct 3 19:40:26 2014 +0200

    Merge tag 'upstream/1.0.0_rc22.deb'
    
    Upstream version 1.0.0~rc22.deb

 Makefile                                          |    2 +-
 Makefile.release                                  |    2 +-
 changes.txt                                       |   45 +-
 cocci.ml                                          |  317 +++---
 cocci.mli                                         |    2 +-
 commons/common.ml                                 |   30 +-
 commons/common.mli                                |   46 +-
 configure                                         |  122 +-
 ctl/Makefile                                      |    2 +-
 ctl/ast_ctl.ml                                    |    2 +-
 ctl/ctl_engine.ml                                 |   21 +-
 ctl/ctl_engine.mli                                |    9 +-
 ctl/flag_ctl.ml                                   |    2 +-
 ctl/pretty_print_ctl.ml                           |    2 +-
 ctl/pretty_print_ctl.mli                          |    2 +-
 ctl/test_ctl.ml                                   |    2 +-
 ctl/wrapper_ctl.ml                                |    2 +-
 ctl/wrapper_ctl.mli                               |    2 +-
 docs/manual/cocci_syntax.tex                      |   23 +
 docs/manual/macros.tex                            |    2 +-
 docs/manual/spatch_options.tex                    |  322 +++---
 docs/spatch.1.in                                  |   63 +-
 engine/Makefile                                   |    2 +-
 engine/asttoctl.mli                               |    2 +-
 engine/asttoctl2.ml                               |   93 +-
 engine/asttoctl2.mli                              |    2 +-
 engine/asttomember.ml                             |   34 +-
 engine/asttomember.mli                            |    2 +-
 engine/c_vs_c.ml                                  |    4 +-
 engine/c_vs_c.mli                                 |    2 +-
 engine/check_exhaustive_pattern.ml                |    6 +-
 engine/check_reachability.ml                      |    2 +-
 engine/check_reachability.mli                     |    2 +-
 engine/cocci_vs_c.ml                              |  368 ++++--
 engine/cocci_vs_c.mli                             |    8 +-
 engine/ctlcocci_integration.ml                    |   74 +-
 engine/ctlcocci_integration.mli                   |    2 +-
 engine/ctltotex.ml                                |    2 +-
 engine/ctltotex.mli                               |    2 +-
 engine/externalanalysis.ml                        |    2 +-
 engine/externalanalysis.mli                       |    2 +-
 engine/flag_engine.ml                             |    2 +-
 engine/flag_matcher.ml                            |    2 +-
 engine/isomorphisms_c_c.ml                        |    2 +-
 engine/lib_engine.ml                              |    2 +-
 engine/lib_matcher_c.ml                           |    2 +-
 engine/lib_matcher_c.mli                          |    2 +-
 engine/main.ml                                    |    2 +-
 engine/pattern_c.ml                               |   14 +-
 engine/pattern_c.mli                              |    2 +-
 engine/postprocess_transinfo.ml                   |    4 +-
 engine/postprocess_transinfo.mli                  |    2 +-
 engine/pretty_print_engine.ml                     |    2 +-
 engine/pretty_print_engine.mli                    |    2 +-
 engine/transformation_c.ml                        |   20 +-
 engine/transformation_c.mli                       |    2 +-
 flag_cocci.ml                                     |    6 +-
 globals/Makefile                                  |    2 +-
 globals/flag.ml                                   |    4 +-
 globals/iteration.ml                              |    2 +-
 globals/iteration.mli                             |    2 +-
 globals/regexp_pcre.ml                            |   27 +-
 globals/regexp_str.ml                             |    2 +-
 main.ml                                           |  145 +--
 ocaml/exposed_modules.ml                          |    3 +
 ocaml/no_prepare_ocamlcocci.ml                    |    7 +-
 ocaml/prepare_ocamlcocci.mli                      |    1 +
 ocaml/yes_prepare_ocamlcocci.ml                   |   17 +
 parsing_c/ast_c.ml                                |   14 +-
 parsing_c/comment_annotater_c.ml                  |    4 -
 parsing_c/compare_c.ml                            |   82 +-
 parsing_c/compare_c.mli                           |    3 -
 parsing_c/control_flow_c.ml                       |    6 +
 parsing_c/control_flow_c.mli                      |    5 +
 parsing_c/control_flow_c_build.ml                 |  435 +++++---
 parsing_c/cpp_ast_c.ml                            |  103 --
 parsing_c/cpp_ast_c.mli                           |    4 -
 parsing_c/danger.ml                               |   53 +-
 parsing_c/flag_parsing_c.ml                       |    2 +
 parsing_c/lexer_c.mll                             |   43 +-
 parsing_c/lib_parsing_c.ml                        |    1 +
 parsing_c/parse_c.ml                              |   60 +-
 parsing_c/parse_c.mli                             |    7 +
 parsing_c/parse_string_c.ml                       |   10 +-
 parsing_c/parser_c.mly                            |  120 +-
 parsing_c/parsing_hacks.ml                        |  333 ++++--
 parsing_c/parsing_hacks.mli                       |   12 +-
 parsing_c/parsing_stat.ml                         |    6 +-
 parsing_c/pretty_print_c.ml                       |  109 +-
 parsing_c/test_parsing_c.ml                       |   43 +-
 parsing_c/token_c.ml                              |    1 +
 parsing_c/token_helpers.ml                        |   79 ++
 parsing_c/token_helpers.mli                       |   13 +
 parsing_c/token_views_c.ml                        |   32 +-
 parsing_c/unparse_c.ml                            |  304 +++--
 parsing_c/unparse_cocci.ml                        |   47 +-
 parsing_c/unparse_hrule.ml                        |    2 +-
 parsing_c/visitor_c.ml                            |   31 +-
 parsing_c/visitor_c.mli                           |    6 +
 parsing_cocci/Makefile                            |    6 +-
 parsing_cocci/adjacency.ml                        |    2 +-
 parsing_cocci/adjacency.mli                       |    2 +-
 parsing_cocci/adjust_pragmas.ml                   |   27 +-
 parsing_cocci/adjust_pragmas.mli                  |    2 +-
 parsing_cocci/arity.ml                            |   35 +-
 parsing_cocci/arity.mli                           |    2 +-
 parsing_cocci/ast0_cocci.ml                       |   56 +-
 parsing_cocci/ast0_cocci.mli                      |   40 +-
 parsing_cocci/ast0toast.ml                        |   73 +-
 parsing_cocci/ast0toast.mli                       |    4 +-
 parsing_cocci/ast_cocci.ml                        |   34 +-
 parsing_cocci/ast_cocci.mli                       |   26 +-
 parsing_cocci/check_meta.ml                       |   23 +-
 parsing_cocci/check_meta.mli                      |    2 +-
 parsing_cocci/cocci_grep.ml                       |    4 +-
 parsing_cocci/cocci_grep.mli                      |    2 +-
 parsing_cocci/comm_assoc.ml                       |    2 +-
 parsing_cocci/comm_assoc.mli                      |    2 +-
 parsing_cocci/command_line.ml                     |    2 +-
 parsing_cocci/command_line.mli                    |    2 +-
 parsing_cocci/commas_on_lists.ml                  |    2 +-
 parsing_cocci/commas_on_lists.mli                 |    2 +-
 parsing_cocci/compute_lines.ml                    |  136 ++-
 parsing_cocci/compute_lines.mli                   |    2 +-
 parsing_cocci/context_neg.ml                      |   72 +-
 parsing_cocci/context_neg.mli                     |    2 +-
 parsing_cocci/data.ml                             |    7 +-
 parsing_cocci/data.mli                            |   11 +-
 parsing_cocci/disjdistr.ml                        |   31 +-
 parsing_cocci/disjdistr.mli                       |    2 +-
 parsing_cocci/dpll.ml                             |  114 ++
 engine/lib_matcher_c.ml => parsing_cocci/dpll.mli |    5 +-
 parsing_cocci/flag_parsing_cocci.ml               |    5 +-
 parsing_cocci/free_vars.ml                        |   34 +-
 parsing_cocci/free_vars.mli                       |    2 +-
 parsing_cocci/function_prototypes.ml              |   24 +-
 parsing_cocci/function_prototypes.mli             |    2 +-
 parsing_cocci/get_constants.ml                    |    2 +-
 parsing_cocci/get_constants.mli                   |    2 +-
 parsing_cocci/get_constants2.ml                   |  148 ++-
 parsing_cocci/get_constants2.mli                  |    7 +-
 parsing_cocci/get_metas.ml                        |   95 +-
 parsing_cocci/get_metas.mli                       |    2 +-
 parsing_cocci/id_utils.ml                         |    2 +-
 parsing_cocci/id_utils.mli                        |    2 +-
 parsing_cocci/index.ml                            |    4 +-
 parsing_cocci/index.mli                           |    2 +-
 parsing_cocci/insert_plus.ml                      |   76 +-
 parsing_cocci/insert_plus.mli                     |    2 +-
 parsing_cocci/iso_compile.ml                      |   17 +-
 parsing_cocci/iso_compile.mli                     |    2 +-
 parsing_cocci/iso_pattern.ml                      |  256 +++--
 parsing_cocci/iso_pattern.mli                     |    2 +-
 parsing_cocci/lexer_cli.mll                       |    2 +-
 parsing_cocci/lexer_cocci.mll                     |  240 +++-
 parsing_cocci/lexer_script.mll                    |    3 +-
 parsing_cocci/main.ml                             |    2 +-
 parsing_cocci/merge.ml                            |    2 +-
 parsing_cocci/merge.mli                           |    2 +-
 parsing_cocci/parse_aux.ml                        |  262 ++---
 parsing_cocci/parse_cocci.ml                      |  578 ++++++----
 parsing_cocci/parse_cocci.mli                     |    8 +-
 parsing_cocci/parse_printf.ml                     |   11 +-
 parsing_cocci/parse_printf.mli                    |    2 +-
 parsing_cocci/parser_cocci_menhir.mly             |  112 +-
 parsing_cocci/plus.ml                             |    2 +-
 parsing_cocci/plus.mli                            |    2 +-
 parsing_cocci/pretty_print_cocci.ml               |   45 +-
 parsing_cocci/pretty_print_cocci.mli              |    2 +-
 parsing_cocci/safe_for_multi_decls.ml             |   17 +-
 parsing_cocci/safe_for_multi_decls.mli            |    2 +-
 parsing_cocci/semantic_cocci.ml                   |    2 +-
 parsing_cocci/simple_assignments.ml               |    2 +-
 parsing_cocci/simple_assignments.mli              |    2 +-
 parsing_cocci/single_statement.ml                 |    8 +-
 parsing_cocci/single_statement.mli                |    2 +-
 parsing_cocci/test.cocci                          |    2 +-
 parsing_cocci/test2.cocci                         |    2 +-
 parsing_cocci/test_exps.ml                        |    6 +-
 parsing_cocci/test_exps.mli                       |    2 +-
 parsing_cocci/top_level.ml                        |    4 +-
 parsing_cocci/top_level.mli                       |    2 +-
 parsing_cocci/type_cocci.ml                       |    2 +-
 parsing_cocci/type_cocci.mli                      |    2 +-
 parsing_cocci/type_infer.ml                       |   20 +-
 parsing_cocci/type_infer.mli                      |    2 +-
 parsing_cocci/unify_ast.ml                        |   27 +-
 parsing_cocci/unify_ast.mli                       |    2 +-
 parsing_cocci/unitary_ast0.ml                     |   12 +-
 parsing_cocci/unitary_ast0.mli                    |    2 +-
 parsing_cocci/unparse_ast0.ml                     |   31 +-
 parsing_cocci/unparse_ast0.mli                    |    2 +-
 parsing_cocci/visitor_ast.ml                      | 1242 +++++++++++++++------
 parsing_cocci/visitor_ast.mli                     |   22 +-
 parsing_cocci/visitor_ast0.ml                     |  154 ++-
 parsing_cocci/visitor_ast0.mli                    |    2 +-
 parsing_cocci/visitor_ast0_types.ml               |    2 +-
 popl/Makefile                                     |    2 +-
 popl/ast_popl.ml                                  |    2 +-
 popl/asttopopl.ml                                 |    2 +-
 popl/asttopopl.mli                                |    2 +-
 popl/insert_befaft.ml                             |    2 +-
 popl/insert_befaft.mli                            |    2 +-
 popl/insert_quantifiers.ml                        |    2 +-
 popl/insert_quantifiers.mli                       |    2 +-
 popl/popl.ml                                      |    2 +-
 popl/popl.mli                                     |    2 +-
 popl/popltoctl.ml                                 |    2 +-
 popl/popltoctl.mli                                |    2 +-
 popl/pretty_print_popl.ml                         |    2 +-
 popl/pretty_print_popl.mli                        |    2 +-
 popl09/Makefile                                   |    2 +-
 popl09/ast_popl.ml                                |    2 +-
 popl09/asttopopl.ml                               |    4 +-
 popl09/asttopopl.mli                              |    2 +-
 popl09/flag_popl.ml                               |    2 +-
 popl09/insert_quantifiers.ml                      |    2 +-
 popl09/insert_quantifiers.mli                     |    2 +-
 popl09/popl.ml                                    |    2 +-
 popl09/popl.mli                                   |    2 +-
 popl09/popltoctl.ml                               |   12 +-
 popl09/popltoctl.mli                              |    2 +-
 popl09/pretty_print_popl.ml                       |    2 +-
 popl09/pretty_print_popl.mli                      |    2 +-
 python/Makefile                                   |    2 +-
 python/coccipython.a                              |  Bin 25068 -> 32158 bytes
 python/coccipython.cmxa                           |  Bin 2652 -> 2679 bytes
 python/no_pycocci.ml                              |    2 +-
 python/pycocci.mli                                |    2 +-
 python/pycocci_aux.ml                             |   11 +-
 python/pycocci_aux.mli                            |    2 +-
 python/yes_pycocci.ml                             |    2 +-
 scripts/extract_c_and_res.pl                      |    2 +-
 scripts/extract_examples.pl                       |    2 +-
 scripts/extractor_README.pl                       |    2 +-
 scripts/gather_failed.pl                          |    2 +-
 scripts/readme.pl                                 |    2 +-
 scripts/stat_directories.pl                       |    2 +-
 scripts/stat_directories_complete.pl              |    2 +-
 scripts/stat_directory_complete.pl                |    2 +-
 testing.ml                                        |    2 +-
 testing.mli                                       |    2 +-
 tests/SCORE_expected.sexp                         |  Bin 15788 -> 15177 bytes
 tests/SCORE_expected_orig.sexp                    |  Bin 15788 -> 15177 bytes
 tests/addifelse.c                                 |   20 +
 tests/addifelse.cocci                             |   24 +
 tests/addifelse.res                               |   26 +
 tests/addifelse2.c                                |   20 +
 tests/addifelse2.cocci                            |   25 +
 tests/addifelse2.res                              |   28 +
 tests/array_init.cocci                            |    1 -
 tests/badpos.cocci                                |    2 -
 tests/cr.c                                        |   17 +-
 tests/cr.cocci                                    |   17 +-
 tests/cr.res                                      |    6 +
 tests/dec.cocci                                   |    1 +
 tests/decl.cocci                                  |    1 +
 tests/decl_space.cocci                            |    1 +
 tests/decl_split.cocci                            |    1 +
 tests/decl_star.cocci                             |    1 +
 tests/disjexpr.cocci                              |    2 +-
 tests/disjid.cocci                                |    1 +
 tests/elsify.c                                    |    7 +
 tests/elsify.cocci                                |    9 +
 tests/elsify.res                                  |    7 +
 tests/endpos.c                                    |   15 +
 tests/endpos.cocci                                |   31 +
 tests/endpos.res                                  |   20 +
 tests/idstr.c                                     |    3 +
 tests/idstr.cocci                                 |   15 +
 tests/idstr.res                                   |    3 +
 tests/if.cocci                                    |    2 -
 tests/ifafter.c                                   |    8 +
 tests/ifafter.cocci                               |   11 +
 tests/ifgoto.c                                    |    5 +
 tests/ifgoto.cocci                                |    8 +
 tests/ifgoto.res                                  |    7 +
 tests/ifields.cocci                               |    2 +-
 tests/ifreturn.cocci                              |    3 +-
 tests/metaruleelem.cocci                          |    3 +-
 tests/mincom.c                                    |    5 +
 tests/mincom.cocci                                |    6 +
 tests/mincom.res                                  |    7 +
 tests/multidecl3.c                                |   17 +
 tests/multidecl3.cocci                            |   16 +
 tests/multidecl3.res                              |   13 +
 tests/noret.c                                     |   18 +
 tests/noret.cocci                                 |   16 +
 tests/noret.res                                   |   18 +
 tests/noty2.c                                     |   14 +
 tests/noty2.cocci                                 |    4 +
 tests/noty2.res                                   |   11 +
 tests/remparam.c                                  |   15 +
 tests/remparam.cocci                              |    9 +
 tests/remparam.res                                |   15 +
 tests/rems.c                                      |    5 +
 tests/rems.cocci                                  |    4 +
 tests/rems.res                                    |    4 +
 tests/rems1.c                                     |    5 +
 tests/rems1.cocci                                 |    4 +
 tests/rems1.res                                   |    4 +
 tests/unelse.c                                    |    9 +
 tests/unelse.cocci                                |    7 +
 tests/unelse.res                                  |    7 +
 tools/Makefile                                    |    2 +-
 tools/alloc_free.ml                               |    2 +-
 tools/bridge.ml                                   |    2 +-
 tools/cstripenv.ml                                |    2 +-
 tools/dir_stats.ml                                |    2 +-
 tools/dumper.ml                                   |    2 +-
 tools/dumper.mli                                  |    2 +-
 tools/extract_c_and_res.ml                        |    2 +-
 tools/gitgrep.ml                                  |  269 +++--
 tools/gitsort.ml                                  |    2 +-
 tools/licensify.ml                                |    4 +-
 tools/process_isoprofile.ml                       |    2 +-
 tools/sgen/Makefile                               |   11 +
 tools/sgen/README.md                              |   62 +
 tools/sgen/documentation/about.tex                |   23 +
 tools/sgen/documentation/documentation.tex        |   58 +
 tools/sgen/documentation/future.tex               |    9 +
 tools/sgen/documentation/implementation.tex       |   13 +
 tools/sgen/documentation/knownissues.tex          |   23 +
 tools/sgen/documentation/usage.tex                |  112 ++
 tools/sgen/examples/disj.c                        |   30 +
 tools/sgen/examples/disj.cocci                    |   22 +
 tools/sgen/examples/disj.config                   |    9 +
 tools/sgen/examples/inherited.c                   |   11 +
 tools/sgen/examples/inherited.cocci               |   29 +
 tools/sgen/examples/inherited.config              |   17 +
 tools/sgen/examples/local.c                       |   11 +
 tools/sgen/examples/local.cocci                   |   13 +
 tools/sgen/examples/local.config                  |    6 +
 tools/sgen/examples/tiny.c                        |    4 +
 tools/sgen/examples/tiny.cocci                    |    8 +
 tools/sgen/examples/tiny.config                   |   11 +
 tools/sgen/scripts/sgen.sh.in                     |    7 +
 tools/sgen/source/Makefile                        |  108 ++
 tools/sgen/source/ast_tostring.ml                 |  118 ++
 tools/sgen/source/ast_tostring.mli                |   21 +
 tools/sgen/source/context_rule.ml                 |   73 ++
 tools/sgen/source/context_rule.mli                |   25 +
 tools/sgen/source/detect_patch.ml                 |  150 +++
 tools/sgen/source/detect_patch.mli                |   33 +
 tools/sgen/source/disj_generator.ml               |  143 +++
 tools/sgen/source/disj_generator.mli              |   82 ++
 tools/sgen/source/file_transform.ml               |  255 +++++
 tools/sgen/source/file_transform.mli              |   21 +
 tools/sgen/source/generator_types.ml              |  252 +++++
 tools/sgen/source/generator_types.mli             |   84 ++
 tools/sgen/source/globals.ml                      |  140 +++
 tools/sgen/source/globals.mli                     |   65 ++
 tools/sgen/source/main.ml                         |  134 +++
 tools/sgen/source/meta_variable.ml                |  447 ++++++++
 tools/sgen/source/meta_variable.mli               |   32 +
 tools/sgen/source/position_generator.ml           |  422 +++++++
 tools/sgen/source/position_generator.mli          |   31 +
 tools/sgen/source/rule_body.ml                    |  260 +++++
 tools/sgen/source/rule_body.mli                   |   33 +
 tools/sgen/source/rule_header.ml                  |  120 ++
 tools/sgen/source/rule_header.mli                 |   57 +
 tools/sgen/source/script_rule.ml                  |  123 ++
 tools/sgen/source/script_rule.mli                 |   45 +
 tools/sgen/source/sgen_config.ml                  |  108 ++
 tools/sgen/source/sgen_config.mli                 |   57 +
 tools/sgen/source/sgen_interactive.ml             |  183 +++
 tools/sgen/source/sgen_interactive.mli            |   21 +
 tools/sgen/source/sgen_lexer.mll                  |  103 ++
 tools/sgen/source/user_input.ml                   |  199 ++++
 tools/sgen/source/user_input.mli                  |   63 ++
 tools/splitpatch.ml                               |   71 +-
 tools/spp.ml                                      |    2 +-
 version                                           |    2 +-
 373 files changed, 10602 insertions(+), 3113 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git



More information about the Pkg-ocaml-maint-commits mailing list