summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* 2013-04-11 Robert Dewar <dewar@adacore.com>charlet2013-04-115-4/+18
| | | | | | | | | | * exp_ch4.adb, exp_dist.adb: Minor reformatting. * gnat_rm.texi, gnat_ugn.texi: -020 Add documentation clarifying that check names introduced with pragma Check_Name are suppressed by -gnatp. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197756 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Vincent Celier <celier@adacore.com>charlet2013-04-113-963/+970
| | | | | | | | | * gnat_ugn.texi, projects.texi: Move chapter "Tools Supporting Project Files" from projects.texi to gnat_ugn.texi. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197755 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in: Update dependencies.charlet2013-04-112-9/+13
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197754 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Yannick Moy <moy@adacore.com>charlet2013-04-115-40/+88
| | | | | | | | | | | | | | | | | | | | | | * gnat1drv.adb (Adjust_Global_Switches): Allow missing body in Alfa mode. 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_N_Allocator): Detect the allocation of an anonymous controlled object where the type of the context is named. Use the pool and finalization master of the named access type to allocate the object. 2013-04-11 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Remove most mentions of gprbuild. * projects.texi: Remove all mentions of asociative array attributes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197753 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Robert Dewar <dewar@adacore.com>charlet2013-04-1111-51/+83
| | | | | | | | | | | | | | | | | * sem_prag.adb, sem_attr.adb, gnat1drv.adb, prj-makr.adb, opt.ads, sem_ch13.adb: Minor reformatting. * debug.adb: Minor comment fix (remove junk .I doc). 2013-04-11 Thomas Quinot <quinot@adacore.com> * rtsfind.ads, exp_dist.adb, exp_dist.ads (Rtsfind.PCS_Version, case PolyORB): Bump to 6. (Exp_Dist.PolyORB_Support): Replace TC_Build with Build_Complex_TC. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197752 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Arnaud Charlet <charlet@adacore.com>charlet2013-04-1112-52/+136
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * debug.adb, sem_prag.adb, par-ch2.adb, sem_attr.adb, gnat1drv.adb, exp_disp.adb, opt.ads, sem_ch13.adb (Relaxed_RM_Semantics): New flag. Enable this flag in CodePeer mode, and also via -gnatd.M. Replace some uses of CodePeer_Mode by Relaxed_RM_Semantics. 2013-04-11 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Check_Constrained_Object): If a subtype is created from the renamed object in an object renaming declaration with an unconstrained nominal subtype, freeze the created subtype at once, to prevent order of elaboration issues in the backend. 2013-04-11 Arnaud Charlet <charlet@adacore.com> * exp_aggr.adb (Aggr_Size_OK): Refine setting of Max_Aggr_Size in particular in CodePeer mode. 2013-04-11 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Add documentation for backup copies of project files for gnatname. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197751 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Tristan Gingold <gingold@adacore.com>charlet2013-04-115-10/+65
| | | | | | | | | | | | | | | | | * gnat_rm.texi: Add Detect_BLocking in the ravenscar profile pragma list. 2013-04-11 Vincent Celier <celier@adacore.com> * gnatname.adb (Scan_Args): Recognize new switch --no-backup (Usage): Add line for --no-backup. * opt.ads (No_Nackup): New Boolean variable, initialized to False. * prj-makr.adb (Initialize): Create a backup for an existing project file if gnatname is not invoked with --no-backup. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197750 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Thomas Quinot <quinot@adacore.com>charlet2013-04-111-0/+9
| | | | | | | | | | | | | * exp_ch4.adb: Minor code improvement: replace various calls to Make_If_Statement in expansion with Make_Implicit_If_Statement. 2013-04-11 Eric Botcazou <ebotcazou@adacore.com> * ali.adb: Fix minor typo. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197749 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Thomas Quinot <quinot@adacore.com>charlet2013-04-113-9/+19
| | | | | | | | | | | | | * exp_ch4.adb (Find_Enclosing_Context): Add missing case of N_Procedure_Call_Statement. 2013-04-11 Robert Dewar <dewar@adacore.com> * debug.adb: Minor comment fix. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197748 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Johannes Kanig <kanig@adacore.com>charlet2013-04-113-40/+59
| | | | | | | | | | | | | | | | * debug.adb: Remove comment for -gnatd.G. 2013-04-11 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb (Expand_Record_Equality.Suitable_Element): Remove recursive routine, replace with... (Expand_Record_Equality.Element_To_Compare): New subroutine, implement iterative search for next element to compare. Add explanatory comment in the tagged case. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197747 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Ed Schonberg <schonberg@adacore.com>charlet2013-04-113-294/+228
| | | | | | | | | | | * sem_ch5.adb: remove spurious warning from non-empty loop. * sem_ch8.adb (Enclosing_Instance): Make public to other routines in the package, in order to suppress redundant semantic checks on subprogram renamings in nested instantiations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197746 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Robert Dewar <dewar@adacore.com>charlet2013-04-116-193/+285
| | | | | | | | | | | | | | | | | | | | | | * errout.ads: Minor reformatting. * sem_eval.adb (Why_Not_Static): Now issues continuation messages (Why_Not_Static): Test for aggregates behind string literals. * sem_eval.ads (Why_Not_Static): Now issues continuation messages. 2013-04-11 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Concatenation): Wrap expansion in Expressions_With_Actions. 2013-04-11 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Base_Types_Match): For an actual type in an instance, the base type may itself be a subtype, so find true base type to determine compatibility. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197745 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Robert Dewar <dewar@adacore.com>charlet2013-04-1112-76/+226
| | | | | | | | | | | | | | | | | | | | | | | | | | * s-osprim-mingw.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb. makeutl.adb, sem_ch8.adb: Minor reformatting. 2013-04-11 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Minor fixes for VMS. * ug_words: Minor addition: -gnato? => /OVERFLOW_CHECKS=?. 2013-04-11 Robert Dewar <dewar@adacore.com> * usage.adb (Usage): Minor edit to -gnatW message 2013-04-11 Robert Dewar <dewar@adacore.com> * exp_aggr.adb (Expand_N_Aggregate): Add circuit for handling others for string literal case. Also add big ??? comment about this new code, which should be redundant, but is not. * sem_eval.adb (Eval_Concatenation): Handle non-static case properly (Eval_String_Literal): Handle non-static literal properly git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197744 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-03-20 Tobias Burnus <burnus@net-b.de>burnus2013-03-202-5/+64
| | | | | | | | | * i-fortra.ads: Update comment, add Ada 2012's optional Star and Kind data types for enhanced interoperability. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196814 138bc75d-0d04-0410-961f-82ee72b054a4
* * gnatvsn.ads (Library_Version): Bump to 4.9.ebotcazou2013-03-162-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196700 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/52123ebotcazou2013-03-082-4/+10
| | | | | | | | * seh_init.c (Raise_From_Signal_Handler): Declare as no-return. (__gnat_SEH_error_handler): Likewise. Remove final return. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196536 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroringebotcazou2013-03-062-7/+7
| | | | | | | out for an unimplemented attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196507 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper aroundebotcazou2013-03-062-1/+13
| | | | | | | a misaligned integral type if a size is specified for the field. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196506 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:ebotcazou2013-03-062-1/+6
| | | | | | | Record the unpadded type of the index type on the RCI stack. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196504 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (emit_range_check): Assert that the range typeebotcazou2013-03-062-7/+16
| | | | | | | is a numerical type and remove useless local variables. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196500 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h: Back out change accidentally committed.ebotcazou2013-02-252-7/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196268 138bc75d-0d04-0410-961f-82ee72b054a4
* PR bootstrap/56258jakub2013-02-213-7/+14
| | | | | | | | | | | | | | | * doc/invoke.texi (-fdump-rtl-pro_and_epilogue): Use @item instead of @itemx. * gnat-style.texi (@title): Remove @hfill. * projects.texi: Avoid line wrapping inside of @pxref or @xref. * doc/cp-tools.texinfo (Virtual Machine Options): Use just one @gccoptlist instead of 3 separate ones. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196196 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-14 Rainer Emrich <rainer@emrich-ebersheim.de>ktietz2013-02-142-1/+6
| | | | | | | | PR target/52123 * tracebak.c: Cast from pointer via FARPROC. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196051 138bc75d-0d04-0410-961f-82ee72b054a4
* PR target/50678ebotcazou2013-02-072-9/+50
| | | | | | | | | * init.c (__darwin_major_version): New function for x86-64/Darwin. (__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround on Darwin 12 and above. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195862 138bc75d-0d04-0410-961f-82ee72b054a4
* Revert previous change, unintended.charlet2013-02-065-256/+68
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195805 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Rainer Emrich <rainer@emrich-ebersheim.de>ktietz2013-02-064-11/+26
| | | | | | | | | | | | | | | | | | | PR target/52123 * adaint.c (__gnat_check_OWNER_ACL): Cast from pointer via SECURITY_DESCRIPTOR * (__gnat_set_OWNER_ACL): Cast from DWORD to ACCESS_MODE (__gnat_portable_spawn): Fix cast to char* const* (add_handle): Cast from pointer via void ** (add_handle): Cast from pointer via int * (__gnat_locate_exec_on_path): Cast from pointer via TCHAR * (__gnat_locate_exec_on_path): Cast from pointer via char * * initialize.c (append_arg): Cast from pointer via LPWSTR (__gnat_initialize): Cast from pointer via LPWSTR * seh_init.c (__gnat_map_SEH): Cast from pointer via FARPROC git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195803 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> charlet2013-02-062-2/+18
| | | | | | | | | * gcc-interface/Make-lang.in: Enable System.Stack_Checking.Operations target pairs on VxWorks 5 only. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195802 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Vincent Celier <celier@adacore.com>charlet2013-02-0616-1190/+1688
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb (Process_Aggregated_Projects): Use a new project node tree for each project tree rooted at an aggregated project. 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Is_Interface_Conversion): New routine. (Object_Access_Level): Detect an interface conversion that has been rewritten into a different construct. Use the original form of the conversion to find the access level of the operand. 2013-02-06 Eric Botcazou <ebotcazou@adacore.com> * einfo.ads (Has_Pragma_No_Inline): New flag using Flag201. (Has_Pragma_No_Inline): Declare and mark as inline. (Set_Has_Pragma_No_Inline): Likewise. * einfo.adb (Has_Pragma_No_Inline): New function. (Set_Has_Pragma_No_Inline): New procedure. (Write_Entity_Flags): Handle Has_Pragma_No_Inline. * snames.ads-tmpl (Name_No_Inline): New pragma-related name. (Pragma_Id): Add Pragma_No_Inline value. * par-prag.adb (Prag): Handle Pragma_Inline. * sem_prag.adb (Inline_Status): New enumeration type. (Process_Inline): Change Active parameter to Inline_Status and add support for suppressed inlining. (Analyze_Pragma) <Pragma_Inline>: Adjust to above change. <Pragma_Inline_Always>: Likewise. <Pragma_No_Inline>: Implement new pragma No_Inline. (Sig_Flags): Add Pragma_No_Inline. * gnat_rm.texi (Implementation Defined Pragmas): Add No_Inline. * gnat_ugn.texi (Switches for gcc): Mention Pragma No_Inline. 2013-02-06 Pascal Obry <obry@adacore.com> * s-osprim-mingw.adb (Clock): Make sure we copy all data locally to avoid interleaved modifications that could happen from another task calling Get_Base_Data. (Get_Base_Data): Make it a critical section. Avoid updating if another task has already done it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195801 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Arnaud Charlet <charlet@adacore.com>charlet2013-02-064-8/+47
| | | | | | | | | | | | | | | | * gnat_rm.texi: Fix typos. 2013-02-06 Eric Botcazou <ebotcazou@adacore.com> * sem_prag.adb: Minor reformatting. 2013-02-06 Pascal Obry <obry@adacore.com> * s-tasloc.ads: Set System.Task_Lock to preelaborate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195800 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>charlet2013-02-066-11/+147
| | | | | | | | | | | | | | | | | | | | | * snames.ads-tmpl (Name_Loop_Optimize, Name_No_Unroll, Name_Unroll, Name_No_Vector, Name_Vector): New pragma-related names. (Pragma_Id): Add Pragma_Loop_Optimize value. * par-prag.adb (Prag): Handle Pragma_Loop_Optimize. * sem_prag.adb (Check_Loop_Invariant_Variant_Placement): Rename to... (Check_Loop_Pragma_Placement): ...this. (Analyze_Pragma) <Pragma_Loop_Invariant>: Adjust to above renaming. <Loop_Variant>: Likewise. <Pragma_Loop_Optimize>: Implement new pragma Loop_Optimize. (Sig_Flags): Add Pragma_Loop_Optimize. * gnat_rm.texi (Implementation Defined Pragmas): Add Loop_Optimize. * gnat_ugn.texi (Vectorization of loops): Mention Loop_Optimize. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195799 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Robert Dewar <dewar@adacore.com>charlet2013-02-0614-161/+282
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * osint.ads: Minor fix of typo. 2013-02-06 Sergey Rybin <rybin@adacore.com frybin> * gnat_ugn.texi: gnatmetric: update the documentation of complexity metrics for Ada 2012. 2013-02-06 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Make_Secondary_DT): Code cleanup: remove useless initialization. 2013-02-06 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Build_Discriminant_Constraints): Do not generate overflow checks on a discriminant expression if the discriminant constraint is applied to a private type that has a full view, because the check will be applied when the full view is elaborated. Removing the redundant check is not just an optimization, but it prevents spurious assembler errors, because of the way the backend generates names for expressions that require overflow checking. 2013-02-06 Pascal Obry <obry@adacore.com> * s-osprim-mingw.adb: Removes workaround for an old GNU/Linker limitation on Windows. (DA): Removed. (LIA): Removed. (LLIA): Removed. (TFA): Removed. (BTA): Removed. (BMTA): Removed. (BCA): Removed. (BMCA): Removed. (BTiA): Removed. (Clock): Use variable corresponding to access. (Get_Base_Time): Likewise. (Monotonic_Clock): Likewise. 2013-02-06 Vincent Celier <celier@adacore.com> * make.adb (Gnatmake): When gnatmake is called with a project file, do not invoke gnatbind with -I-. * makeutl.adb (Create_Binder_Mapping_File): Rewrite function. Get the infos from all the sources. 2013-02-06 Ed Schonberg <schonberg@adacore.com> * snames.ads-tmpl: Add Name_Overriding_Renamings and pragma Overriding_Renamings. * par-prag.adb: Recognize pragma Overriding_Renamings. * opt.ads (Overriding_Renamings): flag to control compatibility mode with Rational compiler, replaces Rational_Profile flag. * sem_ch8.adb (Analyze_Subprogram_Renaming): When Overriding_Renamings is enabled, accept renaming declarations where the new subprogram renames and overrides a locally inherited operation. Improve error message for some illegal renamings. * sem_prag.adb (Analyze_Pragma): Add case for Overriding_Renamings. (Set_Rational_Profile): The Rational_Profile enables Overriding_Renamings, Implicit_Packing, and Use_Vads_Size. 2013-02-06 Ed Schonberg <schonberg@adacore.com> * sem_util.adb: Set parent of copied aggregate component, to prevent infinite loop. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195798 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Robert Dewar <dewar@adacore.com>charlet2013-02-0612-23/+64
| | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb, sem_ch10.adb: Minor reformatting. * exp_disp.adb: Minor comment update. * comperr.ads, osint.ads, rtsfind.adb, sem_prag.adb: Minor addition of No_Return pragmas. 2013-02-06 Thomas Quinot <quinot@adacore.com> * targparm.ads, sem_ch13.adb (Support_Nondefault_SSO): New target parameter, defaulted to False for now, indicates targets where non-default scalar storage order may be specified. 2013-02-06 Thomas Quinot <quinot@adacore.com> * sprint.adb (Write_Itype): Treat E_Record_Subtype_With_Private same as E_Record_Subtype. Display E_Class_Wide_Subtype as subtype, not type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195797 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>charlet2013-02-062-7/+13
| | | | | | | | | * sem_ch3.adb (Complete_Private_Subtype): Inherit the Has_Unknown_Discriminants from the full view of the base type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195795 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Tristan Gingold <gingold@adacore.com>charlet2013-02-064-11/+71
| | | | | | | | | | | | | | | | | | | | | | * raise-gcc.c: Remove useless includes (sys/stat.h, adaint.h) Enclosing debugging functions within #ifndef inhibit_libc to support builds without full C headers. 2013-02-06 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi: Add a minimal example of Scalar_Storage_Order. 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch10.adb (Install_Limited_Withed_Unit): Add a missing check to detect a parent-child relationship between two units in order to correctly bypass the installation of a limited view. In other words, the comment on the intended usage of the check was correct, but the code itself did not reflect the behavior. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195794 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Javier Miranda <miranda@adacore.com>charlet2013-02-0614-45/+103
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate the runtime check on assignment to tagged types if compiling with checks suppressed. 2013-02-06 Robert Dewar <dewar@adacore.com> * exp_util.adb, checks.adb, sem_ch12.adb, sem_res.adb, prj-conf.adb, s-os_lib.adb: Minor reformatting 2013-02-06 Vincent Celier <celier@adacore.com> * ug_words: Add -gnateY = /IGNORE_STYLE_CHECKS_PRAGMAS. 2013-02-06 Ed Schonberg <schonberg@adacore.com> * snames.ads-tmpl: Add Name_Rational and pragma Rational. * par-prag.adb: Recognize pragma Rational. * opt.ads (Rational_Profile): flag to control compatibility mode with Rational compiler. * sem_ch8.adb (Analyze_Subprogram_Renaming): When Rational profile is enable, accept renaming declarations where the new subprogram and the renamed entity have the same name. * sem_prag.adb (analyze_pragma): Add pragma Rational, and recognize Rational as a profile. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195793 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>charlet2013-02-068-24/+168
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch5.adb (Expand_Loop_Entry_Attributes): When dealing with a for loop that iterates over a subtype indication with a range, use the low and high bounds of the subtype. 2013-02-06 Nicolas Roche <roche@adacore.com> * s-os_lib.adb (Normalize_Arguments): Arguments containing tabs should be quoted 2013-02-06 Vincent Celier <celier@adacore.com> * prj-conf.adb (Process_Project_And_Apply_Config): New variable Conf_Project. New recursive procedure Check_Project to find a non aggregate project and put its Project_Id in Conf_Project. Fails if no such project can be found. (Get_Or_Create_Configuration_File): New parameter Conf_Project. (Do_Autoconf): Use project directory of project Conf_Project to store the generated configuration project file. * prj-conf.ads (Get_Or_Create_Configuration_File): New parameter Conf_Project. 2013-02-06 Javier Miranda <miranda@adacore.com> * sem_res.adb (Resolve_Actuals): Generate a read reference for out-mode parameters in the cases specified by RM 6.4.1(12). 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_attr.adb (Resolve_Attribute): Do not resolve the prefix of Loop_Entry, instead wait until the attribute has been expanded. The delay ensures that any generated checks or temporaries are inserted before the relocated prefix. 2013-02-06 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195792 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Ed Schonberg <schonberg@adacore.com>charlet2013-02-065-35/+88
| | | | | | | | | | | | | | | | | | | | | | | | | | | * checks.adb (Apply_Discriminant_Check): Look for discriminant constraint in full view of private type when needed. * sem_ch12.adb (Validate_Array_Type_Instance): Specialize previous patch to components types that are private and without discriminants. 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Find_Enclosing_Context): Recognize a simple return statement as one of the cases that require special processing with respect to temporary controlled function results. (Process_Transient_Object): Do attempt to finalize a temporary controlled function result when the associated context is a simple return statement. Instead, leave this task to the general finalization mechanism. 2013-02-06 Thomas Quinot <quinot@adacore.com> * einfo.ads: Minor reformatting. (Status_Flag_Or_Transient_Decl): Add ??? comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195791 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>charlet2013-02-066-154/+352
| | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch4.adb (Expand_N_Expression_With_Actions): Rewritten. This routine should be able to properly detect controlled transient objects in its actions and generate the appropriate finalization actions. * exp_ch6.adb (Enclosing_Context): Removed. (Expand_Ctrl_Function_Call): Remove local subprogram and constant. Use routine Within_Case_Or_If_Expression to determine whether the lifetime of the function result must be extended to match that of the context. * exp_util.ads, exp_util.adb (Within_Case_Or_If_Expression): New routine. 2013-02-06 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Validate_Array_Type_Instance): Extend check for subtype matching of component type of formal array type, to avoid spurious error when component type is a separate actual in the instance, and there may be a discrepancy between private and full view of component type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195790 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Robert Dewar <dewar@adacore.com>charlet2013-02-064-12/+22
| | | | | | | | | | | | | | * s-dim.ads, clean.adb: Minor reformatting. 2013-02-06 Javier Miranda <miranda@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Undo previous patch. (Can_Split_Unconstrained_Function): Only split the inlined function if the compiler generates the code of its body. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195789 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Robert Dewar <dewar@adacore.com>charlet2013-02-0612-97/+157
| | | | | | | | | | | | | | | | | | | | | | | * exp_prag.adb, sem_ch3.adb, exp_attr.adb, sem_prag.adb, sem_ch6.adb, exp_intr.adb, exp_dist.adb, sem_ch13.adb: Internal clean up for N_Pragma nodes. 2013-02-06 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Minor text updates for pragma Warning. 2013-02-06 Geert Bosch <bosch@adacore.com> * s-multip.adb (Number_Of_CPUs): Short-circuit in case of CPU'Last = 1. 2013-02-06 Vincent Celier <celier@adacore.com> * clean.adb (Delete): On VMS use host notation to delete all files. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195788 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Robert Dewar <dewar@adacore.com>charlet2013-02-065-14/+28
| | | | | | | | | * sem_prag.adb, sem_ch6.adb, prj-conf.adb, erroutc.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195787 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Gary Dismukes <dismukes@adacore.com>charlet2013-02-067-68/+188
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (Check_For_Primitive_Subprogram): Test for the special case of a user-defined equality that overrides the predefined equality of a nonderived type declared in a declarative part. * sem_util.adb (Collect_Primitive_Operations): Add test for Is_Primitive when looping over the subprograms following a type, to catch the case of primitives such as a user-defined equality, which otherwise won't be found when the type is not a derived type and is declared in a declarative part. 2013-02-06 Vincent Celier <celier@adacore.com> * prj-conf.adb (Check_Target): Always return True when Target is empty (Get_Or_Create_Configuration_File.Get_Project_Target): New procedure to get the value of attribute Target in the main project. (Get_Or_Create_Configuration_File.Do_Autoconf): No need to get the value of attribute Target in the main project. (Get_Or_Create_Configuration_File): Call Get_Project_Target and use the target fom this call. 2013-02-06 Eric Botcazou <ebotcazou@adacore.com> * erroutc.adb (Validate_Specific_Warning): Do not issue the warning about an ineffective Pragma Warnings for -Wxxx warnings. * sem_prag.adb (Analyze_Pragma) <Warnings>: Accept -Wxxx warnings. * gnat_rm.texi (Pragma Warnings): Document coordination with warnings of the GCC back-end. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195786 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Javier Miranda <miranda@adacore.com>charlet2013-02-063-2/+13
| | | | | | | | | | | | | | * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build the body of an inlined function if we do not generate code for the function. 2013-02-06 Pascal Obry <obry@adacore.com> * s-os_lib.adb (Locate_Exec_On_Path): Call Normalize_Pathname with Resolve_Links set to False. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195785 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c: Include diagnostic-core.h.ebotcazou2013-02-033-2/+15
| | | | | | | | | | (gnat_to_gnu_entity) <E_Array_Type>: Sorry if Reverse_Storage_Order is set on the entity. <E_Record_Type>: Likewise. * gcc-interface/Make-lang.in (ada/decl.o): Add $(DIAGNOSTIC_CORE_H). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195694 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Ben Brosgol <brosgol@adacore.com>charlet2013-01-295-29/+60
| | | | | | | | | | | | | | | | | * gnat_rm.texi: Fixed typos. Minor edits. 2013-01-29 Bob Duff <duff@adacore.com> * a-convec.adb: Minor reformatting. 2013-01-29 Pascal Obry <obry@adacore.com> * tempdir.adb, tempdir.ads (Use_Temp_Dir): Set wether to use the temp directory. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195548 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-01-291-4/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195547 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Ed Schonberg <schonberg@adacore.com>charlet2013-01-294-19/+55
| | | | | | | | | | | | | | | | | | * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Preserve loop identifier only if it comes from source. (Expand_N_Loop_Statement): If the domain of iteration is an enumeration type with a representation clause, remove from visibility the loop identifier before rewriting the loop as a block with a declaration for said identifier. * sem_util.adb (Remove_Homonym): Handle properly the default case. 2013-01-29 Vincent Celier <celier@adacore.com> * prj-proc.adb: Minor comment spelling fix. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195546 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Pascal Obry <obry@adacore.com>charlet2013-01-293-11/+28
| | | | | | | | | * prj-proc.adb (Process_Expression_Variable_Decl): Prepend Project_Path to current environment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195545 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Thomas Quinot <quinot@adacore.com>charlet2013-01-296-41/+73
| | | | | | | | | | | | | | | | | | | * sprint.adb (Sprint_Node_Actual): Output freeze nodes for itypes even if Dump_Freeze_Null is not set. 2013-01-29 Robert Dewar <dewar@adacore.com> * sem_util.adb: Minor reformatting. * s-rident.ads: Minor comment fixes. 2013-01-29 Pascal Obry <obry@adacore.com> * prj-env.ads, prj-env.adb (Add_Directories): Add parameter to control if the path is prepended or appended. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195544 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Ed Schonberg <schonberg@adacore.com>charlet2013-01-294-21/+67
| | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (Analyze_Expression_Function): An expression function declaration is not a subprogram declaration, and thus cannot appear in a protected definition. 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com> * exp_util.adb (Insert_Actions): When new actions come from the expression of the expression with actions, then they must be added to the list of existing actions. 2013-01-29 Eric Botcazou <ebotcazou@adacore.com> * sem_ch3.adb (Analyze_Subtype_Declaration) <Private_Kind>: For the subtype of a constrained private type with discriminants that has got a full view, show that the completion is a clone of the full view. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195543 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud