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

Re: MOVING COMMUNITY CALL Call for agenda items for 9 June Community Call @ 1500 UTC


  • To: Jan Beulich <jbeulich@xxxxxxxx>
  • From: George Dunlap <George.Dunlap@xxxxxxxxxx>
  • Date: Thu, 9 Jun 2022 12:16:57 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=citrix.com; dmarc=pass action=none header.from=citrix.com; dkim=pass header.d=citrix.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=tIeRCBvMRWO8ZG+IXg2F1S36S3Jl98VDjZhcq9AUGOo=; b=HLi/6FO0inJVmx8/eIl/vYi4PzP+SJtH7969V2cfhRlhjkJPnkz5j3lHceVaMQ4zA48F9hFxdMfEgjcOeavRFbLQ3TsilY7KxUa8bw8M9+Hzrk1mRNX5J2c11C4DkzXiV7ODskHuhmJ9T4GICYV+dt8j+RLUI8szNsNHyENOvdn12I6dLgLqWud+LACAI6oARmKLWMdyKkPyQoHhhlRq6t13eOyVrUWsagItLBA9LNzs7B1pAhieNJIEfg6EXSlC5BAFrz+gm7WVr9kCiaq6LFHM3DLGP+f6x9UUPRRfAfPzJFql+h02ikOhzu4NXeOyssy3cZ7NLUa4d1BXqvsb1Q==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XnAehYaNjuIkC/GHhmlKTxo2kSXaNaIdVomKEyK7qIRbQ+AAVUzr4t8PSEsuEoMdYAthCH195vnDXo4j8i9D55EtgEfVPSVj4ZC5sJorF04Mb4L9JxEWAfvMxYJDlPv5oqwHbABm+KpGHcvWXGBNPyNIjEGeHF8X0d+OUdSw+pexQd/U+eJOtQtymI3wruXrd+LHvo6h13ibvUMjmRyCAe+2PhcVM7x7vkpaPvawLOmylx5dTo9fzu9lkln25lZZ+3Ax1vg3uX/jKcXhQmAcJHtAY4ENSESMddGPq+VhOvnink8L8Ao5Xq8+KSg+6U1JOm2riYAZPimMQWEXpt3mVQ==
  • Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=citrix.com;
  • Cc: Roberto Bagnara <roberto.bagnara@xxxxxxxxxxx>, xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Roger Pau Monne <roger.pau@xxxxxxxxxx>, Artem Mygaiev <Artem_Mygaiev@xxxxxxxx>, Andrew Cooper <Andrew.Cooper3@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, "fusa-sig@xxxxxxxxxxxxxxxxxxxx" <fusa-sig@xxxxxxxxxxxxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>
  • Delivery-date: Thu, 09 Jun 2022 13:55:34 +0000
  • Ironport-data: A9a23:PYoukKj1s6kvCSy+xcnEes+ZX161ChAKZh0ujC45NGQN5FlGYwSy9 lOraxnFY6jUMyawOYxoOc7lxf41yZbcxt4yG1NvpXowHi8b8MHMDIXIcUqhNXrPJJSZE09tt ZpEY9KYd5xlFiDS/0n8aeG+oyMhjv/USrbyVOfJYysZqWOIMMsEoUsLd7kR3t446TTAPz6wh D/SnyH+EAOugW8rPjNEuq7c9R9j7ayj6T1FsgU1PaBH4g+FnCMbXc4Tfa2/ESD1E9JedgKYq 0cv710bEkfxpUpF5gaNy+6jGqEyaueOe1DI0BK6YoD66vR4jnVaPp0TabxNMC+7tx3Tx4ork IsV5cTrIesUFvakdNo1AkEw/x5WZcWqyJefSZRomZXOp6FuWyKEL8RGVCnaD6VBkgpEKTgmG cgjACIMdni+a9eem9pXfAXOavMLd6EHNKtH0p1pIKqw4fwOGfgvSI2SjTNUMatZammj0p8ya uJAAQeDYigsbDURNGcKUoMi396Ci1C8ThhAkXW5/qgotj27IAxZiNABMfLzU/nTH4B/uBbdo WjLuWPkHhsdKdqTjyKf9W6hjfPOmiW9X58OELq/9bhhh1j7Km47UUVKEwfk56TkzBfhA7qzK GRNksYqhYc/81akQ5/RQhu8qWastR8AQdtAVeY97Wlhz4KLuFzDXzJVHlatbvQ/iOwURGUY6 mWrwc/nK2xXoeScSkuko+L8QTSafHJ9wXU5TS0OQBYB4tLjiJoulR+JRdFmeIavidf4Ay33h TqDoy43nbw7h9MEzKi98hbMhDfEjojESEs56xvaWkqh7xhlf8i1aoqw81/Z4P1caoGDQTGpl WIYls2pyfEBBJCAigSAWOwIWrqu4p6tMiDYgFNpN4ks8XKq4XHLVapd+i1kLUFldOMNYyb0Y VT7sBlUopRUOROCY7JsaseqCssCyan7Cc+jRv3SdsBJYJV6aEmA5i4GTVWLw2nnnUwokKc+E ZSWa8ChCTAdE6sP8datb+IU0LtuzCZuw2rWHMr/107+juLYY2OJQ7AYNlfIdvo+8K6PvATS9 ZBYKteOzBJcFub5Z0E77LIuELzDFlBjbbieliCdXrfrztZOcI35N8Ls/A==
  • Ironport-hdrordr: A9a23:RSyxKKgUDEzWNIUaEfYMqH2zA3BQX3Z13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwQ5VpQRvnhP1ICPoqTM2ftWjdySaVxeRZgbcKrAeQfBEWmtQ96U 4kSdkHNDSSNyk3sS+Z2njfLz9I+rDun86VbKXlvg5QpGpRGsNdBnJCe2Km+zpNNWx77PQCdK a0145inX6NaH4XZsO0Cj0uRO7YveDGk5rgfFovGwMnwBPmt0Ln1JfKVzyjmjsOWTJGxrkvtU LflRbi26mlu/anjjfBym7o6YhMkteJ8KoDOCXMsLlUFtzfsHfrWG1TYczGgNnzmpDq1L8eqq iOn/7nBbU115qeRBDynfKn4Xic7N9n0Q6f9bbfuwqtnSWxfkNFN+NRwY1eaRfX8EwmoZV117 9KxXuQs95NAQrHhzmV3amBa/n7/nDE3kbKvNRj+UC3a7FuIYO5bLZvjn99AdMFBmb3+YonGO 5hAIXV4+tXa0qTazTcsnN0yNKhU3wvFlPeK3Jy8PC9wnxThjR03kEYzMsQkjMJ8488UYBN46 DBPr5znL9DQ8cKZeZ2BfsHQ8GwFmvRKCi8e166MBDiDuUKKnjNo5n47PE84/yrYoUByN8olJ HIQDpjxBkPkoLVeLmzNbFwg2DwqT+GLEXQI+lllutEk6y5Qqb3OiueT11rm9e8opwkc7jmZ8 o=
  • List-id: This is a discussion list for members of the Xen Project FuSa SIG <fusa-sig.lists.xenproject.org>
  • Thread-index: AQHYdZ38SXqYMiOAsUySyh3MMtjDRK06wjeAgAA+pgCAAMtvgIAHcfwAgAO5uACAAAOYAIAADsYA
  • Thread-topic: MOVING COMMUNITY CALL Call for agenda items for 9 June Community Call @ 1500 UTC



