[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [RFC PATCH 00/18] cppcheck rule 20.7 fixes


  • To: Jan Beulich <jbeulich@xxxxxxxx>
  • From: Luca Fancellu <Luca.Fancellu@xxxxxxx>
  • Date: Wed, 21 Dec 2022 08:49:47 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=d6H3OeDq4dJ8+8maydKJJQO2JjLRX+rmegoR9U9NtPk=; b=fGh1+cMu4ImN0TW0TjgX0tPgldMwQaUDK68Oo5RNsVGG67Ymw4mcEaa1wemHyAiqdpEwwseA3VqdwMUrs5OW1hL4/Dd+llO7F3A0ILO8WzWcZoDJY8N8qMo+1EVz8V2tv9ybKlCf3B+4tX1kDmlSQoRzDHNPIIIvjlUmyOMF9bnGNCb5fnMobL89jTMds+BOC8jdNnStKUcvvjmPLx1WPUa0kYnHaDYVzon56b5bcJRWqCzEFQbHiHo4eGSM0p8ELi+Vq2nng3FFZ9zXadv3HMXN0l7LkZVPMh0dxP9Q12I9T8xNhNY3fKZmyE16YePo8SnctvupNEKAPfzu18cWTg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=PKosutLIvE20hf/zC4Yle6V1f16Fd5nApbboFDWzJQbKYf5r8/utrCUCw6MgDqG01TZOBTx4EsRrdGu9jnBb8KMGiRwqEUcWWczctKV3IkjGzGe7Nqu4QZdxep2QnXEashg8CdvMXL9D8PAIeRylrk91mKfIMs4lI7aDJs5GLmmRZ/Gtnazfa6OV+fAQQOhgX+77iEYEMbVurhwAnmjrXMYYOIsAqNL6+R16CSRplcuBuUZ4p63X32IHtV2/hge88R/+qkVcLHcNTFkcMY5nOnEsUuqZFhD+FczMV5cn6C9p82EynJw4WpAzdhUwIobNYs4Mz93aE2jLppikHn75XA==
  • Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Cc: Wei Chen <Wei.Chen@xxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
  • Delivery-date: Wed, 21 Dec 2022 08:50:07 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Nodisclaimer: true
  • Original-authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Thread-index: AQHZFFBPtCSX3ZUNhU2CEBonqqEppq52ibCAgAF//QA=
  • Thread-topic: [RFC PATCH 00/18] cppcheck rule 20.7 fixes


> On 20 Dec 2022, at 09:55, Jan Beulich <jbeulich@xxxxxxxx> wrote:
> 
> On 20.12.2022 09:50, Luca Fancellu wrote:
>> In this serie there are some fixes for the rule 20.7, mainly violation found 
>> by
>> cppcheck, most of them are false positive but some of them can be fixed.
>> 
>> The analysed build is arm64, to reproduce the reports here the command:
>> 
>> ./xen/scripts/xen-analysis.py --cppcheck-misra --run-cppcheck -- 
>> CROSS_COMPILE="aarch64-linux-gnu-" XEN_TARGET_ARCH="arm64" 
>> O=/path/to/artifacts_folder
>> 
>> Luca Fancellu (18):
>>  arm: cppcheck: misra rule 20.7 deviations for alternative.h
>>  arm: cppcheck: misra rule 20.7 deviation on processor.h
>>  arm: cppcheck: misra rule 20.7 deviation on asm_defns.h
>>  arm: cppcheck: misra rule 20.7 deviation on config.h
>>  arm: cppcheck: fix misra rule 20.7 on arm/include/asm/string.h
>>  public: cppcheck: misra rule 20.7 on public/arch-arm.h
>>  xen: cppcheck: misra rule 20.7 deviation on compiler.h
>>  xen: cppcheck: misra rule 20.7 deviation on init.h
>>  xen: cppcheck: misra rule 20.7 deviation on kconfig.h
>>  xen: cppcheck: misra rule 20.7 deviation on types.h
>>  xen: cppcheck: misra rule 20.7 deviation on xmalloc.h
>>  arm: cppcheck: misra rule 20.7 deviation on asm/arm64/sysregs.h
>>  public/x86: cppcheck: misra rule 20.7 deviation on hvm/save.h
>>  public/x86: cppcheck: misra rule 20.7 deviation on xen-x86_32.h
>>  public/x86: cppcheck: misra rule 20.7 deviation on xen-x86_64.h
>>  public/x86: cppcheck: misra rule 20.7 deviation on arch-x86/xen.h
>>  public: misra rule 20.7 deviation on errno.h
>>  public: misra rule 20.7 deviation on memory.h
> 
> Like Julien I object to the massive addition of false positive markers
> just because of very basic shortcomings in cppcheck. I find this
> particularly bad in public headers - imo no such annotations should
> appear there at all. I would suggest that you split off the actual
> code changes, which are likely going to be less controversial.

Yes I will send the patches with your review and drop the others with
False-positive or fixes that are not agreed.


> 
> Jan




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.