From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from gnu.wildebeest.org (gnu.wildebeest.org [45.83.234.184]) by sourceware.org (Postfix) with ESMTPS id AF4873858421 for ; Thu, 13 Apr 2023 14:37:16 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org AF4873858421 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=klomp.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=klomp.org Received: from r6.localdomain (82-217-174-174.cable.dynamic.v4.ziggo.nl [82.217.174.174]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gnu.wildebeest.org (Postfix) with ESMTPSA id 7C8A2302BB02; Thu, 13 Apr 2023 16:37:14 +0200 (CEST) Received: by r6.localdomain (Postfix, from userid 1000) id 2A6AB34014C; Thu, 13 Apr 2023 16:37:14 +0200 (CEST) Message-ID: <718c102205750a00b86e8d33748e9bfb3c485ee1.camel@klomp.org> Subject: Re: [PATCH v5 1/2] check-uapi: Introduce check-uapi.sh From: Mark Wielaard To: John Moon , Greg Kroah-Hartman Cc: Masahiro Yamada , Nathan Chancellor , Nick Desaulniers , Nicolas Schier , linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, linux-arm-kernel@lists.infradead.org, linux-arm-msm@vger.kernel.org, Randy Dunlap , Arnd Bergmann , Bjorn Andersson , Todd Kjos , Matthias Maennich , Giuliano Procida , kernel-team@android.com, libabigail@sourceware.org, Jordan Crouse , Trilok Soni , Satya Durga Srinivasu Prabhala , Elliot Berman , Guru Das Srinagesh Date: Thu, 13 Apr 2023 16:37:14 +0200 In-Reply-To: References: <20230407203456.27141-1-quic_johmoo@quicinc.com> <20230407203456.27141-2-quic_johmoo@quicinc.com> <2023041015-lunar-dandelion-1b4e@gregkh> <2023041136-donator-faceplate-5f91@gregkh> <2023041209-armed-overlaid-3d3d@gregkh> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.4 (3.46.4-1.fc37) MIME-Version: 1.0 X-Spam-Status: No, score=-3029.0 required=5.0 tests=BAYES_00,JMQ_SPF_NEUTRAL,KAM_DMARC_STATUS,RCVD_IN_BARRACUDACENTRAL,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi, On Wed, 2023-04-12 at 09:37 -0700, John Moon via Libabigail wrote: > On 4/11/2023 11:14 PM, Greg Kroah-Hartman wrote: > > > Would you find the tool more useful if it simply filtered out all ins= tances > > > where the size of the type did not change? This would filter out the > > > following which the tool currently flags: > > >=20 > > > - enum expansions > > > - reserved field expansions > > > - expansions of a struct with a flex array at the end > > > - type changes > > > - re-ordering of existing members > > > - ...others? > >=20 > > Obviously not, as some of those are real breakages, and some are not at > > all. > >=20 > > Please understand what is an abi breakage. Adding new enums is not. > > Using a reserved field is not. Reording existing members IS. > >=20 >=20 > Yes, understood that method would miss certain classes of breakages. I= =20 > was suggesting it as a way to improve the signal-to-noise ratio of the= =20 > tool since we don't currently have an algorithm for determining=20 > breakages with 100% accuracy. Note that you can check the exit code of libabigail's abidiff to see whether something is an incompatible abi change or not, see: https://sourceware.org/libabigail/manual/abidiff.html#return-values You can also of course use suppressions to instruct abidiff to avoid reporting changes involving certain ABI artifacts: https://sourceware.org/libabigail/manual/libabigail-concepts.html#suppr-spe= c-label Cheers, Mark