diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-25 09:24:26 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-25 09:24:26 +0000 |
| commit | f71b4cd44483310677019f5d47cabbdeedfcfc75 (patch) | |
| tree | cab437b38002c96a86377eab7c6057ea7acb7267 /gcc/ada/adabkend.adb | |
| parent | e98cd75fc3322a267173010e07bb11c6bdb674d1 (diff) | |
| download | gcc-f71b4cd44483310677019f5d47cabbdeedfcfc75.zip gcc-f71b4cd44483310677019f5d47cabbdeedfcfc75.tar.gz gcc-f71b4cd44483310677019f5d47cabbdeedfcfc75.tar.bz2 | |
[multiple changes]
2017-09-25 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Replace_Actual_Discriminants): Replace a discriminant
for GNATprove.
(Resolve_Entry): Clean up predicate
2017-09-25 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Constituent): Raise Unrecoverable_Error rather
than Program_Error because U_E is more in line with respect to the
intended behavior.
2017-09-25 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Resolve_Aspect_Expressions): The expression for aspect
Storage_Size does not freeze, and thus can include references to
deferred constants.
2017-09-25 Hristian Kirtchev <kirtchev@adacore.com>
* exp_spark.adb (Expand_SPARK_Potential_Renaming): Do not process a
reference when it appears within a pragma of no significance to SPARK.
(In_Insignificant_Pragma): New routine.
* sem_prag.ads: Add new table Pragma_Significant_In_SPARK.
2017-09-25 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Associations, case N_Formal_Package): If the
actual is a renaming, indicate that it is the renamed package that must
be frozen before the instantiation.
2017-09-25 Yannick Moy <moy@adacore.com>
* doc/gnat_ugn/gnat_and_program_execution.rst: Fix typo in description
of dimensionality system in GNAT UG.
* gnat_ugn.texi: Regenerate.
2017-09-25 Yannick Moy <moy@adacore.com>
* gnat1drv.adb: Call Check_Safe_Pointers from the frontend in
GNATprove_Mode when switch -gnatdF used.
2017-09-25 Piotr Trojanek <trojanek@adacore.com>
* adabkend.adb (Call_Back_End): Reset Current_Error_Node when starting
the backend.
From-SVN: r253140
Diffstat (limited to 'gcc/ada/adabkend.adb')
| -rw-r--r-- | gcc/ada/adabkend.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/adabkend.adb b/gcc/ada/adabkend.adb index 7eee887..3c84a48 100644 --- a/gcc/ada/adabkend.adb +++ b/gcc/ada/adabkend.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2016, AdaCore -- +-- Copyright (C) 2001-2017, AdaCore -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -22,6 +22,7 @@ -- This is the version of the Back_End package for back ends written in Ada +with Atree; use Atree; with Debug; with Lib; with Opt; use Opt; @@ -56,6 +57,13 @@ package body Adabkend is Write_Eol; end if; + -- Frontend leaves the Current_Error_Node at a location that is + -- meaningless and confusing when emitting bugboxes from the backed. By + -- resetting it here we default to "No source file position information + -- available" message on backend crashes. + + Current_Error_Node := Empty; + Driver (Lib.Cunit (Types.Main_Unit)); end Call_Back_End; |