]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c485a15) | patch
ada: Avoid checking parameters of protected procedures
authorViljar Indus <indus@adacore.com>
Thu, 22 Feb 2024 12:27:14 +0000 (14:27 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 16 May 2024 08:49:32 +0000 (10:49 +0200)
commitc3b570b5d9354a2366c29c4eb8eaa41c1d087e41
treefd9116858893f4e2be0c10d0286a6c8ed472c80atree
parentc485a154ae0cfa1a63c79a1f3b82d6f2d4a107b5commit | diff
ada: Avoid checking parameters of protected procedures

The compiler triggers warnings on generated protected procedures
if the procedure does not have an explicit spec. Instead check
if the body was created for a protected procedure if the spec
is not present.

gcc/ada/

* sem_ch6.adb (Analyze_Subprogram_Body_Helper):
If the spec is not present for a subprogram body then
check if the body definiton was created for a protected
procedure.
gcc/ada/sem_ch6.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git