From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 121826 invoked by alias); 23 Feb 2020 09:48:19 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 121764 invoked by uid 89); 23 Feb 2020 09:48:04 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.1 spammy=H*Ad:U*tkoenig, H*r:sk:tkoenig, HX-Languages-Length:647 X-HELO: cc-smtpout2.netcologne.de Received: from cc-smtpout2.netcologne.de (HELO cc-smtpout2.netcologne.de) (89.1.8.212) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sun, 23 Feb 2020 09:48:03 +0000 Received: from cc-smtpin2.netcologne.de (cc-smtpin2.netcologne.de [89.1.8.202]) by cc-smtpout2.netcologne.de (Postfix) with ESMTP id 85BD012333; Sun, 23 Feb 2020 10:48:00 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=netcologne.de; s=nc1116a; t=1582451280; bh=ngLmkpRZ924GgmsMzuNEy5gusiVGmo6BRyoyrPB7yOo=; h=Subject:To:Cc:References:From:Message-ID:Date:In-Reply-To:From; b=ITunh7enXqJ6mqAmxFXV4a1jMgLTVy3wdfWVDx/diyz54ESfQlWFR8eCU7HejHD+n 5THxRUMBVwBXZ7rSwbJUe9BjdeEy1+p1oMzHlpuPH8bouGVwiPy8zvXCHtyGPUBd82 nczN6IKnXmZABD8edUDWm4+l63t/vz1LVNTnWBsSx2+L1xo1J8SDN2m2HSLGByIRV3 VPA0t+SANOa87N/tLa5XwODVVMJS0x1Bzp3WUSLrwcnE0Ym5QpB1GCM+ZjicV3AINY /lRt4MozbhKKIb3drpF/9MnvbWQd6anFlvH0bsDkfQcvngV2ZMg5oC0ISx0RbgErjx oDXf7xJgcbnHg== Received: from localhost (localhost [127.0.0.1]) by cc-smtpin2.netcologne.de (Postfix) with ESMTP id 80BDE11D91; Sun, 23 Feb 2020 10:48:00 +0100 (CET) Received: from [2001:4dd4:f288:0:80a7:a6a4:600d:f490] (helo=cc-smtpin2.netcologne.de) by localhost with ESMTP (eXpurgate 4.11.6) (envelope-from ) id 5e524a50-3658-7f0000012729-7f000001cd70-1 for ; Sun, 23 Feb 2020 10:48:00 +0100 Received: from linux-p51k.fritz.box (2001-4dd4-f288-0-80a7-a6a4-600d-f490.ipv6dyn.netcologne.de [IPv6:2001:4dd4:f288:0:80a7:a6a4:600d:f490]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by cc-smtpin2.netcologne.de (Postfix) with ESMTPSA; Sun, 23 Feb 2020 10:47:58 +0100 (CET) Subject: Re: Request for better syntax checking in lang.opt To: =?UTF-8?Q?Martin_Li=c5=a1ka?= , gcc mailing list Cc: "fortran@gcc.gnu.org" References: <2406b2a4-a996-b220-5026-7022552fae48@netcologne.de> <4a2af157-b21e-311f-3ff4-8dd432d67a05@suse.cz> From: Thomas Koenig Message-ID: <2f687302-18a8-ff34-bf54-1a8ebdb60ce5@netcologne.de> Date: Sun, 23 Feb 2020 09:48:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: <4a2af157-b21e-311f-3ff4-8dd432d67a05@suse.cz> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2020-02/txt/msg00174.txt.bz2 Hi Martin, > I was able to write a sanity check for these kind of issues, but it does > not resolve all similar issues for other keywords. It's not easy to do it. Having looked at the origina awk code, I agree. Maybe, in the long term, a lex/yacc grammar with a monolithic C program to write out the headers wold be more suitable. Having said that, I think what you did is already quite valuable and will save some gcc developers from a few prmature grey hairs :-) So, I would recommend to commit as is. Sanity checks do not have to be perfect. Thanks for taking this on! Regards Thomas