From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 22 Aug 2022 21:32:05 +0000 (+0200)
Subject: [Ada] Mark artificial formal parameters in the debug info
X-Git-Tag: basepoints/gcc-14~4721
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fc52efeb9c6fe214ea78f9d506aa9e8ee9ebdd61;p=thirdparty%2Fgcc.git

[Ada] Mark artificial formal parameters in the debug info

gcc/ada/

	* gcc-interface/decl.cc (gnat_to_gnu_param): Set DECL_ARTIFICIAL.
---

diff --git a/gcc/ada/gcc-interface/decl.cc b/gcc/ada/gcc-interface/decl.cc
index 96ea13e43d18..504920d0f9af 100644
--- a/gcc/ada/gcc-interface/decl.cc
+++ b/gcc/ada/gcc-interface/decl.cc
@@ -5602,6 +5602,7 @@ gnat_to_gnu_param (Entity_Id gnat_param, tree gnu_param_type, bool first,
 
   gnu_param = create_param_decl (gnu_param_name, gnu_param_type);
   TREE_READONLY (gnu_param) = ro_param || by_ref || by_component_ptr;
+  DECL_ARTIFICIAL (gnu_param) = !Comes_From_Source (gnat_param);
   DECL_BY_REF_P (gnu_param) = by_ref;
   DECL_FORCED_BY_REF_P (gnu_param) = forced_by_ref;
   DECL_BY_COMPONENT_PTR_P (gnu_param) = by_component_ptr;