From nobody Fri Oct 24 09:56:51 2025 Delivered-To: importer@patchew.org Received-SPF: pass (zoho.com: domain of gnu.org designates 208.118.235.17 as permitted sender) client-ip=208.118.235.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Authentication-Results: mx.zohomail.com; spf=pass (zoho.com: domain of gnu.org designates 208.118.235.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org Return-Path: Received: from lists.gnu.org (208.118.235.17 [208.118.235.17]) by mx.zohomail.com with SMTPS id 1519175078460322.11556540018967; Tue, 20 Feb 2018 17:04:38 -0800 (PST) Received: from localhost ([::1]:58558 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoIph-0001cL-4G for importer@patchew.org; Tue, 20 Feb 2018 20:04:29 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51533) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoIoe-0001GD-4K for qemu-devel@nongnu.org; Tue, 20 Feb 2018 20:03:25 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eoIoY-0008K8-Ty for qemu-devel@nongnu.org; Tue, 20 Feb 2018 20:03:24 -0500 Received: from out2-smtp.messagingengine.com ([66.111.4.26]:50791) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eoIoY-0008JP-MI for qemu-devel@nongnu.org; Tue, 20 Feb 2018 20:03:18 -0500 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 0E83A20D04; Tue, 20 Feb 2018 20:03:16 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute4.internal (MEProxy); Tue, 20 Feb 2018 20:03:16 -0500 Received: from localhost (flamenco.cs.columbia.edu [128.59.20.216]) by mail.messagingengine.com (Postfix) with ESMTPA id BD65624434; Tue, 20 Feb 2018 20:03:15 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=braap.org; h=cc :content-transfer-encoding:content-type:date:from:message-id :mime-version:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= mesmtp; bh=7JSAxZtEjgdnPUOiB259cQgzhVzwBPs0GDC4cnti3wM=; b=w/C4o hCzAyKzv7D4IAdjK9I+ZTm0GGlb9hp7oT+rTGMJek/OWwBELQatwH4/PokBj5ylm TeFIRPx272Zq/lgMy+5hJyMskoPoyZ85+xJHEFuTQhG7WZGxr3mvScam1RyhpgQ5 rO8CZAjWeGqb0H7xiiQU4MIinkYWUoLXx6+bQ0= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:message-id:mime-version:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=7JSAxZtEjgdnPUOiB259cQgzhVzwB Ps0GDC4cnti3wM=; b=Je64qkERMptlW3kwT10QsZ4ma75r12a7GisCN5+Pp2tDk D83DEaWNVJrhP/soReAFipb3ou075jEsjqtYw1p/a4YZE2cCh6JS9BOTau2dwUVx dJUJqMziNHJDFy1q/USXYBow7TZrPQuUITBjetsVy29KPKe/R1mvCWN6fNx68dQd ih9Y/pzfmcCokXGMjutHdD6d9tZpDpR/kTaX8OBAyWdeOVWltDAUrHLhtzGyWd+h 00GCHhc172beVrAdzmXXVMFFcFphED4SWv7zAkb2yYkj1WhlfRCFsJ5pubBX0v5o jMjDQSovPZ+GVWrXIkvx4HV3zf0v9GxQx60ynPh+w== X-ME-Sender: From: "Emilio G. Cota" To: qemu-devel@nongnu.org Date: Tue, 20 Feb 2018 20:03:15 -0500 Message-Id: <1519174995-1039-1-git-send-email-cota@braap.org> X-Mailer: git-send-email 2.7.4 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 66.111.4.26 Subject: [Qemu-devel] [PATCH] configure: fix sanitizers' test program to mend ASan detection X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: =?UTF-8?q?Marc-Andr=C3=A9=20Lureau?= , Paolo Bonzini Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" X-ZohoMail: RSF_0 Z_629925259 SPT_0 Commit 218bb57 ("build-sys: check static linking of UBSAN", 2018-02-13) adds a small test program to check whether ubsan works even when configuring with --static. This added program is used to detect all sanitizers, which breaks ASan's detection since the compilation fails with -fsanitize=3Daddress, at least with gcc 5.4.0 and 7.2.0: qemu-conf.c: In function =E2=80=98main=E2=80=99: qemu-conf.c:3:20: error: integer overflow in expression [-Werror=3Doverfl= ow] return INT32_MIN / -1; ^ cc1: all warnings being treated as errors Fix it by: - Changing the test program to one that incurs undefined behaviour that isn= 't detected at compile-time, even with -fsanitize=3Daddress. - To be extra safe (since compilers might evolve and eventually figure out the UB at compile-time), use this newly-added test only when checking for UBSan; use the skeleton otherwise. Signed-off-by: Emilio G. Cota --- configure | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/configure b/configure index 913e148..56f647f 100755 --- a/configure +++ b/configure @@ -5306,13 +5306,13 @@ fi ########################################## # checks for sanitizers =20 -# we could use a simple skeleton for flags checks, but this also -# detect the static linking issue of ubsan, see also: +# Use this program to detect the static linking issue of ubsan; see # https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D84285 cat > $TMPC << EOF -#include -int main(void) { - return INT32_MIN / -1; +int main(int argc, char **argv) { + int k =3D 0x7fffffff; + k +=3D argc; + return 0; } EOF =20 @@ -5322,12 +5322,16 @@ have_asan_iface_h=3Dno have_asan_iface_fiber=3Dno =20 if test "$sanitizers" =3D "yes" ; then + if compile_prog "$CPU_CFLAGS -Werror -fsanitize=3Dundefined" ""; then + have_ubsan=3Dyes + fi + + # Use the skeleton for all other sanitizer checks + write_c_skeleton + if compile_prog "$CPU_CFLAGS -Werror -fsanitize=3Daddress" ""; then have_asan=3Dyes fi - if compile_prog "$CPU_CFLAGS -Werror -fsanitize=3Dundefined" ""; then - have_ubsan=3Dyes - fi =20 if check_include "sanitizer/asan_interface.h" ; then have_asan_iface_h=3Dyes --=20 2.7.4