diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-08-24 13:27:49 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-04 14:47:30 +0100 |
| commit | 052888415bc54b82ecf0aabe4495bd04f0ecf3bc (patch) | |
| tree | 4f1b62f6c4892690807a773814dbeacc66df0a42 /gcc | |
| parent | 31392801794f057dab9df4b3f4cd7b516210c199 (diff) | |
| download | gcc-052888415bc54b82ecf0aabe4495bd04f0ecf3bc.zip gcc-052888415bc54b82ecf0aabe4495bd04f0ecf3bc.tar.gz gcc-052888415bc54b82ecf0aabe4495bd04f0ecf3bc.tar.bz2 | |
ada: Cleanup code for warnings about unreferenced formal parameters
Cleanup related to new checks for unset references.
gcc/ada/
* sem_warn.adb (Check_References): Remove redundant guard, as it
is implied by a preceding call to Referenced_Check_Spec.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index a7f220b..77d5821 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -1639,15 +1639,6 @@ package body Sem_Warn is not Is_Package_Or_Generic_Package (Cunit_Entity (Current_Sem_Unit)))) - -- Exclude formal parameters from bodies if the corresponding - -- spec entity has been referenced in the case where there is - -- a separate spec. - - and then not (Is_Formal (E1) - and then Ekind (Scope (E1)) = E_Subprogram_Body - and then Present (Spec_Entity (E1)) - and then Referenced (Spec_Entity (E1))) - -- Consider private type referenced if full view is referenced. -- If there is not full view, this is a generic type on which -- warnings are also useful. |