From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x32f.google.com (mail-wm1-x32f.google.com [IPv6:2a00:1450:4864:20::32f]) by sourceware.org (Postfix) with ESMTPS id A81B7388206E for ; Tue, 23 May 2023 08:08:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A81B7388206E Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wm1-x32f.google.com with SMTP id 5b1f17b1804b1-3f41dceb93bso45541625e9.1 for ; Tue, 23 May 2023 01:08:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1684829313; x=1687421313; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=dwPw+nLDmo10fTPorTCVlCN2R2uFu8hZqeSNxt+I1V4=; b=BYEC31RFrGEXS1C7mxcmEJFtw580NGR0RmmkNLukEBe76Maot1EM92JyiWkobw22IH dTY1MwmC098+RNFY0l1L0fLtAEgNks4QcaUCBDhpXWvI/OscWJZUWBOn5umKJOAvKuM/ MoFJLfIz9CyKFSm87A+szQ5rpjckybw0yaA9+0qoiqbVYgaCbRAeFNhmPsMaC7KWExi+ PKtbppGIvFfen80NuIZKKclNC6A3Nsyt1isRE1ka5yFEKzldPIP7jWqftmR8qzRt2O9y bGdECRmhXXLgPAtqf0kPAFLiWq7Vdn/uI6ij/wB3A3cCSs6z4X1PpiiXgaXf5JAT7FXX niUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684829313; x=1687421313; 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=dwPw+nLDmo10fTPorTCVlCN2R2uFu8hZqeSNxt+I1V4=; b=F0tYOJWI+28dRjFq0vClBHDyYaLayAVUUguuQG7ci4TpVAZcm3e0Tbap+2Lqh9IcQY rrctB/CcaPEmqwwISBVdnliA4S2v9LRY5ZXiUXRWgQTUdVr6S4GzEWF19K9hqLt8d0dA SKd5kBKbywc88kr0vh9XKlOBYKLlFborGOK+yUS4qd9Ge21y+I2mMghssaDr2DFdnThw STplX3VzSVtx9JpLgsQMWZ+R/qbA+99BK31XA2424rIcPk49YhNl3UQS5PhElPiLo22K 7hUrFaycNawMAazxxYreNNHElcSpJsfKy/a+RtDlo1auQ3PoN8U3hksGU7adgUvtD1yH eAdg== X-Gm-Message-State: AC+VfDzjh7goe9LFuVaQeq7N6yihLO5AqeAcM3+JothsiuJA4FWktM1Q ER2v5YkUSgeVi5fHo+rKWNsQdelwr4/DIFBkOTJITA== X-Google-Smtp-Source: ACHHUZ629t97MTKMQPXc8ggZ3njc5qcQ6ZtPqQVoqDiS39jmjE+sy7o8jEHek25fck4+lnv17tzdFw== X-Received: by 2002:a1c:7203:0:b0:3f6:580:b082 with SMTP id n3-20020a1c7203000000b003f60580b082mr3532694wmc.0.1684829313366; Tue, 23 May 2023 01:08:33 -0700 (PDT) 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 t1-20020a5d6a41000000b003063176ef09sm10442416wrw.6.2023.05.23.01.08.32 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 23 May 2023 01:08:32 -0700 (PDT) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Yannick Moy Subject: [COMMITTED] ada: Add default value at initialization for CodePeer Date: Tue, 23 May 2023 10:08:32 +0200 Message-Id: <20230523080832.1873858-1-poulhies@adacore.com> X-Mailer: git-send-email 2.40.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.6 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: Yannick Moy Avoid spurious alarm by CodePeer analysis by adding default value for a variable initialization. gcc/ada/ * sem_util.adb (Check_Node): Add default init on local Id. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_util.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index c8599d47593..baf4cefdfb3 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -2618,7 +2618,8 @@ package body Sem_Util is function Check_Node (N : Node_Id) return Traverse_Result is Is_Writable_Actual : Boolean := False; - Id : Entity_Id; + Id : Entity_Id := Empty; + -- Default init of Id for CodePeer begin if Nkind (N) = N_Identifier then -- 2.40.0