From patchwork Thu Aug 4 13:59:49 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Thomas Schwinge X-Patchwork-Id: 655815 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 3s4s5p4xq1z9s5M for ; Fri, 5 Aug 2016 00:00:30 +1000 (AEST) Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b=CSpACr//; dkim-atps=neutral DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:subject:in-reply-to:references:date:message-id:mime-version :content-type; q=dns; s=default; b=KnOUf3+xXFZKYt4aJ2dYgZFhxMJso LT8Il1WvYcXkTM957vDnLBQ9fg4Zazuw2tbK0YMtNRmCAqZwMZDIFHAH/4hcPvSY Ngn5Jutr44UVFdLvMCsQ93kbQvP//6VKWEek/mnrU+xMHmgiqbWW0ONedk6t99Oh U/cO3TGXwb8eQU= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:subject:in-reply-to:references:date:message-id:mime-version :content-type; s=default; bh=WIlkDZWPuz8mm8WBp1/6GuxVVE4=; b=CSp ACr//Jf62H6CIIyRTQSahF++QP+DQNfYkhXSFIJXCpFRSUb0BEnyxxWMgavXGO4u CkqJhoZG42ZThNLxRVcMHMHggTKXTT4wsgWtSJxrnPQROeTn1MdEeyNk2R9ou0RG IlC8kKlxi0Y4djPkgHcEHMliV6PecVRQKNm7obxY= Received: (qmail 39287 invoked by alias); 4 Aug 2016 14:00:21 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 39243 invoked by uid 89); 4 Aug 2016 14:00:20 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL, BAYES_00, RCVD_IN_DNSWL_NONE, SPF_PASS, URIBL_RED autolearn=ham version=3.3.2 spammy=CPP_NAME, error_at, cpp_name, Hx-languages-length:5996 X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Thu, 04 Aug 2016 14:00:01 +0000 Received: from svr-orw-fem-02x.mgc.mentorg.com ([147.34.96.206] helo=SVR-ORW-FEM-02.mgc.mentorg.com) by relay1.mentorg.com with esmtp id 1bVJBn-000388-Rw from Thomas_Schwinge@mentor.com for gcc-patches@gcc.gnu.org; Thu, 04 Aug 2016 06:59:59 -0700 Received: from tftp-cs (147.34.91.1) by svr-orw-fem-02.mgc.mentorg.com (147.34.96.168) with Microsoft SMTP Server id 14.3.224.2; Thu, 4 Aug 2016 06:59:59 -0700 Received: by tftp-cs (Postfix, from userid 49978) id 61FFFC2320; Thu, 4 Aug 2016 06:59:58 -0700 (PDT) From: Thomas Schwinge To: Subject: Re: Tighten syntax checking for OpenACC routine construct in C In-Reply-To: <87bn3vtuyo.fsf@hertz.schwinge.homeip.net> References: <87eg8ru9do.fsf@hertz.schwinge.homeip.net> <20160524085453.GD28550@tucnak.redhat.com> <87bn3vtuyo.fsf@hertz.schwinge.homeip.net> User-Agent: Notmuch/0.9-125-g4686d11 (http://notmuchmail.org) Emacs/24.5.1 (i586-pc-linux-gnu) Date: Thu, 4 Aug 2016 15:59:49 +0200 Message-ID: <878twc8wiy.fsf@kepler.schwinge.homeip.net> MIME-Version: 1.0 Hi! On Tue, 24 May 2016 16:02:39 +0200, I wrote: > Committed without changes in r236639: > > commit c9d624bd2672463771546e73bf3d6446d64e43c0 > Author: tschwinge > Date: Tue May 24 14:00:39 2016 +0000 > > Tighten syntax checking for OpenACC routine construct in C Backported to gomp-4_0-branch in r239131: commit 7d092bfdda42f5d3baf53ab3fe7d0ac941bff872 Author: tschwinge Date: Thu Aug 4 13:49:36 2016 +0000 Tighten syntax checking for OpenACC routine construct in C Backport trunk r236639: gcc/c/ * c-parser.c (c_parser_oacc_routine): Tighten syntax checks. gcc/testsuite/ * c-c++-common/goacc/routine-5.c: Add tests. * g++.dg/goacc/routine-2.C: Remove duplicate tests. * gfortran.dg/goacc/routine-6.f90: Add tests. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gomp-4_0-branch@239131 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/c/ChangeLog.gomp | 5 +++++ gcc/c/c-parser.c | 19 +++++++++---------- gcc/testsuite/ChangeLog.gomp | 7 +++++++ gcc/testsuite/c-c++-common/goacc/routine-5.c | 21 +++++++++++++++++---- gcc/testsuite/g++.dg/goacc/routine-2.C | 6 ------ gcc/testsuite/gfortran.dg/goacc/routine-6.f90 | 7 +++++++ 6 files changed, 45 insertions(+), 20 deletions(-) Grüße Thomas diff --git gcc/c/ChangeLog.gomp gcc/c/ChangeLog.gomp index 65c6bb8..4a4bb24 100644 --- gcc/c/ChangeLog.gomp +++ gcc/c/ChangeLog.gomp @@ -1,3 +1,8 @@ +2016-08-04 Thomas Schwinge + + Backport trunk r236639: + * c-parser.c (c_parser_oacc_routine): Tighten syntax checks. + 2016-07-15 Cesar Philippidis Backport from trunk: diff --git gcc/c/c-parser.c gcc/c/c-parser.c index 58c14ff..20b31dd 100644 --- gcc/c/c-parser.c +++ gcc/c/c-parser.c @@ -14170,25 +14170,24 @@ c_parser_oacc_routine (c_parser *parser, enum pragma_context context) c_parser_consume_token (parser); c_token *token = c_parser_peek_token (parser); - if (token->type == CPP_NAME && (token->id_kind == C_ID_ID || token->id_kind == C_ID_TYPENAME)) { decl = lookup_name (token->value); if (!decl) - { - error_at (token->location, "%qE has not been declared", - token->value); - decl = error_mark_node; - } + error_at (token->location, "%qE has not been declared", + token->value); + c_parser_consume_token (parser); } else c_parser_error (parser, "expected function name"); - if (token->type != CPP_CLOSE_PAREN) - c_parser_consume_token (parser); - - c_parser_skip_until_found (parser, CPP_CLOSE_PAREN, 0); + if (!decl + || !c_parser_require (parser, CPP_CLOSE_PAREN, "expected %<)%>")) + { + c_parser_skip_to_pragma_eol (parser, false); + return; + } } /* Build a chain of clauses. */ diff --git gcc/testsuite/ChangeLog.gomp gcc/testsuite/ChangeLog.gomp index b197955..1b59ffa 100644 --- gcc/testsuite/ChangeLog.gomp +++ gcc/testsuite/ChangeLog.gomp @@ -1,3 +1,10 @@ +2016-08-04 Thomas Schwinge + + Backport trunk r236639: + * c-c++-common/goacc/routine-5.c: Add tests. + * g++.dg/goacc/routine-2.C: Remove duplicate tests. + * gfortran.dg/goacc/routine-6.f90: Add tests. + 2016-07-29 Chung-Lin Tang PR fortran/70598 diff --git gcc/testsuite/c-c++-common/goacc/routine-5.c gcc/testsuite/c-c++-common/goacc/routine-5.c index 2a9db90..1efd154 100644 --- gcc/testsuite/c-c++-common/goacc/routine-5.c +++ gcc/testsuite/c-c++-common/goacc/routine-5.c @@ -38,13 +38,26 @@ namespace g {} #pragma acc routine /* { dg-error "not followed by" "" { target c++ } } */ using namespace g; -#pragma acc routine (g) /* { dg-error "does not refer to" "" { target c++ } } */ +#pragma acc routine (g) /* { dg-error "does not refer to a function" "" { target c++ } } */ -#endif +#endif /* __cplusplus */ -#pragma acc routine (a) /* { dg-error "does not refer to" } */ +#pragma acc routine (a) /* { dg-error "does not refer to a function" } */ -#pragma acc routine (c) /* { dg-error "does not refer to" } */ +#pragma acc routine (c) /* { dg-error "does not refer to a function" } */ + + +#pragma acc routine () vector /* { dg-error "expected (function name|unqualified-id) before .\\). token" } */ + +#pragma acc routine (+) /* { dg-error "expected (function name|unqualified-id) before .\\+. token" } */ + + +extern void R1(void); +extern void R2(void); +#pragma acc routine (R1, R2, R3) worker /* { dg-error "expected .\\). before .,. token" } */ +#pragma acc routine (R1 R2 R3) worker /* { dg-error "expected .\\). before .R2." } */ +#pragma acc routine (R1) worker +#pragma acc routine (R2) worker void Bar (); diff --git gcc/testsuite/g++.dg/goacc/routine-2.C gcc/testsuite/g++.dg/goacc/routine-2.C index 3a8bbdd..5207893 100644 --- gcc/testsuite/g++.dg/goacc/routine-2.C +++ gcc/testsuite/g++.dg/goacc/routine-2.C @@ -14,15 +14,9 @@ one() int incr (int); float incr (float); -int inc; #pragma acc routine (incr) /* { dg-error "names a set of overloads" } */ -#pragma acc routine (increment) /* { dg-error "has not been declared" } */ - -#pragma acc routine (inc) /* { dg-error "does not refer to a function" } */ - -#pragma acc routine (+) /* { dg-error "expected unqualified-id before '.' token" } */ int sum (int, int); diff --git gcc/testsuite/gfortran.dg/goacc/routine-6.f90 gcc/testsuite/gfortran.dg/goacc/routine-6.f90 index 10951ee..10943cf 100644 --- gcc/testsuite/gfortran.dg/goacc/routine-6.f90 +++ gcc/testsuite/gfortran.dg/goacc/routine-6.f90 @@ -29,6 +29,13 @@ program main !$acc routine (subr1) ! { dg-error "invalid function name" } external :: subr2 !$acc routine (subr2) + + external :: R1, R2 + !$acc routine (R1 R2 R3) ! { dg-error "Syntax error in \\!\\\$ACC ROUTINE \\( NAME \\) at \\(1\\), expecting .\\). after NAME" } + !$acc routine (R1, R2, R3) ! { dg-error "Syntax error in \\!\\\$ACC ROUTINE \\( NAME \\) at \\(1\\), expecting .\\). after NAME" } + !$acc routine (R1) + !$acc routine (R2) + !$acc parallel !$acc loop do i = 1, n