diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-02-05 11:22:39 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-02-05 11:22:39 +0000 |
| commit | 31831d39bf4840761c92c9fad5abf29b4feb7b50 (patch) | |
| tree | 8d9d3895dc4cbec40c32fe4e675a705399623c9c /gcc/ada/lib-load.adb | |
| parent | 8f469d1268153509fc5be074c500b8fbec556531 (diff) | |
| download | gcc-31831d39bf4840761c92c9fad5abf29b4feb7b50.tar.gz | |
015-02-05 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Add_Invariants): Don't assume invariant is
standard Boolean.
* sem_prag.adb (Analyze_Pragma, case Check): Don't assume
condition is standard Boolean, it can be non-standard derived
Boolean.
2015-02-05 Robert Dewar <dewar@adacore.com>
* checks.adb (Enable_Range_Check): Disconnect attempted
optimization for the case of range check for subscript of
unconstrained array.
2015-02-05 Robert Dewar <dewar@adacore.com>
* par-ch13.adb (With_Present): New function
(Aspect_Specifications_Present): Handle WHEN in place of WITH
(Get_Aspect_Specifications): Comment update.
* par.adb: Comment updates.
2015-02-05 Robert Dewar <dewar@adacore.com>
* errout.adb (Handle_Serious_Error): New setting of Fatal_Error.
* frontend.adb (Frontend): New setting of Fatal_Error.
* lib-load.adb (Create_Dummy_Package_Unit): New setting of
Fatal_Error.
(Load_Main_Source): New setting of Fatal_Error
(Load_Unit): New setting of Fatal_Error.
* lib-writ.adb (Add_Preprocessing_Dependency): New setting of
Fatal_Error.
(Ensure_System_Dependency): New setting of Fatal_Error.
* lib.adb (Fatal_Error): New setting of Fatal_Error
(Set_Fatal_Error): New setting of Fatal_Error.
* lib.ads: New definition of Fatal_Error and associated routines.
* par-ch10.adb (P_Compilation_Unit): New setting of Fatal_Error.
* par-load.adb (Load): New setting of Fatal_Error.
* rtsfind.adb (Load_RTU): New setting of Fatal_Error.
* sem_ch10.adb (Analyze_Compilation_Unit): New setting of
Fatal_Error.
(Optional_Subunit): New setting of Fatal_Error.
(Analyze_Proper_Body): New setting of Fatal_Error.
(Load_Needed_Body): New setting of Fatal_Error.
2015-02-05 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Call): If the function being called has
out parameters do not check for language version if the function
comes from a predefined unit, as those are always compiled in
Ada 2012 mode.
2015-02-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Process_Full_View): Verify that the full view
of a type extension must carry an explicit limited keyword if
the partial view does (RM 7.3 (10.1)).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220446 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/lib-load.adb')
| -rw-r--r-- | gcc/ada/lib-load.adb | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/gcc/ada/lib-load.adb b/gcc/ada/lib-load.adb index 34b20cc780b..fc52f84f4ef 100644 --- a/gcc/ada/lib-load.adb +++ b/gcc/ada/lib-load.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -212,7 +212,7 @@ package body Lib.Load is Dynamic_Elab => False, Error_Location => Sloc (With_Node), Expected_Unit => Spec_Name, - Fatal_Error => True, + Fatal_Error => Error_Detected, Generate_Code => False, Has_RACW => False, Filler => False, @@ -319,7 +319,7 @@ package body Lib.Load is Dynamic_Elab => False, Error_Location => No_Location, Expected_Unit => No_Unit_Name, - Fatal_Error => False, + Fatal_Error => None, Generate_Code => False, Has_RACW => False, Filler => False, @@ -683,7 +683,7 @@ package body Lib.Load is Dynamic_Elab => False, Error_Location => Sloc (Error_Node), Expected_Unit => Uname_Actual, - Fatal_Error => False, + Fatal_Error => None, Generate_Code => False, Has_RACW => False, Filler => False, @@ -742,10 +742,20 @@ package body Lib.Load is -- If loaded unit had a fatal error, then caller inherits it - if Units.Table (Unum).Fatal_Error - and then Present (Error_Node) - then - Units.Table (Calling_Unit).Fatal_Error := True; + if Present (Error_Node) then + case Units.Table (Unum).Fatal_Error is + when None => + null; + + when Error_Detected => + Units.Table (Calling_Unit).Fatal_Error := Error_Detected; + + when Error_Ignored => + if Units.Table (Calling_Unit).Fatal_Error = None then + Units.Table (Calling_Unit).Fatal_Error := + Error_Ignored; + end if; + end case; end if; -- Remove load stack entry and return the entry in the file table |