summaryrefslogtreecommitdiff
path: root/gcc/ada/s-dimmks.ads
Commit message (Collapse)AuthorAgeFilesLines
* 2012-07-09 Vincent Celier <celier@adacore.com>charlet2012-07-091-0/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * lib-writ.ads: Add documentation for the Z lines (implicitly withed units) and Y lines (limited withed units). 2012-07-09 Robert Dewar <dewar@adacore.com> * lib.ads, exp_attr.adb, exp_ch9.adb, sem_dim.adb, sem_ch9.adb, sem_prag.adb, sem_ch12.adb, mlib-utl.adb, freeze.adb, sem_res.adb, sem_attr.adb, sem_case.adb, gnatlink.adb, exp_ch4.adb, sem_ch6.adb, sem_elim.adb, s-dimmks.ads, sem_ch13.adb: Minor code clean ups. 2012-07-09 Eric Botcazou <ebotcazou@adacore.com> * gnat_ugn.texi (Switches for gcc): Document -gnatn[12] only lightly in the summary and more thoroughly in inlining section. (Performance Considerations): Document -gnatn[12] in inlining section. 2012-07-09 Tristan Gingold <gingold@adacore.com> * a-exexpr-gcc.adb (Unhandled_Except_Handler): New procedure. (Unhandled_Others_Value): New const. * raise-gcc.c (GNAT_UNHANDLED_OTHERS): Define. (action_descriptor): Remove ttype_entry. (get_action_description_for): Do not assign ttype_entry. (is_handled_by): Consider GNAT_UNHANDLED_OTHERS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189367 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-06-14 Vincent Pucci <pucci@adacore.com>charlet2012-06-141-37/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_Symbol call replaced by Expand_Put_Call_With_Symbol call. * sem_dim.adb: New fields Unit_Names, Unit_Symbols and Dim_Symbols for record type System_Type. (From_Dimension_To_String_Of_Symbols): Removed. (From_Dim_To_Str_Of_Dim_Symbols): Renames previous routine From_Dimension_To_String_Of_Symbols. (From_Dim_To_Str_Of_Unit_Symbols): New routine. (Analyze_Aspect_Dimension): argument Symbol in aspect Dimension aggregate is optional. Named association implemented. (Has_Compile_Time_Known_Expressions): Removed. (Analyze_Aspect_Dimension_System): New component Dim_Symbol in each Dimension aggregate in aspect Dimension_System. Named associations implemented. (Add_Dimension_Vector_To_Buffer): Removed. (Add_Whole_To_Buffer): Removed. (Expand_Put_Call_With_Dimension_Symbol.): Removed. (Expand_Put_Call_With_Symbol): Renames previous routine Expand_Put_Call_With_Dimension_Symbol. (Has_Dimension_Symbols): Removed. (Has_Symbols): Renames previous routine Has_Dimension_Symbols. (Store_String_Oexpon): New routine. * sem_dim.ads (Expand_Put_Call_With_Dimension_Symbol.): Removed. (Expand_Put_Call_With_Symbol): Renames previous routine Expand_Put_Call_With_Dimension_Symbol. * s-diflio.adb, s-diinio.adb (Put): Symbol renames Symbols. (Put_Dim_Of): New routines. * s-diflio.ads, s-diinio.ads: documentation updated. (Put): Symbol renames Symbols. (Put_Dim_Of): New routines. * s-dim.ads: documentation updated. * s-dimmks.ads: dimensioned type and subtypes updated. * snames.ads-tmpl: Name_Dim_Symbol, Name_Put_Dim_Of, Name_Symbol, and Name_Unit_Symbol added. Name_Symbols removed. 2012-06-14 Vincent Pucci <pucci@adacore.com> * freeze.adb (In_Exp_Body): Expression function case added. (Freeze_Expression): Insert the Freeze_Nodes list before the correct current scope in case of a quantified expression. 2012-06-14 Pascal Obry <obry@adacore.com> * projects.texi: Document the Install package for gprinstall. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_elim.adb (Check_For_Eliminated_Subprogram): Do not check within a default expression. * sem_res.adb (Resolve_Call): simplify code. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_case.adb (Check, Issue_Msg): within an instance, non-other values in a variant part or a case expression do not have to belong to the actual subtype. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Validate_Derived_Type_Instance): If parent is an interface type, check whether it is itself a previous formal already instantiated in the current list of actuals. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): The expression for a stream attribute is a name that may be overloaded with other declarations. To determine whether it matches the aspect at the freeze point, it is necessary to verify that one of its interpretations matches. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@188610 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-02-08 Vincent Celier <celier@adacore.com>charlet2012-02-081-4/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects (g-buorma is now imported by sinput). Update dependencies. * scn.adb (Initialize_Scanner): Call Check_For_BOM * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM * sinput.adb: New procedure Check_For_BOM * sinput.ads: New procedure Check_For_BOM 2012-02-08 Vincent Pucci <pucci@adacore.com> * impunit.adb: Dimension package names updated * Makefile.rtl: s-dim added * sem_dim.adb (Is_Procedure_Put_Call): minor changes (Is_Dim_IO_Package_Instantiation): minor changes * sem_dim.ads: minor changes in comments * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and Name_Dim_Integer_IO removed * s-dim.ads: New package. Define the dimension terminology. * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads, * s-dmotpr.ads: Package names updated. * s-diflio.ads, s-diinio.ads: Documentation added and package names updated. 2012-02-08 Gary Dismukes <dismukes@adacore.com> * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test for storage pools to test for an underlying record type rather than testing Is_Tagged_Type, so that simple storage pools will be handled the same as normal Ada storage pools. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184004 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-30 Thomas Quinot <quinot@adacore.com>charlet2012-01-301-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | * exp_aggr.adb (Expand_Record_Aggregate): After creating the _parent aggregate for an extension aggregate, check whether it requires delayed (top-down) expansion. 2012-01-30 Vincent Pucci <pucci@adacore.com> * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten. * snames.ads-tmpl: Name_Item and Name_Symbols added. * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename and change the position of parameter Symbols in every Put routine. * s-dimmks.ads: Convert long float type Mks_Type into long long float. * s-llflex.ads: Modifications in comments. 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch12.adb (Earlier): Do not use the top level source locations of the two input nodes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183701 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>charlet2011-12-201-8/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch4.adb (Operator_Check): Update the call to Is_Dimensioned_Type. * sem_dim.adb: Remove with and use clause for Namet.Sp. Reorganize all type declarations and datastructures involved. Propagate all changes involving data structures and types throughout the pakage. Alphabetize all subprograms. Add ??? comments. (AD_Hash): Removed. (Analyze_Aspect_Dimension): Rewritten. This routine now does all its checks in one pass rather than two. Refactor code. The error message are now in a more GNAT-ish style. (Create_Rational_From_Expr): This is now a function. (Get_Dimensions): Removed. (Get_Dimensions_String_Id): Removed. (Dimensions_Of): New rouitne. (Exists): New routines. (Is_Invalid): New routine. (Permits_Dimensions): Removed. (Present): Removed. (Set_Symbol): New routine. (System_Of): New routine. * sem_dim.ads: Rewrite the top level description of the package. Alphabetize subprograms. Add various comments on subprogram usage. Add ??? comments. (Is_Dimensioned_Type): Renamed to Has_Dimension_System. * sem_res.adb (Resolve_Op_Expon): Update the call to Is_Dimensioned_Type git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182537 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Robert Dewar <dewar@adacore.com>charlet2011-12-201-0/+324
* a-cdlili.ads, sem_cat.adb, sem_ch10.adb: Minor reformatting. 2011-12-20 Bob Duff <duff@adacore.com> * s-taprop-mingw.adb (Yield): Do_Yield is no longer Unreferenced. 2011-12-20 Vincent Pucci <pucci@adacore.com> * impunit.adb: s-dimkio, s-dimmks and s-dmotpr defined as GNAT Defined Additions to System. * Makefile.rtl: s-dimkio, s-dimmks and s-dmotpr added. * s-dimkio.ads, s-dimmks.ads, s-dmotpr.ads: New files. 2011-12-20 Gary Dismukes <dismukes@adacore.com> * sem_ch4.adb (Traverse_Homonyms): Allow a homonym to match when within an instance, even if the homonym is marked Is_Hidden at this point. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182535 138bc75d-0d04-0410-961f-82ee72b054a4