Coccinelle

coccinelle:cleaning_ci

  1. Git
  2. lp:coccinelle
  3. cleaning_ci
Last commit made on 2020-02-24
Get this branch:
git clone -b cleaning_ci https://git.launchpad.net/coccinelle

Branch merges

Branch information

Name:
cleaning_ci
Repository:
lp:coccinelle

Recent commits

063e46e... by Thierry Martinez <email address hidden>

Force previous version of pyml until the fix has been merged in OPAM

https://github.com/ocaml/opam-repository/pull/15891

e5fa70a... by Thierry Martinez <email address hidden>

docker system prune

7c6fed9... by Thierry Martinez <email address hidden>

Get rid of "setrlimit(RLIMIT_CORE): Operation not permitted" warning

bad1779... by Julia Lawall

Merge gitlab.inria.fr:coccinelle/coccinelle

8cdda0a... by Jaskaran Singh <email address hidden>

tests: Add test case to match const pointer variants

Pointer to const pointer and its variants would not match previously.
Add a test case for matching these types.

Signed-off-by: Jaskaran Singh <email address hidden>

9d4940d... by Jaskaran Singh <email address hidden>

tests: Add space between * and const in ptrconstptr.res

A space is now added between the * and qualifier. Reflect this
change in the ptrconstptr test case.

Signed-off-by: Jaskaran Singh <email address hidden>

18af2ff... by Jaskaran Singh <email address hidden>

parsing_c: Align C AST and Cocci AST for pointer

For a pointer, the C parser constructed an AST dissimilar from that
of the Cocci AST. This caused failures in matching with certain
pointer types. For example, for the following case:

char *1 const *2 id;

The C AST constructed would be:
const Pointer1 -> Pointer2 -> char

The Cocci AST constructed would be:
Pointer2 -> const Pointer1 -> char

Change the pointer rule in the C parser so that an AST similar to the
Cocci AST is constructed.

Make necessary changes in the C pretty printer so that the pointer type
is printed correctly.

Signed-off-by: Jaskaran Singh <email address hidden>

a9cd9c6... by fantasio <email address hidden>

fresh_id: allow to use a script as id generator

New test fresh_id_script added

c2c5868... by Thierry Martinez <email address hidden>

Keep reference scores

34a3e13... by Thierry Martinez <email address hidden>

Use reference_scores git repository