From unknown Fri Jun 20 07:22:35 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#37620 <37620@debbugs.gnu.org> To: bug#37620 <37620@debbugs.gnu.org> Subject: Status: 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while moving point Reply-To: bug#37620 <37620@debbugs.gnu.org> Date: Fri, 20 Jun 2025 14:22:35 +0000 retitle 37620 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while= moving point reassign 37620 emacs, ada-mode submitter 37620 Ludovic Brenta severity 37620 minor thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 04 09:32:20 2019 Received: (at submit) by debbugs.gnu.org; 4 Oct 2019 13:32:21 +0000 Received: from localhost ([127.0.0.1]:41857 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iGNgy-0003x0-LQ for submit@debbugs.gnu.org; Fri, 04 Oct 2019 09:32:20 -0400 Received: from lists.gnu.org ([209.51.188.17]:41473) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iGNgw-0003wt-RL for submit@debbugs.gnu.org; Fri, 04 Oct 2019 09:32:19 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47205) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iGNgr-0003Lz-T8 for bug-gnu-emacs@gnu.org; Fri, 04 Oct 2019 09:32:18 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_NONE autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iGNgo-0004SM-C7 for bug-gnu-emacs@gnu.org; Fri, 04 Oct 2019 09:32:12 -0400 Received: from webmail.bookmyname.com ([88.191.249.153]:32313 helo=webmail.free.org) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iGNgg-0004KA-34 for bug-gnu-emacs@gnu.org; Fri, 04 Oct 2019 09:32:07 -0400 Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id ED50D2B8EB; Fri, 4 Oct 2019 15:31:55 +0200 (CEST) Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Fri, 04 Oct 2019 15:31:55 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Fri, 04 Oct 2019 15:31:55 +0200 From: Ludovic Brenta To: bug-gnu-emacs@gnu.org Subject: 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while moving point Message-ID: X-Sender: ludovic@ludovic-brenta.org X-Complaints-To: abuse_at_bookmyname.com X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Origin-Web-Site: webmail.ludovic-brenta.org X-detected-operating-system: by eggs.gnu.org: FreeBSD 9.x [fuzzy] X-Received-From: 88.191.249.153 X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) X-Debbugs-CC: ada-mode-users@nongnu.org Package: emacs, ada-mode Version: 26.1 Severity: minor I'm sorry but I cannot trigger this problem reliably. Occasionally, while simply moving in a source file (using up, down, page up, page down etc.), the *Messages* buffer receives these errors: Error during redisplay: (jit-lock-function 32410) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") Error during redisplay: (jit-lock-function 32910) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") Error during redisplay: (jit-lock-function 32940) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") Error during redisplay: (jit-lock-function 32971) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") Error during redisplay: (jit-lock-function 32973) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") Error during redisplay: (jit-lock-function 32988) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") and the redisplay freezes. When this happens I usually have to do M-x wiki-kill-parser to recover. This happens once every 3-4 days, both on files that are syncatically correct and on some being edited (I don't think it makes a difference anymore as the partial parser is in use in both cases). Has anyone observed these errors before? Could it be caused by moving point too rapidly for the parser process to keep up? -- Ludovic Brenta. From debbugs-submit-bounces@debbugs.gnu.org Tue Oct 22 17:12:08 2019 Received: (at 37620) by debbugs.gnu.org; 22 Oct 2019 21:12:08 +0000 Received: from localhost ([127.0.0.1]:60551 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iN1Ro-0006Gw-8K for submit@debbugs.gnu.org; Tue, 22 Oct 2019 17:12:08 -0400 Received: from gateway23.websitewelcome.com ([192.185.49.180]:15242) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iN1Rj-0006Gm-W7 for 37620@debbugs.gnu.org; Tue, 22 Oct 2019 17:12:06 -0400 Received: from cm11.websitewelcome.com (cm11.websitewelcome.com [100.42.49.5]) by gateway23.websitewelcome.com (Postfix) with ESMTP id 9EAC6160357 for <37620@debbugs.gnu.org>; Tue, 22 Oct 2019 16:12:02 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id N1RiilKjYVUVYN1RiiOszu; Tue, 22 Oct 2019 16:12:02 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=NBw+OOWmeW9nuSmjsq9145ZJdZ8LsHFvuy5oqwIrZUQ=; b=BmcdfmseC+zGWPE9bkJzmNqgjw CA2hdv5Rkekz8VPIbP9gNs/i3GP/aXverC5BlhCGYy1fuNGNv6gzHsXu4YUSLT/cKKSAmhyRLK20n wTiYFa4BzbdNaP5RdGD/NDl0EoulcY5Ke6YeXwQwxe2URu2B4DdtklrU0+vOJo9iWTmCedsX3suih W+opKdPDRlQPB+oqlgMFV+Ie+GETJFO3rdl7+3tLreI7F5oTZCffn3IiW4JyOEgHuX77a1ir2EsbD jyCCFBTZugmiIJ8/EPb0bOhjQ0Xir+3W/UaacREOar6tbr2c6QatRax8g53zJrXh7GWT2U6twJZt9 KohKuPuw==; Received: from [76.77.182.20] (port=59013 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1iN1Rh-000O1l-Vp for 37620@debbugs.gnu.org; Tue, 22 Oct 2019 15:12:02 -0600 From: Stephen Leake To: 37620@debbugs.gnu.org Subject: update Date: Tue, 22 Oct 2019 14:11:59 -0700 Message-ID: <86v9sgjxi8.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1iN1Rh-000O1l-Vp X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:59013 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 37620 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) The error message: Error during redisplay: (jit-lock-function 32410) signaled (error "wisi-process-parse not getting more text (or bad syntax in process output)") indicates that the parser running in the external process is taking too long to responde, so the elisp interface is timing out. This can be due to two causes; 1. the code has a syntax error that is particularly hard to correct 2. the computer is otherwise loaded, so the parser is running slowly. Since you report it happening in several files at different places, cause 1. is not likely. You can try increasing wisi-process-time-out (default 5 seconds); that is how long the elisp interace waits for the external parser. I'll change the error message to mention wisi-process-time-out. -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Tue Nov 19 09:52:40 2019 Received: (at 37620) by debbugs.gnu.org; 19 Nov 2019 14:52:40 +0000 Received: from localhost ([127.0.0.1]:46847 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iX4rw-00060S-6P for submit@debbugs.gnu.org; Tue, 19 Nov 2019 09:52:40 -0500 Received: from webmail.bookmyname.com ([88.191.249.153]:52954 helo=webmail.free.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iX4rr-00060G-2I for 37620@debbugs.gnu.org; Tue, 19 Nov 2019 09:52:38 -0500 Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id 55D7B38EC4 for <37620@debbugs.gnu.org>; Tue, 19 Nov 2019 15:52:33 +0100 (CET) Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Tue, 19 Nov 2019 15:52:33 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 19 Nov 2019 15:52:33 +0100 From: Ludovic Brenta To: 37620@debbugs.gnu.org Subject: Re: 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while moving point In-Reply-To: References: Message-ID: <309cbcef219aeba8d0383a37b1c1f211@ludovic-brenta.org> X-Sender: ludovic@ludovic-brenta.org X-Complaints-To: abuse_at_bookmyname.com X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Origin-Web-Site: webmail.ludovic-brenta.org X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37620 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) No, the machine is not particularly loaded. I believe the most likely cause is "the code has a syntax error that is particularly hard to correct"; but this is only because of partial parsing as the entire file is syntactically correct. I'll send you the next source file where this happens; maybe you can reproduce. Increasing wisi-process-time-out to more than 5 seconds does not seem like a solution to me; parsing the entire buffer (resulting in no syntax errors, no attempted recovery and no time-out) takes less than that. Also, since we are only moving point in an unmodified buffer, interactive use requires 0.1 s response time or less. Therefore, perhaps a solution would be to /decrease/ wisi-process-time-out and automatically launch a full parse whenever it happens; as long as the buffer remains unmodified, no re-parsing will take place. -- Ludovic Brenta. From debbugs-submit-bounces@debbugs.gnu.org Tue Nov 19 10:02:08 2019 Received: (at 37620) by debbugs.gnu.org; 19 Nov 2019 15:02:08 +0000 Received: from localhost ([127.0.0.1]:48205 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iX515-0006ZA-54 for submit@debbugs.gnu.org; Tue, 19 Nov 2019 10:02:08 -0500 Received: from webmail.bookmyname.com ([88.191.249.153]:55299 helo=webmail.free.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iX513-0006Yz-UX for 37620@debbugs.gnu.org; Tue, 19 Nov 2019 10:02:06 -0500 Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id AB78A38EDA; Tue, 19 Nov 2019 16:02:03 +0100 (CET) Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Tue, 19 Nov 2019 16:02:03 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 19 Nov 2019 16:02:03 +0100 From: Ludovic Brenta To: 37620@debbugs.gnu.org Subject: Re: 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while moving point In-Reply-To: <309cbcef219aeba8d0383a37b1c1f211@ludovic-brenta.org> References: <309cbcef219aeba8d0383a37b1c1f211@ludovic-brenta.org> Message-ID: <46a07aee1a941a8b206612cb00e06ddf@ludovic-brenta.org> X-Sender: ludovic@ludovic-brenta.org X-Complaints-To: abuse_at_bookmyname.com X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Origin-Web-Site: webmail.ludovic-brenta.org X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37620 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Triggering this bug is much easier when you jump into the middle of a file using cross-references from another file or etags, as opposed to opening the file at the beginning and then scrolling. Because if you simply visit a file (even a large one), partial parsing starts from the beginning of the file and has a much lower chance of finding syntax errors. -- Ludovic Brenta. From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 03 17:29:22 2020 Received: (at 37620) by debbugs.gnu.org; 3 Mar 2020 22:29:22 +0000 Received: from localhost ([127.0.0.1]:40118 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j9G2T-0003CG-Lt for submit@debbugs.gnu.org; Tue, 03 Mar 2020 17:29:22 -0500 Received: from gateway32.websitewelcome.com ([192.185.145.123]:22765) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j9G2Q-0003C6-BW for 37620@debbugs.gnu.org; Tue, 03 Mar 2020 17:29:19 -0500 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway32.websitewelcome.com (Postfix) with ESMTP id A7E6A63BC0 for <37620@debbugs.gnu.org>; Tue, 3 Mar 2020 16:29:17 -0600 (CST) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id 9G2PjBBGRvBMd9G2Pj5oaV; Tue, 03 Mar 2020 16:29:17 -0600 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=wMXxOR7r9s5shclg28slSC4x6kp8l2kGy3LLVXvhfLU=; b=FBRe3U6QQn47bxXAmCQKBtQNQ/ HYVzkPTbxA5hVNlnH4Jzt0/58TRxZJJmhtPFx4/O/t6OTVfdYMC1MmM3qj8z6bPsbMEvsTP8U13Qu Py1EkiYopXD+bXDV9RQYlYld7uBBcAIT6mjx+LC3uhOrmyAMkkyiCwCEcKveFLJJgjmhhfwWewwgI 9oTUMvD73K3Ildi6uXa/ZkSdbzkZe5elXd502d1Chdt8ImqvqlrL7VlHHLjjIA8pF3UBheflAgGrd sQOGq5ZDzX3oR/4TaR13ChEICSEITnJVqOdSV+EbWVFI28rmC6ZjeyWGq6lqzPS8SE0LH8LQSfVrk 6RbQD4kg==; Received: from [76.77.182.20] (port=65436 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1j9G2P-000pBt-1w for 37620@debbugs.gnu.org; Tue, 03 Mar 2020 15:29:17 -0700 From: Stephen Leake To: 37620@debbugs.gnu.org Subject: 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while moving point Date: Tue, 03 Mar 2020 14:29:14 -0800 Message-ID: <86r1y9jcn9.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1j9G2P-000pBt-1w X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:65436 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 37620 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) --=-=-= Content-Type: text/plain There is a bug in error recovery that can cause the parser to hang; that may be the cause of this bug. Patch attached. -- -- Stephe --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename=patch.diff --- a/wisitoken-parse-lr-mckenzie_recover-base.adb +++ b/wisitoken-parse-lr-mckenzie_recover-base.adb @@ -2,7 +2,7 @@ -- -- Base utilities for McKenzie_Recover -- --- Copyright (C) 2018, 2019 Free Software Foundation, Inc. +-- Copyright (C) 2018 - 2020 Free Software Foundation, Inc. -- -- This library is free software; you can redistribute it and/or modify it -- under terms of the GNU General Public License as published by the Free @@ -30,49 +30,56 @@ package body WisiToken.Parse.LR.McKenzie_Recover.Base is return Boolean is Done_Count : SAL.Base_Peek_Type := 0; + Skip : Boolean; begin -- Return True if all parsers are done, or if any parser has a config -- available to check. for P_Status of Parser_Status loop + Skip := False; + case P_Status.Recover_State is when Active | Ready => if P_Status.Parser_State.Recover.Config_Heap.Count > 0 then if P_Status.Parser_State.Recover.Check_Count - Check_Delta_Limit >= Min_Success_Check_Count then -- fail; another parser succeeded, this one taking too long. Done_Count := Done_Count + 1; + Skip := True; elsif Total_Enqueue_Count + P_Status.Parser_State.Recover.Config_Full_Count >= Enqueue_Limit then -- fail Done_Count := Done_Count + 1; + Skip := True; end if; end if; - case P_Status.Recover_State is - when Active => - if P_Status.Parser_State.Recover.Config_Heap.Count > 0 then - -- Still working - return True; - else - if P_Status.Active_Workers = 0 then - -- fail; no configs left to check. - Done_Count := Done_Count + 1; + if not Skip then + case P_Status.Recover_State is + when Active => + if P_Status.Parser_State.Recover.Config_Heap.Count > 0 then + -- Still working + return True; + else + if P_Status.Active_Workers = 0 then + -- fail; no configs left to check. + Done_Count := Done_Count + 1; + end if; end if; - end if; - when Ready => - if P_Status.Parser_State.Recover.Config_Heap.Count > 0 and then - P_Status.Parser_State.Recover.Config_Heap.Min_Key <= P_Status.Parser_State.Recover.Results.Min_Key - then - -- Still more to check. - return True; + when Ready => + if P_Status.Parser_State.Recover.Config_Heap.Count > 0 and then + P_Status.Parser_State.Recover.Config_Heap.Min_Key <= P_Status.Parser_State.Recover.Results.Min_Key + then + -- Still more to check. + return True; - elsif P_Status.Active_Workers = 0 then - Done_Count := Done_Count + 1; - end if; + elsif P_Status.Active_Workers = 0 then + Done_Count := Done_Count + 1; + end if; - when others => - null; - end case; + when others => + null; + end case; + end if; when Success | Fail => Done_Count := Done_Count + 1; @@ -135,6 +142,7 @@ package body WisiToken.Parse.LR.McKenzie_Recover.Base is (Parsers, Parser_Status, Min_Success_Check_Count, Total_Enqueue_Count, Check_Delta_Limit, Enqueue_Limit) is Done_Count : SAL.Base_Peek_Type := 0; + Skip : Boolean; Min_Cost : Integer := Integer'Last; Min_Cost_Index : SAL.Base_Peek_Type; @@ -168,6 +176,8 @@ package body WisiToken.Parse.LR.McKenzie_Recover.Base is -- No task_id in outline trace messages, because they may appear in -- .parse_good for I in Parser_Status'Range loop + Skip := False; + declare P_Status : Base.Parser_Status renames Parser_Status (I); begin @@ -186,6 +196,7 @@ package body WisiToken.Parse.LR.McKenzie_Recover.Base is P_Status.Fail_Mode := Fail_Check_Delta; Done_Count := Done_Count + 1; + Skip := True; elsif Total_Enqueue_Count + P_Status.Parser_State.Recover.Config_Full_Count >= Enqueue_Limit then if Trace_McKenzie > Outline then @@ -200,48 +211,51 @@ package body WisiToken.Parse.LR.McKenzie_Recover.Base is P_Status.Fail_Mode := Fail_Enqueue_Limit; Done_Count := Done_Count + 1; + Skip := True; end if; end if; - case P_Status.Recover_State is - when Active => - if P_Status.Parser_State.Recover.Config_Heap.Count > 0 then - if P_Status.Parser_State.Recover.Config_Heap.Min_Key < Min_Cost then - Min_Cost := P_Status.Parser_State.Recover.Config_Heap.Min_Key; - Min_Cost_Index := I; - -- not done - end if; - else - if P_Status.Active_Workers = 0 then - -- No configs left to check (rarely happens with real languages). - if Trace_McKenzie > Outline then - Put_Line - (Trace.all, P_Status.Parser_State.Label, "fail; no configs left", Task_ID => False); + if not Skip then + case P_Status.Recover_State is + when Active => + if P_Status.Parser_State.Recover.Config_Heap.Count > 0 then + if P_Status.Parser_State.Recover.Config_Heap.Min_Key < Min_Cost then + Min_Cost := P_Status.Parser_State.Recover.Config_Heap.Min_Key; + Min_Cost_Index := I; + -- not done + end if; + else + if P_Status.Active_Workers = 0 then + -- No configs left to check (rarely happens with real languages). + if Trace_McKenzie > Outline then + Put_Line + (Trace.all, P_Status.Parser_State.Label, "fail; no configs left", Task_ID => False); + end if; + P_Status.Recover_State := Fail; + P_Status.Fail_Mode := Fail_No_Configs_Left; + + Done_Count := Done_Count + 1; end if; - P_Status.Recover_State := Fail; - P_Status.Fail_Mode := Fail_No_Configs_Left; - - Done_Count := Done_Count + 1; end if; - end if; - when Ready => - if P_Status.Parser_State.Recover.Config_Heap.Count > 0 and then - P_Status.Parser_State.Recover.Config_Heap.Min_Key <= - P_Status.Parser_State.Recover.Results.Min_Key - then - -- Still more to check. We don't check Min_Cost here so this parser - -- can finish quickly. - Set_Outputs (I); - return; - - elsif P_Status.Active_Workers = 0 then - P_Status.Recover_State := Success; - Done_Count := Done_Count + 1; - end if; - when others => - null; - end case; + when Ready => + if P_Status.Parser_State.Recover.Config_Heap.Count > 0 and then + P_Status.Parser_State.Recover.Config_Heap.Min_Key <= + P_Status.Parser_State.Recover.Results.Min_Key + then + -- Still more to check. We don't check Min_Cost here so this parser + -- can finish quickly. + Set_Outputs (I); + return; + + elsif P_Status.Active_Workers = 0 then + P_Status.Recover_State := Success; + Done_Count := Done_Count + 1; + end if; + when others => + null; + end case; + end if; when Success | Fail => Done_Count := Done_Count + 1; --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 22 14:18:49 2020 Received: (at control) by debbugs.gnu.org; 22 Apr 2020 18:18:49 +0000 Received: from localhost ([127.0.0.1]:53195 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jRJxR-00023Q-Bk for submit@debbugs.gnu.org; Wed, 22 Apr 2020 14:18:49 -0400 Received: from gateway22.websitewelcome.com ([192.185.46.152]:14423) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jRJxP-00023H-1m for control@debbugs.gnu.org; Wed, 22 Apr 2020 14:18:48 -0400 Received: from cm11.websitewelcome.com (cm11.websitewelcome.com [100.42.49.5]) by gateway22.websitewelcome.com (Postfix) with ESMTP id 673C7F47D for ; Wed, 22 Apr 2020 13:18:46 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id RJxOjdX3NSl8qRJxOj4EHB; Wed, 22 Apr 2020 13:18:46 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=o1gJOR0SyJnle7mg8SImLHf1xHW2Ky+8908ZERBo220=; b=gaVTENxW+qGMTcakkvpfwEfGqa NAYuV5gCVfB6OqpYXGRy9XSxuBvEwNVAWdFYC4JUV89rft+OY+UmqBZCyQqo7Vu0y9cXMxRNbjBEg +z0cXuFn8aYIvEON/hT8qUTmyWdZizZh6wncnZbeKjAClnsiiwHfZI9kJkS5a1aB78ma9DgL4FAW6 nErDMwNGzL2TCPLN/fwgY+XUq0czLJ0aMbQUE/+sP37M6m7ZHE1QOVLVANzf2tbTFwFoJRB4F0mm0 3VtVq6k+tnsALJghn7OFtz7DNaVpB/37Ju/hHsDlNsrUj3+V5gVUOG0mwKsszvec9UmWJHBV5uAbn 90KCZG6Q==; Received: from [76.77.182.20] (port=52844 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1jRJxN-000rnW-Pi for control@debbugs.gnu.org; Wed, 22 Apr 2020 12:18:45 -0600 From: Stephen Leake To: control@debbugs.gnu.org Subject: add pending Date: Wed, 22 Apr 2020 10:18:41 -0800 Message-ID: <86368v9yf2.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1jRJxN-000rnW-Pi X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:52844 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) tags 37620 + pending -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 07 17:25:24 2020 Received: (at 37620-close) by debbugs.gnu.org; 7 Jun 2020 21:25:24 +0000 Received: from localhost ([127.0.0.1]:55148 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ji2nE-0005lq-23 for submit@debbugs.gnu.org; Sun, 07 Jun 2020 17:25:24 -0400 Received: from gateway22.websitewelcome.com ([192.185.47.100]:11086) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ji2nC-0005li-6s for 37620-close@debbugs.gnu.org; Sun, 07 Jun 2020 17:25:23 -0400 Received: from cm17.websitewelcome.com (cm17.websitewelcome.com [100.42.49.20]) by gateway22.websitewelcome.com (Postfix) with ESMTP id B61FE797 for <37620-close@debbugs.gnu.org>; Sun, 7 Jun 2020 16:25:21 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id i2nBj9poWAGTXi2nBjKJY0; Sun, 07 Jun 2020 16:25:21 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=1w1c+9lpuRS0Kru1xoTVptnXWmC8kbQt+for7R8V1oo=; b=BjKokag+Mf6eks05AZgc6z64zn 4OdJ+2VR4WvdUL/wbtvtwRbR7YXBchCnAxnmJUiNf9ORxQNong3a0IKPEPRcLVUtXXSFkqjVc4RAX uXgdP+Sud9RdCDuavxF/B/qzUbNOg29WMdQPFk6O/H2abc51M39JmpofTj1cdy+3D8C5pI/Ao5UWp 92BZ9FzYsEvd+KXn8yI/g5x/TF0+2bMLyTXmM6iRL9KdYPebesBFaYxZN8cdSF3DVQGA+EbPirpGG c0UvV3ca/tun/16V98Swy0cij3TZwyYkCroatejre652OjKja31xPxC0rD8xVtCJT3woX/VQvy78/ rUnh3DJw==; Received: from [76.77.182.20] (port=51385 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1ji2nB-000wis-5z for 37620-close@debbugs.gnu.org; Sun, 07 Jun 2020 15:25:21 -0600 From: Stephen Leake To: 37620-close@debbugs.gnu.org Subject: closed by ada-mode version 7.1.3 Date: Sun, 07 Jun 2020 14:25:19 -0700 Message-ID: <86mu5ebmbk.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1ji2nB-000wis-5z X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:51385 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 6 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 37620-close X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) -- -- Stephe From unknown Fri Jun 20 07:22:35 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 06 Jul 2020 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator