projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef25192) | patch
get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when they are declared...
authorArnaud Charlet <charlet@adacore.com>
Mon, 2 May 2016 09:53:16 +0000 (09:53 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 May 2016 09:53:16 +0000 (11:53 +0200)
commitbcb0389ef322d30c3031fffe2e6ed0ed7df494d6
tree51a7901301fd632b8cc42618ad15eacd4c8bd780tree
parentef25192beef53daf8cecb32384b1d69d1cfddac9commit | diff
get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when they are declared...

2016-05-02  Arnaud Charlet  <charlet@adacore.com>

* get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when
they are declared; refine type of a counter from Integer to Natural.
* sem_ch5.adb, gnatcmd.adb, s-intman-posix.adb, eval_fat.adb,
prj.adb, sem_util.adb, s-intman-android.adb, prj-nmsc.adb, sem_ch8.adb,
exp_ch3.adb: Minor editing.

From-SVN: r235729
12 files changed:
gcc/ada/ChangeLog diff | blob | history
gcc/ada/eval_fat.adb diff | blob | history
gcc/ada/exp_ch3.adb diff | blob | history
gcc/ada/get_spark_xrefs.adb diff | blob | history
gcc/ada/gnatcmd.adb diff | blob | history
gcc/ada/prj-nmsc.adb diff | blob | history
gcc/ada/prj.adb diff | blob | history
gcc/ada/s-intman-android.adb diff | blob | history
gcc/ada/s-intman-posix.adb diff | blob | history
gcc/ada/sem_ch5.adb diff | blob | history
gcc/ada/sem_ch8.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history