]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Mark artificial formal parameters in the debug info
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 22 Aug 2022 21:32:05 +0000 (23:32 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 6 Sep 2022 07:14:24 +0000 (09:14 +0200)
gcc/ada/

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

gcc/ada/gcc-interface/decl.cc

index 96ea13e43d1843a5fc84365747364803dfbac032..504920d0f9afecca3f55ba0e941db5450c4f9ada 100644 (file)
@@ -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;