summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* * gcc-interface/gigi.h (create_label_decl): Adjust.ebotcazou2012-01-275-12/+26
| | | | | | | | | | | | * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter and invoke gnat_pushdecl on it. Remove obsolete settings. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to create_label_decl. * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise. Ignore the label for debugging purposes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183606 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliasedebotcazou2012-01-272-4/+46
| | | | | | | | object with an unconstrained nominal subtype and if optimization isn't enabled, create a special VAR_DECL for debugging purposes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183605 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-237-54/+155
| | | | | | | | | | | | | | | | | | | * sem_prag.ads, sem_prag.adb: Minor reformatting. 2012-01-23 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): Check for language defined aspect applied to renaming or formal type declaration (not permitted) 2012-01-23 Matthew Heaney <heaney@adacore.com> * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced comment with pragma Assert. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183423 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Vincent Pucci <pucci@adacore.com>charlet2012-01-234-4/+108
| | | | | | | | | | | | | * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode. * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New routine. In ASIS mode, convert any PPC pragmas into aspects in generic subprogram declaration in order to enable the analysis of PPC boolean expressions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183422 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor reformatting.charlet2012-01-231-8/+14
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183421 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-234-0/+57
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb (Analyze_Object_Declaration): Properly handle Current_Value for volatile variables (also propagate Treat_As_Volatile from type to object). 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch12.adb (Install_Body): Detect the case where the enclosing context is a package with a stub body that has already been replaced by the actual body. In such cases, the freeze node for the enclosing context must be inserted after the real body. 2012-01-23 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called subprogram before expanding the pragma into an if-statement with a block, to ensure that when the subprogram is null its body is properly generated before expansion. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183420 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>charlet2012-01-236-65/+318
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal to Saved_Formal. Freeze all eligible subprograms which appear as actuals in the instantiation. (Has_Fully_Defined_Profile): New routine. (Renames_Standard_Subprogram): New routine. (Earlier): Add local variable N. Comment update. Do not use source locations when trying to determine whether one node precedes another. 2012-01-23 Gary Dismukes <dismukes@adacore.com> * exp_ch4.adb (Expand_Concatenate): In the case where the result of a concatentation can be null, set the to result have both the low and high bounds of the right operand (not just the high bound, as was the case prior to this fix). Also, fix the saved high bound setting (Last_Opnd_High_Bound) in the empty string literal case (should have been low bound minus one, rather than plus one). 2012-01-23 Thomas Quinot <quinot@adacore.com> * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not omit statement SCOs for disabled pragmas. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183419 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Matthew Heaney <heaney@adacore.com>charlet2012-01-2319-524/+573
| | | | | | | | | | | | | | * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads, a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads, a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads, a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read, Cursor'Write): Declare in private part. (Reference_Type'Read, Reference_Type'Write): Ditto. (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183418 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-235-8/+40
| | | | | | | | | * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183417 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Ed Schonberg <schonberg@adacore.com>charlet2012-01-2312-193/+277
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the Corresponding_Body on a defaulted null formal subprogram. * sem_ch12.adb (Check_Formal_Package_Instance): No check needed on a defaulted formal subprogram that is a null procedure. 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch9.adb: Update the comments involving pragma Implemented. * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local constant Subp_Alias and local variable Impl_Subp. Properly handle aliases of synchronized wrappers. Code cleanup. (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add Name_Optional as part of the condition. * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the valid choices of implementation kind. (Check_Arg_Is_One_Of): New routine. * snames.ads-tmlp: Add Name_Optional. 2012-01-23 Ed Schonberg <schonberg@adacore.com> * par-ch13.adb: Better error recovery in illegal aspect specification. 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com> * a-calend.adb: Add with clause for Interfaces.C. Add constant Unix_Max. (Day_Of_Week): Call the internal UTC_Time_Offset. (Split): Call the internal UTC_Time_Offset. (Time_Of): Call the internal UTC_Time_Offset. (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset. (UTC_Time_Offset): New library-level routine. * a-calend.ads (UTC_Time_Offset): Remove parameter Is_Historic. Update related comment on usage. * a-catizo.adb (UTC_Time_Offset): Removed. (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset. * a-caltizo.ads (UTC_Time_Offset): Removed. (UTC_Time_Offset (Time)): Add back the default expression of parameter Date. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183414 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-238-80/+200
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter (pg,po,ps): Make sure each entry starts on new line. 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com> * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update the parameter profile of procedure localtime_tzoff and its associated comment. (Day_Of_Week): Do not treat the input date as historical with respect to time zones. (Split): Do not treat the input date as historical with respect to time zones. (Time_Of): Do not treat the input constituents as forming a historical date with respect to time zones. (UTC_Time_Offset): Add new formal parameter Is_Historic. Add local variable Flag. Update the call to localtime_tzoff. * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine. (UTC_Time_Offset (Time)): Update the call to Time_Zone_Operations.UTC_Time_Offset. * sysdep.c (__gnat_localtime_tzoff): Update parameter profile. Split the processing of offsets on Windows into two - one part of historic time stamps and the other for the current time. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183413 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-235-58/+102
| | | | | | | | | | | | | | | | | | | * a-calend.adb: Minor reformatting. 2012-01-23 Ed Schonberg <schonberg@adacore.com> * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized interface in requeue statement. 2012-01-23 Cyrille Comar <comar@adacore.com> * projects.texi: Remove references to main units and replace with references to main programs to be coherent with the documentation. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183412 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-233-3/+13
| | | | | | | | | | | | | * s-utf_32.adb: Minor reformatting. 2012-01-23 Vincent Celier <celier@adacore.com> * snames.ads-tmpl: Minor comment addition Indicate that Name_Library_Encapsulated_Options is only used in gprbuild. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183411 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-237-11/+69
| | | | | | | | | | | | | | | | | | | | * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit restrictions. 2012-01-23 Ed Schonberg <schonberg@adacore.com> * snames.ads-tmpl: Add Name_Synchronization. * aspects.ads, aspects.adb: Add Aspect_Synchronization to enumeration type and related maps. * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect Synchronization, build corresponding pragma Implemented. * sem_util.adb (Implementation_Kind): Handle both explicit and implicit pragma_argument association to retrieve the given synchronization mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183410 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Robert Dewar <dewar@adacore.com>charlet2012-01-234-8/+25
| | | | | | | | | | | | | | * sem_ch10.adb, errout.adb: Minor reformatting. 2012-01-23 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Actuals): An actual in a call to an Ada 2012 Reference function does not lead to a dangerous order dependence. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183409 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Gary Dismukes <dismukes@adacore.com>charlet2012-01-234-46/+48
| | | | | | | | | | | | | | | | | | | | | * exp_util.adb (Is_Iterated_Container): Test Is_Entity_Name when searching for calls to the default iterator, to avoid blowing up on indirect calls which have an explicit dereference as the call name. 2012-01-23 Thomas Quinot <quinot@adacore.com> * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output the complete expanded name, rather than just its Selector_Name. 2012-01-23 Thomas Quinot <quinot@adacore.com> * a-textio.adb (Put): Rewrite one-parameter Character version to just call the two-parameter one with Current_Out. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183408 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>charlet2012-01-236-36/+140
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * freeze.adb (Check_Current_Instance): Issue an error when the prefix of 'Unchecked_Access or 'Access does not denote a legal aliased view of a type. (Freeze_Record_Type): Do not halt the processing of record components once the Has_Controlled_Component is set as this bypasses the remaining checks. (Is_Aliased_View_Of_Type): New routine. 2012-01-23 Thomas Quinot <quinot@adacore.com> * errout.ads, freeze.adb: Minor reformatting. 2012-01-23 Thomas Quinot <quinot@adacore.com> * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error messages. 2012-01-23 Olivier Hainque <hainque@adacore.com> * adadecode.c (__gnat_decode): Deal with empty input early, preventing potential erroneous memory access later on. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183407 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/46192ebotcazou2012-01-212-0/+14
| | | | | | | | * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a renaming, preserve the volatileness through the indirection, if any. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183365 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (OSCONS_EXTRACT): Addschwab2012-01-142-2/+7
| | | | | | | $(GNATLIBCFLAGS). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183185 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-10 Pascal Obry <obry@adacore.com>charlet2012-01-1046-1027/+2248
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-nmsc.adb (Check_Library_Attributes): Kill check for object/source directories for aggregate libraries. 2012-01-10 Matthew Heaney <heaney@adacore.com> * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads, a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb, a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb, a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb, a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb, a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads, a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare container parameter as aliased in/in out. Code clean ups. 2012-01-10 Bob Duff <duff@adacore.com> * s-os_lib.ads: Improve comment. 2012-01-10 Geert Bosch <bosch@adacore.com> * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing for complex Scalar. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183060 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-10 Bob Duff <duff@adacore.com>charlet2012-01-104-120/+140
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when checking that the 'Size is correct. If the type is "mod 2**12", for example, it's illegal, but Esize is the 'Object_Size, which will be something like 16 or 32, so the error ('Size = 12) was not detected. * gnat_rm.texi: Improve documentation of shift and rotate intrinsics. 2012-01-10 Pascal Obry <obry@adacore.com> * prj.adb (For_Every_Project_Imported): Fix implementation to make sure we return each project only once for aggragte libraries. It is fine to return a project twice for aggregate projects, this was the case as a Project_Id is different in each project tree. The new implementation use a table based on the project name to ensure proper detection of duplicate project in aggregate library. A new context is then created to continue retrurning duplicate project for aggregate libraries. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183059 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (call_to_gnu): Create the temporary for theebotcazou2012-01-092-7/+21
| | | | | | | | | return value in the variable-sized return type case if the target is an array with fixed size. However, do not create it if this is the expression of an object declaration. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183033 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.ebotcazou2012-01-092-2/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183025 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-09 Richard Guenther <rguenther@suse.de>rguenth2012-01-092-18449/+18454
| | | | | | | Rotate changelogs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183007 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-06 Robert Dewar <dewar@adacore.com>charlet2012-01-0616-49/+128
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads, s-utf_32.ads: Add pragma Pure * s-utf_32.adb: Suppress warnings on non-static constants (now that this is Pure). 2012-01-06 Bob Duff <duff@adacore.com> * s-rpc.ads (Read, Write): Add overriding indicators. 2012-01-06 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Add documentation for conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference. 2012-01-06 Gary Dismukes <dismukes@adacore.com> * a-tienio.adb (Put): Add exception message on raise statements. Remove unneeded blocks and object declarations. 2012-01-06 Robert Dewar <dewar@adacore.com> * sem_prag.adb: Minor reformatting. 2012-01-06 Ed Schonberg <schonberg@adacore.com> * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate that a selected component within a generic unit has been resolved as a prefixed call with local references. * sem_ch3.adb (Is_Visible_Component): In an instance body a selected component is always visible. * sem_ch4.adb (Analyze_Selected_Component): If the node is a prefixed call in an instance, do not look for visible components of the type. * sem_ch12.adb (Reset_Entity): If a selected component has resolved to a prefixed call, mark the node accordingly when prefix and selector are local references. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182954 138bc75d-0d04-0410-961f-82ee72b054a4
* * gnatvsn.ads (Current_Year): Bump to 2012.ebotcazou2012-01-022-2/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182783 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-23 Pascal Obry <obry@adacore.com>charlet2011-12-2310-263/+383
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj.ads (For_Every_Project_Imported): Add In_Aggregate_Lib parameter to generic formal procedure. * prj.adb (For_Every_Project_Imported): Update accordingly. (Recursive_Check): Likewise. Do not parse imported project for aggregate library. This is needed as the imported projects are there just to handle dependencies. (Look_For_Sources): Likewise. (Recursive_Add): Likewise. * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Add In_Aggregate_Lib parameter to routines used with For_Every_Project_Imported generic procedure. * prj-nmsc.adb (Tree_Processing_Data): Add In_Aggregate_Lib field. (Check): Move where it is used. Fix implementation to not check libraries that are inside aggregate libraries. (Recursive_Check): Add In_Aggregate_Lib parameter. 2011-12-23 Ed Schonberg <schonberg@adacore.com> * sem_ch7.adb (Analyze_Package_Body, Has_Referencer): A generic package is a referencer regardless of whether there is a subsequent subprogram with an Inline pragma. 2011-12-23 Geert Bosch <bosch@adacore.com> * sem_ch3.adb (Can_Derive_From): Check matching Float_Rep on VMS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182656 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-23 Pascal Obry <obry@adacore.com>charlet2011-12-234-3/+9
| | | | | | | | * gnatcmd.adb, prj.adb, prj-nmsc.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182655 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-22 Hristian Kirtchev <kirtchev@adacore.com>charlet2011-12-225-44/+88
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch7.adb (Build_Adjust_Or_Finalize_Statements): Create the objects associated with exception handling unconditionally. (Build_Adjust_Statements): Create the objects associated with exception handling unconditionally. (Build_Components): Create the objects associated with exception handling unconditionally. (Build_Finalize_Statements): Create the objects associated with exception handling unconditionally. (Build_Initialize_Statements): Create the objects associated with exception handling unconditionally. (Build_Object_Declarations): Set the proper location of the data record when exception propagation is forbidden. 2011-12-22 Gary Dismukes <dismukes@adacore.com> * a-tienio.adb (Put): Test validity of Item parameters before applying Image, and raise Constraint_Error for invalid values. 2011-12-22 Bob Duff <duff@adacore.com> * a-stwima.ads (Initialize,Adjust,Finalize): Add overriding indicators. * a-ststio.ads (AFCB_Allocate,AFCB_Close,AFCB_Free,Read,Write): Add overriding indicators. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182619 138bc75d-0d04-0410-961f-82ee72b054a4
* * s-osinte-hpux-dce.ads: Update header to GPLv3charlet2011-12-222-14/+16
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182618 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-22 Ed Schonberg <schonberg@adacore.com>charlet2011-12-226-7/+125
| | | | | | | | | | | | | | | | | | | * a-cohase.ads, a-cohase.adb: Update to latest RM version. Add aspect Constant_Reference to set type, and corresponding functions. * a-cihama.ads, a-cihama.adb: Update to latest RM version. Add function Reference to provide a proper element iterator construct over indefinite maps. 2011-12-22 Ed Schonberg <schonberg@adacore.com> * exp_attr.adb (Expand_N_Attribute, case 'Access): Do not insert implicit conversion on prefix of Unrestricted_Access when prefix is an explicit dereference. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182617 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-22 Vincent Pucci <pucci@adacore.com>charlet2011-12-225-149/+167
| | | | | | | | | | | | | | * sem_dim.adb: Addressed all ??? comments. Replacement of warnings by errors using continuation marks. (Error_Dim_Msg_For_?): Renaming of Error_Dim_For_?. 2011-12-22 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_ch3.ads, sem_prag.adb: Minor code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182616 138bc75d-0d04-0410-961f-82ee72b054a4
* Provide CLOCK_REALTIME on Tru64 UNIXro2011-12-212-0/+10
| | | | | | * s-oscons-tmplt.c [__alpha__ && __osf__] (_XOPEN_SOURCE): Define. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182592 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Javier Miranda <miranda@adacore.com>charlet2011-12-214-36/+79
| | | | | | | | | | | | | | * sem_ch3.ads, sem_ch3.adb (Check_CPP_Type): New subprogram. (Process_Full_View): Invoke Check_CPP_Type if processing the full-view of a CPP type. * sem_prag.adb (Process_Import_Or_Interface): Add missing support for importing a CPP type that has an incomplete declaration. Move to new routine Check_CPP_Type the code that verifies that components of imported CPP types do not have default expressions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182587 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Vincent Celier <celier@adacore.com>charlet2011-12-2114-75/+180
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-nmsc.adb (Report_No_Sources): Remove argument Lang. Report no sources even for languages that are not allowed. (Add_Source): Get the source even when the language is not allowed. 2011-12-21 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Process_Formals): Add defensive code. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * sem_ch7.adb, sem_ch13.adb (Analyze_Package_Specification): Build the invariant procedure of a type declaration that is a completion and has aspect specifications. (Build_Invariant_Procedure): If the procedure is built for a type declaration that is a completion, analyze body expliitly because all private declarations have been already analyzed. 2011-12-21 Claire Dross <dross@adacore.com> * a-cfdlli.adb, a-cfhase.adb, a-cforma.adb, a-cforse.adb, a-cofove.adb: Minor reformating on formal containers 2011-12-21 Vincent Celier <celier@adacore.com> * makeutl.adb (Mains.Complete_Mains.Do_Complete): Remove any main that is not in the list of restricted languages. (Insert_Project_Sources.Do_Insert): Only add sources of languages in the list of restricted languages. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Valid_Conversion): A type conversion is valid when the target type is an anonymous access type and the operand is a rewriting of an allocator. The conversion is typically inserted when the designated type is an interface. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * exp_ch9.adb (Establish_Task_Master): If the enclosing block has no declarations, create new declarative list for it. 2011-12-21 Matthew Heaney <heaney@adacore.com> * a-rbtgbk.adb (Generic_Conditional_Insert): Fixed incorrect comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182586 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Yannick Moy <moy@adacore.com>charlet2011-12-216-25/+124
| | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not ignore representation attributes in Alfa mode, since formal verification backend does not depend on actual physical representation, but code may still refer to attribute values. 2011-12-21 Yannick Moy <moy@adacore.com> * par-ch13.adb (P_Aspect_Specifications): Recognize the cases where a comma between two aspects is missing, or erroneously replaced by a semicolon, issue an error and proceed with next aspect. * par.adb, sinfo.ads: Fix typos. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Mark_Coextensions): A coextension for an object that is part of the expression in a return statement, or part of the return object in an extended return statement, must be allocated dynamically. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182585 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Matthew Heaney <heaney@adacore.com>charlet2011-12-215-18/+113
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-crbtgk.adb (Generic_Conditional_Insert): Fixed incorrect comment. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): If the name of an element iterator is not an entity name we introduce a local renaming declaration for it. To prevent spurious warnings on parameterless function calls that return a container, when expansion is disabled (either explicitly or because of a previous errors) the name must be marked as not coming from source. 2011-12-21 Arnaud Charlet <charlet@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Separate handling in CodePeer mode and only ignore Component_Size attribute. 2011-12-21 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Process_Formals): Set proper mechanism for formals whose types have conventions Ada_Pass_By_Copy or Ada_Pass_By_Reference. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182584 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Arnaud Charlet <charlet@adacore.com>charlet2011-12-2112-47/+113
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat1drv.adb (Gnat1Drv): Always delete old scil files in CodePeer mode. 2011-12-21 Robert Dewar <dewar@adacore.com> * comperr.adb: Minor reformatting. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * aspects.ads: New table Base_Aspect, to indicate that an aspect is defined on a base type. * aspects.adb (Find_Aspect): If the aspect is a Base_Aspect, examine the representation items of the base type. 2011-12-21 Pascal Obry <obry@adacore.com> * gnat_ugn.texi, prj.ads, prj-nmsc.adb, prj-attr.adb, projects.texi, snames.ads-tmpl: Use Encapsulated instead of Fully Standalone library. 2011-12-21 Pascal Obry <obry@adacore.com> * adaint.c (__gnat_is_executable_file_attr) [_WIN32]: Add parentheses to kill warning. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182582 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Arnaud Charlet <charlet@adacore.com>charlet2011-12-2115-73/+160
| | | | | | | | | | | | | | | | | | | | * comperr.adb (Delete_SCIL_Files): Also delete .scilx files. Fix implementation for child packages and package specs. (Delete_SCIL_Files.Decode_Name_Buffer): New function. 2011-12-21 Robert Dewar <dewar@adacore.com> * err_vars.ads, a-cdlili.adb, a-cfdlli.ads, prj.adb, prj-nmsc.adb, a-cbdlli.adb, a-cbdlli.ads, a-cfdlli.adb: Minor reformatting. 2011-12-21 Vincent Pucci <pucci@adacore.com> * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads, s-llflex.ads: Fix header. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182578 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Thomas Quinot <quinot@adacore.com>charlet2011-12-2110-72/+254
| | | | | | | | | | | | | | | | | | | | | | | | | | * thread.c, s-oscons-tmplt.c, init.c (pthread_condattr_setclock): For AIX 5.2, define as a dummy weak symbol in init.c. (CLOCK_RT_Ada): Set to CLOCK_MONOTONIC on all versions of AIX. 2011-12-21 Thomas Quinot <quinot@adacore.com> * snames.ads-tmpl, sem_ch8.adb: Minor reformatting. * sem_prag.adb: Minor comment clarification. 2011-12-21 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Report_No_Sources): New argument Lang for the language name as a Name_Id. Do not report no sources if language is not allowed. (Add_Source): Do not add source if language is not allowed. * prj.adb (Add_Restricted_Language): New procedure (Is_Allowed_Language): New function * prj.ads (Add_Restricted_Language): New procedure (Is_Allowed_Language): New function git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182577 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Robert Dewar <dewar@adacore.com>charlet2011-12-218-183/+412
| | | | | | | | | | | | | | | | | | * exp_ch5.adb, sem_dim.adb, sem_dim.ads, sem_ch12.adb, prj-conf.adb: Minor reformatting. 2011-12-21 Claire Dross <dross@adacore.com> * a-cfdlli.ads (Constant_Indexing, Default_Iterator, Iterator_Element): Added to type List. (Not_No_Element, List_Iterator_Interfaces, Iterate, Constant_Reference_Type, Constant_Reference): New. * a-cfdlli.adb (type Iterator, Finalize, First, Last, Next, Previous, Iterate, Not_No_Element, Constant_Reference): New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182576 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Gary Dismukes <dismukes@adacore.com>charlet2011-12-2111-1063/+1219
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Minor reformatting. 2011-12-21 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_Iterator_Loop): The cursor operation Has_Element is the formal of Iterator_Interfaces, and within the instantion of this package it is a renaming of some local function with an unrelated name. Retrieve the operation from the instance itself, not from the container package. 2011-12-21 Vincent Pucci <pucci@adacore.com> * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_String replaced by Expand_Put_Call_With_Dimension_Symbol * sem_ch12.adb (Analyze_Package_Instantiation): New check for System.Dim_Float_IO and System.Dim_Integer_IO instantiation. * sem_ch3.adb (Analyze_Declarations): Removed Remove_Dimension_In_Declaration call. * sem_dim.adb: Update comments. Redefine the representation of a Rational. Propagate all changes involving data structures and types throughout the pakage. Output the dimension aggregates for each error messages. ("/"): Rational constructor "/" removed for Whole operands. ("/"): New rational operation "/" for Rational operands. ("*"): Operation "*" between Rational and Int removed. ("abs"): New unary operator "abs" for Rational. (Analyze_Aspect_Dimension_System): Reorganized. (Analyze_Dimension_Identifier): Removed. (Copy_Dimensions): Removed. (Create_Rational_From_Expr): New Boolean parameter. (Dimensions_Msg_Of): New routine. Return a string with the dimensions of the parameter. (From_Dimension_To_String_Of_Symbols): Renaming of From_Dimension_To_String_Id. * sem_dim.ads: Update comments. (Is_Dim_IO_Package_Instantiation): New routine. (Remove_Dimension_In_Declaration): Removed. * sem_res.adb (Resolve_Op_Expon): Reorganized calls of Eval_Op_Expon_For_Dimensioned_Type and Eval_Op_Expon. * s-diflio.ads, s-diinio.ads: Update comments. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182575 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Pascal Obry <obry@adacore.com>charlet2011-12-2114-205/+405
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-attr.adb, snames.ads-tmpl: Add Library_Standalone, Library_Fully_Standalone_Options and Library_Fully_Standalone_Supported attributes. * prj-nmsc.adb (Check_Library): Update check to take into account fully standalone libraries. Such shared libraries can only depend on static libraries. (Check_Stand_Alone_Library): Add support for fully standalone libraries. (Process_Project_Level_Simple_Attributes): Store value for configuration attribute Library_Fully_Standalone_Supported. * prj.ads, makeutl.adb (Standalone): New enumeration type. (Project_Data): Standalone_Library now of type Standlone. (Project_Configuration): Add Lib_Fully_Standalone_Supported field. (Default_Project_Config): Initialize new Lib_Fully_Standalone_Supported field. * clean.adb (Clean_Project): Adjust to new type for Standalone. * make.adb (Library_Phase): Adjust to new type for Standalone. (Gnatmake): Likewise. * mlib-prj.adb (Build_Library): Adjust to new type for Standalone. 2011-12-21 Thomas Quinot <quinot@adacore.com> * gnatls.adb (Gnatls): Call Set_Standard_Error at startup, and then Set_Standard_Output just before producing normal (non-diagnostic) output. * gnatcmd.adb (Gnatcmd): Call Set_Standard_Error at initialization (and again after parsing project files). 2011-12-21 Vincent Celier <celier@adacore.com> * prj-conf.adb (Do_Autoconf): When the object directory does not exist, create auto.cgpr in the directory where temporary files are created. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182573 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Ed Schonberg <schonberg@adacore.com>charlet2011-12-205-424/+562
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch12.adb (Insert_Freeze_Node_For_Instance): Further refinements on the placement of a freeze node for a package instantiation, when the generic appears within a previous instantiation in the same unit.If the current instance is within the one that contains the generic, the freeze node for the current one must appear in the current declarative part. Ditto if the current instance is within another package instance. In these cases the freeze node of the previous instance is is not relevant. New predicate Enclosing_Body simplifies the process. (Freeze_Subprogram_Body): Rename Enclosing_Body to Enclosing_Package_Body, to prevent confusion with subprogram of same name elsewhere. (Install_Body): Recognize enclosing subprogram bodies to determine whether freeze_node belongs in current declarative list. 2011-12-20 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Allow attribute definition clause for renaming if generated internally and generate duplicate clause to apply to renamed object. (Rep_Item_Too_Late): Only diagnose source level entities * prj-nmsc.adb: Minor reformatting. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182542 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Bob Duff <duff@adacore.com>charlet2011-12-207-7/+50
| | | | | | | | | | | | | | | | | | | | | | * opt.ads (List_Inherited_Aspects): Default to False (i.e. -gnatw.L is the default). * usage.adb: Document new default for -gnatw.L. * gnat_ugn.texi: Document -gnatw.l and -gnatw.L switches. * warnsw.adb (Set_Warning_Switch): Do not include List_Inherited_Aspects in -gnatwa. 2011-12-20 Ed Schonberg <schonberg@adacore.com> * checks.adb (Apply_Type_Conversion_Checks): For a discrete type with predicates, indicate unconditionally that a range check is needed. * exp_ch4.adb (Expand_N_In): When the membership test is rewritten to incorporate a call to a predicate function, analyze expression with checks suppressed, to prevent infinite recursion. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182540 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>charlet2011-12-205-41/+180
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch11.adb (Find_Local_Handler): Guard the search over individual exception choices in case the list of handlers contains other (possibly illegal) constructs. 2011-12-20 Gary Dismukes <dismukes@adacore.com> * sem_ch8.adb (Find_Type): Test taggedness of the Available_Type when checking for an illegal use of an incomplete type, when the incomplete view is a limited view of a type. Remove redundant Is_Tagged test. 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com> * exp_util.adb: Add with and use clause for Aspects. (Is_Finalizable_Transient): Objects which denote Ada containers in the context of iterators are not considered transients. Such object must live for as long as the loop is around. (Is_Iterated_Container): New routine. 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com> * exp_imgv.adb (Expand_Width_Attribute): Add a type conversion from the enumeration subtype to its base subtype. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182539 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor reformatting.charlet2011-12-201-6/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182538 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>charlet2011-12-208-1028/+829
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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 Ed Schonberg <schonberg@adacore.com>charlet2011-12-203-20/+53
| | | | | | | | | | | * sem_ch13.adb (Check_Indexing_Functions): The return type of an indexing function can be the default element type, and does not need to be a reference type. * sem_ch4.adb (Try_Container_Indexing): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182536 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Robert Dewar <dewar@adacore.com>charlet2011-12-2011-11/+570
| | | | | | | | | | | | | | | | | | | | | | | | | * 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
OpenPOWER on IntegriCloud