summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* 2012-10-29 Robert Dewar <dewar@adacore.com>charlet2012-10-292-1/+5
| | | | | | | | * freeze.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192930 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Robert Dewar <dewar@adacore.com>charlet2012-10-2911-26/+73
| | | | | | | | | | | | | | | | | | | | * xr_tabls.adb, xr_tabls.ads, exp_ch9.adb, snames.adb-tmpl, snames.ads-tmpl, exp_ch3.adb: Minor reformatting. 2012-10-29 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb: Call Build_Subprogrm_Instance_Renamings only when generating code. 2012-10-29 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Add documentation for -gnatw.k/-gnatw.K. * ug_words: Add entries for -gnatw.k/.K for [NO]STANDARD_REDEFINITION. * vms_data.ads: Add entries for [NO]STANDARD_REDEFINITION. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192929 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Tristan Gingold <gingold@adacore.com>charlet2012-10-2918-85/+357
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch9.adb, s-tarest.ads, exp_ch3.adb: Update comments. 2012-10-29 Yannick Moy <moy@adacore.com> * gnat_rm.texi: Minor documentation addition. 2012-10-29 Emmanuel Briot <briot@adacore.com> * xr_tabls.adb, xr_tabls.ads (Add_Declaration, Add_Reference): No longer assume that a parameter declaration is seen after the subprogram that uses it. 2012-10-29 Tristan Gingold <gingold@adacore.com> * lib-writ.adb (Write_ALI): Emit partition elaboration policy in P line. * lib-writ.ads: Document partition elaboration policy indication. * sem_prag.adb (Check_Arg_Is_Partition_Elaboration_Policy): New procedure. (Analyze_Pragma): Handle Partition_Elaboration_Policy. (Sig_Flags): Add flag for Pragma_Partition_Elaboration_Policy * ali.adb (Initialize_ALI): Init Partition_Elaboration_Policy_Specified. (Scan_ALI): Read Ex indications. * ali.ads: ALIs_Record: Add Partition_Elaboration_Policy. * par-prag.adb (Prag): Add Partition_Elaboration_Policy. * snames.adb-tmpl (Is_Partition_Elaboration_Policy_Name): New function. * opt.ads (Partition_Elaboration_Policy): Declare. (Partition_Elaboration_Policy_Sloc): Declare. * bcheck.adb (Check_Consistent_Partition_Elaboration_Policy): New procedure. (Check_Configuration_Consistency): Check partition elaboration policy consistency. * snames.ads-tmpl (Name_Partition_Elaboration_Policy): New name. (First_Partition_Elaboration_Policy_Name, Name_Concurrent, Name_Sequential, Last_Partition_Elaboration_Policy_Name): Likewise. (Pragma_Partition_Elaboration_Policy): New literal. (Is_Partition_Elaboration_Policy_Name): New function. 2012-10-29 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Is_Public_Subprogram_For): Handle properly expression functions, which are rewritten as subprogram declarations, when generating invariants for its return value and in-out parameters. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192928 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Arnaud Charlet <charlet@adacore.com>charlet2012-10-299-34/+83
| | | | | | | | | | | | | | | | | | | | | | | | | * warnsw.adb (Set_GNAT_Mode_Warnings): Unset Warn_On_Standard_Redefinition. 2012-10-29 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Derive_Progenitor_Subprograms): Complete documentation. 2012-10-29 Robert Dewar <dewar@adacore.com> * par-ch11.adb (Warn_If_Standard_Redefinition): Add calls. * par-ch3.adb (P_Defining_Identifier): Call Warn_If_Standard_Redefinition if not inside record definition. * par-ch6.adb (Warn_If_Standard_Redefinition): Add calls. * par-util.adb (Warn_If_Standard_Redefinition): New procedure. * par.adb (Inside_Record_Definition): New flag. (Warn_If_Standard_Redefinition): New procedure. * sinfo-cn.adb (Change_Identifier_To_Defining_Identifier): Remove handling of warning for redefining standard name (moved to Par*). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192927 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Javier Miranda <miranda@adacore.com>charlet2012-10-296-20/+31
| | | | | | | | | | | | | | * sem_ch3.adb (Derive_Progenitor_Subprograms): Disable small optimization in generic formal types. 2012-10-29 Robert Dewar <dewar@adacore.com> * exp_ch9.adb, exp_ch3.adb: Add comments. * sem_prag.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192926 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Tristan Gingold <gingold@adacore.com>charlet2012-10-294-23/+64
| | | | | | | | | | | | | | | | | | | * bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for Is_Elaborated if not referenced. 2012-10-29 Tristan Gingold <gingold@adacore.com> * exp_ch9.adb (Build_Activation_Chain_Entity): Punt in restricted profile. * exp_ch3.adb (Build_Initialization_Call): Do no append _Chain parameter in restricted profile. (Build_Init_Call_Thru): Likewise. (Init_Formals): Likewise. * exp_ch3.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192925 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Arnaud Charlet <charlet@adacore.com>charlet2012-10-293-8/+22
| | | | | | | | | | | | * usage.adb: Update usage line for -gnatw.k. 2012-10-29 Yannick Moy <moy@adacore.com> * sem_prag.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192924 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Arnaud Charlet <charlet@adacore.com>charlet2012-10-295-6/+43
| | | | | | | | | | | | | | * s-win32.ads: Kill potential warning. 2012-10-29 Yannick Moy <moy@adacore.com> * gnat_rm.texi: Describe new pragma Assert_And_Cut. * par-prag.adb, sem_prag.adb, snames.ads-tmpl: Add new pragma and treat it like pragma Assert. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192923 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Vincent Celier <celier@adacore.com>charlet2012-10-298-41/+59
| | | | | | | | | | | | | | * projects.texi: Clarify documentation of attribute Ignore_Source_Sub_Dirs. 2012-10-29 Robert Dewar <dewar@adacore.com> * g-sechas.adb, g-sechas.ads, exp_ch9.adb, bindgen.adb, exp_dbug.adb, exp_dbug.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192922 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Pascal Obry <obry@adacore.com>charlet2012-10-293-0/+53
| | | | | | | | | | * g-sechas.adb, g-sechas.ads: (Binary_Message_Digest): New subtype. (Digest): New versions returning a Binary_Message_Digest. (Wide_Digest): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192921 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Robert Dewar <dewar@adacore.com>charlet2012-10-298-94/+79
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * warnsw.adb: Complete previous change. 2012-10-29 Tristan Gingold <gingold@adacore.com> * bindgen.adb (Check_File_In_Partition, Check_System_Restrictions_Used): Removed. (Check_Dispatching_Domains_Used): Removed. (Gen_Adafinal): Remove call to above procedures. (Resolve_Binder_Options): Handle system restrictions and dispatching domains. 2012-10-29 Tristan Gingold <gingold@adacore.com> * s-tarest.ads, s-tarest.adb (Create_Restricted_Task): Remove Chain parameter. * exp_ch9.adb (Make_Task_Create_Call): Do not add Chain parameter on restricted runtime. 2012-10-29 Pascal Obry <obry@adacore.com> * g-sechas.adb, g-sechas.ads: Minor code clean-up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192920 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Ed Schonberg <schonberg@adacore.com>charlet2012-10-2916-143/+282
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_aux.adb (Get_Rep_Item): Treat Priority and Interrupt_Priority as equivalent, because only one of them can be specified for a task, protected definition, or subprogram body. * aspects.adb ((Same_Aspect): The canonical aspect of Interrupt_Priority is Priority. 2012-10-29 Robert Dewar <dewar@adacore.com> * sem_ch13.adb: Minor reformatting. 2012-10-29 Robert Dewar <dewar@adacore.com> * i-cstrea.ads: Avoid redefinition of standard symbol string. * prj-makr.adb: Add comment for OK redefinition of Stadard. * prj.ads: Add comment for OK redefinition of Stadard. * s-crtl.ads: Avoid redefinition of standard symbol string. * sinfo-cn.adb (Change_Identifier_To_Defining_Identifier): Generate warning for standard redefinition if Warn_On_Standard_Definition set. * usage.adb: Add lines for -gnatw.k and -gnatw.K * warnsw.adb: Set/reset Warn_On_Standard_Redefinition appropriately. * warnsw.ads (Warn_On_Standard_Redefinition): New flag. * s-stratt-xdr.adb: Avoid new warning. 2012-10-29 Ed Schonberg <schonberg@adacore.com> * exp_dbug.ads, exp_dbug.adb (Build_Subprogram_Instance_Renamings): in the body of a subpogram instance, introduce local renamings for actuals of an elementary type, so that GDB can recover the values of these actuals more directly. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192919 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Robert Dewar <dewar@adacore.com>charlet2012-10-2914-507/+648
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch5.adb (Analyze_Loop_Statement): Add warning for identical inner/outer ranges. 2012-10-29 Robert Dewar <dewar@adacore.com> * einfo.ads: Change terminology "present" to "defined" in talking about whether a given field is defined for a given entity kind. 2012-10-29 Bob Duff <duff@adacore.com> * atree.ads: Minor comment fix. 2012-10-29 Bob Duff <duff@adacore.com> * sem_ch13.adb (Replace_Type_Reference): Set_Comes_From_Source. Otherwise, the node is ignored by ASIS. * sem_ch5.adb: Minor reformatting. 2012-10-29 Thomas Quinot <quinot@adacore.com> * exp_attr.adb, exp_dist.adb, exp_dist.ads (Build_To_Any_Call): Pass an explicit Loc parameter to set the source location of generated nodes. 2012-10-29 Tristan Gingold <gingold@adacore.com> * exp_ch9.adb (Build_Task_Activation_Call): Do nothing on restricted profile. * bindgen.adb (System_Tasking_Restricted_Stages_Used): New variable. (Gen_Adainit): Declare and call Activate_Tasks when the above variable is set. (Resolve_Binder_Options): Set the variable. * rtsfind.ads (RE_Activate_Restricted_Tasks): Removed (now unused). * s-tarest.adb (Tasks_Activation_Chain): New variable. (Activate_Restricted_Tasks): Removed, and replaced by ... (Activate_Tasks): New procedure, to activate all tasks at the end of elaboration. (Create_Restricted_Tasks): Chain parameter is now unreferenced. Put the created task on the Tasks_Activation_Chain list. * s-tarest.ads (Activate_Restricted_Tasks): Removed. (Activate_Tasks): Added. 2012-10-29 Gary Dismukes <dismukes@adacore.com> * sem_res.adb (Resolve_If_Expression): Compare subtype of the 'then' expression against the subtype of the expression rather than comparing base types, same as is already done for the 'else' expression. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192918 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Steve Baird <baird@adacore.com>charlet2012-10-293-0/+38
| | | | | | | | | | | | | | | | * sem_ch13.adb (Analyze_Attribute_Definition_Clause): If CodePeer_Mode = True and we detect that an Address specification is used to overlay another object, do not set that object's Treat_As_Volatile flag. 2012-10-29 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Constant_Redeclaration): If the type of a deferred constant has invariants, generate invariant call on the initial value. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192917 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Bob Duff <duff@adacore.com>charlet2012-10-292-7/+15
| | | | | | | | | * sem_ch13.adb (Replace_Type_Reference): Use correct sloc for the new node. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192916 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Thomas Quinot <quinot@adacore.com>charlet2012-10-2915-88/+107
| | | | | | | | | | | | | | | | | | | | | | | | * sem_elab.adb: Minor reformatting and code reorganization. 2012-10-29 Robert Dewar <dewar@adacore.com> * par-ch4.adb (P_Primary): Warn on bad use of unary minus. 2012-10-29 Robert Dewar <dewar@adacore.com> * s-valuti.ads, s-valuti.adb (Bad_Value): New procedure. * s-valllu.adb, s-valwch.adb, s-valcha.adb, s-valint.adb, s-valuns.adb, s-valrea.adb, s-valboo.adb, s-valenu.adb, s-vallli.adb: Use Bad_Value everywhere. 2012-10-29 Yannick Moy <moy@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Do not suppress checks in Alfa mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192915 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-29 Yannick Moy <moy@adacore.com>charlet2012-10-295-25/+33
| | | | | | | | | | | | | | | | | | | | * checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated): Add special case for case expression alternative. (Is_Signed_Integer_Arithmetic_Op): Remove special case for case expression alternative. * exp_ch4.adb Minor reformatting. 2012-10-29 Thomas Quinot <quinot@adacore.com> * sem_elab.adb: Minor reformatting. 2012-10-29 Bob Duff <duff@adacore.com> * sem_res.adb: Minor: Remove redundant test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192914 138bc75d-0d04-0410-961f-82ee72b054a4
* * adabkend.ads, adabkend.adb, aa_util.ads, aa_util.adb: New.charlet2012-10-295-1/+939
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192913 138bc75d-0d04-0410-961f-82ee72b054a4
* * pprint.ads, pprint.adb: New.charlet2012-10-293-0/+746
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192909 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/mips/linux-common.h (STACK_CHECK_STATIC_BUILTIN): Define.ebotcazou2012-10-234-6/+12
| | | | | | | | | | | | | | | | | | | | | (STACK_CHECK_PROTECT): Likewise. * config/mips/mips.h (MIPS_PROLOGUE_TEMP2_REGNUM): Likewise. (MIPS_PROLOGUE_TEMP2): Likewise. * config/mips/mips-protos.h (mips_output_probe_stack_range): Declare. * config/mips/mips.c: Include common/common-target.h. (mips_emit_probe_stack_range): New function. (mips_output_probe_stack_range): Likewise. (mips_expand_prologue): Invoke mips_emit_probe_stack_range if static builtin stack checking is enabled. * config/mips/mips.md (UNSPEC_PROBE_STACK_RANGE): New constant. (probe_stack_range_<P:mode>): New insn. ada/ * system-linux-mipsel.ads (Stack_Check_Probes): Set to True. * system-linux-mips.ads (Stack_Check_Probes): Likewise. * system-linux-mips64el.ads (Stack_Check_Probes): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192713 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in: Remove reference to non-existing file.ebotcazou2012-10-222-2/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192682 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in: Remove outdated comment.ebotcazou2012-10-222-2/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192675 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Forceebotcazou2012-10-222-4/+24
| | | | | | | | | | BLKmode on the type if it is passed by reference. <E_Array_Subtype>: Likewise. <E_Record_Type>: Guard the call to Is_By_Reference_Type predicate. <E_Record_Subtype>: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192673 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils.c (rest_of_record_type_compilation): Simplify andebotcazou2012-10-222-10/+19
| | | | | | | robustify pattern machine code for masking operations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192672 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Inebotcazou2012-10-222-8/+61
| | | | | | | type annotation mode, break circularities introduced by AI05-0151. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192671 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Loop_Statement_to_gnu): Use gnat_type_for_sizeebotcazou2012-10-222-1/+7
| | | | | | | directly to obtain an unsigned version of the base type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192669 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Out_Parameter>: Do notebotcazou2012-10-222-1/+10
| | | | | | | generate the special PARM_DECL for an Out parameter in LTO mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192667 138bc75d-0d04-0410-961f-82ee72b054a4
* PR bootstrap/54820ebotcazou2012-10-222-1/+6
| | | | | | | | | | | | | | | | | | * Makefile.tpl (STAGE1_FLAGS_TO_PASS): New variable. (all-[+prefix+][+module+]): Pass stage1_args to sub-makes. (all-stage[+id+]-[+prefix+][+module+]): Likewise, if prev is false. (clean-stage[+id+]-[+prefix+][+module+]): Likewise, if prev is false. (host_modules): Set stage1_args to STAGE1_FLAGS_TO_PASS. * Makefile.in: Regenerate. * configure.ac (have_static_libs): New variable and associated check. (stage1-ldflags): Move to after stage1_libs and set to -static-libstdc++ -static-libgcc if stage1_libs is empty and have_static_libs is yes. * configure: Regenerate. ada/ * gcc-interface/Make-lang.in (GCC_LINK): Remove hardcoded options. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192666 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/doko2012-10-152-1/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2012-10-15 Matthias Klose <doko@ubuntu.com> * config.gcc: Match arm*-*-linux-* for ARM Linux/GNU. * doc/install.texi: Use arm-*-*linux-* instead of arm-*-*linux-gnueabi. gcc/testsuite/ 2012-10-15 Matthias Klose <doko@ubuntu.com> * lib/target-supports.exp (check_profiling_available): Match arm*-*-linux-* for ARM Linux/GNU. * g++.dg/torture/predcom-1.C: Match arm*-*-linux-* for ARM Linux/GNU. * gfortran.dg/enum_10.f90: Likewise. * gfortran.dg/enum_9.f90: Likewise. * gcc.target/arm/synchronize.c: Likewise. * g++.old-deja/g++.jason/enum6.C: Likewise. * g++.old-deja/g++.other/enum4.C: Likewise. * g++.old-deja/g++.law/enum9.C: Likewise. gcc/ada/ 2012-10-15 Matthias Klose <doko@ubuntu.com> * gcc-interface/Makefile.in: Match arm*-*-linux-*eabi* for ARM Linux/GNU. libgcc/ 2012-10-15 Matthias Klose <doko@ubuntu.com> * config.host: Match arm*-*-linux-* for ARM Linux/GNU. libstdc++-v3/ 2012-10-15 Matthias Klose <doko@ubuntu.com> * configure.host: Match arm*-*-linux-* for ARM Linux/GNU. * testsuite/20_util/make_signed/requirements/typedefs-2.cc: Likewise. * testsuite/20_util/make_unsigned/requirements/typedefs-2.cc: Likewise. libjava/ 2012-10-15 Matthias Klose <doko@ubuntu.com> * configure.ac: Match arm*-*-linux-* for ARM Linux/GNU. * configure: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192475 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-05 Robert Dewar <dewar@adacore.com>charlet2012-10-054-4/+45
| | | | | | | | | | | | | | | | | | | | | * sem_ch7.adb: Minor reformatting. 2012-10-05 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Pragma, case Persistent_BSS): check for a duplicate pragma before Rep_Item_Too_Late to prevent spurious messages about duplicate pragmas. 2012-10-05 Ed Schonberg <schonberg@adacore.com> * exp_util.adb (Find_Init_Call): If the successor of the object declaration is a block, check whether it contains the initialization call, because it may have been created by actuals that use the secondary stack. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192130 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-05 Thomas Quinot <quinot@adacore.com>charlet2012-10-0512-76/+252
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_dim.adb, errout.adb, errout.ads (Analyze_Dimension_Call): Add guard against abnormal tree resulting from a previously diagnosed illegality. 2012-10-05 Hristian Kirtchev <kirtchev@adacore.com> * freeze.adb (Freeze_Expression): Rename local variable Cspc to Spec and update all refs to it. Do not freeze an entity outside a subprogram body when the original context is an expression function. 2012-10-05 Robert Dewar <dewar@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Default for overflow checking is suppressed, even if backend overflow/divide checks are enabled. 2012-10-05 Ed Schonberg <schonberg@adacore.com> * einfo.adb (Set_Invariant_Procedure, Set_Predicate_Function): chain properly subprograms on Subprograms_For_Type list. * sem_ch13.ads; (Build_Invariant_Procedure_Declaration): new procedure, to create declaration for invariant procedure independently of the construction of the body, so that it can be called within expression functions. * sem_ch13.adb (Build_Invariant_Procedure): code cleanup. The declaration may already have been generated at the point an explicit invariant aspect is encountered. * sem_prag.adb; (Analyze_Pragma, case Invariant): create declaration for invariant procedure. * sem_ch7.adb (Analyze_Package_Specification): clean up call to build invariant procedure. (Preserve_Full_Attributes): propagate information about invariants if they appear on a completion, 2012-10-05 Pascal Obry <obry@adacore.com> * gnat_ugn.texi: Update documentation to lift Microsoft C restriction. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192128 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-05 Robert Dewar <dewar@adacore.com>charlet2012-10-053-139/+90
| | | | | | | | | | | | | | | * sem_util.adb (Has_One_Matching_Field): Handle case of lone discriminant. 2012-10-05 Yannick Moy <moy@adacore.com> * checks.adb (Minimize_Eliminate_Overflow_Checks): Correct code for the division operation and exponent operation. Adjust bound for the mod and rem operations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192126 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-05 Robert Dewar <dewar@adacore.com>charlet2012-10-058-23/+32
| | | | | | | | | * checks.adb, checks.ads, s-tassta.adb, s-stposu.adb, s-spsufi.adb, s-spsufi.ads, exp_ch4.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192125 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-05 Yannick Moy <moy@adacore.com>charlet2012-10-0512-141/+168
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * switch-c.adb, checks.adb, checks.ads, sem_prag.adb, exp_ch4.adb, osint.adb: Minor correction of typos, and special case for Alfa mode. 2012-10-05 Hristian Kirtchev <kirtchev@adacore.com> * s-spsufi.adb: Add with clause for Ada.Unchecked_Deallocation. Add with and use clauses for System.Finalization_Masters. (Finalize_And_Deallocate): Add an instance of Ada.Unchecked_Deallocation. Merge the code from the now obsolete Finalize_Subpool into this routine. * s-spsufi.ads: Add pragma Preelaborate. * s-stposu.adb: Remove with clause for Ada.Unchecked_Deallocation; Add with and use clauses for System.Storage_Pools.Subpools.Finalization; (Finalize_Pool): Update the comment on all actions takes with respect to a subpool finalization. Finalize and deallocate each individual subpool. (Finalize_Subpool): Removed. (Free): Removed; (Detach): Move from package body to spec. * s-stposu.ads (Detach): Move from package body to spec. (Finalize_Subpool): Removed. 2012-10-05 Arnaud Charlet <charlet@adacore.com> * s-tassta.adb: Update comments. (Vulnerable_Complete_Master): If Free_On_Termination is set, do nothing, and let the task free itself if not already done. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192124 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Robert Dewar <dewar@adacore.com>charlet2012-10-044-131/+229
| | | | | | | | | | | | | | | | | * sem_res.adb (Resolve_Set_Membership): Warn on duplicates. 2012-10-04 Emmanuel Briot <briot@adacore.com> * g-comlin.adb (Getopt): Fix value of Full_Switch returned in case of invalid switch. 2012-10-04 Arnaud Charlet <charlet@adacore.com> * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192073 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Robert Dewar <dewar@adacore.com>charlet2012-10-0413-53/+173
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_eval.adb (Fold_Str, Fold_Uint, Fold_Ureal): Reset static expression state after Resolve call. 2012-10-04 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma. case Warnngs): Don't make entry in the table for Warnings Off pragmas if within an instance. 2012-10-04 Ed Schonberg <schonberg@adacore.com> * sem_ch9.adb (Analyze_Entry_Body): Transfer Has_Pragma_Unreferenced flag from entry formal to corresponding entity in body, to prevent spurious warnings when pragma is present. 2012-10-04 Robert Dewar <dewar@adacore.com> * s-bignum.adb (Big_Exp): Raise Storage_Error for ludicrously large results. 2012-10-04 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Check_Duplicate_Aspects): Diagnose properly aspects that appear in the partial and the full view of a type. 2012-10-04 Robert Dewar <dewar@adacore.com> * sinfo.ads (N_Return_Statement): Removed. 2012-10-04 Tristan Gingold <gingold@adacore.com> * init.c (__gl_zero_cost_exceptions): Comment it as not used anymore. * bindgen.adb (Gen_Adainit): Do not emit Zero_Cost_Exceptions anymore. 2012-10-04 Thomas Quinot <quinot@adacore.com> * prep.adb, prepcomp.adb, gprep.adb, opt.ads: New preprocessor switch -a (all source text preserved). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192072 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Vincent Celier <celier@adacore.com>charlet2012-10-047-11/+115
| | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb (Recursive_Process): Use project directory display path name as the value of 'Project_Dir. 2012-10-04 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow): Deal with case where we get a bignum operand and cannot do a range analysis. * sem_eval.adb (Why_Not_Static): Deal with bignum operands 2012-10-04 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Find_Unary_Types): Within an instance, an interpretation that involves a predefied arithmetic operator is not a candidate if the corresponding generic formal type is not a numeric type. * sem_util.ads, sem_util.adb (Corresonding_Generic_Type): If a type is a generic actual type within an instance, return the corresponding formal in the generic unit, otherwise return Any_Type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192071 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Robert Dewar <dewar@adacore.com>charlet2012-10-045-76/+118
| | | | | | | | | | | | | | | | * checks.adb (Minimize_Eliminate_Overflow_Checks): Dont reanalyze if/case expression if nothing has changed (just reexpand). Stops case expression from generating incorrect temporary. * exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow): Fix cut and paste typo for range analysis in NE (not equal) case. * sem_eval.adb (Compile_Time_Compare): Small optimization to catch some more cases. * types.ads (Suppressed_Or_Checked): New subtype of Overflow_Check_Type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192070 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Javier Miranda <miranda@adacore.com>charlet2012-10-043-337/+256
| | | | | | | | | | | | | | | | | | | * exp_disp.adb (Set_CPP_Constructors_Old): Removed. (Set_CPP_Constructors): Code cleanup. 2012-10-04 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Is_Ancestor_Unit): Make global, for use elsewhere. (Install_Private_with_Clauses): if clause is private and limited, do not install the limited view if the library unit is an ancestor of the unit being compiled. This unusual configuration occurs when compiling a unit DDP, when an ancestor P of DDP has a private limited with clause on a descendant of P that is itself an ancestor of DDP. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192069 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Vincent Celier <celier@adacore.com>charlet2012-10-047-49/+77
| | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb (Process_Package_Declaration): Use project directory display path name as the value of 'Project_Dir. 2012-10-04 Gary Dismukes <dismukes@adacore.com> * exp_util.adb (Build_Allocate_Deallocate_Proc): The subpool can be given by an arbitrary name, so copy the tree to make the call's actual. 2012-10-04 Robert Dewar <dewar@adacore.com> * s-exnllf.adb, s-exnllf.ads: Minor reformatting. 2012-10-04 Thomas Quinot <quinot@adacore.com> * exp_ch6.adb: Minor reformatting. 2012-10-04 Pascal Obry <obry@adacore.com> * projects.texi: Use consistently @command{} when referencing commands. Fix typos. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192068 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-03 Ed Schonberg <schonberg@adacore.com>charlet2012-10-038-8/+115
| | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (New_Overloaded_Entity): call Append_Inherited_Subprogram when appropriate. * sem_dim.adb (Analyze_Dimension_Call): Do not perform dimensional analysis if call has previous semantic error. * sem_util.ads, sem_util.adb (Append_Inherited_Subprogram): new subprogram to handle properly the visibility of inherited operations that are primitives of a type extension, when the parent type and operations are declared in the same visible part. 2012-10-03 Robert Dewar <dewar@adacore.com> * checks.adb (Minimize_Eliminate_Overflow_Checks): Properly handle case of top level expression within type conversion * gnat1drv.adb (Adjust_Global_Switches): Set SUPPRESSED as default for overflow checking for -gnatg mode (includes run-time). * sem_res.adb (Resolve_Type_Conversion): Avoid bogus warnings about redundant conversions from MINIMIZED/EXTENDED mode checking git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192029 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-03 Javier Miranda <miranda@adacore.com>charlet2012-10-034-52/+118
| | | | | | | | | | | | | * exp_ch4.adb (Expand_N_Allocator_Expression): Minor code reorganization and cleanup. Done to ensure proper management of the C++ constructor covering tagged and untagged types and also non-default constructors. * exp_ch6.ads, exp_ch6.adb (Make_CPP_Constructor_Call_In_Allocator): New subprogram. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192028 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-03 Gary Dismukes <dismukes@adacore.com>charlet2012-10-035-109/+250
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb: Minor typo fix. 2012-10-03 Robert Dewar <dewar@adacore.com> * checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated): Set Top_Level properly (to False) for operand of range of membership test. * exp_ch4.adb (Expand_Membership_Minimize_Eliminate_Overflow): Fix crash with -gnato3 and membership operations. (Expand_Membership_Minimize_Eliminate_Overflow): Fix error message and wrong results for -gnato3 large expression and predicated subtype. (Expand_Membership_Minimize_Eliminate_Overflow): Use expression action node to avoid using insert actions (bombs in some cases). (Expand_Compare_Minimize_Eliminate_Overflow): Use expression action node to avoid using insert actions (bombs in some cases). 2012-10-03 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Set_CPP_Constructors_Old): Handle constructor of untagged type that has all its parameters with defaults and hence it covers the default constructor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192027 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-03 Yannick Moy <moy@adacore.com>charlet2012-10-036-14/+77
| | | | | | | | | | | | | | | | | | | | * checks.adb, sem_prag.adb, s-bignum.ads: Minor typo fixes. 2012-10-03 Thomas Quinot <quinot@adacore.com> * g-socket.adb (Connect_Socket, version with timeout): When the newly-connected socket is reported as available for writing, check whether it has a pending asynchronous error prior to returning. 2012-10-03 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Check_Conformance): Additional info when subtype conformance fails, due to a missing null exclusion indicatar in a formal that must match a controlling access formal. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192026 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-02 Ben Brosgol <brosgol@adacore.com>charlet2012-10-028-132/+466
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi: Minor editing. 2012-10-02 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Function_Return): Reject a return expression whose type is a local access to subprogram type. 2012-10-02 Robert Dewar <dewar@adacore.com> * sem_eval.adb: Minor improvement to Compile_Time_Compare. 2012-10-02 Robert Dewar <dewar@adacore.com> * checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated): Fix base type problem that resulted in improper conversion. (Minimize_Eliminate_Overflow_Checks): Properly handle top level case to avoid unnecessary conversion to bignum or LLI. (Minimize_Eliminate_Overflow_Checks): Implement uniform two phase approach for arithmetic operators and for if/case expressions. * checks.ads: Minor comment fix. * exp_ch4.adb (Minimized_Eliminated_Overflow_Check): New function, implements a uniform way of treating minimized/eliminated checks in two phases. (Expand_Compare_Minimize_Eliminate_Overflow): Fix cut and paste error resulting in wrong results for less than in some cases. (Expand_Membership_Minimize_Eliminate_Overflow): Fix error caused by incorrect capture of operand types. (Expand_Membership_Minimize_Eliminate_Overflow): Fix error in handling of bignum case. (Expand_N_Case_Expression): Implement proper two phase handling (Expand_N_If_Expression): Implement proper two phase handling (Expand_N_Op_Abs): Implement proper two phase handling ditto for all other arithmetic operators * sem_res.adb (Resolve_If_Expression): Avoid introducing unneeded conversions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191980 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-02 Robert Dewar <dewar@adacore.com>charlet2012-10-028-141/+644
| | | | | | | | | | | | | | | | | | | | | | | | * s-bignum.adb (Big_Exp): 0**0 should be 1, not 0. (Big_Exp): Fix possible error for (-1)**0. (Big_Exp): Fix error in computing 2**K for small K. (Big_Mod): Fix wrong sign for negative operands. (Div_Rem): Fix bad results for operands close to 2**63. * s-bignum.ads: Add documentation and an assertion to require LLI size to be 64 bits. * sem_prag.adb (Analyze_Pragma, case Overflow_Checks): Do not allow ELIMINATED if LLI'Size is other than 64 bits. * switch-c.adb (Scan_Switches): Do not allow -gnato3 if LLI'Size is not 64 bits. * switch.ads (Bad_Switch): Add missing pragma No_Return. * gnat_ugn.texi: Added appendix on Overflow Check Handling in GNAT. 2012-10-02 Robert Dewar <dewar@adacore.com> * sem_type.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191979 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2012-10-021-65/+62
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191978 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-02 Robert Dewar <dewar@adacore.com>charlet2012-10-025-28/+108
| | | | | | | | | | | | | | | | | | | | | | * sem_ch8.adb: Minor reformatting. 2012-10-02 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Set_CPP_Constructors): Handle constructor with default parameters that covers the default constructor. 2012-10-02 Yannick Moy <moy@adacore.com> * s-bignum.adb: Minor stylistic and comment corrections. 2012-10-02 Pascal Obry <obry@adacore.com> * prj-util.adb (For_Interface_Sources): Iterate over all sources in aggregate library projects. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191977 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-02 Ed Schonberg <schonberg@adacore.com>charlet2012-10-022-1/+11
| | | | | | | | | * sem_ch8.adb (Find_Direct_Name): The left-hand side of an assignment may designate a generalized reference. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191976 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-02 Eric Botcazou <ebotcazou@adacore.com>charlet2012-10-026-15/+54
| | | | | | | | | | | | | | | | | | | | | | | | | * types.h (N_Return_Statement): Delete. * gcc-interface/trans.c (gnat_to_gnu): Replace N_Return_Statement with N_Simple_Return_Statement. 2012-10-02 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Freeze_Entity): in a generic context, aspects must be analyzed because they may be queried subsequently within the generic unit, even if no other freezing actions are generated for an entity. * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): iterator aspects must be analyzed because they are delayed aspects and the corresponding attribute definition clause may not have been analyzed yet. 2012-10-02 Yannick Moy <moy@adacore.com> * gnat_rm.texi: Minor editing. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191975 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud