From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-qt1-x829.google.com (mail-qt1-x829.google.com [IPv6:2607:f8b0:4864:20::829]) by sourceware.org (Postfix) with ESMTPS id A11763857C55 for ; Fri, 30 Jun 2023 23:48:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A11763857C55 Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=google.com Received: by mail-qt1-x829.google.com with SMTP id d75a77b69052e-401d1d967beso109561cf.0 for ; Fri, 30 Jun 2023 16:48:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20221208; t=1688168937; x=1690760937; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=zZfV054I0oGFVqCBWcvMiwLXuAELIjQ3yll4Zdg2XvA=; b=BMxG+R4wv5GAJIYbA/k/4SMnseBvU/uk1NH7gnndSKYvbXAnDFgni+6Fp+g132EtqB XtggBlTIvO0RAKw38taVLdFWk3Pe+PPViZyGqLivBw3kj8pYOlo2CqDM8rerO6Dzobu/ wb7hkZpTtB/rUIqR9GbFlnLz1+9rXnlHxroyulYpkH3QZEY/mcJ60KxhfJtzil1V2cEw pva2B7VLQQ96PF+HHbY7Ns6uPPAV6k5v1TAZvPJB5sdb7nz/CWUR7KgvVyxamNalgRKh 1vKz0s+zGwD/3ysmRtJOGbpUPf1yQ4J6on2McIf9u5XRIWg8ItQKxyISid3N2hRQ/iFO oqvQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1688168937; x=1690760937; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=zZfV054I0oGFVqCBWcvMiwLXuAELIjQ3yll4Zdg2XvA=; b=TZkIQgxETgZ7qN6OrdK0LLYdmH+xoZn+nqMDAn3qfGU5EByHx4/7PBADWdj/QX8oGl m79JBcNrfHEap4QpYRM4ViQzjdXFOfBYe9tYJNfFkYPJT78Qk+Y9PjBOyCkgvCvUg8Tg 5SYks63Nr+JlI8rdrXMKkvFjYugKM2OAMqLJZ7kHMGOyKrGOz/sDilxlupADP4nWqzRF xEz38LN/zIX7hJRLkGA51CQ6EPGOKsY8pRzK05jl3zb0d+VKJ9KgmGUGnT8NSiZ8hhP9 SGKokNnYGQ20aEmI3nm4Oq69nyZU8TN8b+Inj8gGmg2+AttSKpAB4zTp5nsgax8oqmp4 h74w== X-Gm-Message-State: ABy/qLbH8ymCOpRTIgPW5hi7Ha8YfvYBtNxxzQTqVyrT3KdAde1QNEy/ LcJuf0imQTbjZKKAknKvV8rHbdDavRKzB2MS1pMTA7ul020pqN9hpJk= X-Google-Smtp-Source: APBJJlHmlmQwMBclkIV6tSF/BNkt3kp+jGJhrlX8LLdJSf/Br9J56IEJKbYDXZs+nYZkp59+IOGwUkOnLvGSLJh2Aw8= X-Received: by 2002:a05:622a:1044:b0:3f5:49b6:f18d with SMTP id f4-20020a05622a104400b003f549b6f18dmr25011qte.11.1688168936952; Fri, 30 Jun 2023 16:48:56 -0700 (PDT) MIME-Version: 1.0 References: <20230629171839.573187-1-nhuck@google.com> <20230629171839.573187-10-nhuck@google.com> <91af0cee-baf3-fea1-9364-db269a232051@gmail.com> <346ebb6d-a65a-214e-2ab9-66844b463b03@gmail.com> In-Reply-To: <346ebb6d-a65a-214e-2ab9-66844b463b03@gmail.com> From: Nathan Huckleberry Date: Fri, 30 Jun 2023 16:48:45 -0700 Message-ID: Subject: Re: [PATCH 09/14] Allow nested implications for extensions. To: Jeff Law Cc: =?UTF-8?Q?Christoph_M=C3=BCllner?= , binutils@sourceware.org, nhuck@pmull.org Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-20.2 required=5.0 tests=BAYES_00,DKIMWL_WL_MED,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,ENV_AND_HDR_SPF_MATCH,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE,USER_IN_DEF_DKIM_WL,USER_IN_DEF_SPF_WL autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: > > Whenever an implicit subset is found and added, `finished` will be set to false, > > `t` will be reset to the initial value and the inner loop will terminate. > > The outer loop will start over because `finished` is false. > > Do I miss something? This is correct. The code essentially does a BFS on the implications. Thanks, Huck