aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2007-10-15sem_ch3.adb (Build_Derived_Concurrent_Type): Set the Is_Constrained flag of ↵Gary Dismukes1-0/+14
derived concurrent types... 2007-10-15 Gary Dismukes <dismukes@adacore.com> * sem_ch3.adb (Build_Derived_Concurrent_Type): Set the Is_Constrained flag of derived concurrent types, taking into account the flag setting on the parent subtype and any new set of discriminants. From-SVN: r129333
2007-10-15sem_ch12.adb: Minor code reformatting.Hristian Kirtchev1-22/+41
2007-10-15 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch12.adb: Minor code reformatting. (Check_Generic_Child_Unit): Iterate over the homonym chain in order to find the parent package which may have been hidden by local declarations. From-SVN: r129332
2007-10-15sem_aggr.adb (Resolve_Record_Aggregate): In the case of a box association ↵Gary Dismukes1-25/+50
for an access component... 2007-10-15 Gary Dismukes <dismukes@adacore.com> * sem_aggr.adb (Resolve_Record_Aggregate): In the case of a box association for an access component, add an association with null as the expression. Remove testing for array subtypes and the setting in that case of Ctyp to the array component type, which prevented proper inclusion of an association for null-initialized arrays. Collapse condition that tests for array subtypes into just a test of Is_Partially_Initialized_Type (which already covers arrays anyway). From-SVN: r129331
2007-10-15rtsfind.adb: (Load_RTU): Turn off style checks for Load callRobert Dewar1-8/+17
2007-10-15 Robert Dewar <dewar@adacore.com> * rtsfind.adb: (Load_RTU): Turn off style checks for Load call From-SVN: r129330
2007-10-15snames.adb, snames.ads: Add new standard name runtime_library_dirVincent Celier10-246/+327
2007-10-15 Vincent Celier <celier@adacore.com> * snames.adb, snames.ads: Add new standard name runtime_library_dir * prj.ads (Language_Config): Add new component Runtime_Library_Dir * prj-attr.adb: Add project level attribute Runtime_Library_Dir * prj-env.adb (Create_Mapping_File): Do not put an entry if the path of the source is unknown. * prj-ext.adb: Spelling error fix * prj-nmsc.adb (Check_Ada_Name): Reject any unit that includes an Ada 95 reserved word in its name. (Process_Project_Level_Array_Attributes): Process new attribute Runtime_Library_Dir. * prj-part.adb (Parse_Single_Project): Do not check the name of the config project against the user project names. * prj-proc.adb (Expression): In multi-language mode, indexes that do not include a dot are always case insensitive. (Process_Declarative_Items): Ditto (Process_Project_Tree_Phase_1): Set Success to False in case an error is detected. * prj-util.adb (Value_Of (In_Array)): When Force_Lower_Case_Index is True, compare both indexes in lower case. From-SVN: r129329
2007-10-15re PR libfortran/33055 (Runtime error in INQUIRE unit existance with ↵Jerry DeLisle2-2/+45
-fdefault-integer-8) 2007-10-15 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR fortran/33055 * trans-io.c (create_dummy_iostat): New function to create a unique dummy variable expression to use with IOSTAT. (gfc_trans_inquire): Use the new function to pass unit number error info to run-time library if a regular IOSTAT variable was not given. From-SVN: r129328
2007-10-15sem_case.adb, [...]: Replace use of Heap_Sort_A (passing'Unrestricted_Access ↵Bob Duff3-21/+24
of nested subprograms... 2007-10-15 Bob Duff <duff@adacore.com> * sem_case.adb, sem_ch13.adb, lib-sort.adb: Replace use of Heap_Sort_A (passing'Unrestricted_Access of nested subprograms to Sort) with use of the generic Heap_Sort_G, in order to avoid trampolines. From-SVN: r129327
2007-10-15mlib-tgt-specific.adb (Support_For_Libraries): New function...Vincent Celier1-1/+18
2007-10-15 Vincent Celier <celier@adacore.com> * mlib-tgt-specific.adb (Support_For_Libraries): New function, returning None, used when there is no platform specific body for MLib.Tgt.Specific. From-SVN: r129326
2007-10-15exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): Do not attempt to ↵Thomas Quinot1-64/+74
generate stubs for hidden primitive operations. 2007-10-15 Thomas Quinot <quinot@adacore.com> * exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): Do not attempt to generate stubs for hidden primitive operations. From-SVN: r129325
2007-10-15exp_ch9.adb (Actual_Index_Expression): When the expansion occurs inside a ↵Hristian Kirtchev1-0/+47
generic body... 2007-10-15 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch9.adb (Actual_Index_Expression): When the expansion occurs inside a generic body, retrieve the full view of the entry family discrete subtype if available. From-SVN: r129324
2007-10-15exp_ch3.adb (Build_Init_Procedure): Keep separate the initialization of ↵Ed Schonberg1-10/+27
tagged types whose ultimate ancestor is a... 2007-10-15 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Build_Init_Procedure): Keep separate the initialization of tagged types whose ultimate ancestor is a CPP type. (Freeze_Array_Type): For a packed array type, generate an initialization procedure if the type is public, to handle properly a client that specifies Normalize_Scalars. From-SVN: r129323
2007-10-15exp_attr.adb (Expand_N_Attribute_Reference): Case Access, Unchecked_Access, ↵Javier Miranda2-139/+132
and Unrestricted_Access. 2007-10-15 Javier Miranda <miranda@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Case Access, Unchecked_Access, and Unrestricted_Access. Cleanup code that takes care of access to class-wide interface types plus removal of bizarre conversion of tagged object to access type (reported by Gary Dismukes). After this patch there is no need to perform any additional management on these nodes in Expand_Interface_Actuals. * exp_disp.adb (Expand_Interface_Actuals): Code cleanup. Remove code that handles use of 'Access and 'Unchecked_Access applied to actuals covering interface types. Such code is now centralized in Expand_N_Attribute_Reference. From-SVN: r129322
2007-10-15debug.adb: Document use of -gnatd.a and -gnatd.ITristan Gingold2-6/+22
2007-10-15 Tristan Gingold <gingold@adacore.com> * debug.adb: Document use of -gnatd.a and -gnatd.I * layout.adb: On OpenVMS -gnatd.a disables alignment optimization. From-SVN: r129321
2007-10-15ali.ads, ali.adb (Scan_ALI): Initialize XE.Tref to a known default value.Emmanuel Briot2-27/+89
2007-10-15 Emmanuel Briot <briot@adacore.com> * ali.ads, ali.adb (Scan_ALI): Initialize XE.Tref to a known default value. (Xref_Record): Change type for Line, since in the case of a reference to a predefined entity (as happens for array index types), the line is set to 0. Add support for parsing multiple array index types info, or multiple inherited interfaces info. This information cannot be stored in Xref_Entity_Record, which only supports a single instance of Tref_*, and is therefore stored in the list of references instead. It has a special treatement later on in tools that use this information. From-SVN: r129320
2007-10-15adaint.c, [...]: Initial port to arm-mentor-nucleus.Geert Bosch4-30/+46
2007-10-15 Geert Bosch <bosch@adacore.com> * adaint.c, socket.c, cal.c: Initial port to arm-mentor-nucleus. * expect.c: Initial port to arm-mentor-nucleus. Use kill for __gnat_kill() on VMS. From-SVN: r129319
2007-10-15s-taprop-solaris.adb, [...]: Minor reformatting.Robert Dewar93-415/+1055
2007-10-15 Robert Dewar <dewar@adacore.com> * s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb, s-taprop-posix.adb, a-calend-vms.adb, a-calend.adb, a-nuflra.adb, a-tigeau.adb, a-wtgeau.adb, checks.adb, bindgen.adb, eval_fat.adb, exp_fixd.adb, fmap.adb, freeze.adb, g-awk.adb, g-calend.adb, g-diopit.adb, g-expect.adb, gnatchop.adb, gnatlink.adb, g-spipat.adb, g-thread.adb, make.adb, mdll.adb, mlib.adb, mlib-prj.adb, osint.adb, par-ch3.adb, prj.adb, prj-makr.adb, sem_prag.adb, sem_type.adb, s-fatgen.adb, s-fileio.adb, sinfo.ads, sinput-d.adb, s-taasde.adb, s-tasdeb.ads, s-tasren.adb, s-tassta.adb, s-tpobop.adb, s-tposen.adb, stylesw.adb, types.ads, uintp.adb, validsw.adb, makegpr.adb, a-rbtgso.adb, a-crbtgo.adb, a-coorse.adb, a-convec.adb, a-coinve.adb, a-cohama.adb, a-ciorse.adb, a-cihama.adb, a-cidlli.adb, a-chtgop.adb, a-cdlili.adb, a-cdlili.adb, a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cohase.adb, a-ciorma.adb, a-coorma.adb, a-ztgeau.adb, symbols-vms.adb, a-crdlli.adb, a-calari.adb, a-calfor.adb, s-os_lib.adb, s-regpat.adb, a-ngrear.adb: Minor reformatting. Add Unreferenced and Warnings (Off) pragmas for cases of variables modified calls where they are IN OUT or OUT parameters and the resulting values are not subsequently referenced. In a few cases, we also remove redundant code found by the new warnings. * ug_words, vms_data.ads, usage.adb, sem_util.adb, sem_util.ads, sem_warn.adb, sem_warn.ads, sem_res.adb, sem_ch7.adb, sem_ch8.adb, sem_ch5.adb, opt.ads, lib-xref.adb, lib-xref.ads, exp_smem.adb, sem_ch11.adb, exp_ch6.adb, einfo.ads, einfo.adb: implement a new warning controlled by -gnatw.o that warns on cases of out parameter values being ignored. From-SVN: r129318
2007-10-15s-osinte-tru64.adb: (Hide_Yellow_Zone): Add On parameter.Eric Botcazou3-17/+26
2007-10-15 Eric Botcazou <ebotcazou@adacore.com> * s-osinte-tru64.adb: (Hide_Yellow_Zone): Add On parameter. Set the protection status of the guard page based on the value of On. * s-osinte-tru64.ads: (Hide_Yellow_Zone): Add On parameter. * s-taprop-tru64.adb: (Enter_Task): Pass True to Hide_Yellow_Zone. (Exit_Task): Pass False to Hide_Yellow_Zone. From-SVN: r129317
2007-10-15re PR target/33133 (ICE in try_ready, at haifa-sched.c:2958 with -O2/-O3)Maxim Kuvyrkov4-2/+74
PR target/33133 * haifa-sched.c (process_insn_forw_deps_be_in_spec): Check if speculation type of insn can be changed before trying to do that. * gcc.c-torture/compile/pr33133.c: New test. From-SVN: r129315
2007-10-15dse.c (struct insn_info): Add 'frame_read' field.Eric Botcazou2-3/+68
* dse.c (struct insn_info): Add 'frame_read' field. (scan_insn): For the call to a const function, set frame_read if reload has been run. If the insn reads the frame, kill the frame related stores. (scan_reads_nospill): Likewise. From-SVN: r129312
2007-10-15tree-eh.c (optimize_double_finally): Don't assume that the cleanup we're ↵Jason Merrill3-8/+51
duplicating is only one statement. * tree-eh.c (optimize_double_finally): Don't assume that the cleanup we're duplicating is only one statement. From-SVN: r129311
2007-10-15re PR libfortran/33672 (Additional runtime checks needed for namelist reads)Jerry DeLisle2-0/+59
2007-10-14 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR libfortran/33672 * gfortran.dg/namelist_40.f90: New test. From-SVN: r129310
2007-10-15Daily bump.GCC Administrator1-1/+1
From-SVN: r129307
2007-10-14re PR fortran/33745 (-fbounds-check: Bogus out-of-bounds run-time error for ↵Tobias Burnus5-37/+107
assumed-size array) 2007-10-14 Tobias Burnus <burnus@net-b.de> PR fortran/33745 * trans-array.c (gfc_conv_ss_startstride): Fix dimension check. (gfc_trans_array_bound_check, gfc_conv_array_ref, gfc_conv_ss_startstride): Simplify error message. * resolve.c (check_dimension): Fix dimension-type switch; improve error message. 2007-10-14 Tobias Burnus <burnus@net-b.de> PR fortran/33745 * gfortran.dg/bounds_check_11.f90: New. From-SVN: r129302
2007-10-14re PR c++/30303 (ICE with invalid constructor definition)Andrew Pinski6-1/+62
2007-10-14 Andrew Pinski <pinskia@gmail.com> PR c++/30303 * decl.c (grokfndecl): Return NULL after the "definition of implicitly-declared" error happened. 2007-10-14 Andrew Pinski <pinskia@gmail.com> PR c++/30303 * g++.dg/other/ctor1.C: New test. * g++.dg/other/ctor2.C: New test. * g++.dg/other/dtor1.C: New test. From-SVN: r129298
2007-10-14c-objc-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN): Remove.Kazu Hirata3-4/+4
* c-objc-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN): Remove. * c-tree.h: Remove the prototype for c_cannot_inline_tree_fn. From-SVN: r129296
2007-10-14bounds_check_10.f90: Fix testcase.Tobias Burnus2-2/+6
2007-10-14 Tobias Burnus <burnus@gcc.gnu.org> * gfortran.dg/bounds_check_10.f90: Fix testcase. From-SVN: r129293
2007-10-14c-common.h: Remove the prototype for c_expand_body.Kazu Hirata4-3/+4
* c-common.h: Remove the prototype for c_expand_body. * c-tree.h: Remove the prototype for c_disregard_inline_limits. * tree.h: Remove the prototype for fold_build_call_expr. From-SVN: r129292
2007-10-14fixed-bit.c, [...]: Fix comment typos.Kazu Hirata18-23/+32
* config/fixed-bit.c, config/i386/cpuid.h, config/i386/i386.c, config/i386/i386.md, config/i386/sse.md, function.c, jump.c, modulo-sched.c, ra-conflict.c, toplev.c, tree-eh.c, tree-sra.c, tree-ssa-dse.c, tree-vect-analyze.c, tree-vect-patterns.c, tree-vect-transform.c: Fix comment typos. * doc/extend.texi: Fix a typo. From-SVN: r129291
2007-10-14Daily bump.GCC Administrator1-1/+1
From-SVN: r129289
2007-10-13re PR fortran/33254 (Diagnose different string lengths in array constructors ↵Tobias Schlüter4-1/+50
at run time) 2007-10-13 Tobias Schlueter <tobi@gcc.gnu.org> Paul Thomas <pault@gcc.gnu.org> PR fortran/33254 PR fortran/33727 fortran/ * trans-array.c (get_array_ctor_var_strlen): Check upper bound for constness instead of lower bound. (get_array_ctor_strlen): Add bounds-checking code. testsuite/ * bounds_check_10.f90: New. Co-Authored-By: Paul Thomas <pault@gcc.gnu.org> From-SVN: r129286
2007-10-13aix53.h: New file.David Edelsohn8-6/+237
* config/rs6000/aix53.h: New file. * config/rs6000/aix{41,43,51,52}.h (TARGET_ALTIVEC): Define to 0. (TARGET_ALTIVEC_ABI): Same. * config/rs6000/aix.h (TARGET_ALTIVEC): Delete. (TARGET_ALTIVEC_ABI): Delete. * config.gcc (powerpc-ibm-aix5*): Rename to aix5.2. Add new stanza defaulting to aix5.3. From-SVN: r129285
2007-10-13parity-1.c: POWER5 feature, not POWER6.David Edelsohn3-2/+7
* gcc.target/powerpc/parity-1.c: POWER5 feature, not POWER6. * gcc.target/powerpc/popcount-1.c: Same. From-SVN: r129284
2007-10-13Daily bump.GCC Administrator1-1/+1
From-SVN: r129280
2007-10-12i386.md (SI_REG, DI_REG): New constants.Nathan Froyd3-5/+15
* config/i386/i386.md (SI_REG, DI_REG): New constants. (strmov): Use defined constants. (cmpstrnsi): Likewise. * config/i386/i386.c (decide_alg): Use defined constants. (ix86_expand_strlen): Likewise. From-SVN: r129276
2007-10-12re PR c++/26698 (g++ accepts const-incorrect code due to conversion function)Simon Martin4-1/+47
gcc/cp/ 2007-10-12 Simon Martin <simartin@users.sourceforge.net> PR c++/26698 * call.c (build_user_type_conversion_1): Do not consider conversion functions to convert a (possibly cv-qualified) object to the (possibly cv-qualified) same object type (or a reference to it), to a (possibly cv-qualified) base class of that type (or a reference to it). gcc/testsuite/ 2007-10-12 Simon Martin <simartin@users.sourceforge.net> PR c++/26698 * g++.dg/conversion/op4.C: New test. From-SVN: r129274
2007-10-12pr33572.C (main): Allow argc to be zero.Richard Sandiford2-1/+5
gcc/testsuite/ * g++.dg/torture/pr33572.C (main): Allow argc to be zero. From-SVN: r129272
2007-10-12dse.c (find_shift_sequence): Reinstate "<= UNITS_PER_WORD" condition.Richard Sandiford3-92/+162
gcc/ * dse.c (find_shift_sequence): Reinstate "<= UNITS_PER_WORD" condition. * var-tracking.c (micro_operation_def): Update comment on u.loc. (mode_for_reg_attrs, var_lowpart): New functions. (add_uses): Consider recording a lowpart of LOC for MO_USE. (add_stores): Likewise MO_SET and MO_COPY. If the source of a set or copy is known, set LOC to the SET that performs the set, instead of the destination. (find_src_status, find_src_set_src): Remove LOC parameter. Replace INSN with the source value. (compute_bb_dataflow, emit_notes_in_bb): Check for a SET u.loc when handling MO_SET and MO_COPY. Update the calls to find_src_status and find_src_set_src. From-SVN: r129269
2007-10-12re PR fortran/33542 (gfortran does not detect ambigious specific names if ↵Paul Thomas4-0/+56
they are the same as generic names) 2007-10-12 Paul Thomas <pault@gcc.gnu.org> PR fortran/33542 * resolve.c (resolve_actual_arglist): If the actual argument is ambiguous, then there is an error. 2007-10-12 Paul Thomas <pault@gcc.gnu.org> PR fortran/33542 * gfortran.dg/ambiguous_specific_1.f90: New test. From-SVN: r129268
2007-10-12re PR fortran/33664 (crash on invalid program)Paul Thomas5-8/+40
2007-10-12 Paul Thomas <pault@gcc.gnu.org> PR fortran/33664 * expr.c (gfc_specification_expr): If a function is not external, intrinsic or pure is an error. Set the symbol pure to prevent repeat errors. 2007-10-12 Paul Thomas <pault@gcc.gnu.org> PR fortran/33664 * gfortran.dg/impure_spec_expr_1.f90: New test. * gfortran.dg/char_result_7.f90: Remove illegal test. From-SVN: r129267
2007-10-12re PR rtl-optimization/11001 (global register %edi versus string builtins)Nathan Froyd13-16/+266
gcc/ PR 11001 * config/i386/i386.md (strmov): Check for esi and edi usage. * config/i386/i386.c (decide_alg): Check whether we can use a rep prefix and adjust algorithm choice accordingly. (ix86_expand_strlen): Check for eax, ecx, and edi usage. gcc/testsuite/ PR 11001 * gcc.target/i386/pr11001-strlen-1.c: New testcase. * gcc.target/i386/pr11001-strlen-2.c: New testcase. * gcc.target/i386/pr11001-strlen-3.c: New testcase. * gcc.target/i386/pr11001-memset-1.c: New testcase. * gcc.target/i386/pr11001-memset-2.c: New testcase. * gcc.target/i386/pr11001-memset-3.c: New testcase. * gcc.target/i386/pr11001-memcpy-1.c: New testcase. * gcc.target/i386/pr11001-memcpy-2.c: New testcase. * gcc.target/i386/pr11001-memcpy-3.c: New testcase. From-SVN: r129265
2007-10-12c4x.md (mulqi3, mulhi3): Use optab_libfunc.Kaveh R. Ghazi2-2/+6
* config/c4x/c4x.md (mulqi3, mulhi3): Use optab_libfunc. From-SVN: r129263
2007-10-12global.c (build_insn_chain): Formatting fixes.Kenneth Zadeck2-15/+34
2007-10-12 Kenneth Zadeck <zadeck@naturalbridge.com> * global.c (build_insn_chain): Formatting fixes. From-SVN: r129262
2007-10-12tree-ssa-forwprop.c (forward_propagate_into_cond): For combining both ↵Richard Guenther2-6/+12
operands require either both have single uses or combining... 2007-10-12 Richard Guenther <rguenther@suse.de> * tree-ssa-forwprop.c (forward_propagate_into_cond): For combining both operands require either both have single uses or combining to a constant. From-SVN: r129261
2007-10-12* ChangeLog: Fix typo.Uros Bizjak1-1/+1
From-SVN: r129259
2007-10-12pt.c (tsubst): Use template_parm_level_and_index.Paolo Carlini2-12/+5
2007-10-12 Paolo Carlini <pcarlini@suse.de> * pt.c (tsubst): Use template_parm_level_and_index. From-SVN: r129257
2007-10-12re PR middle-end/26198 (Unfolded comparison after cfg_cleanup)Richard Guenther6-9/+76
2007-10-12 Richard Guenther <rguenther@suse.de> PR middle-end/26198 * tree-ssa-forwprop.c (can_propagate_from): Do not propagate from a rhs with side-effects or which is a load. (forward_propagate_into_cond): Also try combining both operands. * gcc.dg/tree-ssa/forwprop-3.c: New testcase. * gcc.c-torture/execute/20071011-1.c: Likewise. * gcc.dg/tree-ssa/ssa-pre-9.c: Adjust. From-SVN: r129256
2007-10-12re PR tree-optimization/33742 (Segfault in vectorizable_operation)Uros Bizjak4-0/+34
PR tree-optimization/33742 * tree-vect-transform.c (vectorizable_operation): Return false if get_vectype_for_scalar_type for scalar_dest can't be determined. (vectorizable_call): Same for rhs_type and lhs_type. testsuite/ChangeLog: PR tree-optimization/33742 * gcc.dg/pr33742.c: New testcase. From-SVN: r129255
2007-10-12re PR tree-optimization/33645 (undefined static variable in vortex for ↵Jakub Jelinek6-14/+137
-fno-unit-at-a-time) PR tree-optimization/33645 * tree-ssa-live.c (mark_all_vars_used): Add data argument, pass it to walk_tree. (mark_all_vars_used_1): Pass data through to mark_all_vars_used. When calling set_is_used on a VAR_DECL, if data is not NULL and its DECL_UID is in the bitmap, call mark_all_vars_used on its DECL_INITIAL after clearing the bit in bitmap. (remove_unused_locals): Adjust mark_all_vars_used callers. Instead of removing unused global vars from unexpanded_var_list immediately record them in bitmap, call mark_all_vars_used on all used global vars from unexpanded_var_list and only purge global vars that weren't found used even during that step. * gcc.dg/pr33645-1.c: New test. * gcc.dg/pr33645-2.c: New test. * gcc.dg/pr33645-3.c: New test. From-SVN: r129254
2007-10-12re PR c++/32121 (C++ front-end accepts invalid __label__ declarations)Jakub Jelinek8-7/+83
PR c++/32121 * parser.c (cp_parser_compound_statement): Handle label-declarations at the beginning of the compound statement. (cp_parser_block_declaration): Issue diagnostics about __label__ not at the beginning of a block. * g++.dg/ext/label4.C: Adjust error regexp. * g++.dg/ext/label6.C: Adjust error regexp. * g++.dg/ext/label7.C: New test. * g++.dg/ext/label8.C: New test. * g++.dg/ext/label9.C: New test. From-SVN: r129253
2007-10-12pr33676.c: Move from gcc.dg/torture directory.Uros Bizjak2-3/+3
* gcc.dg/pr33676.c: Move from gcc.dg/torture directory. From-SVN: r129252