From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 106589 invoked by alias); 18 Jan 2020 14:51:50 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 106518 invoked by uid 89); 18 Jan 2020 14:51:49 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-9.2 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_2,KAM_SHORT autolearn=ham version=3.3.1 spammy=H*r:LMTP, Biotechnology, prs, Analyzer X-HELO: smtp.CeBiTec.Uni-Bielefeld.DE Received: from smtp.CeBiTec.Uni-Bielefeld.DE (HELO smtp.CeBiTec.Uni-Bielefeld.DE) (129.70.160.84) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sat, 18 Jan 2020 14:51:47 +0000 Received: from localhost (localhost.CeBiTec.Uni-Bielefeld.DE [127.0.0.1]) by smtp.CeBiTec.Uni-Bielefeld.DE (Postfix) with ESMTP id F34F79FC; Sat, 18 Jan 2020 15:51:44 +0100 (CET) Received: from smtp.CeBiTec.Uni-Bielefeld.DE ([127.0.0.1]) by localhost (malfoy.CeBiTec.Uni-Bielefeld.DE [127.0.0.1]) (amavisd-new, port 10024) with LMTP id pkfhr68OnAAf; Sat, 18 Jan 2020 15:51:43 +0100 (CET) Received: from manam.CeBiTec.Uni-Bielefeld.DE (p5085478D.dip0.t-ipconnect.de [80.133.71.141]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.CeBiTec.Uni-Bielefeld.DE (Postfix) with ESMTPSA id 8E3A19FB; Sat, 18 Jan 2020 15:51:42 +0100 (CET) From: Rainer Orth To: David Malcolm Cc: Richard Biener , jakub@redhat.com, law@redhat.com, gcc-patches@gcc.gnu.org Subject: Re: Analyzer committed to master (was Re: Analyzer status) References: <20200113221024.29991-1-dmalcolm@redhat.com> <4bbd51112b4b99f240dee1e400a30d8d55c38ec0.camel@redhat.com> <6aa093654d4ad80aa196e67b2aec97ef546d4ca4.camel@redhat.com> Date: Sat, 18 Jan 2020 17:02:00 -0000 In-Reply-To: <6aa093654d4ad80aa196e67b2aec97ef546d4ca4.camel@redhat.com> (David Malcolm's message of "Wed, 15 Jan 2020 15:29:33 -0500") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (usg-unix-v) MIME-Version: 1.0 Content-Type: text/plain X-IsSubscribed: yes X-SW-Source: 2020-01/txt/msg01107.txt.bz2 Hi David, >> I'm seeing quite a number of failures on Solaris (both sparc and >> x86), >> but also some on 32-bit Linux/x86: >> >> Running target unix/-m32 >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 610) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 611) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 615) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 616) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 657) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 658) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 662) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 663) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 705) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 706) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 710) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 711) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 753) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 754) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 758) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 759) >> +FAIL: gcc.dg/analyzer/data-model-1.c (test for excess errors) > > Thanks, and sorry about this; I've filed this for myself as: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93281 > and have been investigating. > >> I'll file PRs for the Solaris ones once I get to it. I've now filed PR analyzer/93316 for the rest; most of the errors there also occur on at least one non-Solaris target. Rainer -- ----------------------------------------------------------------------------- Rainer Orth, Center for Biotechnology, Bielefeld University