From nobody Sat May 18 22:54:17 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1703156020211490.0740124104468; Thu, 21 Dec 2023 02:53:40 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.658817.1028198 (Exim 4.92) (envelope-from ) id 1rGGg8-0000KJ-3i; Thu, 21 Dec 2023 10:53:24 +0000 Received: by outflank-mailman (output) from mailman id 658817.1028198; Thu, 21 Dec 2023 10:53:24 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rGGg8-0000KC-10; Thu, 21 Dec 2023 10:53:24 +0000 Received: by outflank-mailman (input) for mailman id 658817; Thu, 21 Dec 2023 10:53:22 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rGGg6-0000K6-Cg for xen-devel@lists.xenproject.org; Thu, 21 Dec 2023 10:53:22 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 28037153-9fef-11ee-98eb-6d05b1d4d9a1; Thu, 21 Dec 2023 11:53:21 +0100 (CET) Received: from Dell.bugseng.com (unknown [78.210.136.177]) by support.bugseng.com (Postfix) with ESMTPSA id DDCBF4EE0742; Thu, 21 Dec 2023 11:53:19 +0100 (CET) X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 28037153-9fef-11ee-98eb-6d05b1d4d9a1 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN RFC] x86/uaccess: remove __{put,get}_user_bad() Date: Thu, 21 Dec 2023 11:53:12 +0100 Message-Id: <9cf852da1c03b614bf5010132c58a18adc2a4161.1703155225.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1703156022780100001 Content-Type: text/plain; charset="utf-8" Remove declarations of __put_user_bad() and __get_user_bad() since they have no definition. Replace their uses with a break statement to address violations of MISRA C:2012 Rule 16.3 ("An unconditional `break' statement shall terminate every switch-clause"). No functional change. Signed-off-by: Federico Serafini --- Several violations of Rule 16.3 come from uses of macros get_unsafe_size() and put_unsafe_size(). Looking at the macro definitions I found __get_user_bad() and __put_user_ba= d(). I was wondering if instead of just adding the break statement I can also re= move such functions which seem to not have a definition. --- xen/arch/x86/include/asm/uaccess.h | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/xen/arch/x86/include/asm/uaccess.h b/xen/arch/x86/include/asm/= uaccess.h index 7443519d5b..15b747d0c7 100644 --- a/xen/arch/x86/include/asm/uaccess.h +++ b/xen/arch/x86/include/asm/uaccess.h @@ -21,9 +21,6 @@ unsigned int copy_from_guest_ll(void *to, const void __us= er *from, unsigned int unsigned int copy_to_unsafe_ll(void *to, const void *from, unsigned int n); unsigned int copy_from_unsafe_ll(void *to, const void *from, unsigned int = n); =20 -extern long __get_user_bad(void); -extern void __put_user_bad(void); - #define UA_KEEP(args...) args #define UA_DROP(args...) =20 @@ -208,7 +205,7 @@ do { = \ case 8: = \ put_unsafe_asm(x, ptr, grd, retval, "q", "", "ir", errret); = \ break; = \ - default: __put_user_bad(); = \ + default: break; = \ } = \ clac(); = \ } while ( false ) @@ -227,7 +224,7 @@ do { = \ case 2: get_unsafe_asm(x, ptr, grd, retval, "w", "=3Dr", errret); brea= k; \ case 4: get_unsafe_asm(x, ptr, grd, retval, "k", "=3Dr", errret); brea= k; \ case 8: get_unsafe_asm(x, ptr, grd, retval, "", "=3Dr", errret); brea= k; \ - default: __get_user_bad(); = \ + default: break; = \ } = \ clac(); = \ } while ( false ) --=20 2.34.1