[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [XEN PATCH v2] automation/eclair_analysis: substitute deprecated service STD.emptrecd
On 2024-04-19 11:21, Jan Beulich wrote: On 19.04.2024 09:49, Nicola Vetrini wrote:On 2024-04-19 09:35, Jan Beulich wrote:On 19.04.2024 09:16, Nicola Vetrini wrote:The ECLAIR service STD.emptrecd is being deprecated; hence, as a preventive measure, STD.anonstct is used here, which for Xen's purposes has equivalent functionality.I'm sorry, but no, this still does not clarify things enough. It is still entirely unclear how "empty record" can reasonably be substituted by"anonymous struct". Even the expansion of the respective abbreviationscontinues to be just a guess.anonstct checks for structs with no named members,So "anonstct" != "anonymous structures". As indicated, part of the description wants to be de-ciphering of these acronyms, so they can make sense to readers. Janhence also empty structs, but only the former is an undefined behaviour for C99. Would this be a sufficiently clear explanation for you?"The ECLAIR service STD.emptrecd (which checks for empty structures) is being deprecated; hence, as a preventive measure, STD.anonstct (which checks for structures with no named members, an UB in C99) is used here; the latter being a more general case than the previous one, this change does not affect the analysis. This new service is already supported by the current version of ECLAIR." -- Nicola Vetrini, BSc Software Engineer, BUGSENG srl (https://bugseng.com)
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |