From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x32d.google.com (mail-wm1-x32d.google.com [IPv6:2a00:1450:4864:20::32d]) by sourceware.org (Postfix) with ESMTPS id E96D83857B89 for ; Tue, 30 Jan 2024 12:11:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E96D83857B89 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=embecosm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=embecosm.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E96D83857B89 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::32d ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706616764; cv=none; b=aeCux96yyV1zEuGC/LzGEglekWjXrcjDphZPhUkzKINsF1UXjh8TzUy5wzee4+zCc1Ke56/KwvJxqEDLrZAM4rdlsWuxxBB8fkHZlrmcc2F0TOimT+UN5mtt9wGL3vM4PQs61jq3A+09Ulj806Xg05+w74Bp1zQuy0F3s+HJfpI= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706616764; c=relaxed/simple; bh=WLmEbuZuCNSzxnWiTdJoX7lGY8hInPsouNyCN9PkNvY=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=hNPrIzh2odUCW2lgJJnLCoxSyV5WGKxkbQAwXETI3Kie6r5rrJrzJZ9TvZwKIbjx7qBBw1dv+VQ8UyzSD+n+xk08EJNxfQx2IFa/fFGMojg4tV37nSRc7bdf5+0IKMzQU8K34LeXGo1JX5a+Q5ooySpOjG5H3woOcAqhgilfm3Q= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x32d.google.com with SMTP id 5b1f17b1804b1-40e7065b692so42214345e9.3 for ; Tue, 30 Jan 2024 04:11:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=embecosm.com; s=google; t=1706616714; x=1707221514; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:reply-to:references :in-reply-to:message-id:date:subject:cc:to:from:from:to:cc:subject :date:message-id:reply-to; bh=UHRqBOxOtqWYWRSwQg/aqnHJ0bDUu14A9mOmF+1PYW8=; b=CP+THBjL/6Aq+Wp5G/YTAg0AaNgr9pQBNs6FV3BUX2yD5M2Cn0kw9kda7es/Y4XvYd EYcN2qibUM8h69AiZlQDIGWXku/jkQ6GgqzMsowJ+YEVhFgjBlbjcAawZ+r6BRZqJpmk 25h/IbnYW/DYuLVu4QTBjy7CEj7XfhtidrscDKIsl0k8D4uwQPSL54ERyL4pxCaM45yv QhauAWRCqO7h5mlWUDBER2MODx3hsChgPe6jgW1avbCunWHp1/1XtDeGGJgG6a0HtD9b QUu5aHgo7t9qDjhusQbZMl+UF066MrsC5Zwc6OwvVpOobu1ea6K0+SPbL5wziR2lHN+f yN1w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706616714; x=1707221514; h=content-transfer-encoding:mime-version:reply-to:references :in-reply-to:message-id:date:subject:cc:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=UHRqBOxOtqWYWRSwQg/aqnHJ0bDUu14A9mOmF+1PYW8=; b=XVsr9Z0f8HQtftI4ADr/L84qWZ96uF7d0MopsNqbYMa/i6E9mmp4hP43/iOGOrucwb dAnHT6zG6TxwYlzNkc07tk9o1dkRhiDSvg6nnad66a42o7N8a3w3OE/xFiaTXuSDI8f+ 27xi+SvISklQDa47YHnXDPf57tHx25TgNUODQMGJj3KMXb4Xr85H6f8VCqpqgW4p0z0M YJEQKWFGdJiyEkmGxqglndsI4J0d2hvlgxX0qXn05xcIHTzHhiYQyFQGYFxzv1abiIGh 5vEzqX/irYzMiUcgV9tsMjARPGQKWIcMjcUSMHXS61W2cUBx2SGNkbOCPXEqdqjYyEjD c5zA== X-Gm-Message-State: AOJu0YwmuquDpcg4HbYe61Uh4w3/dXuvczk7ZWnmDXQT1CJm3Gj2bH47 nHGvbbsK7MPx2xqzWMV9UYlQEVcymmGLxTk8kgHWIj3UPFoNtcbQllRvzy4k9Q== X-Google-Smtp-Source: AGHT+IEuFg1/xFxTbIDVM0enewBY2jNVo8P2aA1xyqld+s9aow9WACHowPX2gimJxOnynFQ/dfAOOw== X-Received: by 2002:a5d:53c5:0:b0:339:39c3:d274 with SMTP id a5-20020a5d53c5000000b0033939c3d274mr6953363wrw.36.1706616714182; Tue, 30 Jan 2024 04:11:54 -0800 (PST) Received: from platypus.localdomain ([62.23.166.218]) by smtp.gmail.com with ESMTPSA id f9-20020a056000036900b00339307d9d31sm10569894wrf.112.2024.01.30.04.11.52 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 30 Jan 2024 04:11:53 -0800 (PST) From: arthur.cohen@embecosm.com To: gcc-patches@gcc.gnu.org Cc: gcc-rust@gcc.gnu.org, Kushal Pal Subject: [COMMITTED 089/101] gccrs: Handle `async` functions in traits Date: Tue, 30 Jan 2024 13:07:45 +0100 Message-ID: <20240130121026.807464-92-arthur.cohen@embecosm.com> X-Mailer: git-send-email 2.42.1 In-Reply-To: <20240130121026.807464-2-arthur.cohen@embecosm.com> References: <20240130121026.807464-2-arthur.cohen@embecosm.com> Reply-To: arthur.cohen@embecosm.com MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-14.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: From: Kushal Pal Fixes #2785 gcc/rust/ChangeLog: * checks/errors/rust-ast-validation.cc (ASTValidation::visit): Added check for `async` functions inside trait. * parse/rust-parse-impl.h (Parser::parse_trait_item): Added switch-case for ASYNC token. gcc/testsuite/ChangeLog: * rust/compile/issue-2785.rs: New test. Signed-off-by: Kushal Pal --- gcc/rust/checks/errors/rust-ast-validation.cc | 13 ++++++++++--- gcc/rust/parse/rust-parse-impl.h | 1 + gcc/testsuite/rust/compile/issue-2785.rs | 9 +++++++++ 3 files changed, 20 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/rust/compile/issue-2785.rs diff --git a/gcc/rust/checks/errors/rust-ast-validation.cc b/gcc/rust/checks/errors/rust-ast-validation.cc index b50e9cdf858..0ed5d060894 100644 --- a/gcc/rust/checks/errors/rust-ast-validation.cc +++ b/gcc/rust/checks/errors/rust-ast-validation.cc @@ -141,9 +141,16 @@ ASTValidation::visit (AST::TraitFunctionDecl &decl) { const auto &qualifiers = decl.get_qualifiers (); - if (context.back () == Context::TRAIT && qualifiers.is_const ()) - rust_error_at (decl.get_identifier ().get_locus (), ErrorCode::E0379, - "functions in traits cannot be declared const"); + if (context.back () == Context::TRAIT) + { + // may change soon + if (qualifiers.is_async ()) + rust_error_at (decl.get_identifier ().get_locus (), ErrorCode::E0706, + "functions in traits cannot be declared %"); + if (qualifiers.is_const ()) + rust_error_at (decl.get_identifier ().get_locus (), ErrorCode::E0379, + "functions in traits cannot be declared const"); + } } void diff --git a/gcc/rust/parse/rust-parse-impl.h b/gcc/rust/parse/rust-parse-impl.h index dfa2762c5c3..3055a3959cf 100644 --- a/gcc/rust/parse/rust-parse-impl.h +++ b/gcc/rust/parse/rust-parse-impl.h @@ -5096,6 +5096,7 @@ Parser::parse_trait_item () // else, fallthrough to function // TODO: find out how to disable gcc "implicit fallthrough" error gcc_fallthrough (); + case ASYNC: case UNSAFE: case EXTERN_KW: case FN_KW: { diff --git a/gcc/testsuite/rust/compile/issue-2785.rs b/gcc/testsuite/rust/compile/issue-2785.rs new file mode 100644 index 00000000000..08f6346f60b --- /dev/null +++ b/gcc/testsuite/rust/compile/issue-2785.rs @@ -0,0 +1,9 @@ +// { dg-additional-options "-frust-edition=2018" } +trait Foo { + async fn foo(){} + // { dg-error "functions in traits cannot be declared .async." "" { target *-*-* } .-1 } + async fn bar(); + // { dg-error "functions in traits cannot be declared .async." "" { target *-*-* } .-1 } +} + +fn main() {} -- 2.42.1