[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen staging] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7
commit b87697fc1a6fbc3f2e1570af5a58e36a42c333cf Author: Federico Serafini <federico.serafini@xxxxxxxxxxx> AuthorDate: Fri Feb 23 10:06:59 2024 +0100 Commit: Stefano Stabellini <stefano.stabellini@xxxxxxx> CommitDate: Thu Feb 29 15:23:31 2024 -0800 automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 Update ECLAIR configuration to fully deviate Rules 5.7 and 18.7 as agreed during MISRA meeetings. Signed-off-by: Federico Serafini <federico.serafini@xxxxxxxxxxx> Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx> --- 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. # -- generated by git-patchbot for /home/xen/git/xen.git#staging
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |