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

Re: [PATCH] docs/misra: adds Mandatory rules


  • To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
  • From: Luca Fancellu <Luca.Fancellu@xxxxxxx>
  • Date: Mon, 15 May 2023 10:00:31 +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=GOCxGocHzqSl3jRwKGH2m9GJtBz/aP0wlosl588qSHg=; b=IBuSF4qINyA8PnDyJqp3+Jv73E9J7lYUNGjZ+IlbyAwFlqO6ne+UuqGEqYhLio68f+lR91ZAre4+EtJRMrPEw/motkdw8HwdDkhSGm9xSQu/i4UnzV0W1zRix++aXv3vkXGGnUqAT3W/MbJi1Qgiy/ir1u24LK7uSo0tnTziHYFyZDz9p7BvPwTQvhoiKam//icVjVMkZjawlPXXwU96KQ8N1YhD9oV0IVo0ZdEkjVW+bIzjYIb3OwCQP/ZGtfEJ/I+KM9dGAn8lRoLa9JPaCxi/18hTc5VNUlVYE+GgT7AKbHr25ABYPCJzmnYcQddM32FWhd5Yx7LRasbSnEsPOw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=L9UHPmsilqi6k7uHaP/1LvNHOToWLgbHqakcNaRpDaFa43DdU7uw+VFNy0Ly0WseFbCsw3lk2j5k/Axd3fR5gdL+NLuIaVxh49mwSZtso/w38js2QXP3RKF5ayABBuyzAd2nx8jGLV1+vORZ5ePVtJiNaUpz2oKhqWXn3EbiqbGixxMIDLBNqUqfpj7FFm+iWktNh5u0/s3n+1rNgWqLrFpgb0q3h6Q1zhvaQ0GlkDc+MlK4wOnSoAsjdJ9VhaiHyevHLnpFMAZBIqTA1FHdt69hlCa8kchr7TF+3CN3i5QJLGGT5I17hclAyXy5v+Or6WzC/4DOL69//vySk4ppIQ==
  • Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, "roger.pau@xxxxxxxxxx" <roger.pau@xxxxxxxxxx>, Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, "julien@xxxxxxx" <julien@xxxxxxx>, Stefano Stabellini <stefano.stabellini@xxxxxxx>
  • Delivery-date: Mon, 15 May 2023 10:01:13 +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: AQHZhF+KuQT3lWH1wk6jaT1DLTQ+Ka9bH12A
  • Thread-topic: [PATCH] docs/misra: adds Mandatory rules


> On 12 May 2023, at 00:22, Stefano Stabellini <sstabellini@xxxxxxxxxx> wrote:
> 
> From: Stefano Stabellini <stefano.stabellini@xxxxxxx>
> 
> Add the Mandatory rules agreed by the MISRA C working group to
> docs/misra/rules.rst.
> 
> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
> ---

Hi Stefano,

I’ve tried this patch with our integration tool xen-analysis.py and it works, 
I’ve been
able to successfully produce cppcheck reports.

I’ve checked links and rule text against the misra C docs, everything looks 
fine.

Reviewed-by: Luca Fancellu <luca.fancellu@xxxxxxx>
Tested-by: Luca Fancellu <luca.fancellu@xxxxxxx>



 


Rackspace

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