aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2012-10-29Remove trailing white spacesH.J. Lu8-158/+168
* lra-assigns.c: Remove trailing white spaces. * lra-coalesce.c: Likewise. * lra-constraints.c: Likewise. * lra-eliminations.c: Likewise. * lra-int.h: Likewise. * lra-spills.c: Likewise. * lra.c: Likewise. From-SVN: r192966
2012-10-29re PR libstdc++/55123 ([C++11] Construction of shared_ptr<const T> from ↵Jonathan Wakely3-2/+39
unique_ptr<const T> fails) PR libstdc++/55123 * include/bits/shared_ptr_base.h (__shared_count::_S_create_from_up): Do not instantiate allocator with element_type. * testsuite/20_util/shared_ptr/cons/55123.cc: New. From-SVN: r192964
2012-10-29re PR c/53066 (Wshadow should not warn for shadowing an extern function)Manuel López-Ibáñez7-2/+75
2012-10-29 Manuel López-Ibáñez <manu@gcc.gnu.org> PR c/53066 c/ * c-decl.c (warn_if_shadowing): Do not warn if a variable shadows a function, unless the variable is a function or a pointer-to-function. gcc/ * tree.h (FUNCTION_POINTER_TYPE_P): New. testsuite/ * gcc.dg/Wshadow-4.c: New. * gcc.dg/Wshadow-4.h: New. From-SVN: r192963
2012-10-29re PR debug/54693 (VTA guality issues with loops)Alexandre Oliva2-3/+9
PR debug/54693 * gcc/valtrack.c (dead_debug_insert_temp): Defer rescan of newly-emitted debug insn. From-SVN: r192962
2012-10-29re PR debug/54693 (VTA guality issues with loops)Alexandre Oliva4-0/+57
gcc/ChangeLog: PR debug/54693 * tree-ssa-threadedge.c (thread_around_empty_block): Copy debug temps from predecessor before threading. gcc/testsuite/ChangeLog: PR debug/54693 * gcc.dg/guality/pr54693.c: New. From-SVN: r192961
2012-10-29* testsuite-management/x86_64-unknown-linux-gnu.xfail: Update.Diego Novillo2-14/+32
From-SVN: r192960
2012-10-29re PR debug/54551 (DF resets some DEBUG_INSNs unnecessarily)Alexandre Oliva2-16/+65
PR debug/54551 PR debug/54693 * valtrack.c (dead_debug_global_find): Accept NULL dtemp. (dead_debug_global_insert): Return new entry. (dead_debug_global_replace_temp): Return early if REG is no longer in place, or if dtemp was already substituted. (dead_debug_promote_uses): Insert for all defs and replace all debug uses at once. (dead_debug_local_finish): Release used after promotion. (dead_debug_insert_temp): Stop if dtemp is NULL. From-SVN: r192959
2012-10-29re PR debug/54693 (VTA guality issues with loops)Alexandre Oliva2-1/+6
PR debug/54693 * loop-unroll.c (loop_exit_at_end_p): Skip debug insns. From-SVN: r192958
2012-10-29re PR debug/54693 (VTA guality issues with loops)Alexandre Oliva2-0/+14
PR debug/54693 * config/i386/i386.c (add_parameter_dependencies): Stop backward scan at the insn before the incoming head. (ix86_dependencies_evaluation_hook): Skip debug insns. Stop if first_arg is head. From-SVN: r192957
2012-10-29mmap.c (backtrace_vector_release): Correct last patch: add aligned, not size.Ian Lance Taylor2-1/+7
* mmap.c (backtrace_vector_release): Correct last patch: add aligned, not size. From-SVN: r192956
2012-10-29aarch64-protos.h (aarch64_load_tp): New proto.Andrew Pinski5-15/+23
2012-10-29 Andrew Pinski <apinski@cavium.com> * config/aarch64/aarch64-protos.h (aarch64_load_tp): New proto. * config/aarch64/aarch64.c (aarch64_load_tp): Export. (aarch64_init_builtins): Don't add __builtin_thread_pointer builtin. * config/aarch64/aarch64.h (aarch64_builtins): Delete From-SVN: r192955
2012-10-29re PR middle-end/55027 (simplify vector multiplication by 1)Marc Glisse4-24/+99
2012-10-29 Marc Glisse <marc.glisse@inria.fr> PR middle-end/55027 gcc/ * tree.c (real_zerop, real_onep, real_twop, real_minus_onep): Handle VECTOR_CST. testsuite/ * gcc.dg/pr55027.c: New testcase. From-SVN: r192954
2012-10-29It is October, not September. :)Bruce Korb1-2/+2
From-SVN: r192953
2012-10-29Omit testing wrap and replacement fixes during testing.Bruce Korb11-183/+592
This exposes a missing result and tests a test that got hidden before. From-SVN: r192952
2012-10-29rtlanal.c (strip_address_mutation): Use SUBREG_REG instead of XEXP.Vladimir Makarov2-1/+6
2012-10-29 Vladimir Makarov <vmakarov@redhat.com> * rtlanal.c (strip_address_mutation): Use SUBREG_REG instead of XEXP. From-SVN: r192951
2012-10-29i386.c (ix86_decompose_address): Use simplify_gen_subreg for all addresses, ↵Uros Bizjak2-16/+9
zero-extended with AND. * config/i386/i386.c (ix86_decompose_address): Use simplify_gen_subreg for all addresses, zero-extended with AND. From-SVN: r192950
2012-10-29re PR middle-end/55116 (LRA failed to decompose ASHIFT)Vladimir Makarov2-0/+11
2012-10-29 Vladimir Makarov <vmakarov@redhat.com> PR middle-end/55116 * rtlanal.c (strip_address_mutation): Add SUBREG case. From-SVN: r192949
2012-10-29* gcc-interface/Makefile.in (s-oscons.ads): Adjust call to xoscons.Arnaud Charlet2-1/+5
From-SVN: r192947
2012-10-29ipa-inline.c (want_inline_function_called_once_p): Rename to ...Jan Hubicka4-45/+106
* ipa-inline.c (want_inline_function_called_once_p): Rename to ... (want_inline_function_to_all_callers_p): check also functions with multiple callers. (ipa_inline): Handle inlining for size into multiple callers. From-SVN: r192946
2012-10-29mmap.c (backtrace_vector_release): Make sure freed block is aligned on ↵Ian Lance Taylor2-2/+17
8-byte boundary. * mmap.c (backtrace_vector_release): Make sure freed block is aligned on 8-byte boundary. From-SVN: r192945
2012-10-29re PR rtl-optimization/55106 (ice: Maximum number of LRA constraint passes ↵Vladimir Makarov2-0/+72
is achieved (15)) 2012-10-29 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/55106 * g++.dg/pr55106.C: New. From-SVN: r192944
2012-10-29re PR middle-end/53695 (ICE: in dfs_enumerate_from, at cfganal.c:1221 with ↵Richard Guenther5-1/+60
-O2 -ftracer and labels/gotos) 2012-10-29 Richard Guenther <rguenther@suse.de> PR middle-end/53695 * tracer.c (tracer): Fixup loop structure. * cfgloopmanip.c (force_single_succ_latches): Add assert. (fix_loop_structure): Re-compute loop latches and disambiguate loops with multiple latches if required. * gcc.dg/torture/pr53695.c: New testcase. From-SVN: r192943
2012-10-29[multiple changes]Arnaud Charlet5-621/+659
2012-10-29 Pascal Obry <obry@adacore.com> * xoscons.adb, Make-generated.in; The template used by xoscons is now given as parameter. * gcc-interface/Make-lang.in: Update dependencies. 2012-10-29 Yannick Moy <moy@adacore.com> * exp_dbug.adb (Qualify_Entity_Name): Only do renaming in formal verification mode when there is a homonym. From-SVN: r192942
2012-10-29MAINTAINERS (Write After Approval): Add myself.James Greenhalgh2-0/+5
2012-10-26 James Greenhalgh <james.greenhalgh@arm.com> * MAINTAINERS (Write After Approval): Add myself. From-SVN: r192941
2012-10-29[multiple changes]Arnaud Charlet4-8/+38
2012-10-29 Thomas Quinot <quinot@adacore.com> * xoscons.adb: Minor reformatting. 2012-10-29 Yannick Moy <moy@adacore.com> * exp_alfa.adb (Expand_Alfa): Backtrack change that removed qualification of names in formal verification mode. Instead, the qualification should be modified. * exp_dbug.adb (Qualify_Entity_Name): Modify qualification in formal verification mode, so that only a suffix is added to distinguish homonyms from the same scope. From-SVN: r192940
2012-10-29[multiple changes]Arnaud Charlet17-85/+145
2012-10-29 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document that pragma Optimize_Alignment (Space) is ignored with a warning for packed variable length records. 2012-10-29 Thomas Quinot <quinot@adacore.com> * socket.c, g-socthi-dummy.adb, g-socthi-dummy.ads, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb, g-socthi-vxworks.ads, s-oscons-tmplt.c, g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads, xoscons.adb, g-socket.adb, g-sothco.ads: Introduce an appropriate subtype for IOCTL requests, since these may be signed or unsigned. From-SVN: r192939
2012-10-29[multiple changes]Arnaud Charlet5-6/+32
2012-10-29 Gary Dismukes <dismukes@adacore.com> * exp_alfa.adb: Minor reformatting. 2012-10-29 Robert Dewar <dewar@adacore.com> * gnat_rm.texi, gnat_ugn.texi: Clarify documentation on maximum line length style switch. 2012-10-29 Robert Dewar <dewar@adacore.com> * layout.adb (Set_Composite_Alignment): Ignore pragma Optimize_Alignment (Space) for packed variable length records. From-SVN: r192938
2012-10-29[multiple changes]Arnaud Charlet4-6/+38
2012-10-29 Robert Dewar <dewar@adacore.com> * s-bignum.adb: Minor comment change. 2012-10-29 Thomas Quinot <quinot@adacore.com> * s-oscons-tmplt.c: Fix signedness of ioctl request identifiers for x86_64-freebsd. 2012-10-29 Yannick Moy <moy@adacore.com> * exp_alfa.adb (Expand_Alfa): Remove qualification of names. From-SVN: r192937
2012-10-29[multiple changes]Arnaud Charlet14-32/+154
2012-10-29 Robert Dewar <dewar@adacore.com> * sem_prag.adb: Minor reformatting. 2012-10-29 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Minor rewording. 2012-10-29 Javier Miranda <miranda@adacore.com> * exp_disp.ads (Is_Expanded_Dispatching_Call): New subprogram. * exp_disp.adb (Expand_Dispatching_Call): No action needed if the call has been already expanded. (Is_Expanded_Dispatching_Call): New subprogram. * sem_disp.adb (Propagate_Tag): No action needed if the call has been already expanded. 2012-10-29 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch9.adb (Create_Index_And_Data): Remove local variable Index_Typ and its uses. The type of the index is now System.Tasking.Entry_Index. Update all related comments. * rtsfind.ads: Add RE_Entry_Index in tables RE_Id and RE_Unit_Table. * s-taskin.adb (Number_Of_Entries): The return type is now Entry_Index. * s-taskin.ads: The index type of Task_Entry_Names_Array is now Entry_Index. (Number_Of_Entries): The return type is now Entry_Index. * s-tpoben.adb (Number_Of_Entries): The return type is now Entry_Index. * s-tpoben.ads: The index type of Protected_Entry_Names_Array is now Entry_Index. (Number_Of_Entries): The return type is now Entry_Index. 2012-10-29 Pascal Obry <obry@adacore.com> * gnat_ugn.texi: Add note about SEH setup on x86-windows. 2012-10-29 Eric Botcazou <ebotcazou@adacore.com> * s-bignum.adb (Allocate_Bignum): Use the exact layout of Bignum_Data for the overlay. From-SVN: r192936
2012-10-29gnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle new pragma ↵Thomas Quinot8-14/+116
Attribute_Definition. 2012-10-29 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi, sem_prag.adb, sem_util.adb, sem_util.ads, par-prag.adb, par-util.adb, snames.ads-tmpl (Sem_Prag.Analyze_Pragma): Handle new pragma Attribute_Definition. (Sem_Util.Bad_Attribute): New routine, moved here from par-util, so that it can be used by the above. (Par_Util.Signal_Bad_Attribute): Processing moved to Sem_Util.Bad_Attribute. From-SVN: r192935
2012-10-29[multiple changes]Arnaud Charlet8-25/+32
2012-10-29 Robert Dewar <dewar@adacore.com> * s-tpoben.ads, s-taskin.ads, exp_ch3.adb: Minor reformatting. 2012-10-29 Yannick Moy <moy@adacore.com> * sem_prag.adb, gnat1drv.adb, opt.ads: Rename S14_Extensions into Formal_Extensions. 2012-10-29 Thomas Quinot <quinot@adacore.com> * sem_attr.adb: Minor reformatting. From-SVN: r192934
2012-10-29[multiple changes]Arnaud Charlet14-430/+515
2012-10-29 Tristan Gingold <gingold@adacore.com> * gnat_rm.texi: Document implementation advice for Pragma Partition_Elaboration_Policy. 2012-10-29 Yannick Moy <moy@adacore.com> * s-bignum.adb (Div_Rem): Reference that Algorithm_D is from the second edition of TAOCP from Knuth, since the algo changed in the third edition. Also correct the definition of 'd' which could overflow. 2012-10-29 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Build_Initialization_Call): Create static strings which denote entry [family] names and associate them with the object's Protection_Entries or ATCB. (Build_Init_Statements): Remove local variable Names. Do not generate the entry [family] names inside the init proc because they are now static. * exp_ch9.adb (Build_Entry_Names): Reimplemented. The strings which denote entry [family] names are now generated statically and associated with the concurrent object's Protection_Entries or ATCB during initialization. * exp_ch9.ads (Build_Entry_Names): Change subprogram profile and associated comment on usage. * rtsfind.ads: Add the following entries to tables RE_Id and RE_Unit_Table: RE_Protected_Entry_Names_Array RE_Task_Entry_Names_Array RO_PE_Number_Of_Entries RO_PE_Set_Entry_Names RO_ST_Number_Of_Entries RO_ST_Set_Entry_Names Remove the following entries from tables RE_Id and RE_Unit_Table: RO_PE_Set_Entry_Name RO_TS_Set_Entry_Name * s-taskin.adb: Remove with clause for Ada.Unchecked_Deallocation. (Free_Entry_Names_Array): Removed. (Number_Of_Entries): New routine. (Set_Entry_Names): New routine. * s-taskin.ads: Rename type Entry_Names_Array to Task_Entry_Names_Array. Rename type Entry_Names_Array_Access to Task_Entry_Names_Access. Update the type of ACTB field Entry_Names and add a comment on its protection status. (Free_Entry_Names_Array): Removed. (Number_Of_Entries): New routine. (Set_Entry_Names): New routine. * s-tassta.adb (Create_Task): Remove formal parameter Build_Entry_Names. Do not allocate an array to hold the string names of entries and families. (Free_Entry_Names): Removed. (Free_Task): Remove the call to Free_Entry_Names. (Set_Entry_Name): Removed. (Vulnerable_Free_Task): Remove the call to Free_Entry_Names. * s-tassta.ads (Create_Task): Remove formal parameter Build_Entry_Names along with associated comment. (Set_Entry_Name): Removed. * s-tpoben.adb: Remove with clause for Ada.Unchecked_Deallocation. (Finalize): Remove the call to Free_Entry_Names. (Free_Entry_Names): Removed. (Initialize_Protection_Entries): Remove formal parameter Build_Entry_Names. Do not allocate an array to hold the string names of entries and families. (Number_Of_Entries): New routine. (Set_Entry_Name): Removed. (Set_Entry_Names): New routine. * s-tpoben.ads: Add types Protected_Entry_Names_Array and Protected_Entry_Names_Access. Update the type of Protection_Enties field Entry_Names. (Initialize_Protection_Entries): Remove formal parameter Build_Entry_Names along with associated comment. (Number_Of_Entries): New routine. (Set_Entry_Name): Removed. (Set_Entry_Names): New routine. 2012-10-29 Arnaud Charlet <charlet@adacore.com> * gnat_ugn.texi: Minor typo fix. From-SVN: r192933
2012-10-29* Revert my last commit.Uros Bizjak2-2/+2
From-SVN: r192932
2012-10-29[multiple changes]Arnaud Charlet8-38/+53
2012-10-29 Yannick Moy <moy@adacore.com> * debug.adb Associate debug switch -gnatd.V to extensions for formal verification. * gnat1drv.adb (Adjust_Global_Switches): Set flag S14_Extensions when -gnatd.V is set. * gnat_rm.texi: Remove doc for Assert_And_Cut. * opt.ads Declare new flag S14_Extensions, to be set when new aspects/pragmas/attributes for formal verification should be accepted. * sem_prag.adb (Analyze_Pragma): Check that S14_Extensions is set when treating pragma Assert_And_Cut. 2012-10-29 Tristan Gingold <gingold@adacore.com> * s-tarest.ads, s-tassta.adb: Add a pragma Partition_Elaboration_Policy. From-SVN: r192931
2012-10-29freeze.adb: Minor reformatting.Robert Dewar2-1/+5
2012-10-29 Robert Dewar <dewar@adacore.com> * freeze.adb: Minor reformatting. From-SVN: r192930
2012-10-29[multiple changes]Arnaud Charlet11-26/+73
2012-10-29 Robert Dewar <dewar@adacore.com> * 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. From-SVN: r192929
2012-10-29[multiple changes]Arnaud Charlet18-85/+357
2012-10-29 Tristan Gingold <gingold@adacore.com> * 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. From-SVN: r192928
2012-10-29[multiple changes]Arnaud Charlet9-34/+83
2012-10-29 Arnaud Charlet <charlet@adacore.com> * 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*). From-SVN: r192927
2012-10-29[multiple changes]Arnaud Charlet6-20/+31
2012-10-29 Javier Miranda <miranda@adacore.com> * 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. From-SVN: r192926
2012-10-29bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for Is_Elaborated ↵Tristan Gingold4-23/+64
if not referenced. 2012-10-29 Tristan Gingold <gingold@adacore.com> * 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. From-SVN: r192925
2012-10-29[multiple changes]Arnaud Charlet3-8/+22
2012-10-29 Arnaud Charlet <charlet@adacore.com> * usage.adb: Update usage line for -gnatw.k. 2012-10-29 Yannick Moy <moy@adacore.com> * sem_prag.adb: Code clean up. From-SVN: r192924
2012-10-29[multiple changes]Arnaud Charlet5-6/+43
2012-10-29 Arnaud Charlet <charlet@adacore.com> * 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. From-SVN: r192923
2012-10-29[multiple changes]Arnaud Charlet8-41/+59
2012-10-29 Vincent Celier <celier@adacore.com> * 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. From-SVN: r192922
2012-10-29g-sechas.adb, [...]: (Binary_Message_Digest): New subtype.Pascal Obry3-0/+53
2012-10-29 Pascal Obry <obry@adacore.com> * g-sechas.adb, g-sechas.ads: (Binary_Message_Digest): New subtype. (Digest): New versions returning a Binary_Message_Digest. (Wide_Digest): Likewise. From-SVN: r192921
2012-10-29[multiple changes]Arnaud Charlet8-94/+79
2012-10-29 Robert Dewar <dewar@adacore.com> * 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. From-SVN: r192920
2012-10-29[multiple changes]Arnaud Charlet16-143/+282
2012-10-29 Ed Schonberg <schonberg@adacore.com> * 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. From-SVN: r192919
2012-10-29[multiple changes]Arnaud Charlet14-507/+648
2012-10-29 Robert Dewar <dewar@adacore.com> * 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. From-SVN: r192918
2012-10-29[multiple changes]Arnaud Charlet3-0/+38
2012-10-29 Steve Baird <baird@adacore.com> * 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. From-SVN: r192917
2012-10-29sem_ch13.adb (Replace_Type_Reference): Use correct sloc for the new node.Bob Duff2-7/+15
2012-10-29 Bob Duff <duff@adacore.com> * sem_ch13.adb (Replace_Type_Reference): Use correct sloc for the new node. From-SVN: r192916
2012-10-29[multiple changes]Arnaud Charlet15-88/+107
2012-10-29 Thomas Quinot <quinot@adacore.com> * 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. From-SVN: r192915
generated by cgit v1.1 at 2024-10-09 04:51:34 +0000