[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Violations of mandatory MISRA C:2012 Rule 19.1 in X86_64 build
- To: Roberto Bagnara <roberto.bagnara@xxxxxxxxxxx>
- From: Jan Beulich <jbeulich@xxxxxxxx>
- Date: Mon, 17 Jul 2023 14:42:41 +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=MQzy9L28lTIyH174AXLHeWgoOFrApuF0WR5Lp+a/hmM=; b=PkEiehIJNGIRkttDLlG8Lh7gC7byn4y/fEXzuKPYGj230YARSFNJh6CEd5hnBc3O622Bs0SlDxYK3hJlMmZRxC2ms/zhUYcz418iYujR2DnhtCbdId9amQpurKAzy3/DCptJcWFXwLciqVdJkw3zyC71YcDFy2j/DEnr9OaZYlUovJuNJKQ54yWnMwiP4pjFxFRnF6mByWmYKsA7Ji6QwVre92gUoeVWqSvLugSL/EFQv2ALAD4MFVJ8kcYHSdzoWVatqHFeykMNNCp6t/0X88L0dnewc6Y9ii3CujACeTeXkGOeWRXmsyaNvMd7WjW3/zisyYz/lsqUu/qNbiDoFw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KpKPbqWv5RagIKH/xBOLGGFi1Q8k21PUukeyW63kJfW1JmTghDke0tqzbuZpC2CJQOQhUSqPOEOSbcv+VqcJJWKsW4iFlJTv7hl8xr2RqQ5236Xrdctd9ufcO8L4PloOTuN2/oB2m9GR/BQXQQ6CRxgELsNMUIlG0Is3TME6NDQfnhR2aTZAfsbt5TyMjUwuv2Pi816AH+YrTSqUgCBPwQyZ3PwSrmFFYvLHav3ZNRfeBD2ce0J5DaWrMrW6Y7a97VcBnQWkJsl3oPnhNMvLTxH18oBgn2Wv+7jrMUpaPASSWIo7ijKwWcjvoZTkpDedf4JhkBadHAvhv2k8rQvfFw==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
- Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx
- Delivery-date: Mon, 17 Jul 2023 12:43:26 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 11.07.2023 18:40, Roberto Bagnara wrote:
> Mandatory Rule 19.1 (An object shall not be assigned or copied to an
> overlapping object) is directly targeted at two undefined behaviors,
> one of which is the subject of 6.5.16.1p3, namely:
>
> If the value being stored in an object is read from another object
> that overlaps in any way the storage of the first object, then the
> overlap shall be exact and the two objects shall have qualified or
> unqualified versions of a compatible type; otherwise, the behavior
> is undefined.
>
> You can see a number of definite violations in the X86_64 build
> at this link:
>
>
> https://saas.eclairit.com:3787/fs/var/local/eclair/XEN.ecdf/ECLAIR_normal/origin/staging/X86_64-Set1/149/PROJECT.ecd;/by_service/MC3R1.R19.1.html
After having agreed among the x86 maintainers to switch to using casts
there, I tried to access this list again, just to find that now I'm
getting back "Cannot open database". I know you said this would go
away after a couple of weeks, but it's less than one wee that has
passed. I'll try to go from memory when making the patch, but of
course I may miss instances ...
Jan
|
