diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 12:00:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 12:00:24 +0200 |
| commit | f24ea9120d7b97d0b6b047de94865f7f190e6daa (patch) | |
| tree | 898dcd616c3f4dc1766f5a5d7ddd8d029294e830 /gcc/ada/debug.adb | |
| parent | 3ae6c64384e49b9d60fb622f88ab50a42c4c1d5c (diff) | |
| download | gcc-f24ea9120d7b97d0b6b047de94865f7f190e6daa.zip gcc-f24ea9120d7b97d0b6b047de94865f7f190e6daa.tar.gz gcc-f24ea9120d7b97d0b6b047de94865f7f190e6daa.tar.bz2 | |
[multiple changes]
2016-06-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Is_Predicate_Static): An inherited predicate
can be static only if it applies to a scalar type.
2016-06-22 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Adjust_Result_Type): Convert operand to base
type to prevent spurious constraint checks on subtypes of Boolean.
2016-06-22 Bob Duff <duff@adacore.com>
* debug.adb: Document debug switch -gnatd.o.
* sem_elab.adb (Check_Internal_Call): Debug switch -gnatd.o
now causes a more conservative treatment of indirect calls,
treating P'Access as a call to P in more cases. We Can't make
this the default, because it breaks common idioms, for example
the soft links.
* sem_util.adb: Add an Assert.
2016-06-22 Bob Duff <duff@adacore.com>
* a-cuprqu.ads, a-cuprqu.adb: Completely rewrite this package. Use
red-black trees, which gives O(lg N) worst-case performance on
Enqueue and Dequeue. The previous version had O(N) Enqueue in
the worst case.
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* sem_warn.adb: minor style fix in comment.
* spark_xrefs.ads (Scope_Num): type refined to positive integers.
* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
moved into scope of Collect_SPARK_Xrefs.
(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
of scopes.
* sem_ch3.adb (Build_Discriminal): Set Parent of the discriminal.
From-SVN: r237687
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index a4e83a9..e3c53dd 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -105,7 +105,7 @@ package body Debug is -- d.l Use Ada 95 semantics for limited function returns -- d.m For -gnatl, print full source only for main unit -- d.n Print source file names - -- d.o + -- d.o Conservative elaboration order for indirect calls -- d.p -- d.q -- d.r Enable OK_To_Reorder_Components in non-variant records @@ -556,6 +556,9 @@ package body Debug is -- compiler has a bug -- these are the files that need to be included -- in a bug report. + -- d.o Conservative elaboration order for indirect calls. This causes + -- P'Access to be treated as a call in more cases. + -- d.r Forces the flag OK_To_Reorder_Components to be set in all record -- base types that have no discriminants. |