From patchwork Sat Mar 2 00:22:20 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ken Matsui X-Patchwork-Id: 209135 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:fa17:b0:10a:f01:a869 with SMTP id ju23csp235836dyc; Fri, 1 Mar 2024 16:24:27 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCWrKpw05e68kCxk3DZ4WC6JbG2cH6aFxhzuF42Kix36PZzFWoNpEEBvem7LoZFFnhamgZRdUPYcetVj3/kB+ANV42C3HQ== X-Google-Smtp-Source: AGHT+IHzj3rZHpYRI15rEaRujfZNr8YsU5RIN+83rGeuD82V7eNRuWaG4xoFN7Jtn8U7bwYzjtY6 X-Received: by 2002:a81:9a8d:0:b0:608:b6d1:c334 with SMTP id r135-20020a819a8d000000b00608b6d1c334mr2709154ywg.52.1709339067668; Fri, 01 Mar 2024 16:24:27 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1709339067; cv=pass; d=google.com; s=arc-20160816; b=aabM6f1ciR2gO2I/pQFvnSvZeDwBsfRLDpGx28Dv0ym6mRuXqkTbBag7AK/jfVXI0S S3+UDZWRuBYy1FRpchE0RStsH5J3lnCg2Fy/2Frmo3le3nFrWH7HN13rnmG22U5AFpID 7KBZFNH7wYU+UaHrLJXUaUAMtGj/C6N6MzDjCJubH5ULEZ8BxsyOieRqt+B+QyTlxSWn 8URlK6SGKvHmz6ZHFefdOqJ532hEUApsH031rTKgIYTIaYaV4S8dn8JIWG9ENRlTA4Oy QhmgSCxy55v1xx+95OqyX/VMLqgra+hhK7B/Zv7K4g/qqIokoB9nkUJKvR+pGdFY4eUY AjPA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:arc-filter:dmarc-filter:delivered-to:dkim-signature :dkim-filter; bh=H/5nJseEvUO8T78rTtH2WfX80onYlphctPA9GbC2UO4=; fh=INZSbTxGthcJ6LtyIn70+VzOfwJL3SRgAHGh2CURDOU=; b=NrNbfK5zn18lEbi8HkMykieM8cU1yMKQxY3975njVgm07c9qnb5oU9lxAuxEvV/z/y XLOYgdCBKBsb7lzzx1igokZMr2rEHZR66CVaO2pnoOr94jw81hc7PolJ2LuLniX4pDlg 23/0KjiKwxBVO8jDx7NLSDfhsKInrltkGlBLULWseXAlLVPQpPmbvHxvmjriBuloVF7l L92kbUBuqmzT8fzktijdVu7MXj2vD0ze36yBifJNGG1jzju4CUvUVTecaoo/pU3u2xyW KGGRJUVGCEbme83kXxTFXUY97OEWiUXb1+PApnJz9wV1O3f/KJ7XINGTo3NEi9WyJIaI rMIA==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=S2a7amje; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id fc13-20020a05622a488d00b0042ed2f7902bsi1362813qtb.117.2024.03.01.16.24.27 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Mar 2024 16:24:27 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=S2a7amje; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 40C0A3858427 for ; Sat, 2 Mar 2024 00:24:27 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 40C0A3858427 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1709339067; bh=H/5nJseEvUO8T78rTtH2WfX80onYlphctPA9GbC2UO4=; h=From:To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From; b=S2a7amjer7r48HgREGDuDiXsizJhX5+Nuw4LInNxZ9CA38SxUke0N3Sn5siuC9KuB AzSH5QFEqaEEBSb+DzAHDKlLDwr8aKz7EMikdv8p1QQD9hoOCG6kZmPoMR3iTmhK0G WEzoldcUfMAzp4B9X8LjMkf+awbKyAMhkfsdSOKE= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mx0b-00641c01.pphosted.com (mx0b-00641c01.pphosted.com [205.220.177.146]) by sourceware.org (Postfix) with ESMTPS id 290CD385840A; Sat, 2 Mar 2024 00:22:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 290CD385840A Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=gcc.gnu.org Authentication-Results: sourceware.org; spf=fail smtp.mailfrom=gcc.gnu.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 290CD385840A Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=205.220.177.146 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1709338970; cv=none; b=F/dTvLiEHL6lGOPgwhURS3Z6A6doE2TGuFjd5YPt7Lr/Y+I50c25HlvrzhAZxKGggjbemlT1o3WLXoCxN/fQlvFwBPvvhdHncIirkVq5BMUJ8wR+fR4c2umudqSkjEVdLN9ZuadRfKQNAH7QjFItyBuGvLLey4apJRgDuBaB+8s= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1709338970; c=relaxed/simple; bh=+Kk5pbiV7w34QOGLv6URZzWi3r5UaH0RgIFD/bCQXIo=; h=From:To:Subject:Date:Message-ID:MIME-Version; b=fG/jSwtoJqq0JZTiZyfT6RdOX42HioYKqL7IoLOoDMXNdF39e7atUUKBFIeNhXvpKoYag1DcmwjGZn93v2nHMLZkonc0aLbk0zldMcKCRuHZl/r3w9Pxk2F4fLzzsKowlw0SWiahr10D6Ypkv2lg9Il/G31IHVfOqsHMQpj8NtU= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from pps.filterd (m0247479.ppops.net [127.0.0.1]) by mx0a-00641c01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 4220IbiW027480; Sat, 2 Mar 2024 00:22:39 GMT Received: from mxout26.s.uw.edu (mxout26.s.uw.edu [140.142.234.176]) by mx0a-00641c01.pphosted.com (PPS) with ESMTPS id 3wkmpuask3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 02 Mar 2024 00:22:39 +0000 Received: from smtp.washington.edu (smtp.washington.edu [128.208.60.54]) by mxout26.s.uw.edu (8.14.4+UW20.07/8.14.4+UW24.02) with ESMTP id 4220MWQc009677 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 1 Mar 2024 16:22:32 -0800 X-Auth-Received: from kmatsui-ThinkPad-X1-Carbon-Gen-9.dhcp4.washington.edu ([10.154.74.128]) (authenticated authid=kmatsui) by smtp.washington.edu (8.16.1+UW21.10/8.14.4+UW24.02) with ESMTPSA id 4220MWDO011796 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Fri, 1 Mar 2024 16:22:32 -0800 X-UW-Orig-Sender: kmatsui@smtp.washington.edu From: Ken Matsui To: gcc-patches@gcc.gnu.org Cc: Ken Matsui Subject: [PATCH 03/11] gcc/doc/extend.texi: Add documentation for __is_bounded_array Date: Fri, 1 Mar 2024 16:22:20 -0800 Message-ID: <20240302002229.308001-3-kmatsui@gcc.gnu.org> X-Mailer: git-send-email 2.44.0 In-Reply-To: <20240302002229.308001-1-kmatsui@gcc.gnu.org> References: <20240302002229.308001-1-kmatsui@gcc.gnu.org> MIME-Version: 1.0 X-Proofpoint-GUID: 1HPxRSYPRLdR6oIVspdwdpBvG7E3MFyH X-Proofpoint-ORIG-GUID: 1HPxRSYPRLdR6oIVspdwdpBvG7E3MFyH X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.272,Aquarius:18.0.1011,Hydra:6.0.619,FMLib:17.11.176.26 definitions=2024-03-01_23,2024-03-01_03,2023-05-22_02 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxlogscore=768 bulkscore=0 priorityscore=1501 phishscore=0 clxscore=1034 spamscore=0 lowpriorityscore=0 suspectscore=0 mlxscore=0 malwarescore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2311290000 definitions=main-2403020001 X-Spam-Status: No, score=-13.2 required=5.0 tests=BAYES_00, GIT_PATCH_0, JMQ_SPF_NEUTRAL, KAM_DMARC_STATUS, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_NEUTRAL, 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 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1792371922033107266 X-GMAIL-MSGID: 1792371922033107266 gcc/ChangeLog: * doc/extend.texi (__is_bounded_array): New documentation. Signed-off-by: Ken Matsui --- gcc/doc/extend.texi | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 5aeb9bdd47a..4c8c0631ca7 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -29596,6 +29596,11 @@ type (disregarding cv-qualifiers), @var{derived_type} shall be a complete type. A diagnostic is produced if this requirement is not met. @enddefbuiltin +@defbuiltin{bool __is_bounded_array (@var{type})} +If @var{type} is an array type of known bound ([dcl.array]) +the trait is @code{true}, else it is @code{false}. +@enddefbuiltin + @defbuiltin{bool __is_class (@var{type})} If @var{type} is a cv-qualified class type, and not a union type ([basic.compound]) the trait is @code{true}, else it is @code{false}.