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 B38D23858C39 for ; Tue, 21 May 2024 07:30:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B38D23858C39 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine 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 B38D23858C39 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::32f ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716276663; cv=none; b=qh8lLW+vwZX+n/tYMb4bkSFeP1LVoIswGrcGHCo35HrZxct2PwT8lEa7u+IhYsXMSPc/3HtBT4Q+O3PvOWi4a59qqMAN0+xqkcAANe9PeqLYr7gVcF/GLCqJyCwN4sJKzuht7/QpFhONTq7bs+3yx6gPC9MWDmMDEJaBZnpu+Ag= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716276663; c=relaxed/simple; bh=PLSCBuwPclCziwDqN7hTN5MO3hP5vhVCcaX/ddxeEHA=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=IUnAjpX53zrKlXbR28Rop2Adv2PgZjFwRu16rvZmSqEeBznmselXZhyf8eepG4aSVq/ap3QYk76zUetszfivDfxQ0JqQ59tCEMbXJUBG/r/Gwd/O58JDqIGfagmwW2V2O5zc1tYjYskXdU2XjWkaqGO7be+pWvzxtzBjpkK80iM= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x32f.google.com with SMTP id 5b1f17b1804b1-4202cea98daso27537725e9.0 for ; Tue, 21 May 2024 00:30:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1716276657; x=1716881457; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=sqGEJkxfzpgy/BnlFTCqPo8ronFU0hTDWPliH9ChJ3E=; b=YSdyl20E0WF+jcbsS70y2mnr45myXa9sv8kw3SaTF3jw0aAXUSCw42IO+bPMU8J7EK hZHlYpbWKLeDuKjU5WDCXfNAMqn5H9oaAHLvaeFHm3D/ayaU/j647kheTzgOF7x9a8td k2ji0bYfhTc/UaJobR0Sg+9Qyyjd7bpVJeRf1WyYtuzjkLKQPow3zG0Fg2c/M2NefQRD sGyZlkMpNwK2Dwi966UyfAnzID0Pj2ypodRhwSTQ5Ejl+6Ns6swg9otDUzNSG//LpOe0 N0v6sYX0XFnWTsmfiTN9f4eJ5X4H0cLYMsfMg/+Y1f+axw4dog1ryvWdEJoh9TPUMPtV v6GA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1716276657; x=1716881457; h=content-transfer-encoding:mime-version: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=sqGEJkxfzpgy/BnlFTCqPo8ronFU0hTDWPliH9ChJ3E=; b=GtyWZolO/m7wkahi3nPzAlwoHQFT+WuLgzRfcSQHw8eojmTTU4Z+KNiWfpBGiOVsoW VqMO1lg6VD0hErWQd5jGBnbWtGueHejdfh2SbpUJob1lN1uw7BPuRoT2nSf5u7pHNeHO zosFtU8B//vr2lEhG6MUKeL2YmkG0X9uBNBLn6YR/G7b42eYD3hV9zqI4gojTeLf7WAe uswgBmxUSn29yGfelCnq5TsOmU3PIfdCatdbfHJ6KExV1bL4/n5FQ/tzyXFrT3/0kbXv eFrB1arPgcPW7k48811zB2TnGrWdARWRg07rc8VULqx0izaXIRbNF90pNQIoCWA5+6fU eVkg== X-Gm-Message-State: AOJu0YxCC64PiK4qhB6A/imPR6BeIPUpwM8nuyYAaE8Z1XhXiDBd4zWR bXovnAqbSyYjY0V35D3VGGCbBdjdi+Cy8rhZjtZiDZyJY5Dm11NrvmqbKPSUenQksBwrUIo3xS4 = X-Google-Smtp-Source: AGHT+IFkC8N9Z7w3My2QpF/t3hGQMeIM+RaOt5p5ab2lc6m+PlDbpzAr8TQGyqPof2kPoWa0EUP5aQ== X-Received: by 2002:a05:600c:4e88:b0:420:1551:96ab with SMTP id 5b1f17b1804b1-42015519952mr198193855e9.10.1716276657532; Tue, 21 May 2024 00:30:57 -0700 (PDT) Received: from localhost.localdomain ([2001:861:3382:1a90:de37:8b1c:1f33:2610]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-41fccee9292sm453333645e9.37.2024.05.21.00.30.56 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 May 2024 00:30:57 -0700 (PDT) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Viljar Indus Subject: [COMMITTED 12/31] ada: Add elaboration switch tags to info messages Date: Tue, 21 May 2024 09:30:15 +0200 Message-ID: <20240521073035.314024-12-poulhies@adacore.com> X-Mailer: git-send-email 2.43.2 In-Reply-To: <20240521073035.314024-1-poulhies@adacore.com> References: <20240521073035.314024-1-poulhies@adacore.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.8 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 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: Viljar Indus Add the ?$? insertion characters for elaboration message so they would be marked with the [-gnatel] tag. Note that these insertion characters were not added for SPARK elaboration messages: gcc/ada/ * sem_elab.adb: Add missing elaboration insertion characters to info messages. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_elab.adb | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb index 9205f4cef82..4d6e14cc49c 100644 --- a/gcc/ada/sem_elab.adb +++ b/gcc/ada/sem_elab.adb @@ -4920,7 +4920,7 @@ package body Sem_Elab is and then not New_In_State.Suppress_Info_Messages then Error_Msg_NE - ("info: access to & during elaboration", Attr, Subp_Id); + ("info: access to & during elaboration?$?", Attr, Subp_Id); end if; -- Warnings are suppressed when a prior scenario is already in that @@ -5027,7 +5027,7 @@ package body Sem_Elab is and then not New_In_State.Suppress_Info_Messages then Error_Msg_NE - ("info: activation of & during elaboration", Call, Obj_Id); + ("info: activation of & during elaboration?$?", Call, Obj_Id); end if; -- Nothing to do when the call activates a task whose type is defined @@ -6461,7 +6461,7 @@ package body Sem_Elab is if In_SPARK then return " in SPARK"; else - return ""; + return "?$?"; end if; end Suffix; @@ -8277,7 +8277,9 @@ package body Sem_Elab is Error_Msg_Name_1 := Prag_Nam; Error_Msg_Qual_Level := Nat'Last; - Error_Msg_NE ("info: missing pragma % for unit &", N, Unit_Id); + Error_Msg_NE + ("info: missing pragma % for unit &?$?", N, + Unit_Id); Error_Msg_Qual_Level := 0; end if; end Info_Missing_Pragma; @@ -8406,7 +8408,8 @@ package body Sem_Elab is Error_Msg_Qual_Level := Nat'Last; Error_Msg_NE - ("info: implicit pragma % generated for unit &", N, Unit_Id); + ("info: implicit pragma % generated for unit &?$?", + N, Unit_Id); Error_Msg_Qual_Level := 0; Output_Active_Scenarios (N, In_State); -- 2.43.2