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

Re: [XEN PATCH 1/3] docs/misra: add documentation skeleton for MISRA C:2012 Dir 4.1


  • To: Stefano Stabellini <sstabellini@xxxxxxxxxx>, Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
  • From: Jan Beulich <jbeulich@xxxxxxxx>
  • Date: Fri, 8 Sep 2023 08:33:06 +0200
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=suse.com; dmarc=pass action=none header.from=suse.com; dkim=pass header.d=suse.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=rTGfpXSxe47/I7+edLm9a+hrYhWpuk2AW0eMYbStwbo=; b=BYRdarUtTgCXiRGjgVS1mYkkyciqCRX6LN9bY4yGoBvikaye/X2YZVUgN54PcxApBpSzSiVELGXP9P4OMprGVhV4p39sgeV9FsnOjDZwHlwme0K4tSc1745A4D9F8RBmMPF4mCbRCCcM04Aa2/T2mtJDhfspv9QiML89WVBHUvk55GvfgrZYjdc+tea0qvrSZMcYo1tEdJU6xeshEfr7HZxk2E0Eop6LlvlgaYG96XeJaLBOR8MGjkmY2b3I05Y6rZC/Jd+t6zleNhf/0cRMkIFRdrwg92CnbixAJDSurNBXapbSV/WjTzAQ/F2zT9SpIV4AvwkQVUT9X3a14Y7GkA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Av6q5V+0oTi/zK/WQTHmL7tTP9Aix233H9SNPZAO7g4S2skWS0/e/WRNAJYxVy4VFXNAKF9NodSecvvAzEfH3poq8iLT5Bfj1d8IkLL4hnnopho/wzC4rkP9axZw7W8N7Yq8UbRDQz2Wy70GCGshO0dlakLxeBDQv6SRwVZ+CxRNZ37JFnYjmk5higMyGGkHaT64sf/VBkMB6UPHfsS4J4ppNvPQEMxErFxXVPzFymUmAowEYq2S4hvI4VHjqMNHep3wnwN/ZI3xia2QAZbzwPOqdnQxUpyjnrO/8gchYFFLR4QHxtV7xALz4ERRZLsOPNBdkQuRmFflFHEeuekbwA==
  • Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
  • Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx, michal.orzel@xxxxxxx, xenia.ragiadakou@xxxxxxx, ayan.kumar.halder@xxxxxxx, consulting@xxxxxxxxxxx, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Wei Liu <wl@xxxxxxx>
  • Delivery-date: Fri, 08 Sep 2023 06:33:17 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 08.09.2023 02:20, Stefano Stabellini wrote:
> On Fri, 1 Sep 2023, Nicola Vetrini wrote:
>> +Documentation for MISRA C:2012 Dir 4.1: read from uninitialized allocated 
>> object
>> +________________________________________________________________________________
>> +
>> +To be written.
>> +Example:
>> +The code does not use dynamically allocated storage.
> 
> We do use dynamically allocated storage with xzalloc but xzalloc
> initializes the object to zero

Just at the example of this: I'm not sure in how far the examples given
were actually meant to (remotely) apply to our code base. As to your
reply - there's also xmalloc() which doesn't, and the page allocator,
and other more specialized ones.

Jan



 


Rackspace

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