From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa2.mentor.iphmx.com (esa2.mentor.iphmx.com [68.232.141.98])
 by sourceware.org (Postfix) with ESMTPS id 1E9323858407
 for <gcc-patches@gcc.gnu.org>; Tue,  3 Aug 2021 19:34:23 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 1E9323858407
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
IronPort-SDR: zZ55CJ9wi1xkA9aazKAhuj/lr5ozygigWGTsfc0GwBI+2WqAEreEwPJCcJyNz80u/tAiNZLr2u
 OSHgJS5r85OVNnDw5TqR+MPpB0ZKLt5w7dW0FkexoQfZl96mYO/wDgPfMrCAqyvrlCkNZtpaQu
 5dL4YHc9ppbEtVWHOo7Jys+PMooUiSfhFQgv6bDRFKbHQ9xqOyHk8srEczdcSc6dCh9GN4zFQu
 /poF25DDjkIeG+XORvTuCD1uRX83nQl68PBpuIpCA4v6sv5++1+E2XsQMOfFMpBUEIpTEqaPWo
 vkpZqW7SuSQzWUuye870RMkj
X-IronPort-AV: E=Sophos;i="5.84,292,1620720000"; d="scan'208";a="64249093"
Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167])
 by esa2.mentor.iphmx.com with ESMTP; 03 Aug 2021 11:34:21 -0800
IronPort-SDR: qcZIWcabRqAu5JhAjVtRPrI1WpD2EhkG6HJehlZAgDWLd8l/nG9TZO1ZN8pw8pe1wnIBuP3t8j
 TXas5VSWGpfnpPjlqiZZntENF5f5hRKbBavzwMOVhvieaY2IdzW/LVzk/ctHYxI1Szs4R4Dn5W
 yEg94TdO8CjVHn2csJUU5vXdf3Ud9yrpM20ewDszBX4LkWCgUiQ3sFjw2uUZVai3Su/yUWDWAm
 yHqqJ7k9fjvgVxdADNzc7+GjeU0dN0kksyU+rDXgeSJIaSj8FkI0QQ82LdQMEwqdRFfYB92ujc
 KVA=
Date: Tue, 3 Aug 2021 19:34:16 +0000
From: Joseph Myers <joseph@codesourcery.com>
X-X-Sender: jsm28@digraph.polyomino.org.uk
To: Thomas Schwinge <thomas@codesourcery.com>
CC: <gcc-patches@gcc.gnu.org>
Subject: Re: Sanity check that 'Init' doesn't appear without 'Var' in '*.opt'
 files
In-Reply-To: <87tuk6k6zu.fsf@dem-tschwing-1.ger.mentorg.com>
Message-ID: <alpine.DEB.2.22.394.2108031934050.18028@digraph.polyomino.org.uk>
References: <87tuk6k6zu.fsf@dem-tschwing-1.ger.mentorg.com>
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: svr-ies-mbx-05.mgc.mentorg.com (139.181.222.5) To
 svr-ies-mbx-01.mgc.mentorg.com (139.181.222.1)
X-Spam-Status: No, score=-3119.4 required=5.0 tests=BAYES_00,
 HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS,
 TXREP autolearn=no 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-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 03 Aug 2021 19:34:26 -0000

On Tue, 3 Aug 2021, Thomas Schwinge wrote:

> Hi!
> 
> Is the attached OK to push?
> 
> No violations found per:
> 
>     $ find -type f -name \*.opt | xargs grep -F 'Init(' | grep -v -F 'Var('
> 
> ..., and manually verified the error condition.

OK.

-- 
Joseph S. Myers
joseph@codesourcery.com