diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 11:25:40 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 11:25:40 +0200 |
| commit | ded462b0dea5615ac36e1256caffa5f2c7f5f1b8 (patch) | |
| tree | 4c18b037e9441b84759df1504f08ff05956af053 /gcc/ada/contracts.adb | |
| parent | d1eb8a82b2851aba9cc35cc698be7dbf4f80ec9a (diff) | |
| download | gcc-ded462b0dea5615ac36e1256caffa5f2c7f5f1b8.zip gcc-ded462b0dea5615ac36e1256caffa5f2c7f5f1b8.tar.gz gcc-ded462b0dea5615ac36e1256caffa5f2c7f5f1b8.tar.bz2 | |
[multiple changes]
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.
From-SVN: r247157
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions