From patchwork Tue Nov 7 09:20:15 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 162341 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:aa0b:0:b0:403:3b70:6f57 with SMTP id k11csp112546vqo; Tue, 7 Nov 2023 01:23:43 -0800 (PST) X-Google-Smtp-Source: AGHT+IFx6kXbMV+TcC+IAQDKLGFWnMzEqRDh4WiXmRwXgQ/i0wwMaRwrotjHnhU8aM5vcf5g8VSB X-Received: by 2002:a05:620a:4494:b0:776:fad0:cc3c with SMTP id x20-20020a05620a449400b00776fad0cc3cmr36702651qkp.4.1699349022833; Tue, 07 Nov 2023 01:23:42 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1699349022; cv=pass; d=google.com; s=arc-20160816; b=rWF3T4HmSZq/T1CmuOdxJod1SN0S6BkYZwMif+ab6XpUhBk3Jpvyf9WzX9EW2WTOUp e4n6ZGp+dDGEZXGihA5yiGIi35/a3lV4peJfsoBUVsm8gt0OsmHuXmBN0LJPA+XJZ74b pAmHGd4aFH6P3SwDnEIl8oK4/ZPKUPc2Wc9mfuL71fMnAISggyLNzmvIgMadZHnahFH9 mVXmulyPbjM39FxJGYGuPDOzZ/3t9BaeUzIGGCHp3aWqmL6LDpdb2fIxN5H54aSA2ld5 kHLDnWxFvvbx26wJb8n2lHpS90PO97ylPiJss83rPbG40LbRbudJBnvMDOd4UcnyEERE et0Q== 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:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=kSHB1Sc/t0dk8q4guuZsxGMmO7rNfc5iLSGmrmUTmAw=; fh=QRb7QY4BZ0mIIAPiH2G4K0PcYKRtRn2i5A6VLUA8cN4=; b=TYgWLBareJU1crduBJ0IRFpP8fKuBrtsDMRCDBDgJGlUoP9Ur+DycO1x70v9QdJCvo IdkKzxskiMlBkVFh+j4RPiT2Yu495Xwf9fgUYEAfspEIlNhgaDvYVnSwvyJDJOmNKD9I iOs1eRpTqN+CcFnh7mD2dxMO6ml872T4SJiBD8EB1/aVaCLYHMnPVBoKUozzWUPu40KS 8z1ckYAEBAUbJYYDKjAPzFjNAWpArbld6SxkuQrXyY11Gfj+i/20st0NKmxsyx4ScYMR o1vxATrBGTSKR5SFq1TXkGUYnbv1edlbGK+BADtLgcCr+kWpe0Jokzc3YTPOwtfZlEbW JOmA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=MZldimAY; 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=adacore.com Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id de43-20020a05620a372b00b00779df1bedbdsi6739586qkb.310.2023.11.07.01.23.42 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 Nov 2023 01:23:42 -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=@adacore.com header.s=google header.b=MZldimAY; 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=adacore.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 2B626385E02D for ; Tue, 7 Nov 2023 09:22:43 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x433.google.com (mail-wr1-x433.google.com [IPv6:2a00:1450:4864:20::433]) by sourceware.org (Postfix) with ESMTPS id E22863856263 for ; Tue, 7 Nov 2023 09:20:18 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E22863856263 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E22863856263 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::433 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699348823; cv=none; b=NVQ8dcGG/EO4X0Pz49toNpy7LY/IOlZumhOj4f0Zd8Hnaa2sjxUkg8AVstE1j1tL3PE3EDUO0dVN7xsaICdB6Xfz+LMGnw5nEjLecG//PdVPkTAxkR644YEap9X2a2luSoGHJ2l3Gp/TYQBQTNe7eDS2H0QIZO24cVSnU93BFr8= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699348823; c=relaxed/simple; bh=sqn3BFrq/1/+3zTwSFQ+zGvzcItKmc4b9T/M/KndgjY=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=RYklP/tkU37+NBaak39R5fgihyrf2uXcNwz47DYr7uo6U/ITVgANVmIGI+glsp+AIu1fbPhRcTGyKJuoXxqoa/LB7B/sWbXfKxglbJJsKqUThszJPchuTpEMN+SG6pDu8pkt/YFwFhfEjfcM3SfEj6pbOpPZTWzOSQPj3OQxMS4= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x433.google.com with SMTP id ffacd0b85a97d-32dcd3e5f3fso3265658f8f.1 for ; Tue, 07 Nov 2023 01:20:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1699348817; x=1699953617; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=kSHB1Sc/t0dk8q4guuZsxGMmO7rNfc5iLSGmrmUTmAw=; b=MZldimAYP9ZNBd72CjFYILB4BJc82o6FyywFdSbOXbUAw3XofmqWEbnAgv8e6MtdQ0 dqJVHOfGawfZx94vKiGtkBbO3CDa7nnJEPi0BBGPduQ3q7zd1Eq81xyOyufcZtrzptc0 vcljk07bwPmj3O9YeZXFBVom7qdliJZbY7Xv+JOvP2JKnjtktwQh0A6zQx7RkTJphePU N7zXY6YR5rVeX0O531H9Yx9wPY+Paylls5LSEdIi7umcws/Wh9m/mhLdWF7vC5UGlvay WPTK0ypokewurXZ4HaKlbXzZeqW+dRQpTulZQsFeeGreri5LmiMPoHRMGgabEHJYY0rC 7WVw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699348817; x=1699953617; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=kSHB1Sc/t0dk8q4guuZsxGMmO7rNfc5iLSGmrmUTmAw=; b=cQ5pkTt/OIpld/V1U5D0zbhDzoqY/g+mU/6CUm+DcrRSH2HHJbn6kV2bABvNXz7cZG ZgKNV29UAju1zHeTQZ7YJ5RzDoAjpp8XLO6aO9QIrOnwaTjHzz6+ZhY/FvACO8ETcnNZ ETzkYyGSeEQTkfW593rd/IqBoMCN/KdZoJhq0ludc7/y9aTAC/BWQJp38Vd2yNJrYcm5 oPbpZT6CJ3/Nr3/PiDBESEJ/AbmCeEOI/VzCoiJBVZP92u2Oj6+heo7ZkF48vnRJ5jge nTnhRcYO1AB3o36fKqH83igPqok9dcJNI3QYspBLXBV66+rDCnjsMBd71nBeVIjKt3Wd +3AA== X-Gm-Message-State: AOJu0YyzdwD6spY2kEM5UbsKGqaTWOLha5QtsruKftQMxY6A2N4ZQGNi jYCsd3ronyDwTewhcyPZgUDYNqROJ+KqOZ6bYS/3gw== X-Received: by 2002:a05:6000:1372:b0:31f:a0ab:26b5 with SMTP id q18-20020a056000137200b0031fa0ab26b5mr26399984wrz.8.1699348817598; Tue, 07 Nov 2023 01:20:17 -0800 (PST) Received: from localhost.localdomain ([2001:861:3382:1a90:dbc1:a1d1:2e58:4040]) by smtp.gmail.com with ESMTPSA id w10-20020a5d404a000000b0031f82743e25sm1794735wrp.67.2023.11.07.01.20.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 Nov 2023 01:20:17 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [COMMITTED] ada: Cleanup "not Present" on List_Id Date: Tue, 7 Nov 2023 10:20:15 +0100 Message-ID: <20231107092015.3906320-1-poulhies@adacore.com> X-Mailer: git-send-email 2.42.0 MIME-Version: 1.0 X-Spam-Status: No, score=-13.7 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 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: 1781896601189100426 X-GMAIL-MSGID: 1781896601189100426 From: Piotr Trojanek gcc/ada/ * exp_ch6.adb, exp_disp.adb, sem_ch13.adb, sem_ch3.adb: Fix newly detected violations. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_disp.adb | 2 +- gcc/ada/sem_ch13.adb | 2 +- gcc/ada/sem_ch3.adb | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index c1d5fa3c08b..0e6f950f5d7 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -4630,7 +4630,7 @@ package body Exp_Ch6 is -- It may be possible that we are re-expanding an already -- expanded call when are are dealing with dispatching ??? - if not Present (Parameter_Associations (Call_Node)) + if No (Parameter_Associations (Call_Node)) or else Nkind (Last (Parameter_Associations (Call_Node))) /= N_Parameter_Association or else not Is_Accessibility_Actual diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index 9e0c87a5095..89b47c042a0 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -537,7 +537,7 @@ package body Exp_Disp is then Target_List := Priv_Decls; - elsif not Present (Vis_Decls) then + elsif No (Vis_Decls) then Target_List := New_List; Set_Private_Declarations (Spec, Target_List); else diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index c4699436268..ae97da58da3 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -16400,7 +16400,7 @@ package body Sem_Ch13 is if Nkind (N) = N_Aggregate then if Present (Component_Associations (N)) or else Null_Record_Present (N) - or else not Present (Expressions (N)) + or else No (Expressions (N)) then Error_Msg_N ("bad Stable_Properties aspect specification", N); return; diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index c1113e4fc42..8583ac05261 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -7394,7 +7394,7 @@ package body Sem_Ch3 is Set_Is_Constrained (Derived_Type, (Is_Constrained (Parent_Type) or else Constraint_Present) - and then not Present (Discriminant_Specifications (N))); + and then No (Discriminant_Specifications (N))); if Constraint_Present then if not Has_Discriminants (Parent_Type) then