diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-06-22 09:55:42 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-06-22 09:55:42 +0000 |
commit | ee492a5b794128f2ab7edf2f19678de0d24fecf2 (patch) | |
tree | ef830972e9d2e1878bfd955a0b9be903d0abe9d5 /gcc/ada/ChangeLog | |
parent | c50b38dd50aaa5b287b8725201658dfca5be7501 (diff) | |
download | gcc-ee492a5b794128f2ab7edf2f19678de0d24fecf2.tar.gz |
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not
commented local variables replaced with direct uses of their values.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237685 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ChangeLog')
-rw-r--r-- | gcc/ada/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a8b4fcb2353..dd2f6796335 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2016-06-22 Arnaud Charlet <charlet@adacore.com> + + * lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not + commented local variables replaced with direct uses of their values. + 2016-06-22 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Add_Invariant): Replace the |