aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2010-06-24loop-unswitch.c (compare_and_jump_seq): Assert that the last insn in the ↵Nick Clifton2-0/+7
sequence is a jump insn before setting its label. * loop-unswitch.c (compare_and_jump_seq): Assert that the last insn in the sequence is a jump insn before setting its label. From-SVN: r161313
2010-06-24collect2.c (main): Match exactly --version and --help.Alan Modra2-2/+6
* collect2.c (main): Match exactly --version and --help. From-SVN: r161311
2010-06-24re PR fortran/44614 ([OOP] Wrongly importing a symbol into an interface ↵Tobias Burnus4-1/+29
without IMPORT) 2010-06-24 Tobias Burnus <burnus@net-b.de> PR fortran/44614 * decl.c (variable_decl): Fix IMPORT diagnostic for CLASS. 2010-06-24 Tobias Burnus <burnus@net-b.de> PR fortran/44614 * gfortran.dg/import8.f90: New. From-SVN: r161310
2010-06-24* config/m32c/m32c-pragma.c: Don't include rtl.h.DJ Delorie2-1/+4
From-SVN: r161307
2010-06-24Daily bump.GCC Administrator1-1/+1
From-SVN: r161305
2010-06-23decl.c (java_init_decl_processing): Use double_int_to_tree instead of ↵Anatoly Sokolov3-44/+27
build_int_cst_wide. /java * decl.c (java_init_decl_processing): Use double_int_to_tree instead of build_int_cst_wide. * boehm.c (set_bit): Remove. (mark_reference_fields): Use double_int type for 'mask' argument. Use double_int_setbit instead of set_bit. (get_boehm_type_descriptor): Use double_int_setbit instead of set_bit. Use double_int_to_tree instead of build_int_cst_wide. From-SVN: r161288
2010-06-23i386 (mov<mode>): Macroize expander from mov{sf,df,xf} using X87MODEF mode ↵Uros Bizjak2-472/+451
iterator. * config/i386/i386 (mov<mode>): Macroize expander from mov{sf,df,xf} using X87MODEF mode iterator. (pushsf splitter): Macroize splitter using P mode iterator. (*swap<mode>): Macroize insn from *swap{sf,df} using MODEF mode iterator. (*movxf_internal): Rename from *movxf_integer. (*movxf_internal_nointeger): Rename from *movxf_nointeger. (*movdf_internal_rex64): Rename from *movdf_integer_rex64. (*movdf_internal): Rename from *movdf_integer. (*movdf_internal_nointeger): Rename from *movdf_nointeger. (*movsf_internal): Rename from *movdf_1. From-SVN: r161287
2010-06-23coretypes.h: (gimple_seq_node_d, gimple_seq_node)Basile Starynkevitch3-3/+12
2010-06-23 Basile Starynkevitch <basile@starynkevitch.net> * coretypes.h: (gimple_seq_node_d, gimple_seq_node) (const_gimple_seq_node): Removed typedefs. * gimple.h: (gimple_seq_node_d, gimple_seq_node) (const_gimple_seq_node): Added typedefs moved from coretypes.h. From-SVN: r161283
2010-06-23re PR other/44644 (type/data name clash makes --enable-build-with-cxx cc1 ↵Joern Rennecke10-17/+22
hard to debug) PR other/44644 * df-core.c (struct df): Rename to df_d. * df.h (struct df): Likewise. * dse.h (struct df): Remove forward declaration. * recog.h (struct insn_data): Rename to: (struct_insn_data_d). Adjusted all users. From-SVN: r161281
2010-06-23Split AVX vec_extract_lo_XXX and 128bit to 256bit cast.H.J. Lu3-106/+88
Remove 256bit to 128bit cast. 2010-06-23 H.J. Lu <hongjiu.lu@intel.com> * config/i386/i386.c (bdesc_args): Replace CODE_FOR_avx_si_si256, CODE_FOR_avx_ps_ps256 and CODE_FOR_avx_pd_pd256 with CODE_FOR_vec_extract_lo_v8si, CODE_FOR_vec_extract_lo_v8sf and CODE_FOR_vec_extract_lo_v4df. * config/i386/sse.md (vec_extract_lo_<AVX256MODE4P:mode>): Changed to define_insn_and_split. (vec_extract_lo_<AVX256MODE8P:mode>): Likewise. (vec_extract_lo_v16hi): Likewise. (vec_extract_lo_v32qi): Likewise. (avx_<avxmodesuffixp><avxmodesuffix>_<avxmodesuffixp>): Likewise. (avx_<avxmodesuffixp>_<avxmodesuffixp><avxmodesuffix>): Removed. From-SVN: r161279
2010-06-23Fix header.Arnaud Charlet11-78/+2854
From-SVN: r161278
2010-06-23[multiple changes]Arnaud Charlet22-1094/+7319
2010-06-23 Thomas Quinot <quinot@adacore.com> * exp_attr.adb (Expand_Access_To_Protected_Op): When rewriting a reference to a protected subprogram outside of the protected's scope, ensure the corresponding external subprogram is frozen before the reference. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb: Fix typo in error message. * sem.adb: Refine previous change. 2010-06-23 Robert Dewar <dewar@adacore.com> * impunit.adb, a-suewen.adb, a-suewen.ads, a-suenco.adb, a-suenco.ads, a-suezen.adb, a-suezen.ads, a-stuten.adb, a-stuten.ads, Makefile.rtl: Implement Ada 2012 string encoding packages. 2010-06-23 Arnaud Charlet <charlet@adacore.com> * a-stwiun-shared.adb, a-stwiun-shared.ads, a-stzunb-shared.adb, a-stzunb-shared.ads, a-swunau-shared.adb, a-swuwti-shared.adb, a-szunau-shared.adb, a-szuzti-shared.adb: New files. * gcc-interface/Makefile.in: Enable use of above files. From-SVN: r161277
2010-06-23Add PR markers.Joern Rennecke1-1/+3
From-SVN: r161276
2010-06-23* config/spu/spu.c (ea_load_store_inline): Use add_reg_note.Joern Rennecke2-2/+3
From-SVN: r161275
2010-06-23* config/spu/spu-protos.h (spu_expand_epilogue) Use bool.Joern Rennecke3-10/+18
* config/spu/spu.c (spu_scalar_mode_supported_p): Declare with bool. (spu_vector_mode_supported_p, spu_handle_fndecl_attribute): Likewise. (spu_handle_vector_attribute, spu_pass_by_reference): Likewise. (spu_rtx_costs, spu_function_ok_for_sibcall): Likewise. From-SVN: r161274
2010-06-23[multiple changes]Arnaud Charlet6-70/+137
2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Check_Constant_Address_Clauses): Do not check legality of address clauses if if Ignore_Rep_Clauses is active. * freeze.adb (Check_Address_Clause): If Ignore_Rep_Clauses is active, remove address clause from tree so that it does not reach the backend. 2010-06-23 Arnaud Charlet <charlet@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Do not expand 'Valid from user code in CodePeer mode, will be handled by the back-end directly. 2010-06-23 Bob Duff <duff@adacore.com> * g-comlin.ads: Minor comment improvements. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Uses_SS): The expression that initializes a controlled component of a record type may be a user-defined operator that is rewritten as a function call. From-SVN: r161271
2010-06-23g-comlin.ads, [...]: Minor comment fix.Bob Duff3-3/+8
2010-06-23 Bob Duff <duff@adacore.com> * g-comlin.ads, sem_ch13.adb: Minor comment fix. From-SVN: r161270
2010-06-23[multiple changes]Arnaud Charlet24-95/+1541
2010-06-23 Eric Botcazou <ebotcazou@adacore.com> * exp_ch11.adb (Expand_Local_Exception_Handlers): Propagate the end label to the new sequence of statements. Set the sloc of the raise statement onto the new goto statements. 2010-06-23 Robert Dewar <dewar@adacore.com> * a-stuten.ads, a-stuten.adb: New files. * impunit.adb: Add engtry for Ada.Strings.UTF_Encoding (a-stuten.ads) * Makefile.rtl: Add entry for a-stuten (Ada.Strings.UTF_Encoding) 2010-06-23 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Add documentation of -gnat12 switch Add documentation of -gnatX switch. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * inline.ads: Include the current Ada_Version in the info for pending instance bodies, so that declaration and body are compiled with the same Ada_Version. * inline.adb: Move with_clause for Opt to spec. * sem_ch12.adb (Analyze_Package_Instantiation, Analyze_Subprogram_Instantiation): Save current Ada_Version in Pending_Instantiation information. (Instantiate_Package_Body, Instantiate_Subprogram_Body, Inline_Package_Body): Use the Ada_Version present in the body information. 2010-06-23 Robert Dewar <dewar@adacore.com> * usage.adb: Add documentation for -gnat12 switch. * errout.ads: Add VMS alias entry for -gnat12 switch * gnat_rm.texi: Add documentation for pragma Ada_12 and Ada_2012 Add documentation for pragma Extensions_Allowed. * opt.ads: Add entry for Ada 2012 mode. * sem_ch4.adb, par-ch3.adb, par-ch4.adb: Use new Ada 2012 mode for 2012 features. * sem_prag.adb, par-prag.adb: Add processing for pragma Ada_12 and Ada_2012. * sem_ch13.adb: Add handling for Ada 2012 mode. * snames.ads-tmpl: Add entries for pragma Ada_2012 and Ada_12. * switch-c.adb: Add handling for -gnat12 switch. Implement -gnat2005 and -gnat2012. * usage.adb: Add documentation for -gnat12 switch. * vms_data.ads: Add /12 switch for Ada 2012 mode. From-SVN: r161268
2010-06-23exp_ch4.adb (Expand_N_Allocator): Fix potential crash when using ↵Arnaud Charlet4-12/+17
No_Task_Hierarchy restriction. 2010-06-23 Arnaud Charlet <charlet@adacore.com> * exp_ch4.adb (Expand_N_Allocator): Fix potential crash when using No_Task_Hierarchy restriction. Add comment. * exp_ch9.adb, exp_ch3.adb: Update comments. From-SVN: r161266
2010-06-23[multiple changes]Arnaud Charlet11-32/+105
2010-06-23 Robert Dewar <dewar@adacore.com> * sem_ch5.adb (Process_Bounds): Remove some junk initializations. * sem_res.adb: Add comments. * sem_util.adb: Minor reformatting. Add comments. Change increment on Actuals_In_Call table. * opt.ads: Minor: add 'constant'. 2010-06-23 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Make_DT): Initialize the Size_Func component of the TSD to Null_Address if No_Dispatching_Calls is active. 2010-06-23 Vincent Celier <celier@adacore.com> * a-comlin.ads: Indicate that use of this package is not supported during the elaboration of an auto-initialized Stand-Alone Library. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * exp_util.adb (Is_Possibly_Misaligned_Object): Do not rely on an alignment clause on a record type to determine if a component may be misaligned. The decision must be taken in the back-end where target alignment information is known. 2010-06-23 Arnaud Charlet <charlet@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Enable some restrictions systematically in CodePeer mode to simplify generated code. * restrict.adb (Check_Restriction): Do nothing in CodePeer mode. * exp_ch4.adb (Expand_N_Allocator): Generate proper code when No_Task_Hierarchy is set instead of crasshing. From-SVN: r161265
2010-06-23[multiple changes]Arnaud Charlet6-91/+178
2010-06-23 Thomas Quinot <quinot@adacore.com> * sem_util.adb: Minor code cleanup: test for proper entity instead of testing just Chars attribute when checking whether a given scope is System. * exp_ch4.adb, einfo.adb: Minor reformatting. 2010-06-23 Vincent Celier <celier@adacore.com> PR ada/44633 * switch-m.adb (Normalize_Compiler_Switches): Take into account switches -gnatB, -gnatD=nn, -gnatG (incuding -gnatG=nn), -gnatI, -gnatl=file, -gnatS, -gnatjnn, -gnateI=nn and -gnatWx. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Membership_Op): If left operand is a mixed mode operation with a universal real operand, and the right operand is a range with universal bounds, find unique fixed point that may be candidate, and warn appropriately. From-SVN: r161264
2010-06-23[multiple changes]Arnaud Charlet4-17/+65
2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Intrinsic_Operator): Add guards to handle properly the rare cases where VMS operators are visible through Extend_System, but the default System is being used and Address is a private type. * sem_util.adb: Widen predicate Is_VMS_Operator. 2010-06-23 Vincent Celier <celier@adacore.com> * switch-m.adb (Normalize_Compiler_Switches): Take into account -gnatC and -gnateS. From-SVN: r161263
2010-06-23[multiple changes]Arnaud Charlet5-25/+61
2010-06-23 Olivier Hainque <hainque@adacore.com> * einfo.adb (Has_Foreign_Convention): Consider Intrinsic with Interface_Name as foreign. These are GCC builtin imports for which Ada specific processing doesn't apply. 2010-06-23 Thomas Quinot <quinot@adacore.com> * sem_ch12.adb: Minor reformatting. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Is_VMS_Operator): Use scope of system extension to determine whether an intrinsic subprogram is VMS specific. 2010-06-23 Hristian Kirtchev <kirtchev@adacore.com> * treepr.adb (Print_Entity_Info): Output the contents of Field28 if it is present in the entity. From-SVN: r161262
2010-06-23(gnat_to_gnu_param): Use void_ptr GCC type for System.Address argument Olivier Hainque2-0/+8
of GCC builtin imports. From-SVN: r161261
2010-06-23xr_tabls.adb, [...]: Update to latest lib-xref.ads Fix handling of parameters.Arnaud Charlet4-14/+47
2010-06-23 Arnaud Charlet <charlet@adacore.com> * xr_tabls.adb, xref_lib.adb: Update to latest lib-xref.ads Fix handling of parameters. Add protection against unexpected cases. * sem_ch6.adb (Create_Extra_Formals): Use suffix "L" instead of "A" for access level, since "A" suffix is already used elsewhere. Similarly, use suffix "O" instead of "C" for 'Constrained since "C" suffix is used for xxx'Class. From-SVN: r161260
2010-06-23[multiple changes]Arnaud Charlet9-251/+309
2010-06-23 Thomas Quinot <quinot@adacore.com> * sem_util.adb, sem_util.ads: Minor reformatting. 2010-06-23 Vincent Celier <celier@adacore.com> * prj.ads (Gprclean_Flags.Missing_Source_Files): Set to Error to keep the previous behavior of gprclean when there are missing files. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Load_Body_Of_Generic): In CodePeer mode, a missing generic body is not a fatal error. (Mark_Context): Handle properly names of child units. * sem.adb (Walk_Library_Items.Do_Action): Remove assertion on instantiations. 2010-06-23 Vincent Celier <celier@adacore.com> * ali.adb (Scan_ALI): When ignoring R lines, do not skip the next non-empty line. 2010-06-23 Bob Duff <duff@adacore.com> * g-pehage.ads, g-pehage.adb: Switch default optimization mode to Memory_Space, because CPU_Time doesn't seem to provide any significant speed advantage in practice. Cleanup: Get rid of constant Default_Optimization; doesn't seem to add anything. Use case statements instead of if statements; seems cleaner. From-SVN: r161259
2010-06-23decl.c (gnat_to_gnu_entity): Use Wshadow instead of Wextra to guard warning ↵Olivier Hainque2-49/+30
on absence of internal builtin... * gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Procedure>: Use Wshadow instead of Wextra to guard warning on absence of internal builtin decl for an import. Fix use of quote in warning text. (intrin_arglists_compatible_p): Remove processing of integer trailing args on the Ada side. Fix use of literal > in warning text. (intrin_return_compatible_p): Never warn on "function imported as procedure". Defer the void/void case to the common type compatibility check. From-SVN: r161258
2010-06-23decl.c (intrin_types_incompatible_p): New function, helper for ...Olivier Hainque2-36/+224
2010-06-23 Olivier Hainque <hainque@adacore.com> * gcc-interface/decl.c (intrin_types_incompatible_p): New function, helper for ... (intrin_arglists_compatible_p, intrin_return_compatible_p): New functions, helpers for ... (intrin_profiles_compatible_p): New function, replacement for ... (compatible_signatures_p): Removed. (gnat_to_gnu_entity) <case E_Procedure>: If -Wextra, warn on attempt to bind an unregistered builtin function. When we have one, use it and warn on profile incompatibilities. From-SVN: r161257
2010-06-23Replace PR 22220 by PR ada/22220.Arnaud Charlet1-1/+1
From-SVN: r161256
2010-06-23re PR ada/22220 (Unable to build gnattools native i586)Arnaud Charlet2-1/+6
PR 22220 * doc/install.texi: Update requirements to build GNAT. From-SVN: r161255
2010-06-23Update dependencies.Arnaud Charlet2-1110/+1086
From-SVN: r161254
2010-06-23[multiple changes]Arnaud Charlet6-37/+132
2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Mark_Coextensions): If the expression in the allocator for a coextension in an object declaration is a concatenation, treat coextension as dynamic. 2010-06-23 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Add_Internal_Interface_Entities): Ensure that the internal entities are added to the scope of the tagged type. (Derive_Subprograms): Do not stop derivation when we find the first internal entity that has attribute Interface_Alias. After the change done to Override_Dispatching_Operations it is no longer true that these primirives are always located at the end of the list of primitives. * einfo.ads (Primitive_Operations): Add documentation. * exp_disp.adb (Write_DT): Improve output adding to the name of the primitive a prefix indicating its corresponding tagged type. * sem_disp.adb (Override_Dispatching_Operations): If the overridden entity covers the primitive of an interface that is not an ancestor of this tagged type then the new primitive is added at the end of the list of primitives. Required to fulfill the C++ ABI. From-SVN: r161253
2010-06-23[multiple changes]Arnaud Charlet10-82/+238
2010-06-23 Javier Miranda <miranda@adacore.com> * atree.ads (Set_Reporting_Proc): New subprogram. * atree.adb: Remove dependency on packages Opt and SCIL_LL. (Allocate_Initialize_Node, Replace, Rewrite): Replace direct calls to routines of package Scil_ll by indirect call to the registered subprogram. (Set_Reporting_Proc): New subprogram. Used to register a subprogram that is invoked when a node is allocated, replaced or rewritten. * scil_ll.adb (Copy_SCIL_Node): New routine that takes care of copying the SCIL node. Used as argument for Set_Reporting_Proc. (Initialize): Register Copy_SCIL_Node as the reporting routine that is invoked by atree. 2010-06-23 Thomas Quinot <quinot@adacore.com> * sem_ch3.ads: Minor reformatting. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Analyze_Package_Instantiation): In CodePeer mode, always analyze the generic body and instance, because it may be needed downstream. (Mark_Context): Prepend the with clauses for needed generic units, so they appear in a better order for CodePeer. * sem_util.adb, sem_util.ads: Prototype code for AI05-0144. 2010-06-23 Emmanuel Briot <briot@adacore.com> * prj.ads, prj-nmsc.adb (Error_Or_Warning): New subprogram. From-SVN: r161252
2010-06-23[multiple changes]Arnaud Charlet5-16/+97
2010-06-23 Robert Dewar <dewar@adacore.com> * g-pehage.adb, exp_ch13.adb: Minor reformatting. 2010-06-23 Thomas Quinot <quinot@adacore.com> * a-tags.ads: Fix description of TSD structure. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Mark_Context): When indicating that the body of a generic unit is needed prior to the unit containing an instantiation, search recursively the context of the generic to add other generic bodies that may be instantiated indirectly through the current instance. From-SVN: r161251
2010-06-23[multiple changes]Arnaud Charlet6-9/+71
2010-06-23 Robert Dewar <dewar@adacore.com> * freeze.adb: Minor reformatting. 2010-06-23 Bob Duff <duff@adacore.com> * g-pehage.adb (Trim_Trailing_Nuls): Fix the code to match the comment. 2010-06-23 Vincent Celier <celier@adacore.com> * make.adb (Compile_Sources): Complete previous change. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Add_Extra_Formal): Use suffix "C" in the name of the Constrained extra formal. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * exp_ch13.adb (Expand_Freeze_Actions): If validity checks and Initialize_Scalars are enabled, compile the generated equality function for a composite type with full checks enabled, so that validity checks are performed on individual components. From-SVN: r161250
2010-06-23[multiple changes]Arnaud Charlet6-33/+70
2010-06-23 Emmanuel Briot <briot@adacore.com> * prj.adb, prj.ads, prj-nmsc.adb (Processing_Flags): New flag Missing_Source_Files. 2010-06-23 Robert Dewar <dewar@adacore.com> * exp_ch3.adb, exp_util.adb: Minor reformatting. From-SVN: r161249
2010-06-23[multiple changes]Arnaud Charlet7-46/+56
2010-06-23 Jose Ruiz <ruiz@adacore.com> * a-reatim.adb, a-retide.adb: Move the initialization of the tasking run time from Ada.Real_Time.Delays to Ada.Real_Time. This way, calls to Clock (without delays) use a run time which is properly initialized. 2010-06-23 Vincent Celier <celier@adacore.com> * make.adb: Do not set Check_Readonly_Files when setting Must_Compile, when -f -u and a main is specified on the command line. However, attempt to compile even when the ALI file is read-only when Must_Compile is True. 2010-06-23 Thomas Quinot <quinot@adacore.com> * checks.adb, g-pehage.adb, cstand.adb: Minor code factorization. From-SVN: r161248
2010-06-23[multiple changes]Arnaud Charlet13-135/+350
2010-06-23 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Add_Internal_Interface_Entities): Generate internal entities for parent types that are interfaces. Needed in generics to handle formals that implement interfaces. (Derive_Subprograms): Add assertion for derivation of tagged types that do not cover interfaces. For generics, complete code that handles derivation of type that covers interfaces because the previous condition was weak (it required only name consistency; arguments were not checked). Add new code to locate primitives covering interfaces defined in generic units or instantiatons. * sem_util.adb (Has_Interfaces): Add missing support for derived types. * sem_ch6.adb (Check_Overriding_Indicator): Minor code cleanups. * exp_disp.adb (Make_Select_Specific_Data_Table): Skip primitives of interfaces that are parents of the type because they share the primary dispatch table. (Register_Primitive): Do not register primitives of interfaces that are parents of the type. * sem_ch13.adb (Analyze_Freeze_Entity): Add documentation. * exp_cg.adb (Write_Type_Info): When displaying overriding of interface primitives skip primitives of interfaces that are parents of the type. 2010-06-23 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Eval_Attribute): If the prefix is an array, the attribute cannot be constant-folded if an index type is a formal type, or is derived from one. * checks.adb (Determine_Range): ditto. 2010-06-23 Arnaud Charlet <charlet@adacore.com> * gnat_ugn.texi, gnatxref.adb: Add support for --ext switch. 2010-06-23 Bob Duff <duff@adacore.com> * g-pehage.ads, g-pehage.adb (Put): Fix off-by-one bug. (Insert): Disallow nul characters. (misc output routines): Assert no nul characters. From-SVN: r161247
2010-06-23[multiple changes]Arnaud Charlet6-60/+264
2010-06-23 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb: Use predefined unsigned type in all cases. 2010-06-23 Bob Duff <duff@adacore.com> * s-rannum.adb (Reset): Avoid overflow in calculation of Initiator. * g-pehage.ads: Minor comment fixes. * g-pehage.adb: Minor: Add some additional debugging printouts under Verbose flag. 2010-06-23 Robert Dewar <dewar@adacore.com> * binde.adb (Better_Choice): Always prefer Pure/Preelab. (Worse_Choice): Always prefer Pure/Preelab. From-SVN: r161246
2010-06-23a-reatim.adb: Call System.OS_Primitives.Initialize during elaborationVincent Celier2-1/+9
2010-06-23 Vincent Celier <celier@adacore.com> * a-reatim.adb: Call System.OS_Primitives.Initialize during elaboration From-SVN: r161245
2010-06-23[multiple changes]Arnaud Charlet26-1764/+1317
2010-06-23 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Properly handle checking returns in generic case. (Check_Missing_Return): New procedure. 2010-06-23 Robert Dewar <dewar@adacore.com> * bindgen.adb, switch-b.adb: Minor reformatting. 2010-06-23 Javier Miranda <miranda@adacore.com> * frontend.adb (Frontend): Add call to initialize the new package SCIL_LL. * exp_ch7.adb (Wrap_Transient_Expression): Remove call to Adjust_SCIL_Node. (Wrap_Transient_Statement): Remove call to Adjust_SCIL_Node. * sem_ch5.adb (Analyze_Iteration_Scheme.Process_Bounds): Remove call to Adjust_SCIL_Node. * exp_util.adb (Insert_Actions): Remove code for N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes. (Remove_Side_Effects): Remove calls to Adjust_SCIL_Node. * sinfo.adb (SCIL_Entity, SCIL_Tag_Value): Remove checks on N_SCIL_Tag_Init and N_SCIL_Dispatch_Table_Object_Init in the assertion. (SCIL_Related_Node, Set_SCIL_Related_Node): Removed. * sinfo.ads (SCIL_Related_Node): Field removed. (N_SCIL_Dispatch_Table_Object_Init): Node removed. (N_SCIL_Tag_Init): Node removed. * sem_scil.ads, sem_scil.adb (Adjust_SCIL_Node): Removed. (Check_SCIL_Node): New implementation. (Find_SCIL_Node): Removed. * sem.adb (Analyze): Remove management of N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes. * sem_util.adb (Insert_Explicit_Dereference): Remove call to Adjust_SCIL_Node. * exp_ch4.adb (Expand_N_In): Code cleanup: remove call to Set_SCIL_Related_Node and avoid adding the SCIL node before the referenced node using Insert_Action because this is not longer required. (Expand_Short_Circuit_Operator): Remove call to SCIL node. * exp_ch6.adb (Expand_Call): Remove call to Adjust_SCIL_Node. * sem_ch4.adb (Analyze_Type_Conversion): Remove call to Adjust_SCIL_Node * exp_disp.adb (Expand_Dispatching_Call): Minor code reorganization because we no longer require to generate the SCIL node before the call. (Make_DT): Remove generation of SCI_Dispatch_Table_Object_Init node. Remove calls to Set_SCIL_Related_Node and avoid adding the SCIL nodes before the referenced node using Insert_Action because this is not longer required. * atree.adb (Allocate_Initialize_Node, Replace, Rewrite): Add call to update the SCIL_Node field. * sprint.adb (Sprint_Node_Actual): Remove code for N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes. * treepr.adb (Print_Node): Print the SCIL node field (if available). * exp_ch3.adb (Build_Init_Procedure): Remove generation of SCIL_Tag_Init nodes. * scil_ll.ads, scil_ll.adb: New files. From-SVN: r161244
2010-06-23[multiple changes]Arnaud Charlet8-15/+87
2010-06-23 Robert Dewar <dewar@adacore.com> * sem_ch6.adb: Minor reformatting. 2010-06-23 Doug Rupp <rupp@adacore.com> * bindusg.adb (Display): Write -Hnn line. * bindgen.adb (Gen_Adainit_Ada): Write Heap_Size to binder file as necessary. * init.c (__gl_heap_size): Rename from __gl_no_malloc_64 and change valid values to 32 and 64. (GNAT$NO_MALLOC_64): Recognize TRUE, 1, FALSE, and 0 in addition to ENABLE, DISABLE as valid settings. * switch-b.adb (Scan_Binder_Switches): Process -Hnn switch. * opt.ads (Heap_Size): New global variable. * gcc-interface/utils2.c (maybe_wrap_malloc): Remove mostly redundant TARGET_MALLOC64 check. Fix comment. From-SVN: r161243
2010-06-23sem_ch6.adb, [...]: Minor reformatting.Robert Dewar7-18/+43
2010-06-23 Robert Dewar <dewar@adacore.com> * sem_ch6.adb, exp_ch4.adb, s-rannum.ads, sem.adb, sem_ch12.adb: Minor reformatting. Add comments. * errout.adb (Finalize): Properly adjust warning count when deleting continuations. From-SVN: r161242
2010-06-23* gnat.dg/not_null.adb: Update test case.Arnaud Charlet2-2/+4
From-SVN: r161241
2010-06-23Daily bump.GCC Administrator1-1/+1
From-SVN: r161240
2010-06-22re PR c++/44619 (Bogus set but not used warning when using pointer to member ↵Jakub Jelinek4-0/+32
operators) PR c++/44619 * typeck2.c (build_m_component_ref): Call mark_lvalue_use on datum and mark_rvalue_use on component. * g++.dg/warn/Wunused-var-13.C: New test. From-SVN: r161230
2010-06-22re PR c++/44627 (ICE in dump_expr, at cp/error.c:1735)Jakub Jelinek4-1/+34
PR c++/44627 * error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if the CALL_EXPR has no arguments. * g++.dg/diagnostic/method1.C: New test. From-SVN: r161227
2010-06-22m68k.c (m68k_output_addr_const_extra): Add cast to enum type.Andreas Schwab2-8/+12
* config/m68k/m68k.c (m68k_output_addr_const_extra): Add cast to enum type. (m68k_sched_attr_opx_type): Remove unreachable return. (m68k_sched_attr_opy_type): Likewise. (m68k_sched_attr_size): Likewise. (sched_get_opxy_mem_type): Likewise. (m68k_sched_attr_op_mem): Likewise. From-SVN: r161225
2010-06-22cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Chain the new ↵Eric Botcazou5-28/+41
statement and adjust VDEF only if necessary. * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Chain the new statement and adjust VDEF only if necessary. Remove superfluous call to maybe_clean_or_replace_eh_stmt. * gimple.c (gimple_call_copy_skip_args): Use gimple_call_copy_flags to copy the flags. * gimple-iterator.c (gsi_replace): Clear BB of old statement here... * tree-inline.c (copy_bb): ...and not there. From-SVN: r161221
2010-06-22dwarf2out.c (is_nested_in_subprogram): New function.Cary Coutant4-5/+75
gcc/ChangeLog: * dwarf2out.c (is_nested_in_subprogram): New function. (should_move_die_to_comdat): Use it. (copy_ancestor_tree): Don't mark DIEs here. (copy_decls_walk): Start walk from root of newly-added tree; mark DIEs here instead. gcc/testsuite/ChangeLog: * g++.dg/debug/dwarf2/dwarf4-typedef.C: New test. From-SVN: r161217