diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-09-06 23:28:26 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-08 09:34:58 +0100 |
| commit | 5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba (patch) | |
| tree | ff7689ea53e734f8fcd8dc42413866e0348b695b /gcc/ada/exp_spark.adb | |
| parent | 83ebb97db77ec475668d81ba3e717b2ebbeaffb7 (diff) | |
| download | gcc-5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba.zip gcc-5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba.tar.gz gcc-5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba.tar.bz2 | |
ada: Cleanup local variable that is only set as an out parameter
Minor improvements; found experimenting with improved detection of
unreferenced objects.
gcc/ada/
* exp_spark.adb (SPARK_Freeze_Type): Refine type of a local
object.
* sem_ch3.adb (Derive_Subprograms): Remove initial value for
New_Subp, which is in only written as an out parameter and never
read.
Diffstat (limited to 'gcc/ada/exp_spark.adb')
| -rw-r--r-- | gcc/ada/exp_spark.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index c89d604..ba7bd7fe 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -895,7 +895,7 @@ package body Exp_SPARK is procedure SPARK_Freeze_Type (N : Entity_Id) is Typ : constant Entity_Id := Entity (N); - Renamed_Eq : Node_Id; + Renamed_Eq : Entity_Id; -- Defining unit name for the predefined equality function in the case -- where the type has a primitive operation that is a renaming of -- predefined equality (but only if there is also an overriding |