diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 12:18:12 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 12:18:12 +0200 |
| commit | 42f11e4c26a824c2fa4b8f9bfc9e4af69fe86dc8 (patch) | |
| tree | dbb33c2ad4d55daac28792110fc46b320436430c /gcc/ada/debug.adb | |
| parent | 331e50151c7fbc9931899d0c10fa5fed7be4f8be (diff) | |
| download | gcc-42f11e4c26a824c2fa4b8f9bfc9e4af69fe86dc8.zip gcc-42f11e4c26a824c2fa4b8f9bfc9e4af69fe86dc8.tar.gz gcc-42f11e4c26a824c2fa4b8f9bfc9e4af69fe86dc8.tar.bz2 | |
[multiple changes]
2016-05-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_prag.adb, comperr.adb: Minor reformatting.
2016-05-02 Ed Schonberg <schonberg@adacore.com>
* exp_pakd.adb (Rj_Unchecked_Convert_To): Do not perform an
unchecked conversion if the source size is 0 (indicating that
its RM size is unknown). This will happen with packed arrays of
non-discrete types, in which case the component type is known
to match.
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* debug.adb: Reserve -gnatd.V.
2016-05-02 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Process_Full_View): Remove from visibility
wrappers of synchronized types to avoid spurious errors with
their wrapped entity.
* exp_ch9.adb (Build_Wrapper_Spec): Do not generate the wrapper
if no interface primitive is covered by the subprogram and this is
not a primitive declared between two views; see Process_Full_View.
(Build_Protected_Sub_Specification): Link the dispatching
subprogram with its original non-dispatching protected subprogram
since their names differ.
(Expand_N_Protected_Type_Declaration):
If a protected subprogram overrides an interface primitive then
do not build a wrapper if it was already built.
* einfo.ads, einfo.adb (Original_Protected_Subprogram): New attribute.
* sem_ch4.adb (Names_Match): New subprogram.
* sem_ch6.adb (Check_Synchronized_Overriding): Moved
to library level and defined in the public part of the
package to invoke it from Exp_Ch9.Build_Wrapper_Spec
(Has_Matching_Entry_Or_Subprogram): New subprogram.
(Report_Conflict): New subprogram.
From-SVN: r235739
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index f396913..a4e83a9 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -139,7 +139,7 @@ package body Debug is -- d.S Force Optimize_Alignment (Space) -- d.T Force Optimize_Alignment (Time) -- d.U Ignore indirect calls for static elaboration - -- d.V + -- d.V Do not verify validity of SCIL files (CodePeer mode) -- d.W Print out debugging information for Walk_Library_Items -- d.X Old treatment of indexing aspects -- d.Y @@ -686,6 +686,12 @@ package body Debug is -- reverts to the behavior of earlier compilers, which ignored -- indirect calls. + -- d.V Do not verify the validity of SCIL files (CodePeer mode). When + -- generating SCIL files for CodePeer, by default we verify that the + -- SCIL is well formed before saving it on disk. This switch can be + -- used to disable this checking, either to improve speed or to shut + -- down a false positive detected during the verification. + -- d.W Print out debugging information for Walk_Library_Items, including -- the order in which units are walked. This is primarily for use in -- debugging CodePeer mode. |