From patchwork Tue Nov 21 10:00:34 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: 80445 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 543413857022 for ; Tue, 21 Nov 2023 10:02:48 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x42e.google.com (mail-wr1-x42e.google.com [IPv6:2a00:1450:4864:20::42e]) by sourceware.org (Postfix) with ESMTPS id 13DFD3857C4C for ; Tue, 21 Nov 2023 10:00:38 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 13DFD3857C4C 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 13DFD3857C4C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::42e ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700560839; cv=none; b=kC836JwP5Hozn7STW2Eu1dWq5HbZBQWCT09frGwqcIp1RiFM6yOq/qSkXkFcynP5Zwx122c69xCWW41/qN/z+AbmF6efQN4hs1V7M8HKvUbXtVtq6ytQbIT+FOX+RgSr5Fz7bs9QAh6m6iMnhGw12t9uMqU4eAMrlmw9u1ne89s= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700560839; c=relaxed/simple; bh=niDPNL+7RKi1gW0qwpLXfRgDoDg1Kk9UnGYZqa+Eseo=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=raVZDPlznd7uSaJv3mcymRu7BRInBw51GEiHkdjSI9eA71NVJPBPJXPl4XLhHhMcmGvYiT6DMRC62DS8WisrU+ONhPKD5iy1KrPAC2yHnMpUT7Hg+LLgrImeTZIRdUxMCxODNJr2D9JBVtxGAEYcRNpiJxSmTN7mjTL1f1InI3g= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-32fd7fc9f19so3583177f8f.2 for ; Tue, 21 Nov 2023 02:00:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1700560837; x=1701165637; 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=wA42fvbu9Gxfq1BNEK7xzTj+VzO8le+jZ91y1BFku/M=; b=JnB/7h7A08ZzN/DlPJusQv9i8RtMILqCO5Dy4JvqX/XHUNby6kdSV1q1yER9Za+zZ3 TrQuTDwLdWKlxnjbzLgHCAKYRJJv1s05HEOWjfv/fw0Acfe/KbuPgdF8rW4i2A5xpQFT LBxKfXg37EObkUbBRsd+J1jy5DebSO/1ZiIfjVHLW3ujqYut3wTFQtcUuqn22XdwIb5x gmE5mYWFeJmnLj9Ahn6DaohfXoF35ASquJFoYFFp2caZTqvNcHApbgfgR4XpsGxqbyYz kD1U5hLDjD2qaBlUE+lBgHn/myoUZ5nNt0T7oJ0DYZyZbt7PU/SZ2sHAGbpyO9CLYjlA dXVw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700560837; x=1701165637; 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=wA42fvbu9Gxfq1BNEK7xzTj+VzO8le+jZ91y1BFku/M=; b=uYpxpfPXyMNUohoou8R5KcK5BAfgodciouuajbGBrDQq16h2XmwRbdhI8rv2sr2DVJ o7EzMHIQULOcDa6hQrJf2irF9Y2qXwhFBokSRJU27qlGQnCfMxqkiazPFZgh4+iVMaPx 586cSfT3nNnxSfSmK/Dy4za8cSiWlVt9AaO/1uHJxjDKOQsLCpViM3/7nzPamtouRQLJ osBqIbfQd+UCMhLi55LFiuuVDs8Jyoq+eeg+P0qcQM7SxubKBWP/gocB/v3o4w+8R2F/ TZxFfdR7vdvbJfqjfQId3rAieoYF0jDnoJepD7/hdMzPqDeHgyA7UVHd0snxJVK9lI9+ Kkbg== X-Gm-Message-State: AOJu0YzC+VfjWEKKJqk51iF1V+74oqkDA/NGjW+59n1bhCfIgDqilzzZ Y1RZuEVHpC8G3ZVKKgkVBGANVqlEyV1CCxTn9IOyrg== X-Google-Smtp-Source: AGHT+IHzyilc40SYRVjmTVAjht8atkPcDBzhZ2Y7HIdYZ8WNvUEjQPI8bv603PRRujU4NZGiM473Hw== X-Received: by 2002:adf:cd91:0:b0:32d:a495:a9b7 with SMTP id q17-20020adfcd91000000b0032da495a9b7mr5459792wrj.61.1700560836762; Tue, 21 Nov 2023 02:00:36 -0800 (PST) Received: from poulhies-Precision-5550.telnowedge.local (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id dd11-20020a0560001e8b00b0032db8f7f378sm13941904wrb.71.2023.11.21.02.00.36 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 Nov 2023 02:00:36 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Eric Botcazou Subject: [COMMITTED] ada: Small improvement to Null_Status function Date: Tue, 21 Nov 2023 11:00:34 +0100 Message-ID: <20231121100034.1964554-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+patchwork=sourceware.org@gcc.gnu.org From: Eric Botcazou The function is used to optimize away access checks. gcc/ada/ * sem_util.adb (Null_Status): Deal with unchecked type conversions. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_util.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 3d870b1049c..eb2d83a4d6d 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -25429,7 +25429,7 @@ package body Sem_Util is -- Check the status of the operand of a type conversion - elsif Nkind (N) = N_Type_Conversion then + elsif Nkind (N) in N_Type_Conversion | N_Unchecked_Type_Conversion then return Null_Status (Expression (N)); -- The input denotes a reference to an entity. Determine whether the