projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d2bc28) | patch
[Ada] Do not mark user parameters of protected subprograms as artificial
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 24 Aug 2022 19:52:32 +0000 (21:52 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 12 Sep 2022 08:16:50 +0000 (10:16 +0200)
commitde01e1b86a1095459883d15224aa195e6a3c71ff
tree187d9ae6cd9a898e51169f2920702566000bcbfftree | snapshot
parent1d2bc28c41b6ddf0b11a7a3d7d312ff45cb2cb7dcommit | diff
[Ada] Do not mark user parameters of protected subprograms as artificial

This occurs because protected subprograms are not translated directly into
object code but first rewritten as a pair of subprograms by the front-end.

gcc/ada/

* exp_ch9.adb (Build_Protected_Spec): Tidy up and propagate the
Comes_From_Source flag onto the new formal parameters.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not check
references for subprograms generated for protected subprograms.
gcc/ada/exp_ch9.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
Domain: System / Toolchain;