diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-14 14:17:48 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-14 14:17:48 +0200 |
commit | 0da343bce0e3847e887d2ab4ef22e74d15026b62 (patch) | |
tree | f5f86e698416e487e7780f983d356ef6f4c866b6 /gcc/ada/sem_ch12.adb | |
parent | a5150cb18f6ba057d1c3ab144e12822421fff434 (diff) | |
download | gcc-0da343bce0e3847e887d2ab4ef22e74d15026b62.tar.gz |
[multiple changes]
2016-06-14 Hristian Kirtchev <kirtchev@adacore.com>
* lib.adb: Minor reformatting.
* sem_util.adb (Is_OK_Volatile_Context): Do
include Address in the supported attributes.
2016-06-14 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Expand_N_Case_Expression):
Code cleanup. Finalize any transient controlled
objects on exit from a case expression alternative.
(Expand_N_If_Expression): Code cleanup.
(Process_Actions): Removed.
(Process_If_Case_Statements): New routine.
(Process_Transient_Object): Change the name of formal Rel_Node to
N and update all occurrences. Update the comment on usage. When
the type of the context is Boolean, the proper insertion point
for the finalization call is after the last declaration.
2016-06-14 Ed Schonberg <schonberg@adacore.com>
* lib-xref.ads, lib-xref.adb (Has_Deferred_Reference): new
predicate to determine whether an entity appears in a context
for which a Deferred_Reference was created, because it is not
possible to determine when reference is analyzed whether it
appears in a context in which the entity is modified.
* sem_ch5.adb (Analyze_Statement): Do not emit a useless warning
on assignment for an entity that has a deferred_reference.
2016-06-14 Javier Miranda <miranda@adacore.com>
* sem_res.adb (Resolve_Actuals): Generate a reference to actuals that
come from source. Previously the reference was generated only if the
call comes from source but the call may be rewritten by the expander
thus causing the notification of spurious warnings.
2016-06-14 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb: Remove further references to AAMP.
* checks.adb (Apply_Scalar_Range_Check): Take
Check_Float_Overflow info account.
* live.ads, live.adb Added subprogram headers and
start-of-processing-for comments.
* sem_ch12.adb (Instantiate_Package_Body): Do not suppress
checks when instantiating runtime units in CodePeer mode.
From-SVN: r237432
Diffstat (limited to 'gcc/ada/sem_ch12.adb')
-rw-r--r-- | gcc/ada/sem_ch12.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 9daba776d11..ac0ba4d86d9 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -11001,8 +11001,12 @@ package body Sem_Ch12 is -- Note that we do NOT apply this criterion to children of GNAT -- The latter units must suppress checks explicitly if needed. - if Is_Predefined_File_Name - (Unit_File_Name (Get_Source_Unit (Gen_Decl))) + -- We also do not suppress checks in CodePeer mode where we are + -- interested in finding possible runtime errors. + + if not CodePeer_Mode + and then Is_Predefined_File_Name + (Unit_File_Name (Get_Source_Unit (Gen_Decl))) then Analyze (Act_Body, Suppress => All_Checks); else |