]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83ebb97) | patch
ada: Cleanup local variable that is only set as an out parameter
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 6 Sep 2022 21:28:26 +0000 (23:28 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 8 Nov 2022 08:34:58 +0000 (09:34 +0100)
commit5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba
treeff7689ea53e734f8fcd8dc42413866e0348b695btree
parent83ebb97db77ec475668d81ba3e717b2ebbeaffb7commit | diff
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.
gcc/ada/exp_spark.adb diff | blob | blame | history
gcc/ada/sem_ch3.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git