]> git.ipfire.org Git - thirdparty/git.git/commit
cocci: matching (multiple) identifiers
authorJunio C Hamano <gitster@pobox.com>
Wed, 18 Jun 2025 17:55:02 +0000 (10:55 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 20 Jun 2025 22:41:47 +0000 (15:41 -0700)
commitf2ad545813f83c5c0039a845e9bf5d04ac8a409a
tree4fb7b8b976fb18450b38d77ac3f70eab90359be0
parentf93ff170b93a1782659637824b25923245ac9dd1
cocci: matching (multiple) identifiers

"make coccicheck" seems to work OK at GitHub CI using

    $ spatch --version
    spatch version 1.1.1 compiled with OCaml version 4.13.1
    OCaml scripting support: yes
    Python scripting support: yes
    Syntax of regular expressions: PCRE

but not with

    $ spatch --version
    spatch version 1.3 compiled with OCaml version 5.3.0
    OCaml scripting support: yes
    Python scripting support: yes
    Syntax of regular expressions: Str

Judging from https://ocaml.org/manual/5.3/api/Str.html, I suspect
that this probably is caused by the distinction between BRE vs PCRE.
As there is no reasonably clean way to write the multiple choice
matches portably between these two pattern languages, let's stop
using regexp_constraint and use compare_constraint instead when
listing the function names to exclude.

There are other uses of "!~" but they all want to match a single
simple token, that should work fine either with BRE or PCRE.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/coccinelle/commit.cocci