diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 14:33:50 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 14:33:50 +0200 |
| commit | fc3a3580dad5f061d1ac645ddb8b0c78889d10a8 (patch) | |
| tree | fede0c12c626ebdcfb62006d351e6274b14a2242 /gcc/ada/lib-load.adb | |
| parent | 7504523eca9e01f30629b7bc22da57546ccd488d (diff) | |
| download | gcc-fc3a3580dad5f061d1ac645ddb8b0c78889d10a8.zip gcc-fc3a3580dad5f061d1ac645ddb8b0c78889d10a8.tar.gz gcc-fc3a3580dad5f061d1ac645ddb8b0c78889d10a8.tar.bz2 | |
[multiple changes]
2016-10-12 Jerome Lambourg <lambourg@adacore.com>
* init.c: Make sure to call finit on x86_64-vx7 to reinitialize
the FPU unit.
2016-10-12 Arnaud Charlet <charlet@adacore.com>
* lib-load.adb (Load_Unit): Generate an error message even when
Error_Node is null.
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* lib-writ.adb (Write_ALI): Disable optimization related to transitive
limited_with clauses for now.
2016-10-12 Javier Miranda <miranda@adacore.com>
* sem_attr.adb (Analyze_Attribute_Old_Result): Generating C
code handle 'old located in inlined _postconditions procedures.
(Analyze_Attribute [Attribute_Result]): Handle 'result when
rewriting the attribute as a reference to the formal parameter
_Result of inlined _postconditions procedures.
2016-10-12 Tristan Gingold <gingold@adacore.com>
* s-rident.ads (Profile_Info): Remove
Max_Protected_Entries restriction from GNAT_Extended_Ravenscar
* sem_ch9.adb (Analyze_Protected_Type_Declaration):
Not a controlled type on restricted runtimes.
2016-10-12 Gary Dismukes <dismukes@adacore.com>
* sem_ch3.adb (Derive_Subprogram): Add test
for Is_Controlled of Parent_Type when determining whether an
inherited subprogram with one of the special names Initialize,
Adjust, or Finalize should be derived with its normal name even
when inherited as a private operation (which would normally
result in the inherited operation having a special "hidden" name).
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Call): If a function call returns a
limited view of a type replace it with the non-limited view,
which must be available when compiling call. This was already
done elsewhere for non-overloaded calls, but needs to be done
after resolution if function name is overloaded.
2016-10-12 Javier Miranda <miranda@adacore.com>
* a-tags.adb (IW_Membership [private]): new overloaded
subprogram that factorizes the code needed to check if a
given type implements an interface type.
(IW_Membership
[public]): invoke the new internal IW_Membership function.
(Is_Descendant_At_Same_Level): Fix this routine to implement RM
3.9 (12.3/3)
From-SVN: r241036
Diffstat (limited to 'gcc/ada/lib-load.adb')
| -rw-r--r-- | gcc/ada/lib-load.adb | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/lib-load.adb b/gcc/ada/lib-load.adb index 83d3576..c66fd72 100644 --- a/gcc/ada/lib-load.adb +++ b/gcc/ada/lib-load.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, 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- -- @@ -784,7 +784,7 @@ package body Lib.Load is -- Generate message if unit required - if Required and then Present (Error_Node) then + if Required then if Is_Predefined_File_Name (Fname) then -- This is a predefined library unit which is not present @@ -799,7 +799,9 @@ package body Lib.Load is -- the message about the restriction violation is generated, -- if needed. - Check_Restricted_Unit (Load_Name, Error_Node); + if Present (Error_Node) then + Check_Restricted_Unit (Load_Name, Error_Node); + end if; Error_Msg_Unit_1 := Uname_Actual; Error_Msg -- CODEFIX |