| Message ID | 1fee04ad07b03c13c44f66a20c4ee70737069650.1708677243.git.federico.serafini@bugseng.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | automation/eclair: update deviations and tags | expand |
On Fri, 23 Feb 2024, Federico Serafini wrote: > Update ECLAIR configuration to fully deviate Rules 5.7 and 18.7 > as agreed during MISRA meeetings. > > Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> Reviewed-by: Stefano Stabellini <sstabellini@kernel.org> > --- > automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++++ > 1 file changed, 14 insertions(+) > > diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/eclair_analysis/ECLAIR/deviations.ecl > index fd32ff8a9c..02eae39786 100644 > --- a/automation/eclair_analysis/ECLAIR/deviations.ecl > +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl > @@ -107,6 +107,11 @@ number of guest paging levels." > -config=MC3R1.R5.6,reports+={deliberate,"any_area(any_loc(file(adopted_r5_6)))"} > -doc_end > > +-doc_begin="The project intentionally reuses tag names in order to have identifiers matching the applicable external specifications as well as established internal conventions. > +As there is little possibility for developer confusion not resulting into compilation errors, the risk of renaming outweighs the potential advantages of compliance." > +-config=MC3R1.R5.7,reports+={deliberate,"any()"} > +-doc_end > + > # > # Series 7. > # > @@ -373,6 +378,15 @@ explicit comment indicating the fallthrough intention is present." > -config=MC3R1.R16.3,reports+={safe, "any_area(end_loc(any_exp(text(^(?s).*/\\* [fF]all ?through.? \\*/.*$,0..1))))"} > -doc_end > > +# > +# Series 18. > +# > + > +-doc_begin="Flexible array members are deliberately used and XEN developers are aware of the dangers related to them: > +unexpected result when the structure is given as argument to a sizeof() operator and the truncation in assignment between structures." > +-config=MC3R1.R18.7,reports+={deliberate, "any()"} > +-doc_end > + > # > # Series 20. > # > -- > 2.34.1 >
diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/eclair_analysis/ECLAIR/deviations.ecl index fd32ff8a9c..02eae39786 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -107,6 +107,11 @@ number of guest paging levels." -config=MC3R1.R5.6,reports+={deliberate,"any_area(any_loc(file(adopted_r5_6)))"} -doc_end +-doc_begin="The project intentionally reuses tag names in order to have identifiers matching the applicable external specifications as well as established internal conventions. +As there is little possibility for developer confusion not resulting into compilation errors, the risk of renaming outweighs the potential advantages of compliance." +-config=MC3R1.R5.7,reports+={deliberate,"any()"} +-doc_end + # # Series 7. # @@ -373,6 +378,15 @@ explicit comment indicating the fallthrough intention is present." -config=MC3R1.R16.3,reports+={safe, "any_area(end_loc(any_exp(text(^(?s).*/\\* [fF]all ?through.? \\*/.*$,0..1))))"} -doc_end +# +# Series 18. +# + +-doc_begin="Flexible array members are deliberately used and XEN developers are aware of the dangers related to them: +unexpected result when the structure is given as argument to a sizeof() operator and the truncation in assignment between structures." +-config=MC3R1.R18.7,reports+={deliberate, "any()"} +-doc_end + # # Series 20. #
Update ECLAIR configuration to fully deviate Rules 5.7 and 18.7 as agreed during MISRA meeetings. Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> --- automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++++ 1 file changed, 14 insertions(+)