This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r247157 - in /trunk/gcc/ada: ChangeLog einfo.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 25 Apr 2017 09:25:40 -0000
- Subject: r247157 - in /trunk/gcc/ada: ChangeLog einfo.ad...
Author: charlet
Date: Tue Apr 25 09:25:40 2017
New Revision: 247157
URL: https://gcc.gnu.org/viewcvs?rev=247157&root=gcc&view=rev
Log:
2017-04-25 Gary Dismukes <dismukes@adacore.com>
* exp_ch7.adb, einfo.ads, sem_prag.adb: Minor reformatting and typo
correction.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Comparison_Op): Do not
attempt evaluation of relational operations inside assertions.
2017-04-25 Justin Squirek <squirek@adacore.com>
* exp_util.adb (Add_Interface_Invariants):
Restored, code moved back from Build_Invariant_Procedure_Body.
(Add_Parent_Invariants): Restored, code moved back from
Build_Invariant_Procedure_Body.
(Build_Invariant_Procedure_Body):
Remove refactored calls and integrated code from
Add_Parent_Invariants and Add_Interface_Invariants.
2017-04-25 Johannes Kanig <kanig@adacore.com>
* errout.adb (Output_Messages): Adjust computation of total
errors
* erroutc.adb (Error_Msg): In statistics counts, deal
correctly with informational messages that are not warnings.
* errutil.adb (Finalize): adjust computation of total errors.
2017-04-25 Arnaud Charlet <charlet@adacore.com trojanek>
* terminals.c (__gnat_terminate_pid): New.
* g-exptty.ads (Terminate_Process): New. Update comments.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/einfo.ads
trunk/gcc/ada/errout.adb
trunk/gcc/ada/erroutc.adb
trunk/gcc/ada/errutil.adb
trunk/gcc/ada/exp_ch7.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/g-exptty.adb
trunk/gcc/ada/g-exptty.ads
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/terminals.c