From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x32b.google.com (mail-wm1-x32b.google.com [IPv6:2a00:1450:4864:20::32b]) by sourceware.org (Postfix) with ESMTPS id F2E063858D28 for ; Sun, 16 Jan 2022 11:11:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org F2E063858D28 Received: by mail-wm1-x32b.google.com with SMTP id f141-20020a1c1f93000000b003497aec3f86so15827856wmf.3 for ; Sun, 16 Jan 2022 03:11:44 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=lJaws/Spk6fh5WQdslfGDwwgdbkzFvh88YaoRinsgRI=; b=ybEn1yFkEGn+6f1Ee1jY1+S3akXhWEN35OhK2XKhEMSYDpTefQjZp0juMTocArWAjb WybHiQf/QfRVjbicaqmW7+MapOEBHypCq8nW1LDX4GgbkFYYP2pLcoP0taZ6MkcotfIU XCTRhmu/0IKe65fXZC9189zpCpkj7el0Ljrx9XmMwZNerG6l4A/HzjmDrX3jfl8EqlSu 1yhniAqgC3UFSKWRkcLtQ+HfHl0SevKOqixh4yNrj2yXlzfi9cDMcxFsV7B7ZK9gusbf eo6Si3bzp5K0snN9f5DB9IhTy04jdcrnYA4u6829amQSb4EwMozLhIs8K3tP1AmueafX wGRQ== X-Gm-Message-State: AOAM5312+NgD+O94Ab1vTHoSVM9C+DQn4yLfrU1cPUmGDKDRmD70GeOs 1ok3qEzhSZO+xAdGlz09dJI= X-Google-Smtp-Source: ABdhPJxk/ZWVbQbMjNLfPQSF4wF6Jem/NGg3p0VT0qIihB5xur46k8iZZEMxJSi8HDxUuZCAxBszkQ== X-Received: by 2002:a5d:5147:: with SMTP id u7mr9752753wrt.687.1642331503527; Sun, 16 Jan 2022 03:11:43 -0800 (PST) Received: from smtpclient.apple ([2a01:e34:ec28:8cb0:1d5b:bcd9:4c08:9229]) by smtp.gmail.com with ESMTPSA id s22sm15141069wmc.1.2022.01.16.03.11.42 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 16 Jan 2022 03:11:43 -0800 (PST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.40.0.1.81\)) Subject: Re: Many analyzer failures on non-Linux system (x86_64-apple-darwin) From: FX In-Reply-To: Date: Sun, 16 Jan 2022 12:11:42 +0100 Cc: David Malcolm , GCC Mailing List , Iain Sandoe Content-Transfer-Encoding: quoted-printable Message-Id: <37DCD537-51A8-4376-B244-61432E10748D@gmail.com> References: <3BD093C3-178E-4B11-BDA1-9604ADCA4B04@gmail.com> <237CA1D3-29E0-4252-8EDC-DC562BA042A2@gmail.com> To: Hans-Peter Nilsson X-Mailer: Apple Mail (2.3693.40.0.1.81) X-Spam-Status: No, score=-9.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 16 Jan 2022 11:11:46 -0000 > No, that's "dg-do compile" (as in "compile but don't assemble"). I can confirm that this patch: diff --git a/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.c = b/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.c index c235e22fd01..4730255bb3c 100644 --- a/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.c @@ -1,4 +1,4 @@ -/* { dg-do assemble { target x86_64-*-* } } */ +/* { dg-do compile { target x86_64-*-* } } */ /* { dg-require-effective-target lp64 } */ =20 #include "analyzer-decls.h=E2=80=9D fixes the gcc.dg/analyzer/asm-x86-lp64-1.c failure on = x86_64-apple-darwin. The same is true of this one: diff --git = a/gcc/testsuite/gcc.dg/analyzer/torture/asm-x86-linux-wfx_get_ps_timeout-f= ull.c = b/gcc/testsuite/gcc.dg/analyzer/torture/asm-x86-linux-wfx_get_ps_timeout-f= ull.c index e90dccf58dd..4cbf43206dc 100644 --- = a/gcc/testsuite/gcc.dg/analyzer/torture/asm-x86-linux-wfx_get_ps_timeout-f= ull.c +++ = b/gcc/testsuite/gcc.dg/analyzer/torture/asm-x86-linux-wfx_get_ps_timeout-f= ull.c @@ -1,4 +1,4 @@ -/* { dg-do assemble { target x86_64-*-* } } */ +/* { dg-do compile { target x86_64-*-* } } */ /* { dg-require-effective-target lp64 } */ /* { dg-additional-options "-fsanitize=3Dbounds = -fno-analyzer-call-summaries" } */ /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */ These other three: FAIL: gcc.dg/analyzer/torture/asm-x86-linux-cpuid-paravirt-1.c FAIL: gcc.dg/analyzer/torture/asm-x86-linux-cpuid-paravirt-2.c FAIL: gcc.dg/analyzer/torture/asm-x86-linux-rdmsr-paravirt.c still fail with dg-do compile, as explained, become the error comes from = the C front-end, not the assembler: = /Users/fx/gcc/gcc/testsuite/gcc.dg/analyzer/torture/asm-x86-linux-cpuid-pa= ravirt-1.c:27:3: warning: 'asm' operand 6 probably does not match = constraints = /Users/fx/gcc/gcc/testsuite/gcc.dg/analyzer/torture/asm-x86-linux-cpuid-pa= ravirt-1.c:27:3: error: impossible constraint in 'asm' FX=