[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