summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
* Mark ChangeLoggccadmin2014-10-301-0/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@216901 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-10-27 Eric Botcazou <ebotcazou@adacore.com>ebotcazou2014-10-272-17/+27
| | | | | | | | | | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Remove superfluous computation for the max size. <E_Array_Subtype>: Likewise. Make sure that the max size calculation does not overflow at compile time. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@216726 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/63225ebotcazou2014-10-133-28/+36
| | | | | | | | | * uintp.adb (Vector_To_Uint): Move from here to... * uintp.ads (UI_Vector): Make public. (Vector_To_Uint): ...here. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@216140 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-08-12 Joel Sherrill <joel.sherrill@oarcorp.com>joel2014-08-123-1/+11
| | | | | | | | | * socket.c: For RTEMS, use correct prototype of gethostbyname_r(). * gsocket.h Add include of <unistd.h> on RTEMS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@213882 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-08-11 Joel Sherrill <joel.sherrill@oarcorp.com>joel2014-08-112-1/+5
| | | | | | | | * s-osinte-rtems.adb: Correct formatting of line in license block. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@213839 138bc75d-0d04-0410-961f-82ee72b054a4
* Mark ChangeLoggccadmin2014-07-161-0/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@212627 138bc75d-0d04-0410-961f-82ee72b054a4
* Backport from mainlineebotcazou2014-05-192-5/+17
| | | | | | | | | | 2014-04-22 Richard Henderson <rth@redhat.com> * init.c [__linux__] (HAVE_GNAT_ALTERNATE_STACK): New define. (__gnat_alternate_stack): Enable for all linux except ia64. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@210622 138bc75d-0d04-0410-961f-82ee72b054a4
* * utils.c (gnat_write_global_declarations): Adjust the flags put onebotcazou2014-05-182-1/+7
| | | | | | | dummy_global. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@210590 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Do notebotcazou2014-05-182-2/+9
| | | | | | | consider that regular packed arrays can never be superflat. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@210584 138bc75d-0d04-0410-961f-82ee72b054a4
* Backport from mainlineebotcazou2014-05-1713-135/+184
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2014-04-28 Richard Henderson <rth@redhat.com> * gcc-interface/Makefile.in: Support aarch64-linux. 2014-04-28 Eric Botcazou <ebotcazou@adacore.com> * exp_dbug.ads (Get_External_Name): Add 'False' default to Has_Suffix, add 'Suffix' parameter and adjust comment. (Get_External_Name_With_Suffix): Delete. * exp_dbug.adb (Get_External_Name_With_Suffix): Merge into... (Get_External_Name): ...here. Add 'False' default to Has_Suffix, add 'Suffix' parameter. (Get_Encoded_Name): Remove 2nd argument in call to Get_External_Name. Call Get_External_Name instead of Get_External_Name_With_Suffix. (Get_Secondary_DT_External_Name): Likewise. * exp_cg.adb (Write_Call_Info): Likewise. * exp_disp.adb (Export_DT): Likewise. (Import_DT): Likewise. * comperr.ads (Compiler_Abort): Remove Code parameter and add From_GCC parameter with False default. * comperr.adb (Compiler_Abort): Likewise. Adjust accordingly. * types.h (Fat_Pointer): Rename into... (String_Pointer): ...this. Add comment on interfacing rules. * fe.h (Compiler_Abort): Adjust for above renaming. (Error_Msg_N): Likewise. (Error_Msg_NE): Likewise. (Get_External_Name): Likewise. Add third parameter. (Get_External_Name_With_Suffix): Delete. * gcc-interface/decl.c (STDCALL_PREFIX): Define. (create_concat_name): Adjust call to Get_External_Name, remove call to Get_External_Name_With_Suffix, use STDCALL_PREFIX, adjust for renaming. * gcc-interface/trans.c (post_error): Likewise. (post_error_ne): Likewise. * gcc-interface/misc.c (internal_error_function): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@210547 138bc75d-0d04-0410-961f-82ee72b054a4
* Mark ChangeLoggccadmin2014-04-221-0/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_9-branch@209603 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/54040ebotcazou2014-04-093-2/+5
| | | | | | | | | | PR ada/59346 * s-osinte-x32.adb (To_Timespec): Add use directive. * s-osprim-x32.ads (Clock): Adjust. (To_Timespec): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209257 138bc75d-0d04-0410-961f-82ee72b054a4
* Adjustebotcazou2014-04-091-1/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209247 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/54040ebotcazou2014-04-0917-62/+293
| | | | | | | | | | | | | | | | | | | | | | | | PR ada/59346 * s-osinte-x32.adb: New file. * s-linux.ads (Time): New section. * s-linux-alpha.ads (Time): Likewise. * s-linux-android.ads (Time: Likewise. * s-linux-hppa.ads (Time): Likewise. * s-linux-mipsel.ads (Time): Likewise. * s-linux-sparc.ads (Time): Likewise. * s-linux-x32.ads (Time): Likewise. * s-osprim-x32.ads (timespec): Adjust. * s-osinte-linux.ads (Time): Define local subtypes for those defined in System.Linux. * s-taprop-linux.adb (Monotonic_Clock): Do not define timeval. * s-osinte-hpux.ads (timespec): Revert POSIX breakage. * s-osinte-kfreebsd-gnu.ads (timespec): Likewise. * s-osinte-solaris-posix.ads (timespec): Likewise. * s-osinte-posix.adb (To_Timespec): Likewise. * gcc-interface/Makefile.in (x32/Linux): Use s-osinte-x32.adb. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209244 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/60411ebotcazou2014-04-091-15/+9
| | | | | | | * s-osinte-android.ads: Adjust. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209237 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/60411ebotcazou2014-04-082-3/+23
| | | | | | | * sigtramp.h: Add Android support. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209227 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/60411ebotcazou2014-04-083-1/+164
| | | | | | | * sigtramp-armdroid.c: New file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209211 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/60411ebotcazou2014-04-084-4/+458
| | | | | | | | | * gcc-interface/Makefile.in (arm% linux-android): Switch to EHABI. * s-linux-android.ads: New file. * s-intman-android.adb: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209210 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (alpha-vms): Add missing line.ebotcazou2014-04-072-1/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@209195 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/60703ebotcazou2014-03-3011-32/+59
| | | | | | | | | | | | | | | | * system-linux-alpha.ads: Adjust for Ada 2005. * system-linux-mips.ads: Likewise. * system-linux-mips64el.ads: Likewise. * system-linux-mipsel.ads: Likewise. * system-linux-s390.ads: Likewise. * system-linux-s390x.ads: Likewise. * system-linux-sparc.ads: Likewise. * system-linux-sparcv9.ads: Likewise. * system-rtems.ads: Likewise. * system-vxworks-arm.ads: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208945 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/39172schwab2014-03-162-0/+7
| | | | | | | | * gcc/ada/gcc-interface/Makefile.in (target_cpu_default): Revert 2013-10-11 change. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208605 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/51483ebotcazou2014-03-137-37/+85
| | | | | | | | | | | | | | | | | | | | * cstand.adb (Register_Float_Type): Add 'precision' parameter and use it to set the RM size. Use directly 'size' for the Esize. (Create_Back_End_Float_Types): Adjust call to above. * get_targ.ads (Register_Type_Proc): Add 'precision' parameter. * set_targ.ads (FPT_Mode_Entry): Add 'precision' component. (Write_Target_Dependent_Values): Adjust comment. * set_targ.adb (Register_Float_Type): Add 'precision' parameter and deal with it. (Write_Target_Dependent_Values): Write the precision in lieu of size. (Initialization): Read the precision in lieu of size and compute the size from the precision and the alignment. * gcc-interface/gigi.h (enumerate_modes): Add integer parameter. * gcc-interface/misc.c (enumerate_modes): Likewise. Do not register types for vector modes, pass the size in addition to the precision. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208546 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (ADA_DEPFILES): Fix typo.ebotcazou2014-03-102-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208466 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-03-07 Doug Rupp <rupp@adacore.com>charlet2014-03-072-4/+10
| | | | | | | | | | | PR ada/60411 * system-linux-armel.ads (Backend_Overflow_Checks): Set to True. (Support_64_Bit_Divides): Removed, no longer used. (ZCX_By_Default): Enabled. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208419 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Doug Rupp <rupp@adacore.com>charlet2014-02-252-3/+27
| | | | | | | | | | | | | | | | * gcc-interface/Makefile.in (arm-linux): (EH_MECHANISM): Use ARM unwinder (-arm) (LIBGNAT_TARGET_PAIRS: Override defaults with a-exexpr-gcc.adb and s-excmac-arm.ads. (EXTRA_LIBGNAT_OBJS): Add raise-gcc.o (EXTRA_GNATRTL_NONTASKING_OBJS): Add g-cppexc.o s-excmac.o. (arm-wrs-vxworks): Add EH_MECHANISM=-gcc for kernel mode. (EXTRA_LIBGNAT_OBJS): Add sigtramp-armvxw.o Add dependencies for sigtramp-armvxw.o. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208150 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Pragma_to_gnu): Deal with Warning_As_Error.charlet2014-02-252-4/+25
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208149 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2511-87/+127
| | | | | | | | | | | | | | | | | | | | | | | * rtsfind.adb (Is_RTE): Protect against entity with no scope field (previously this call blew up on the Standard entity). * sem_attr.adb (Analyze_Attribute, case Access): Remove test for No_Abort_Statements, this is now handled in Set_Entity_With_Checks. * exp_ch6.adb, sem_ch10.adb, sem_ch4.adb, sem_ch8.adb, sem_res.adb: Change name Set_Entity_With_Style_Check => Set_Entity_With_Checks. * sem_util.ads, sem_util.adb: Change name Set_Entity_With_Style_Check => Set_Entity_With_Checks. (Set_Entity_With_Checks): Add checks for No_Dynamic_Attachment, Add checks for No_Abort_Statements. 2014-02-25 Robert Dewar <dewar@adacore.com> * exp_ch9.adb (Expand_Entry_Barrier): Add comment that call to Check_Restriction is OK. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208148 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Ed Schonberg <schonberg@adacore.com>charlet2014-02-253-5/+25
| | | | | | | | | | | * sem_ch3.adb (Process_Full_View): Better error message when the full view of a private type without discriminants is an unconstrained type. * sem_ch7.adb (Uninstall_Declarations): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208147 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Eric Botcazou <ebotcazou@adacore.com>charlet2014-02-2511-85/+153
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sigtramp-armvxw.c: Also restore r0. 2014-02-25 Robert Dewar <dewar@adacore.com> * errout.adb (Error_Msg_Internal): Warning_Msg_Char set unconditionally (Set_Msg_Insertion_Warning): Warning_Msg_Char set unconditionally. * erroutc.adb (Get_Warning_Tag): Does not give a leading space any more (Output_Msg_Text): Rewritten with new convention on output of warnings that are treated as errors. * erroutc.ads (Error_Msg_Object): Warn_Chr is always set even if Warn is False. * gnat_rm.texi: Updates to documentation on pragma Warning_As_Error. * warnsw.adb (Set_Dot_Warning_Switch): -gnatw.e should not set Warning_Doc_Switch. * lib-writ.ads: Add documentation note on ALI file generation for C. * exp_ch6.adb (Expand_Call): Remove check for No_Abort_Statements (belongs in Sem). * sem_attr.adb (Resolve_Attribute, case Access): Abort_Task'Access violates the No_Abort_Statements restriction. * sem_res.adb (Resolve_Call): Check restriction No_Abort_Statements for call to Abort_Task or a renaming of it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208146 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2516-127/+390
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb (Array_Type_Declaration): Check for case of using type name as index. * lib.ads: Minor reformatting. * einfo.ads: Minor reformatting. 2014-02-25 Doug Rupp <rupp@adacore.com> * sem_mech.adb (Set_Mechanisms): For convention Fortran on VMS use Short_Descriptor(S) as the argument passing mechanism. 2014-02-25 Eric Botcazou <ebotcazou@adacore.com> * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Also include r0. 2014-02-25 Robert Dewar <dewar@adacore.com> * atree.ads (Warnings_Treated_As_Errors): New variable. * errout.adb (Error_Msg_Internal): Set Warn_Err flag in error object (Initialize): Initialize Warnings_As_Errors_Count (Write_Error_Summary): Include count of warnings treated as errors. * erroutc.adb (Warning_Treated_As_Error): New function. (Matches): Function moved to outer level of package. * erroutc.ads (Error_Msg_Object): Add Warn_Err flag. (Warning_Treated_As_Error): New function. * gnat_rm.texi: Document pragma Treat_Warning_As_Error. * opt.adb: Add handling of Warnings_As_Errors_Count[_Config]. * opt.ads (Config_Switches_Type): Add entry for Warnings_As_Errors_Count. (Warnings_As_Errors_Count): New variable. (Warnings_As_Errors): New array. * par-prag.adb: Add dummy entry for Warning_As_Error. * sem_prag.adb (Analyze_Pragma): Implement new pragma Warning_As_Error. * snames.ads-tmpl: Add entries for Warning_As_Error pragma. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208145 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Eric Botcazou <ebotcazou@adacore.com>charlet2014-02-254-1/+131
| | | | | | | | | | | | | | | | | | * sigtramp.h: Fix minor inaccuracy. 2014-02-25 Ben Brosgol <brosgol@adacore.com> * gnat_ugn.texi: Added description of kill command. 2014-02-25 Robert Dewar <dewar@adacore.com> * gnat_rm.texi (Address_Clauses): Add a section discussing the problem of address clauses causing unexpected initialization, including the effect of Initialize_Scalars. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208144 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2512-58/+248
| | | | | | | | | | | | | | | | | | | | | | | | | | | * errout.adb: Various changes for better msgs for anonmous access subprogram types. * erroutc.ads, erroutc.adb (Buffer_Ends_With): Version with character argument. (Buffer_Remove): Version with character argument. * sem_attr.adb (Resolve_Attribute, case Access): Better handling of mismatching conventions for access-to-subprogram case. * sem_prag.adb (Set_Convention_From_Pragma): Deal with anonymous access types in record. * sem_util.ads, sem_util.adb (Set_Convention): Handle anonymous access types, including in records. 2014-02-25 Doug Rupp <rupp@adacore.com> * sigtramp-ppcvxw.c, sigtramp.h, sigtramp-armvxw.c: Comment enhancements and corrections. 2014-02-25 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: New section "Conventions and Anonymous Access Types" git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208143 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-259-143/+545
| | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi: Update "Standard Library Routines" chapter to include all 2012 packages. Add section on pragma Reviewable. * sem_ch5.adb (Diagnose_Non_Variable_Lhs): Avoid wrong msgs if expander off. * exp_ch9.ads, exp_dist.adb, exp_dist.ads: Minor reformatting. * sem_ch6.adb (Assert_False): New function (Check_Statement_Sequence): Call Assert_False to check for pragma Assert (False) which is considered OK block of control for function. * snames.ads-tmpl (Name_False): New entry. 2014-02-25 Doug Rupp <rupp@adacore.com> * init.c (VxWorks Section): Enable sigtramp for ARM. * sigtramp-armvxw.c: New file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208142 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-255-8/+247
| | | | | | | | | | | | | * gnat_rm.texi: First set of documentation additions for predefined RM units. * checks.adb: Minor reformatting. * sem_elab.adb (Check_Task_Activation): Minor fix to error message. * sem_util.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208141 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Arnaud Charlet <charlet@adacore.com>charlet2014-02-256-21/+47
| | | | | | | | | | | | | | | | | * usage.adb (Usage): Add help on -gnateC. * switch-c.adb (Scan_Front_End_Switches): Add handling of -gnateC. * opt.ads (Generate_CodePeer_Messages): New flag. * gnat_ugn.texi: Document new switch -gnateC. 2014-02-25 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Corrected minor typos in Implementation Defined Aspects. * opt.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208140 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2513-72/+164
| | | | | | | | | | | | | | | | | | | | * binde.adb: Change messages to mention -gnatel instead of -gnatwl. * gnat_ugn.texi: Update documentation of -gnatwl Add documentation of -gnatel/-gnateL. * opt.ads (Warn_Info_Messages): New flag. * sem_elab.adb: Use Elab_Warnings, Elab_Info_Messages to control messages. * sem_prag.adb: Use Elab_Warnings, Elab_Info_Messages to control messages. * switch-m.ad, switch-c.adb: Recognize new -gnatel/EL switches. * usage.adb: Add documentation of -gnatel/-gnateL Update documentation of -gnatwl/-gnatwL. * warnsw.adb: New handling of Elab_Warnings, Elab_Info_Messages * warnsw.ads (Elab_Info_Messages): New field in Warning_Record git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208139 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2516-51/+493
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads, einfo.adb (Has_Shift_Operator): New flag. * gnat_rm.texi: Document pragma Provide_Shift_Operators. * interfac.ads: Minor code reorganization (add pragma Compiler_Unit_Warning). * par-prag.adb: Add dummy entry for Provide_Shift_Operators. * sem_ch3.adb (Build_Derived_Numeric_Type): Copy Has_Shift_Operator flag. * sem_intr.adb (Check_Intrinsic_Subprogram): Make sure Check_Shift is always called (Check_Shift): Set Has_Shift_Operator. * sem_prag.adb: Implement pragma Provide_Shift_Operators. * snames.ads-tmpl: Add entries for pragma Provide_Shift_Operators Add entry for Name_Amount. * checks.adb (Selected_Range_Checks): When checking for a null range, make sure we use the base type, and not the subtype for deciding a range is null. * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check for suspicious loop bound which is outside the range of the loop subtype. * gnat_ugn.texi: Add documentation section "Determining the Chosen Elaboration Order" * sem_ch13.adb (UC_Entry): Add field Act_Unit (Validate_Unchecked_Conversion): Store Act_Unit (Validate_Unchecked_Conversions): Test Warnings_Off in Act_Unit * treepr.adb: Minor reformatting. 2014-02-25 Arnaud Charlet <charlet@adacore.com> * usage.adb: Minor: fix typo. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208138 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2565-133/+158
| | | | | | | | | | | | | | | | | | | | | | | | | | | * lib.ads, s-bitops.adb, s-bitops.ads, s-conca5.adb, gnat_rm.texi, s-conca5.ads, s-conca7.adb, s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads, g-dyntab.adb, s-crtl.ads, g-dyntab.ads, s-excdeb.adb, s-addope.adb, s-addope.ads, s-carun8.adb, s-carun8.ads, g-htable.adb, g-htable.ads, g-hesora.adb, g-hesora.ads, s-conca2.adb, s-conca2.ads, a-comlin.adb, a-chlat1.ads, a-comlin.ads, errout.ads, a-except.adb, s-conca4.adb, a-except.ads, s-conca4.ads, s-conca6.adb, s-conca6.ads, g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, a-strhas.ads, restrict.adb, aspects.adb, aspects.ads, s-conca8.adb, s-conca8.ads, back_end.adb, par-prag.adb, g-byorma.adb, g-byorma.ads, a-elchha.adb, a-elchha.ads, g-speche.adb, g-speche.ads, s-casuti.adb, s-assert.adb, s-casuti.ads, s-assert.ads, a-clrefi.adb, a-clrefi.ads, s-conca3.adb, s-conca3.ads, a-ioexce.ads: Implement pragma Compiler_Unit_Warning, change Compiler_Unit everywhere to Compiler_Unit_Warning. 2014-02-25 Sergey Rybin <rybin@adacore.com frybin> * sem_prag.adb (Analyze_Depends_In_Decl_Part): Do not normalize in ASIS mode aggregates that are used as aspect definitions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208137 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2576-153/+238
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch7.adb, sem_util.adb, sem_util.ads, exp_ch6.adb: Minor reformatting. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Freeze_Entity): If the return type of a function is a limited view, and the non-limited view has not been seen yet, defer freezing to some later point. 2014-02-25 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting. 2014-02-25 Robert Dewar <dewar@adacore.com> * s-excdeb.ads, s-except.ads, s-exctab.adb, s-exctab.ads, s-finmas.ads, s-htable.adb, s-htable.ads, s-imenne.adb, s-imenne.ads, s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-memory-vms_64.adb, s-memory-vms_64.ads, s-memory.adb, s-memory.ads, s-os_lib.adb, s-os_lib.ads, s-parame.adb, s-parame.ads, s-purexc.ads, s-restri.adb, s-restri.ads, s-rident.ads, s-secsta.adb, s-secsta.ads, s-soflin.adb, s-soflin.ads, s-sopco3.adb, s-sopco3.ads, s-sopco4.adb, s-sopco4.ads, s-sopco5.adb, s-sopco5.ads, s-spsufi.ads, s-stache.adb, s-stache.ads, s-stalib.adb, s-stalib.ads, s-stoele.adb, s-stoele.ads, s-strcom.adb, s-strcom.ads, s-strhas.adb, s-string.adb, s-string.ads, s-strops.adb, s-strops.ads, s-ststop.adb, s-ststop.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads, s-unstyp.ads, s-utf_32.adb, s-utf_32.ads, s-wchcnv.adb, s-wchcnv.ads, s-wchcon.adb, s-wchcon.ads, s-wchjis.adb, s-wchjis.ads, sem_ch11.adb, sem_ch4.adb, sem_ch5.adb, sem_prag.adb, snames.ads-tmpl: Change Compiler_Unit everywhere to Compiler_Unit_Warning. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208135 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-256-170/+323
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch6.adb (Add_Or_Save_Precondition): New routine. (Collect_Body_Postconditions_In_Decls): New routine. (Collect_Body_Postconditions_Of_Kind): Factor out code. Handle postcondition aspects or pragmas that appear on a subprogram body stub. (Collect_Spec_Preconditions): Factor out code. Handle precondition aspects or pragmas that appear on a subprogram body stub. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The analysis of aspects that apply to a subprogram body stub is no longer delayed, the aspects are analyzed on the spot. (SPARK_Aspect_Error): Aspects that apply to a subprogram declaration cannot appear in a subunit. * sem_ch10.adb Remove with and use clause for Sem_Ch13. (Analyze_Proper_Body): Add local variable Comp_Unit. Unum is now a local variable. Code cleanup. Analysis related to the aspects of a subprogram body stub is now carried out by Analyze_Subprogram_Body_Helper. Do not propagate the aspects and/or pragmas of a subprogram body stub to the proper body as this is no longer needed. Do not analyze the aspects of a subprogram stub when the corresponding source unit is missing. (Analyze_Protected_Body_Stub): Flag the illegal use of aspects on a stub. (Analyze_Task_Body_Stub): Flag the illegal use of aspects on a stub. (Optional_Subunit): Add local variable Unum. * sem_ch13.adb (Insert_Delayed_Pragma): Do not analyze a generated pragma when it applies to a subprogram body stub. * sem_prag.adb (Analyze_Pragma): Pragmas Contract_Cases, Depends and Global can now apply to a subprogram body stub as long as it acts as its own spec. (Analyze_Refined_Pragma): Code reformatting. Refinement pragmas cannot apply to a subunit. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208134 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-258-29/+233
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads Update the usage of flag Uses_Sec_Stack. Uses_Sec_Stack now applies to E_Loop entities. * exp_ch5.adb (Expand_Iterator_Loop): The temporary for a cursor now starts with the letter 'C'. This makes reading expanded code easier. * exp_ch7.adb (Establish_Transient_Scope): Add local variable Iter_Loop. Signal that an Ada 2012 iterator loop requires secondary stack management when creating a transient scope for an element reference. * exp_util.adb (Process_Statements_For_Controlled_Objects): When wrapping the statements of a loop, pass the E_Loop entity to the wrapping machinery. (Wrap_Statements_In_Block): Add formal parameter Scop along with comment on usage. Add local variables Block_Id, Block_Nod and Iter_Loop. Mark the generated block as requiring secondary stack management when the block is created inside an Ada 2012 iterator loop. This ensures that any reference objects are reclaimed on each iteration of the loop. * sem_ch5.adb (Analyze_Loop_Statement): Mark the generated block tasked with the handling of container iterators as requiring secondary stack management. This ensures that iterators are reclaimed when the loop terminates or is exited in any fashion. * sem_util.adb (Add_Block_Identifier): New routine. (Find_Enclosing_Iterator_Loop): New routine. * sem_util.ads (Add_Block_Identifier): New routine. (Find_Enclosing_Iterator_Loop): New routine. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208133 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-258-62/+86
| | | | | | | | | | | | | | | | * sinfo.ads: Minor reformatting. 2014-02-25 Tristan Gingold <gingold@adacore.com> * s-expllu.ads, s-expuns.ads, s-expmod.ads: Minor comment fix. 2014-02-25 Pascal Obry <obry@adacore.com> * sinput-l.adb, osint.adb, osint.ads: Add Prep_Suffix to factorize code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208132 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Tristan Gingold <gingold@adacore.com>charlet2014-02-254-43/+105
| | | | | | | | | | | | | | | | | | | | * sem_ch10.adb: Minor comment fix. 2014-02-25 Bob Duff <duff@adacore.com> * s-tasdeb.adb: Misc cleanup of this package, including printing addresses in hexadecimal. (Write): Fix minor bug when taking 'Address of an empty string. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Part_Of): Reject state refinement in a public child unit when it does not refer to the abstract state of a public ancestor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208131 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-255-45/+75
| | | | | | | | | | | | | | * sem_prag.adb (Analyze_Pragma/Pragma_Validity_Checks): Ignore pragma Validity_Checks in GNATprove and CodePeer modes. 2014-02-25 Pascal Obry <obry@adacore.com> * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package Install's Artifacts attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208130 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-254-5/+22
| | | | | | | | | | | | | | * sem_prag.adb: Minor reformatting to get consistent messages. 2014-02-25 Robert Dewar <dewar@adacore.com> * checks.adb: Minor reformatting. * sinfo.ads (Do_Range_Check): Document that this flag is never passed to the back end. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208129 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-259-272/+274
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_prag.adb, sem_attr.adb, sem_ch6.adb: Remove useless references to SPARK RM in error messages. 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Appears_In_Check): New routine. (Resolve_Entity_Name): Remove local variables Prev and Usage_OK. Par is now a constant. Remove the parent chain traversal as the placement of a volatile object with enabled property Async_Writers and/or Effective_Reads must appear immediately within a legal construct. 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (Apply_Selected_Range_Checks): Alphabetize local constants and variables. Add comments. Always insert a range check that requires runtime evaluation into the tree. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208128 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-257-19/+97
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_attr.adb, sem_ch6.adb, par-ch3.adb: Minor reformatting. 2014-02-25 Bob Duff <duff@adacore.com> * s-tassta.adb (Finalize_Global_Tasks): Limit the number of loop iterations while waiting for independent tasks to terminate; if an independent task does not terminate, we do not want to hang here. In that case, the thread will be terminated when the process exits. * s-taprop-linux.adb (Abort_Task): Fix Assert to allow for ESRCH. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Check_SPARK_Aspect_For_ASIS): New subprogram, used to perform pre-analysis of the expression for SPARK aspects that have a non-standard syntax, such as GLobal and Initializes. The procedure applies to the original expression in an aspect specification, prior to the analysis of the corresponding pragma, in order to provide semantic information for ASIS navigation purposes. (Analyze_Global_In_Decl_List, Analyze_Initializes_In_Decl_Part): Call new subprogram. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208127 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-255-3/+33
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_prag.adb: Remove obsolete reference to SPARK RM in error message. 2014-02-25 Doug Rupp <rupp@adacore.com> * init.c (HAVE_GNAT_ADJUST_CONTEXT_FOR_RAISE): Enable for ARM. (__gnat_adjust_context_for_raise): Bump the PC by 2. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * par-ch3.adb (P_Basic_Declarative_Items): In the case of a misplaced IS, add a statement sequence to improper body only if one has not been parsed already. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Analyze_Attribute, case 'Update): Check for mismatch when multidimensional array is updated with a single index. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208126 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-257-66/+84
| | | | | | | | | | * sem_ch3.adb, sem_ch5.adb, sem_prag.adb, sem_attr.adb, errout.ads, sem_ch6.adb: Mark most references to SPARK RM in error messages for removal. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208125 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Thomas Quinot <quinot@adacore.com>charlet2014-02-244-1/+26
| | | | | | | | | | | | | | | | | | | | | | * s-os_lib.ads: Update comment. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): Use sloc of original defining identifiers in parameter specifications for body. They may differ from parameter specification itself if a list of identifiers appears in the tree and is expanded by parser. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * par-ch3.adb (P_Basic_Declarative_Items): If an improper body appears in a list of basic declarations, complete the tree with an empty statement list, to prevent cascaded errors and crashes if semantic analysis is attempted. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208090 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud