diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:35:36 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:35:36 +0200 |
| commit | ec3c7387ac65ab902350a08c654f4f8f4a65af47 (patch) | |
| tree | 46674070eeb533c4c09eb2241ee5572368108be3 /gcc/ada/exp_intr.ads | |
| parent | 0f6251c7acd787aa24e0e527344d8ac4884a04a2 (diff) | |
| download | gcc-ec3c7387ac65ab902350a08c654f4f8f4a65af47.zip gcc-ec3c7387ac65ab902350a08c654f4f8f4a65af47.tar.gz gcc-ec3c7387ac65ab902350a08c654f4f8f4a65af47.tar.bz2 | |
[multiple changes]
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Resolve_Record_Aggregate): If
Warn_On_Redundant_Constructs is enabled, report a redundant box
association that does not cover any components, as it done for
redundant others associations in case statements.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Collect_Inherited_Class_Wide_Conditions):
Analyze the generated Check pragma for an inherited condition so
that it does not freeze the dispatching type of the primitive
operation, because it is pre-analyzed at the point of the
subprogram declaration (and not in the subprogram body, as is
done during regular expansion).
2016-04-18 Vincent Celier <celier@adacore.com>
* ali.ads: Increase the range of all _Id types to 100 millions.
2016-04-18 Gary Dismukes <dismukes@adacore.com>
* sem_warn.adb (Check_References): Change warning to suggest
using pragma Export rather than saying "volatile has no effect".
2016-04-18 Bob Duff <duff@adacore.com>
* g-souinf.ads (Compilation_ISO_Date): New function to return
the current date in ISO form.
* exp_intr.adb (Expand_Source_Info, Add_Source_Info): Expand
a call to Compilation_ISO_Date into a string literal containing
the current date in ISO form.
* exp_intr.ads (Add_Source_Info): Improve documentation.
* sem_intr.adb (Check_Intrinsic_Subprogram): Recognize
Compilation_ISO_Date.
* snames.ads-tmpl (Name_Compilation_ISO_Date): New Name_Id.
From-SVN: r235120
Diffstat (limited to 'gcc/ada/exp_intr.ads')
| -rw-r--r-- | gcc/ada/exp_intr.ads | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/gcc/ada/exp_intr.ads b/gcc/ada/exp_intr.ads index f9be797..5ba0769 100644 --- a/gcc/ada/exp_intr.ads +++ b/gcc/ada/exp_intr.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- 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- -- @@ -31,15 +31,11 @@ with Types; use Types; package Exp_Intr is procedure Add_Source_Info (Loc : Source_Ptr; Nam : Name_Id); - -- Append a string to Name_Buffer depending on Nam - -- Name_File - append name of source file - -- Name_Line - append line number - -- Name_Source_Location - append source location (file:line) - -- Name_Enclosing_Entity - append name of enclosing entity - -- Name_Compilation_Date - append compilation date - -- Name_Compilation_Time - append compilation time - -- The caller must set Name_Buffer and Name_Len before the call. Loc is - -- passed to provide location information where it is needed. + -- Append a string to Name_Buffer depending on Nam, which is the name of + -- one of the intrinsics declared in GNAT.Source_Info; see g-souinf.ads for + -- documentation of these intrinsics. The caller must set Name_Buffer and + -- Name_Len before the call. Loc is passed to provide location information + -- where it is needed. procedure Expand_Intrinsic_Call (N : Node_Id; E : Entity_Id); -- N is either a function call node, a procedure call statement node, or |