[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/4] xen: address MISRA C Rule 11.8 violations
- To: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- From: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>
- Date: Tue, 3 Nov 2026 10:29:15 +0000
- Accept-language: en-US, uk-UA, ru-RU
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=epam.com; dmarc=pass action=none header.from=epam.com; dkim=pass header.d=epam.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=s7RawEqNR4EeE0XVmRpP8Agh0nsUlJTSg8eEocl3PtE=; b=hoUv5ZSHyp9F90sjq0/7BIxSilcIm1mM6c7payBLsFBCeKBaPDEL3k3+41avXSKU/4cLRofY7wc124HsJoHaQTxBv0jBO/9+Z7rV9J0HfLzLLQxbV0yCr0GBxEhYKk94jjekg+L44kiUU37UCI6Ulr0DB1j+kjIKN2rPfoANuY3gczMXKfOiVJb/PJttvv0QpwBXOJOs5yCD9YuVvLReflBkqefqDBhSozbp6uIsUKjg4oRMoGhvg1Jlx45yxDLtLSyFzbH8b5jnLj+M1HlujfylIFQrWL0W1+6X48kmb0PLQfnL52lXmazgOW3Ph0lCLHs8yp+osLmLwbCpvESNMA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=jepu+NwZbUm2HCnTqSskwC4HTKhQrfGxHYQAKlayMouon4llrif/p8gCn8jebljZLQ2RcIcM5Ri5t18oiE2jU3K9ByPKrreGUJi/z/XcXo8n1twONPkfuHJ9IvN7mn5RE1gOUCQjFTefst6I2AvnnSZJ2gWMMWcqjtW7JVf5DYbsk/P7I7nnMRU0sOpE+y2Vpu6jYvWVVKB5qTeLZRx2oKSsd+CA4N8jovEUxb19xJrjE7tSH6J0sd3Bq+/tV1G6C/T0hg9NtEAIKYjetfkn0WsRQgkL30ICoWmLRiXxvvdqjk5aVewR5f4XECJjF5hVHh+CDVs+uML3BGkM7GPHEA==
- Authentication-results: eu.smtp.expurgate.cloud; dkim=pass header.s=selector1 header.d=epam.com header.i="@epam.com" header.h="From:Date:Subject:Message-ID:Content-Type:MIME-Version:x-ms-exchange-senderadcheck"
- Authentication-results: mx.microsoft.com 1; dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=epam.com;
- Cc: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Anthony PERARD <anthony.perard@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Roger Pau Monné <roger@xxxxxxxxxxxxxx>, Teddy Astie <teddy.astie@xxxxxxxxxx>, Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>, Doug Goldstein <cardoe@xxxxxxxxxx>
- Delivery-date: Tue, 03 Nov 2026 10:29:24 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHda34svJNUpbDbMki9nKAlagRptw==
- Thread-topic: [PATCH 0/4] xen: address MISRA C Rule 11.8 violations
This series addresses a number of violations of MISRA C:2012 Rule 11.8
("A cast shall not remove any const or volatile qualification from the
type pointed to by a pointer").
Patches 1-3 remove the offending casts.
Patch 4 deviates the casts in livepatch.
Test CI pipeline:
https://gitlab.com/xen-project/people/dimaprkp4k/xen/-/pipelines/3021645211
Dmytro Prokopchuk (4):
xen: make stop_machine_run() take const void *
xen/arm: acpi: resolve MISRA C Rule 11.8 in acpi_xsdt_modify_entry()
xen: resolve MISRA C Rule 11.8 in xen_build_id_check()
automation/eclair: deviate MISRA C Rule 11.8 for xfree() and vfree()
automation/eclair_analysis/ECLAIR/deviations.ecl | 7 +++++++
docs/misra/deviations.rst | 7 +++++++
docs/misra/rules.rst | 3 ++-
xen/arch/arm/acpi/domain_build.c | 2 +-
xen/arch/arm/alternative.c | 4 ++--
xen/arch/arm/cpuerrata.c | 8 ++++----
xen/arch/arm/cpufeature.c | 4 ++--
xen/arch/arm/include/asm/cpufeature.h | 2 +-
xen/arch/x86/cpu/microcode/core.c | 4 ++--
xen/common/cpu.c | 4 ++--
xen/common/stop_machine.c | 7 ++++---
xen/common/version.c | 4 ++--
xen/include/xen/elf.h | 4 ++++
xen/include/xen/stop_machine.h | 5 +++--
14 files changed, 43 insertions(+), 22 deletions(-)
--
2.43.0
|