On 9 Jun 2022, at 12:24, Jan Beulich <jbeulich@xxxxxxxx> wrote:

On 09.06.2022 13:11, Roberto Bagnara wrote:
On 07/06/22 04:17, Stefano Stabellini wrote:
# Rule 9.1 "The value of an object with automatic storage duration shall not be read before it has been set"

The question is whether -Wuninitalised already covers this case or not.
I think it does.

Eclair is reporting a few issues where variables are "possibly
uninitialized". We should ask Roberto about them, I don't think they are
actual errors? More like extra warnings?

No, -Wuninitialized is not reliable, as it has plenty of (well known)
false negatives. This is typical of compilers, for which the generation
of warnings is only a secondary objective. I wrote about that here:

https://www.bugseng.com/blog/compiler-warnings-use-them-dont-trust-them

On the specifics:

$ cat p.c
int foo (int b)
{
int a;

if (b)
{
a = 1;
}

return a;
}


I understand what you're saying, yet I'd like to point out that adding
initializers "blindly" may give a false sense of code correctness.
Among other things it takes away the chance for tools to point out
possible issues. Plus some tools warn about stray initializers ...

Right — if you always set “int a=0;”, then you’re getting a known value; but if your algorithm relies on it being something specific (and not zero), then it’s not clear the resulting software is actually more reliable.  If you don’t initialise it, there’s at least a chance the compiler will be able to tell you that you made a mistake; if you explicitly initialise it, then it’s all on you.

 -George

Attachment: signature.asc
Description: Message signed with OpenPGP


 


Rackspace

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