summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* 2011-11-04 Robert Dewar <dewar@adacore.com>charlet2011-11-044-3/+20
| | | | | | | | | | | | | * sem_prag.adb: Minor reformatting. * gnat_rm.texi: Update documentation for pragma Warnings (Off, "***") usage. * exp_ch2.adb (Expand_Entity_Reference): Only set Atomic_Sync_Required on entities that are variables. Doesn't make any sense on anything else. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180939 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-04 Robert Dewar <dewar@adacore.com>charlet2011-11-043-4/+28
| | | | | | | | | | | * exp_ch2.adb (Expand_Entity_Reference): Extend handling of atomic sync to type case. * sem_prag.adb (Process_Suppress_Unsuppress): Atomic Sync can apply to types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180938 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-04 Robert Dewar <dewar@adacore.com>charlet2011-11-0432-2967/+696
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_warn.adb (Warn_On_Useless_Assignment): More accurate test for call vs assign. * gcc-interface/Make-lang.in: Update dependencies. 2011-11-04 Robert Dewar <dewar@adacore.com> * sem_prag.adb: Detect more cases of Long_Float inconsistencies at compile time. 2011-11-04 Matthew Heaney <heaney@adacore.com> * Makefile.rtl, impunit.adb: Added a-sfecin.ads, * a-sfhcin.ads, a-sflcin.ads, a-sbecin.ad[sb], a-sbhcin.ad[sb], a-sblcin.ad[sb], a-suecin.ad[sb], a-suhcin.ad[sb], a-sulcin.ad[sb] * a-sfecin.ads, a-sfhcin.ads, a-sflcin.ads, a-sbecin.ad[sb], a-sbhcin.ad[sb], a-sblcin.ad[sb], a-suecin.ad[sb], a-suhcin.ad[sb], a-sulcin.ad[sb]: New files. 2011-11-04 Geert Bosch <bosch@adacore.com> * i-forbla-unimplemented.ads, s-gecola.adb, s-gecola.ads, s-gerebl.adb, s-gerebl.ads, i-forbla.adb, i-forbla.ads, i-forlap.ads, i-forbla-darwin.adb, s-gecobl.adb, s-gecobl.ads, s-gerela.adb, s-gerela.ads: Remove partial interface to BLAS/LAPACK. * gcc-interface/Makefile.in: Remove libgnala and related objects. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180935 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Do not assertebotcazou2011-11-042-1/+7
| | | | | | | that the type of the parameters isn't dummy in type_annotate_only mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180931 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-04 Matthew Heaney <heaney@adacore.com>charlet2011-11-0431-16/+672
| | | | | | | | | | | | | | | | | | | | | * a-cdlili.ad[sb], a-cidlli.ad[sb], a-coorse.ad[sb], a-ciorse.ad[sb], a-coorma.ad[sb], a-ciorma.ad[sb], a-coormu.ad[sb], a-ciormu.ad[sb], a-cohama.ad[sb], a-cihama.ad[sb], a-cohase.ad[sb], a-cihase.ad[sb], a-convec.ad[sb], a-coinve.ad[sb] (Assign, Copy): New operations added to package. 2011-11-04 Robert Dewar <dewar@adacore.com> * sem_ch12.adb: Minor reformatting 2011-11-04 Gary Dismukes <dismukes@adacore.com> * bindgen.adb (Gen_Elab_Calls): In the case of the AAMP target, initialize elaboration entities to zero when specs are processed. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180930 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix minor issuesebotcazou2011-10-301-26/+22
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180675 138bc75d-0d04-0410-961f-82ee72b054a4
* ada:iains2011-10-282-0/+18
| | | | | | | | | | | PR target/50678 * init.c (Darwin/__gnat_error_handler): Apply a work-around to the bug [filed as radar #10302855], which is inconsistent unwind data for sigtramp. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180613 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/50842ebotcazou2011-10-282-8/+19
| | | | | | | | | | | | | * gcc-interface/Makefile.in (SYMDEPS): Delete. (LIBICONV): New variable. (LIBICONV_DEP): Likewise. (LIBS): Add $(LIBICONV). (LIBDEPS): Add $(LIBICONV_DEP). (EXTRA_GNATTOOLS_OBJS): Merge into... (TOOLS_LIBS): ...this. Add $(LIBICONV). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180605 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (elaborate_expression_1): Add EXPR_PUBLIC_P localebotcazou2011-10-262-6/+11
| | | | | | | variable. Always create the elaboration variable, if any, as constant. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180541 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Try toebotcazou2011-10-266-38/+39
| | | | | | | | | | | | | | | | | | | | | make a packable type for fields of union types as well. <is_type>: Use RECORD_OR_UNION_TYPE_P predicate. (gnat_to_gnu_component_type): Try to make a packable type for fields of union types as well. (make_packable_type): Use RECORD_OR_UNION_TYPE_P predicate. (maybe_pad_type): Try to make a packable type for fields of union types as well. (gnat_to_gnu_field): Likewise. (is_variable_size): Use RECORD_OR_UNION_TYPE_P predicate. (set_rm_size): Likewise. (rm_size): Likewise. * gcc-interface/misc.c (gnat_type_max_size): Likewise. * gcc-interface/trans.c (add_decl_expr): Likewise. * gcc-interface/utils.c (finish_record_type): Likewise. * gcc-interface/utils2.c (build_simple_component_ref): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180540 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_field): Always check componentsebotcazou2011-10-262-8/+15
| | | | | | | declared as atomic. Move around conditionally executed code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180539 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix date.charlet2011-10-241-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180380 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-24 Robert Dewar <dewar@adacore.com>charlet2011-10-2415-112/+245
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem.adb (Initialize): Fix bug that blew up if called a second time. 2011-10-24 Robert Dewar <dewar@adacore.com> * tb-alvxw.c, tracebak.c, expect.c, initflt.c, tb-alvms.c, tb-ivms.c, tb-gcc.c: Update headers to GPL 3. 2011-10-24 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Debug): Give proper pragma name in error msg. 2011-10-24 Hristian Kirtchev <kirtchev@adacore.com> * gnat_rm.texi Add an entry for restriction No_Finalization. 2011-10-24 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Insert_Freeze_Node_For_Instance): 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 both of these cases the freeze node of the previous instance is not relevant. 2011-10-24 Gary Dismukes <dismukes@adacore.com> * switch-m.adb (Normalize_Compiler_Switches): Add recognition of AAMP-specific switches -univ and -aamp_target. 2011-10-24 Robert Dewar <dewar@adacore.com> * a-tienau.adb (Put): Deal properly with limited line length. 2011-10-24 Robert Dewar <dewar@adacore.com> * sem_warn.adb, sem_ch12.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180375 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-16 Tristan Gingold <gingold@adacore.com>charlet2011-10-242-3/+11
| | | | | | | | * gcc-interface/Makefile.in: Use GNU ld switches to generate map files on AIX. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180374 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-24 Ed Schonberg <schonberg@adacore.com>charlet2011-10-2416-515/+842
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch12.adb (Earlier): make available globally. If both nodes have the same sloc, the freeze node that does not come from source is the later one. (True_Parent): Make available globally. (Previous_Instance): Subsidiary of Insert_Freeze_Node_For_Instance, to check whether the generic parent of the current instance is declared within a previous instance in the same unit or declarative part, in which case the freeze nodes of both instances must appear in order to prevent elaboration problems in gigi. * sem_ch12.adb (Insert_Freeze_Node_For_Instance): A stub is a freeze point, and the freeze node of a preceding instantiation must be inserted before it. 2011-10-24 Robert Dewar <dewar@adacore.com> * checks.ads, checks.adb: Add handling of Synchronization_Check * debug.adb: Add doc for -gnatd.d and -gnatd.e (disable/enable atomic sync). * exp_ch2.adb (Expand_Entity_Reference): Set Atomic_Sync_Required flag Minor code reorganization. * opt.ads (Warn_On_Atomic_Synchronization): New switch. * par-prag.adb: Add dummy entries for pragma Disable/Enable_Atomic_Synchronization. * sem_prag.adb (Process_Suppress_Unsuppress): Handle case of Atomic_Synchronization specially (not suppressed by All_Checks, cannot be set from Source). (Pragma Disable/Enable_Atomic_Synchronization): Add processing. * sinfo.ads, sinfo.adb: Add Atomic_Sync_Required flag * snames.ads-tmpl: Add entry for Atomic_Synchronization Add entry for pragma Disable/Enable_Atomic_Synchronization * switch-c.adb: The -gnatp switch does not disable Atomic_Synchronization Add -gnatep switch to disable Atomic_Synchronization. * types.ads: Add entry for Synchronization_Check * usage.adb: Add line for -gnated switch * warnsw.adb: Settings for Warn_On_Atomic_Synchronization git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180373 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-24 Geert Bosch <bosch@adacore.com>charlet2011-10-245-53/+103
| | | | | | | | | | | | | | | | | | * s-gearop.adb (Back_Substitute): Avoid overflow if matrix bounds start at Integer'First. 2011-10-24 Robert Dewar <dewar@adacore.com> * sem_ch12.adb, s-gearop.adb: Minor reformatting 2011-10-24 Robert Dewar <dewar@adacore.com> * warnsw.adb: Add some missing warnings to Set_GNAT_Mode_Warnings * warnsw.ads: Add comments to Set_GNAT_Mode_Warnings git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180372 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-24 Emmanuel Briot <briot@adacore.com>charlet2011-10-246-16/+319
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb (Process_Expression_Variable_Decl): No special handling for Project_Path unless it is an attribute. 2011-10-24 Javier Miranda <miranda@adacore.com> * sem_ch12.adb (Check_Hidden_Primitives): New subprogram. (Install_Hidden_Primitives): New subprogram. (Restore_Hidden_Primitives): New subprogram. (Analyze_Formal_Package_Declaration, Analyze_Package_Instantiation, Analyze_Subprogram_Instantiation): Invoke Check_Hidden_Primitives after every call to Analyze_Associations, and invoke Restore_Hidden_Primitives to restore their visibility after processing the instantiation. (Instantiate_Package_Body): Install visible primitives before analyzing the instantiation and uninstall them to restore their visibility when the instantiation has been analyzed. * sem_util.ads, sem_util.adb (Add_Suffix): New subprogram (Remove_Suffix): New subprogram * sem_ch3.adb (Derive_Subprogram): When handling a derived subprogram for the instantiation of a formal derived tagged type, inherit the dispatching attributes from the actual subprogram (not from the parent type). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180370 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-24 Vasiliy Fofanov <fofanov@adacore.com>charlet2011-10-249-69/+194
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Document explicit use of XDECGNAT library. 2011-10-24 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Build_Assignment): Add local constant N_Loc and update its uses. (Build_Discriminant_Assignments): Add local variable D_Loc and update its uses. (Build_Init_Statements): Add local variables Comp_Loc, Decl_Loc and Var_Loc and update their uses. (Build_Record_Init_Proc): Code reformatting. (Increment_Counter): Add formal parameter Loc. (Make_Counter): Add formal parameter Loc. 2011-10-24 Eric Botcazou <ebotcazou@adacore.com> * sem_disp.adb (Covers_Some_Interface): Fix typo. 2011-10-24 Matthew Heaney <heaney@adacore.com> * a-cuprqu.adb, a-cbprqu.adb (Dequeue_Only_High_Priority): Predicate had wrong sense. 2011-10-24 Yannick Moy <moy@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications/Aspect_Test_Case): Translate arguments in positional notation into pragma argument association arguments for the generated pragma. 2011-10-24 Arnaud Charlet <charlet@adacore.com> * exp_ch5.adb: Fix minor typo. 2011-10-24 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Is_Visible_Component): Refine predicate for the case of a component reference in an instance body, when the enclosing type is private. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180369 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-24 Sergey Rybin <rybin@adacore.com frybin>charlet2011-10-248-125/+301
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: For gnatelim, move the note about using the GNAT driver for getting the project support into gnatelim section. 2011-10-24 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Minor correction to documentation on address clause. 2011-10-24 Hristian Kirtchev <kirtchev@adacore.com> * s-finmas.adb (Attach): Synchronize and call the unprotected version. (Attach_Unprotected): New routine. (Delete_Finalize_Address): Removed. (Delete_Finalize_Address_Unprotected): New routine. (Detach): Synchronize and call the unprotected version. (Detach_Unprotected): Remove locking. (Finalize): Add various comment on synchronization. Lock the critical region and call the unprotected versions of routines. (Finalize_Address): Removed. (Finalize_Address_Unprotected): New routine. (Set_Finalize_Address): Synchronize and call the unprotected version. (Set_Finalize_Address_Unprotected): New routine. (Set_Heterogeneous_Finalize_Address): Removed. (Set_Heterogeneous_Finalize_Address_Unprotected): New routine. (Set_Is_Heterogeneous): Add comment on synchronization and locking. * s-finmas.ads: Flag Finalization_Started is no longer atomic because synchronization uses task locking / unlocking. (Attach): Add comment on usage. (Attach_Unprotected): New routine. (Delete_Finalize_Address): Renamed to Delete_Finalize_Address_Unprotected. (Detach): Add comment on usage. (Detach_Unprotected): New routine. (Finalize_Address): Renamed to Finalize_Address_Unprotected. (Set_Finalize_Address): Add comment on usage. (Set_Finalize_Address_Unprotected): New routine. (Set_Heterogeneous_Finalize_Address): Renamed to Set_Heterogeneous_Finalize_Address_Unprotected. * s-stposu.adb (Allocate_Any_Controlled): Add local variable Allocation_Locked. Add various comments on synchronization. Lock the critical region and call the unprotected version of routines. (Deallocate_Any_Controlled): Add various comments on synchronization. Lock the critical region and call the unprotected version of routines. 2011-10-24 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Set_Fixed_Range): The bounds of a fixed point type are universal and must carry the corresponding type. * sem_eval.adb (Check_Non_Static_Context): If the type of the expression is universal real, as may be the case for a fixed point expression with constant operands in the context of a conversion, there is nothing to check. * s-finmas.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180368 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (create_concat_name): Add explicit cast.ebotcazou2011-10-232-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180347 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (GNATLIBFLAGS, GNATLIBCFLAGS, THREAD_KIND,ebotcazou2011-10-202-6/+23
| | | | | | | | | TRACE): Reintroduce. (ada/tracebak.o, ada/targext.o, ada/cio.o, ada/init.o, ada/initialize.o, ada/raise.o): Reintroduce explicit compilation rules. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180246 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (lhs_or_actual_p): New predicate.ebotcazou2011-10-202-17/+37
| | | | | | | | (unchecked_conversion_nop): Use it. (gnat_to_gnu): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180243 138bc75d-0d04-0410-961f-82ee72b054a4
* * back_end.adb (Call_Back_End): Pass the maximum logical line numberebotcazou2011-10-203-1/+15
| | | | | | | | instead of the maximum physical line number to gigi. * gcc-interface/trans.c (Sloc_to_locus): Cope with line zero. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180242 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix minor issuesebotcazou2011-10-201-2/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180236 138bc75d-0d04-0410-961f-82ee72b054a4
* Linemap infrastructure for virtual locationsdodji2011-10-172-6/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is the first instalment of a set which goal is to track locations of tokens across macro expansions. Tom Tromey did the original work and attached the patch to PR preprocessor/7263. This opus is a derivative of that original work. This patch modifies the linemap module of libcpp to add virtual locations support. A virtual location is a mapped location that can resolve to several different physical locations. It can always resolve to the spelling location of a token. For tokens resulting from macro expansion it can resolve to: - either the location of the expansion point of the macro. - or the location of the token in the definition of the macro - or, if the token is an argument of a function-like macro, the location of the use of the matching macro parameter in the definition of the macro The patch creates a new type of line map called a macro map. For every single macro expansion, there is a macro map that generates a virtual location for every single resulting token of the expansion. The good old type of line map we all know is now called an ordinary map. That one still encodes spelling locations as it has always had. As a result linemap_lookup as been extended to return a macro map when given a virtual location resulting from a macro expansion. The layout of structs line_map has changed to support this new type of map. So did the layout of struct line_maps. Accessor macros have been introduced to avoid messing with the implementation details of these datastructures directly. This helped already as we have been testing different ways of arranging these datastructure. Having to constantly adjust client code that is too tied with the internals of line_map and line_maps would have been even more painful. Of course, many new public functions have been added to the linemap module to handle the resolution of virtual locations. This patch introduces the infrastructure but no part of the compiler uses virtual locations yet. However the client code of the linemap data structures has been adjusted as per the changes. E.g, it's not anymore reliable for a client code to manipulate struct line_map directly if it just wants to deal with spelling locations, because struct line_map can now represent a macro map as well. In that case, it's better to use the convenient API to resolve the initial (possibly virtual) location to a spelling location (or to an ordinary map) and use that. This is the reason why the patch adjusts the Java, Ada and Fortran front ends. Also, note that virtual locations are not supposed to be ordered for relations '<' and '>' anymore. To test if a virtual location appears "before" another one, one has to use a new operator exposed by the line map interface. The patch updates the only spot (in the diagnostics module) I have found that was making the assumption that locations were ordered for these relations. This is the only change that introduces a use of the new line map API in this patch, so I am adding a regression test for it only. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180081 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-16 Tristan Gingold <gingold@adacore.com>charlet2011-10-1610-57/+109
| | | | | | | | | | | | | | | | | | | | | | | | | | * link.c (_AIX): Add support for GNU ld. 2011-10-16 Fedor Rybin <frybin@adacore.com> * gnat_ugn.texi: Fixing gnattest example names in the doc. Adding explanation to additional tests usage. 2011-10-16 Robert Dewar <dewar@adacore.com> * exp_ch6.adb, sem_ch6.adb: Minor reformatting. 2011-10-16 Eric Botcazou <ebotcazou@adacore.com> * a-convec.adb: Fix minor inconsistencies. 2011-10-16 Matthew Heaney <heaney@adacore.com> * a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (package Implementation): Specify pragma Implementation_Defined. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180056 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-15 Nicolas Roche <roche@adacore.com>charlet2011-10-152-1/+6
| | | | | | | | | * gcc-interface/lang-specs.h: Ensure -mrtp switch is passed when using either rtp-smp or ravenscar-cert-rtp runtimes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180026 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-15 Bob Duff <duff@adacore.com>charlet2011-10-157-22/+42
| | | | | | | | | | | | | | | | | | | | | | | | * exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call): Do not create a pool formal on unless RE_Root_Storage_Pool_Ptr is available. (Expand_N_Extended_Return_Statement): Do not create a renaming of the build-in-place pool parameter unless RE_Root_Storage_Pool_Ptr is available. (Make_Build_In_Place_Call_In_Allocator): Add the user-defined pool only if RE_Root_Storage_Pool_Ptr is available. (Make_Build_In_Place_Call_In_Object_Declaration): Do not add a pool actual unless RE_Root_Storage_Pool_Ptr is available. * sem_ch6.adb (Create_Extra_Formals): Add build-in-place pool formal only if RE_Root_Storage_Pool_Ptr is available. 2011-10-15 Matthew Heaney <heaney@adacore.com> * a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (Queue type): Specify Priority aspect for protected type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180025 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-14 Ed Schonberg <schonberg@adacore.com>charlet2011-10-147-50/+65
| | | | | | | | | | | | | | | | | * exp_disp.adb (Check_Premature_Freezing): If an untagged type is a generic actual, it is a subtype of a type that was frozen by the instantiation, and even if not marked frozen it does not affect the construction of the dispatch table. 2011-10-14 Robert Dewar <dewar@adacore.com> * make.adb, mlib-utl.adb, sem_util.adb, sem_ch4.adb: Minor code reformatting. * s-rident.ads: Add missing Compiler_Unit pragma. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179989 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-14 Gary Dismukes <dismukes@adacore.com>charlet2011-10-1410-72/+116
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_res.adb: Minor reformatting. 2011-10-14 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Code and comment reformatting. Use BIP_Task_Master when creating a _master. (BIP_Formal_Suffix): Code reformatting. Correct the case for BIP_Task_Master. (Make_Build_In_Place_Call_In_Object_Declaration): Use BIP_Task_Master when creating a reference to the enclosing function's _master formal. (Move_Activation_Chain): Use BIP_Task_Master when creating a reference to the _master. * exp_ch6.ads: Change BIP_Master to BIP_Task_Master. (Needs_BIP_Finalization_Master): Alphabetized. * sem_ch6.adb (Create_Extra_Formals): Update the usage of BIP_Task_Master. 2011-10-14 Ed Schonberg <schonberg@adacore.com> * par-ch6.adb (P_Return_Object_Declaration): In Ada 2012 mode, reject an aliased keyword on the object declaration of an extended return statement. In older versions of the language indicate that this is illegal in the standard. 2011-10-14 Pascal Obry <obry@adacore.com> * sem_util.adb, sem_ch4.adb: Minor reformatting. 2011-10-14 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb: Recognize properly procedure calls that are transformed into code statements. 2011-10-14 Vincent Celier <celier@adacore.com> * projects.texi: Minor fix in project example. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179986 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-14 Ed Schonberg <schonberg@adacore.com>charlet2011-10-144-47/+76
| | | | | | | | | | | | | | | | | | * sem_util.adb: Return objects are aliased if their type is immutably limited as per AI05-0053. 2011-10-14 Gary Dismukes <dismukes@adacore.com> * exp_ch4.adb (Expand_N_Op_And): Remove Short_Circuit_And_Or expansion code (moved to sem_res) (Expand_N_Op_Or): Remove Short_Circuit_And_Or expansion code (moved to sem_res). * sem_res.adb (Resolve_Logical_Op): Add code to rewrite Boolean "and" and "or" operators as short-circuit "and then" and "or else", when pragma Short_Circuit_And_Or is active. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179985 138bc75d-0d04-0410-961f-82ee72b054a4
* Remove Packages_To_Check parameter.charlet2011-10-133-2/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179918 138bc75d-0d04-0410-961f-82ee72b054a4
* Remove default for argument Packages_To_Check.charlet2011-10-133-2/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179917 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Robert Dewar <dewar@adacore.com>charlet2011-10-1312-68/+82
| | | | | | | | | | | | | | | | | | | | | | | * sem_ch9.adb, sem_util.adb, sem_util.ads, exp_ch6.adb, sem_ch4.adb, sem_ch6.adb, exp_ch3.adb: Minor reformatting. 2011-10-13 Arnaud Charlet <charlet@adacore.com> * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add a-ngcoar.o. 2011-10-13 Jerome Guitton <guitton@adacore.com> * sysdep.c (__gnat_get_task_options): Re-enable VX_SPE_TASK on vThreads 2011-10-13 Eric Botcazou <ebotcazou@adacore.com> * a-convec.ads (Cursor): Minor reformatting. * a-convec.adb (Next): Fix minor inconsistencies. (Previous): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179915 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Ed Schonberg <schonberg@adacore.com>charlet2011-10-139-33/+117
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_util.ads, sem_util.adb (Available_Full_View_Of_Component): New predicate to determine whether some operations on an array type are available when the full view of its component may differ from the view of the point of the array declaration. * sem_ch4.adb (Find_Equality_Types): Use Available_Full_View_Of_Component. * sem_type.adb (Valid_Boolean_Arg, Valid_Comparison_Arg): Ditto 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_ch9.adb: Analyze aspects while discriminants of protected type are visible. 2011-10-13 Geert Bosch <bosch@adacore.com> * Makefile.rtl (GNATRTL_TASKING_OBJECTS): Add a-nlcoar.o, a-nllcar.o, a-nucoar.o and s-gearop.o, as these no longer depend on an external library. * gcc-interface/Makefile.in (GNATRTL_LINEARALGEBRA_OBJS): Remove a-nlcoar.o, a-nllcar.o, a-nucoar.o and s-gearop.o. Update dependencies. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179914 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Cyrille Comar <comar@adacore.com>charlet2011-10-1311-252/+498
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Minor editing. 2011-10-13 Vincent Celier <celier@adacore.com> * projects.texi: Add documentation on packages and attributes that are inherited from a project being extended into the extended project. 2011-10-13 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Build_Master): Rewritten. (Expand_N_Full_Type_Declaration): Reformat the declarative region. Update the call to Build_Master_Renaming. (Expand_Previous_Access_Type): Rewritten. * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Add local constant Result_Subt and update related usage. (Expand_N_Extended_Return_Statement): Add local constant Result_Subt and update related usage. * exp_ch9.adb (Build_Activation_Chain): Rewritten to use the new context detection mechanism. (Build_Class_Wide_Master): Use Insert_Action to add the renaming into the tree. (Build_Master_Entity): Rewritten to use the new context detection mechanism. (Build_Master_Renaming): Add formal parameter Ins_Nod and related usage. Use Insert_Action to add the renaming into the tree. (Find_Enclosing_Context): New subsidiary routine. Rather than relying on enclosing scopes, this routine looks at the tree structure to figure out the proper context for a _master or a _chain. This approach eliminates the issues with transient scopes which have not been converted into blocks. * exp_ch9.ads (Build_Master_Entity): Change parameter profile to better reflect the new usage. Update the related comment. (Build_Master_Renaming): Add formal parameter Ins_Nod. Update the comment on usage. * sem_ch3.adb (Access_Definition): Update the calls to Build_Master_Entity and Build_Master_Renaming. * sem_ch6.adb (Create_Extra_Formals): Add local variable Full_Subt. Code reformatting. * sem_util.adb (Is_Iterator): Alphabetized. (Is_LHS): Alphabetized. (Is_Limited_Class_Wide_Type): New routine. * sem_util.ads (Is_Limited_Class_Wide_Type): New routine. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179913 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Geert Bosch <bosch@adacore.com>charlet2011-10-136-472/+293
| | | | | | | | | | | | | | | | | * a-ngrear.adb (Solve): Make generic and move to System.Generic_Array_Operations. * s-gearop.ads (Matrix_Vector_Solution, Matrix_Matrix_Solution): New generic solvers to compute a vector resp. matrix Y such that A * Y = X, approximately. * s-gearop.adb (Matrix_Vector_Solution, Matrix_Matrix_Solution): Implement using Forward_Eliminate and Back_Substitute * a-ngcoar.adb: Reimplement in pure Ada to remove dependencies on BLAS and LAPACK. * a-ngcoar.ads ("abs"): Fix return type to be real. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179912 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/50589ebotcazou2011-10-133-4/+6
| | | | | | | | * s-linux-alpha.ads: Do not "with" Interfaces.C. * s-linux-sparc.ads: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179911 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Geert Bosch <bosch@adacore.com>charlet2011-10-134-9/+18
| | | | | | | | | | | | | * s-gearop.ads (Forward_Eliminate): Add "abs" formal function returning a Real. * s-gearop.adb (Forward_Eliminate): Remove local "abs" function and use formal. * a-ngrear.adb (Forward_Eliminate): Adjust instantiation for new profile. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179910 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Geert Bosch <bosch@adacore.com>charlet2011-10-134-49/+69
| | | | | | | | | * a-ngrear.adb, s-gearop.adb, s-gearop.ads (Sqrt): Make generic and move to System.Generic_Array_Operations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179909 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Geert Bosch <bosch@adacore.com>charlet2011-10-134-11/+29
| | | | | | | | | | | | * a-ngrear.adb ("abs"): Adjust for modified L2_Norm generic * s-gearop.ads (L2_Norm): Change profile to be suitable for Complex_Vector * s-gearop.adb (L2_Norm): Reimplement using direct definition, not inner product git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179908 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Robert Dewar <dewar@adacore.com>charlet2011-10-1329-90/+152
| | | | | | | | | | | | | | | | | * exp_ch5.adb, sem_ch3.adb, impunit.adb, impunit.ads, sem_type.adb, prj-proc.adb, exp_ch9.adb, s-regpat.adb, sem_ch10.adb, sem_prag.adb, sem_ch12.adb, freeze.adb, sem_attr.adb, sem_attr.ads, gnatlink.adb, par-ch6.adb, exp_ch6.adb, sem_ch4.adb, sem_ch6.adb, sem_ch8.adb, par-util.adb, sem_ch13.adb, lib-xref.adb, g-trasym.adb, g-trasym.ads, exp_aggr.adb, s-taprop-posix.adb: Minor reformatting. 2011-10-13 Geert Bosch <bosch@adacore.com> * s-gearop.adb: Minor comment additions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179907 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Fedor Rybin <frybin@adacore.com>charlet2011-10-138-72/+603
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Add gnattest section. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * freeze.adb: Do not create body of renaming if declaration has errors. 2011-10-13 Olivier Hainque <hainque@adacore.com> * init.c (__gnat_error_handler - vxworks case): Restrict sigtramp calls further, to the ppc+kernel case only. 2011-10-13 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_N_Allocator): Comment reformatting. * exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call): Do not create a pool formal on .NET/JVM. (Expand_N_Extended_Return_Statement): Alphabetize local variables. Do not create a renaming of the build-in-place pool parameter on .NET/JVM. (Make_Build_In_Place_Call_In_Allocator): Add the user-defined pool only on non-VM targets. (Make_Build_In_Place_Call_In_Object_Declaration): Alphabetize local variables. Do not add a pool actual on .NET/JVM. * sem_ch6.adb: Add with and use clause for Targparm. (Create_Extra_Formals): Add build-in-place pool formal only on non-VM targets. * rtsfind.ads: Alphabetize entries. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179906 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Sergey Rybin <rybin@adacore.com>charlet2011-10-136-10/+32
| | | | | | | | | | | | | | | | * gnat_ugn.texi: Minor correction. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb: Minor error message improvement. 2011-10-13 Robert Dewar <dewar@adacore.com> * a-cbprqu.adb, a-ciorma.adb, exp_ch3.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179905 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Gary Dismukes <dismukes@adacore.com>charlet2011-10-132-0/+22
| | | | | | | | | | | | * exp_ch5.adb (Expand_N_Loop_Statement): For the transformation of a for loop for an enumeration type with an enumeration rep clause, which involves moving the original loop parameter into a nested block, the loop parameter's entity must be removed from the entity list of the loop scope. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179904 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Bob Duff <duff@adacore.com>charlet2011-10-137-59/+193
| | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch6.ads (BIP_Storage_Pool): New "extra implicit parameter" that gets passed in the same cases where BIP_Alloc_Form is passed (caller-unknown-size results). BIP_Storage_Pool is used when BIP_Alloc_Form = User_Storage_Pool. In that case, a pointer to the user-defined storage pool is passed at the call site, and this pool is used in callee to allocate the result. * exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call): New version of Add_Alloc_Form_Actual_To_Build_In_Place_Call. Passes the additional BIP_Storage_Pool actual. (Expand_N_Extended_Return_Statement): Allocate the function result using the user-defined storage pool, if BIP_Alloc_Form = User_Storage_Pool. * sem_ch6.adb: Add the "extra formal" for BIP_Storage_Pool. * exp_ch4.adb: Don't overwrite storage pool set by Expand_N_Extended_Return_Statement. * s-stopoo.ads, rtsfind.ads (Root_Storage_Pool_Ptr): New type, for use in build-in-place function calls within allocators where the access type has a user-defined storage pool. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179903 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Sergey Rybin <rybin@adacore.com>charlet2011-10-1311-12/+188
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi, vms_data.ads: Add an option to control enumeration literal casing. 2011-10-13 Nicolas Roche <roche@adacore.com> * gnatlink.adb: Ensure that -mrtp is passed when runtime name ends with 'rtp'. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Pragma, case Unchecked_Union): an unchecked union type can be limited. 2011-10-13 Olivier Hainque <hainque@adacore.com> * init.c (__gnat_error_handler) <VxWorks version>: Add comments on the use of the signal trampoline for PPC in the sjlj case as well. Add legitimate casts, preventing compile time warnings on the (sighandler *) profile. 2011-10-13 Yannick Moy <moy@adacore.com> * sem_aggr.adb (Resolve_Aggr_Expr): Always perform semantic analysis in Alfa mode. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (OK_For_Limited_Init_In_05): Conditional and case expressions are legal limited return values if each one of their dependent expressions are legal. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Procedure_Call_Statement): In Ada 2012 mode, if the prefix of the call is a qualified expression, rewrite as a code statement. * sem_ch13.adb (Analyze_Code_Statement): In Ada 2012 mode, the code statement is legal if it is a rewriting of a procedure call. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Flatten): If a component association has a box, assume that aggregate is not static. (Safe_Aggregate): If a component association in a non-limited aggregate has a box, assume that it cannot be expanded in place. 2011-10-13 Vincent Celier <celier@adacore.com> * prj-conf.adb (Get_Or_Create_Configuration_File): Call Process_Project_Tree_Phase_1 with Packages_To_Check. (Process_Project_And_Apply_Config): Ditto * prj-part.ads, prj-part.adb, prj-pars.ads, prj-pars.adb (Parse): Remove default for argument Packages_To_Check. * prj-proc.adb (Recursive_Process): New argument Packages_To_Check. (Process): Ditto. (Process_Project_Tree_Phase_1): Ditto. (Recursive_Project.Process_Aggregated_Projects): Call Prj.Part.Parse and Process_Project_Tree_Phase_1 with Packages_To_Check. * prj-proc.ads (Process): New argument Packages_To_Check (Process_Project_Tree_Phase_1): Ditto git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179902 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in: Fix typo.charlet2011-10-132-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179900 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Ed Schonberg <schonberg@adacore.com>charlet2011-10-139-15/+415
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch12.adb (Analyze_Formal_{Floating_Type, Signed_Integer_Type, Decimal_Fixed_Point_Type, Discrete_Type}): Use sloc of defining identifier of farmal type declaration, as sloc of generated internal entity, to prevent misplaced references in ali. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_intr.adb (Check_Intrinsic_Operator): Check that type is fully defined before checking that it is a numeric type. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_aggr.adb (Resolve_Record_Aggregate): If a component association for component X has a box, then X is covered in the aggregate even if there is not default value for X in the type declaration, and X has to be default-initialized. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Check_Enum_Image, Analyze_Attribute case 'Value): Mark literals as referenced only if reference is in current source unit. 2011-10-13 Matthew Heaney <heaney@adacore.com> * a-csquin.ads (Enque, Dequeue): Mark interface operations as entries. 2011-10-13 Olivier Hainque <hainque@adacore.com> * sigtramp.h: New file. Prototype and spec of the signal trampoline to be called by an established handler to provide dwarf call frame info before the real signal processing code. * sigtramp-ppcvxw.c: New file. Implementation of the signal trampoline for ppc-vxworks. * init.c (vxworks section): Use it for ppc. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179899 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Thomas Quinot <quinot@adacore.com>charlet2011-10-1316-450/+365
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * par-ch2.adb, par.adb, par-util.adb, par-ch3.adb (Check_Future_Identifier): New subprogram, factors duplicated code from Par.Ch2.P_Identifier and Par.Ch3.P_Defining_Identifier. 2011-10-13 Thomas Quinot <quinot@adacore.com> * s-taprop-posix.adb (Initialize): Always raise Storage_Error if we fail to initialize CV attributes or CV. 2011-10-13 Thomas Quinot <quinot@adacore.com> * s-tasren.adb (Timed_Selective_Wait, case Accept_Alternative_Selected): Use Defer_Abort_Nestable, since we know abortion is already deferred. 2011-10-13 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Build_Class_Wide_Master): Moved to exp_ch9. (Build_Master_Renaming (function)): Removed. (Build_Master_Renaming (procedure)): Moved to exp_ch9. (Expand_Full_Type_Declaration): Alphabetize variables. Reformatting of code and comments. Rewrite the section on processing of anonymous access-to-task types in record components. * exp_ch3.ads (Build_Class_Wide_Master): Moved to exp_ch9. (Build_Master_Renaming): Moved to exp_ch9. * exp_ch9.adb (Build_Class_Wide_Master): Moved from exp_ch3. (Build_Master_Entity): Add formal parameter Use_Current. Reformatting of code and comments. (Build_Master_Renaming): Moved from exp_ch3. * exp_ch9.ads (Build_Class_Wide_Master): Moved from exp_ch3. Update comment on usage. (Build_Master_Entity): Add formal parameter Use_Current. Update comment on usage. (Build_Master_Renaming): Moved from exp_ch3. * sem_ch3.adb (Access_Definition): Remove redundant code to create a _master and a renaming. 2011-10-13 Ed Schonberg <schonberg@adacore.com> * lib-xref.adb: Do no emit reference to overridden operation, if it is internally generated. 2011-10-13 Vincent Celier <celier@adacore.com> * bindgen.adb: Remove any processing related to g-trasym * Makefile.rtl: Add g-trasym.o to GNATRTL_NONTASKING_OBJS * mlib-prj.adb: Remove any processing related to g-trasym. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179898 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud