diff options
| author | Bob Duff <duff@adacore.com> | 2021-07-26 15:26:28 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:50 +0000 |
| commit | c0471c61e1f3bcd86e819f2e6b5e054f80572a41 (patch) | |
| tree | 0713b5f73937f95455f4a901fa09b193f9dbcd77 /gcc/ada/contracts.adb | |
| parent | 490a987e05da85710ca68f4f30948ec904d745e9 (diff) | |
| download | gcc-c0471c61e1f3bcd86e819f2e6b5e054f80572a41.zip gcc-c0471c61e1f3bcd86e819f2e6b5e054f80572a41.tar.gz gcc-c0471c61e1f3bcd86e819f2e6b5e054f80572a41.tar.bz2 | |
[Ada] Fix conformance errors and erroneous code
gcc/ada/
* contracts.adb, einfo-utils.adb, einfo-utils.ads, exp_ch7.adb,
exp_ch9.adb, exp_disp.adb, exp_prag.adb, exp_smem.adb,
exp_util.adb, freeze.adb, sem_aggr.adb, sem_attr.adb,
sem_ch8.adb, sem_prag.ads, sem_util.adb, sem_util.ads: Fix
conformance errors.
* errout.adb, erroutc.adb: Remove pragmas Suppress.
* err_vars.ads: Initialize variables that were previously being
read uninitialized.
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index e37e092..705f197 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -3440,7 +3440,7 @@ package body Contracts is -- Get_Postcond_Enabled -- -------------------------- - function Get_Postcond_Enabled (Subp : Entity_Id) return Node_Id is + function Get_Postcond_Enabled (Subp : Entity_Id) return Entity_Id is Decl : Node_Id; begin Decl := @@ -3465,7 +3465,7 @@ package body Contracts is ------------------------------------ function Get_Result_Object_For_Postcond - (Subp : Entity_Id) return Node_Id + (Subp : Entity_Id) return Entity_Id is Decl : Node_Id; begin @@ -3490,7 +3490,7 @@ package body Contracts is -- Get_Return_Success_For_Postcond -- ------------------------------------- - function Get_Return_Success_For_Postcond (Subp : Entity_Id) return Node_Id + function Get_Return_Success_For_Postcond (Subp : Entity_Id) return Entity_Id is Decl : Node_Id; begin |