From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id 7642C38356A7 for ; Fri, 22 Jul 2022 15:06:16 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 7642C38356A7 Received: from mail-qv1-f72.google.com (mail-qv1-f72.google.com [209.85.219.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-662-xZOCa31_MsK8vuQFhGDgWQ-1; Fri, 22 Jul 2022 11:06:14 -0400 X-MC-Unique: xZOCa31_MsK8vuQFhGDgWQ-1 Received: by mail-qv1-f72.google.com with SMTP id p13-20020ad45f4d000000b0044399a9bb4cso3181395qvg.15 for ; Fri, 22 Jul 2022 08:06:14 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=VD7sSZ0EsHaA9t1YKfl1i9sxpI5JshjkuG6d3WGTCjE=; b=Tc6csUWjDvk5USfajH3adJ1P/Hh9ZSrbpRTFlmCT7J9C7Yp2EBqDDfz7Dz2cmdgwHZ oEc2cOSPRgreenedk8Sj8H+BEiKiF3Z0FlXhOVxoJECf595Dd6HYNSJmo24w07CkqZYM MYgHJD2wdrS9mnRQtSfEx3k8zC3t7KW58FUVbshIp7azlXCS/TRiLaQaf2fi63IVAbgC WOiF2LP4V2xTN9SNZzpwB6pVAHq4XbZZS+BZtdPXL/JecF6jvQFHSQomLDsSszzGGc5E hzvdC14UIDwfBaFDs59/H0MYt6/CCFeNzahl90KN/Gib+znQyfIgrGmzIlTT772smzlB Z84A== X-Gm-Message-State: AJIora+GmRrhFtz9BT26GWZAwmLAJ/8BzMu5omupVjyIREszF0jVqKi7 5tlhc9rm1AMmbu/A0kGOPnnM2NZ+bbmWj16FPhZ31vkGjw879hf6JgoAOxcOd6ofodGTDG306dD BumdcvHjlAjhbI4IYezmrtg== X-Received: by 2002:a05:620a:4505:b0:6b3:7c51:537c with SMTP id t5-20020a05620a450500b006b37c51537cmr253136qkp.69.1658502373388; Fri, 22 Jul 2022 08:06:13 -0700 (PDT) X-Google-Smtp-Source: AGRyM1vQg8TAcu3XsDQKCkq4R+rz60Q1j0C5E1+SpAZw9bvdH50k0oEHnLWR4jxY38DDYUmaMFLplg== X-Received: by 2002:a05:620a:4505:b0:6b3:7c51:537c with SMTP id t5-20020a05620a450500b006b37c51537cmr253087qkp.69.1658502372869; Fri, 22 Jul 2022 08:06:12 -0700 (PDT) Received: from t14s.localdomain (c-73-69-212-193.hsd1.nh.comcast.net. [73.69.212.193]) by smtp.gmail.com with ESMTPSA id 130-20020a370b88000000b006a34a22bc60sm3434900qkl.9.2022.07.22.08.06.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 22 Jul 2022 08:06:12 -0700 (PDT) Message-ID: <4bf9bd3e5badd5bf0b5625c48e5ff16f1b8aa594.camel@redhat.com> Subject: Re: [r13-1786 Regression] FAIL: gcc.dg/analyzer/stdarg-3.c (test for excess errors) on Linux/x86_64 From: David Malcolm To: skpandey@sc.intel.com, gcc-patches@gcc.gnu.org, gcc-regression@gcc.gnu.org Date: Fri, 22 Jul 2022 11:06:11 -0400 In-Reply-To: <20220722013555.452E6286470F@gskx-2.sc.intel.com> References: <20220722013555.452E6286470F@gskx-2.sc.intel.com> User-Agent: Evolution 3.38.4 (3.38.4-1.fc33) MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-6.0 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, KAM_NUMSUBJECT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-regression@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-regression mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 22 Jul 2022 15:06:17 -0000 On Thu, 2022-07-21 at 18:35 -0700, skpandey@sc.intel.com wrote: > On Linux/x86_64, > > b852aa7f265424c8e2036899da5d8306ff06a16c is the first bad commit > commit b852aa7f265424c8e2036899da5d8306ff06a16c > Author: David Malcolm > Date:   Thu Jul 21 17:29:26 2022 -0400 > >     analyzer: fix -Wanalyzer-va-list-exhausted false +ve on va_arg in > subroutine [PR106383] > > caused > > FAIL: gcc.dg/analyzer/stdarg-3.c (test for excess errors) Thanks; I somehow managed to miss the FAIL when reviewing the test results; sorry everyone; it points to a real issue in -fanalyzer for va_arg in loops. I've filed this as PR analyzer/106413 ("State explosion on va_arg when va_start is in top-level function of analysis"). Dave