diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-05 16:29:57 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-05 16:29:57 +0200 |
| commit | 95081e99e234224e4bff070f2b0c332097f0901e (patch) | |
| tree | 91363a32a29c19d899aa9f267516d2afed823ddd /gcc/ada/errout.ads | |
| parent | 967fb65e809daa9c8d5a233dab77dd5e61d8effc (diff) | |
| download | gcc-95081e99e234224e4bff070f2b0c332097f0901e.zip gcc-95081e99e234224e4bff070f2b0c332097f0901e.tar.gz gcc-95081e99e234224e4bff070f2b0c332097f0901e.tar.bz2 | |
[multiple changes]
2012-10-05 Thomas Quinot <quinot@adacore.com>
* sem_dim.adb, errout.adb, errout.ads (Analyze_Dimension_Call): Add
guard against abnormal tree resulting from a previously diagnosed
illegality.
2012-10-05 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Expression): Rename local variable Cspc to Spec
and update all refs to it. Do not freeze an entity outside a subprogram
body when the original context is an expression function.
2012-10-05 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Default for overflow checking
is suppressed, even if backend overflow/divide checks are enabled.
2012-10-05 Ed Schonberg <schonberg@adacore.com>
* einfo.adb (Set_Invariant_Procedure, Set_Predicate_Function):
chain properly subprograms on Subprograms_For_Type list.
* sem_ch13.ads; (Build_Invariant_Procedure_Declaration): new
procedure, to create declaration for invariant procedure
independently of the construction of the body, so that it can
be called within expression functions.
* sem_ch13.adb (Build_Invariant_Procedure): code cleanup. The
declaration may already have been generated at the point an
explicit invariant aspect is encountered.
* sem_prag.adb; (Analyze_Pragma, case Invariant): create declaration
for invariant procedure.
* sem_ch7.adb (Analyze_Package_Specification): clean up call to
build invariant procedure.
(Preserve_Full_Attributes): propagate information about invariants
if they appear on a completion,
2012-10-05 Pascal Obry <obry@adacore.com>
* gnat_ugn.texi: Update documentation to lift Microsoft C
restriction.
From-SVN: r192128
Diffstat (limited to 'gcc/ada/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 212eea4..7da6493 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -727,6 +727,13 @@ package Errout is -- This routine can only be called during semantic analysis. It may not -- be called during parsing. + procedure Cascaded_Error; + -- When an anomaly is detected, many semantic routines silently bail out, + -- assuming that the anomaly was caused by a previously detected error. + -- This routine should be called in these cases, and will raise an + -- exception if no serious error has been detected. This ensure that the + -- anomaly is never allowed to go unnoticed. + procedure Change_Error_Text (Error_Id : Error_Msg_Id; New_Msg : String); -- The error message text of the message identified by Id is replaced by -- the given text. This text may contain insertion characters in the |