Actions_3085S4_V2/zephyr/scripts/coccinelle/same_identifier.cocci

// Check violations for rule 5.7
// https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_07.c
//
// Confidence: Moderate
// Copyright: (C) 2020 Intel Corporation
//
// SPDX-License-Identifier: Apache-2.0

virtual report

@initialize:python@
@@

@common_case@
position p;
identifier t, v;
@@
(
struct t *v@p;
|
struct t v@p;
|
union t v@p;
)

@ script:python @
t << common_case.t;
v << common_case.v;
p << common_case.p;
@@

msg = "WARNING: Violation to rule 5.7 (Tag name should be unique) tag: {}".format(v)
if t == v:
    coccilib.report.print_report(p[0], msg)

@per_type@
type T;
identifier v;
position p;
@@
(
T v@p;
|
T *v@p;
)

@ script:python @
t << per_type.T;
v << per_type.v;
p << per_type.p;
@@

msg = "WARNING: Violation to rule 5.7 (Tag name should be unique) tag: {}".format(v)
if t == v:
    coccilib.report.print_report(p[0], msg)

@function_match@
type T1, T2;
identifier function, v;
position p;
parameter list[n] P1;
parameter list[n1] P2;
@@
T1 function(P1, T2 *v@p, P2) {
...
}

@ script:python @
v << function_match.v;
t << function_match.T2;
p << function_match.p;
@@

msg = "WARNING: Violation to rule 5.7 (Tag name should be unique) tag: {}".format(v)
if v == t.split(" ")[-1]:
    coccilib.report.print_report(p[0], msg)