[XEN,0/3] Move Xen ECLAIR configuration to analyze.yaml

Message

Nicola Vetrini Feb. 14, 2025, 8:45 p.m. UTC

The initial configuration for the ECLAIR MISRA C analysis integration into Xen
consisted of two fixed configuration files (one for arm64 and one for x86_64).
This approach shows its downsides as configuration options may change over time.

To address this issues, the configuration can be derived from the architecture's
defconfig and overridden in analyze.yaml via EXTRA_XEN_CONFIG. While doing this,
some inconsistencies that were overlooked in the hand-crafted configuration
files have been resolved following the advice of Stefano Stabellini and
Michal Orzel.

A few regressions on clean guidelines result from such configuration changes,
therefore both patches are prerequisite to the last one to keep avoid pipeline
failures.

Nicola Vetrini (3):
  xen/arm: platform: address violation of MISRA C Rule 7.2
  xen/sched: address violation of MISRA C Rule 8.2
  automation: Update ECLAIR analysis configuration

 automation/eclair_analysis/prepare.sh      |   8 +-
 automation/eclair_analysis/xen_arm_config  | 141 --------------------
 automation/eclair_analysis/xen_x86_config  | 143 ---------------------
 automation/gitlab-ci/analyze.yaml          |  68 ++++++++++
 xen/arch/arm/platforms/brcm-raspberry-pi.c |   6 +-
 xen/common/sched/rt.c                      |   2 +-
 6 files changed, 77 insertions(+), 291 deletions(-)
 delete mode 100644 automation/eclair_analysis/xen_arm_config
 delete mode 100644 automation/eclair_analysis/xen_x86_config