aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2004-07-16fortran-torture.exp (fortran-torture): Don't test compile tests with ↵Tobias Schlüter3-3/+33
fulllist of options. * lib/fortran-torture.exp (fortran-torture): Don't test compile tests with fulllist of options. * lib/gfortran-dg.exp (gfortran-dg-runtest): Only test with all of TORTURE_OPTIONS if test contains 'dg-do run'. From-SVN: r84792
2004-07-16re PR rtl-optimization/16536 (Incorrect __restrict__ optimization in -O2)Volker Reichelt2-0/+35
PR rtl-optimization/16536 * gcc.c-torture/execute/restrict-1.c: New test. From-SVN: r84791
2004-07-16Daily bump.GCC Administrator1-1/+1
From-SVN: r84788
2004-07-15re PR middle-end/15885 (wrong va_start warning (and code))Jason Merrill4-28/+67
* cp-lang.c (cxx_types_compatible_p): To the middle-end, references and pointers are compatible. PR middle-end/15885 * gimplify.c (gimplify_arg): New fn, split out from... (gimplify_call_expr): Here. Special-case BUILT_IN_VA_START. From-SVN: r84782
2004-07-15m68k.c (output_move_qimode): Abort on an attempt to generate code which is ↵Roman Zippel3-25/+8
generated by pushqi1 now 2004-07-15 Roman Zippel <zippel@linux-m68k.org> * config/m68k/m68k.c (output_move_qimode): Abort on an attempt to generate code which is generated by pushqi1 now * config/m68k/m68k.h (MOVE_BY_PIECES_P): Remove. From-SVN: r84780
2004-07-15combine.c (simplify_set): match the mode of the constant 0 with the tested ↵Roman Zippel2-1/+7
operand to match the compare... 2004-07-15 Roman Zippel <zippel@linux-m68k.org> * combine.c (simplify_set): match the mode of the constant 0 with the tested operand to match the compare behaviour and the simplify_relational_operation() expectation. From-SVN: r84779
2004-07-15rs6000.md ("bunordered"): Disable for e500.Aldy Hernandez2-2/+7
* config/rs6000/rs6000.md ("bunordered"): Disable for e500. ("bordered"): Same. From-SVN: r84778
2004-07-15rs6000.md ("*cceq_ior_compare"): Allow unconditionally.Aldy Hernandez3-19/+7
* config/rs6000/rs6000.md ("*cceq_ior_compare"): Allow unconditionally. * config/rs6000/spe.md ("e500_cceq_ior_compare"): Remove. From-SVN: r84775
2004-07-15[multiple changes]Arnaud Charlet48-1241/+2683
2004-07-15 Robert Dewar <dewar@gnat.com> * makegpr.adb, s-secsta.ads, sem_ch3.adb, sem_case.adb: Minor reformatting * gnat_ugn.texi: Add instantiation of direct_io or sequential_io with access values as an example of a warning. * gnat_rm.texi: Document new attribute Has_Access_Values * gnat-style.texi: Document that box comments belong on nested subprograms * sem_util.ads (Has_Access_Values): Improved documentation * s-finimp.ads, s-finimp.adb: Fix spelling error in comment * sem_prag.adb (Check_Duplicated_Export_Name): New procedure (Process_Interface_Name): Call to this new procedure (Set_Extended_Import_Export_External_Name): Call to this new procedure * s-mastop-x86.adb, 9drpc.adb: Fix spelling error in comment * a-direio.ads, a-sequio.ads: Warn if Element_Type has access values * einfo.ads: Minor comment typo fixed 2004-07-15 Jose Ruiz <ruiz@act-europe.fr> * snames.adb: Add _atcb. * snames.ads: Add Name_uATCB. * s-tarest.adb (Create_Restricted_Task): ATCBs are always preallocated (in the expanded code) when using the restricted run time. * s-tarest.ads (Create_Restricted_Task): Created_Task transformed into a in parameter in order to allow ATCBs to be preallocated (in the expanded code). * s-taskin.adb (Initialize_ATCB): T converted into a in parameter in order to allow ATCBs to be preallocated. In case of error, the ATCB is deallocated in System.Tasking.Stages. * s-taskin.ads (Initialize_ATCB): T converted into a in parameter in order to allow ATCBs to be preallocated. * s-tassta.adb (Create_Task): In case of error the ATCB is deallocated here. It was previously done in Initialize_ATCB. * rtsfind.ads: Make the Ada_Task_Control_Block visible. * exp_ch9.adb: Preallocate the Ada_Task_Control_Block when using the Restricted run time. * exp_ch3.adb: When using the Restricted run time, pass the preallocated Ada_Task_Control_Block when creating a task. 2004-07-15 Ed Schonberg <schonberg@gnat.com> * sem_util.adb (Normalize_Actuals): If there are no actuals on a function call that is itself an actual in an enclosing call, diagnose problem here rather than assuming that resolution will catch it. * sem_ch7.adb (Analyze_Package_Specification): If the specification is the local copy of a generic unit for a formal package, and the generic is a child unit, install private part of ancestors before compiling private part of spec. * sem_cat.adb (Validate_Categorization_Dependency): Simplify code to use scope entities rather than tree structures, to handle properly parent units that are instances rewritten as bodies for inlining purposes. * sem_ch10.adb (Get_Parent_Entity, Implicit_With_On_Parent, Remove_Parents): Handle properly a parent unit that is an instantiation, when the unit has been rewritten as a body for inlining purposes. * par.adb (Goto_List): Global variable to collect goto statements in a given unit, for use in detecting natural loops. * par-ch5.adb (P_Goto_Statement): Add goto to global Goto_List, for use in detecting natural loops. * par-labl.adb (Find_Natural_Loops): Recognize loops create by backwards goto's, and rewrite as a infinite loop, to improve locality of temporaries. * exp_util.adb (Force_Evaluation): Recognize a left-hand side subcomponent that includes an indexed reference, to prevent the generation of copies that would miscompile the desired assignment statement. (Build_Task_Image_Decls): Add a numeric suffix to generated name for string variable, to avoid spurious conflicts with the name of the type of a single protected object. * exp_ch4.adb (Expand_Array_Equality): If indices are distinct, use a loop with an explicit exit statement, to avoid generating an out-of-range value with 'Succ leading to spurious constraint_errors when compiling with -gnatVo. 2004-07-15 Thomas Quinot <quinot@act-europe.fr> * sem_ch4.adb (Analyze_Slice): Always call Analyze on the prefix: it might not be analyzed yet, even if its Etype is already set (case of an unchecked conversion built using Unchecked_Convert_To, for example). If the prefix has already been analyzed, this will be a nop anyway. * exp_ch5.adb (Make_Tag_Ctrl_Assignment): For an assignment of a controller type, or an assignment of a record type with controlled components, copy only user data, and leave the finalization chain pointers untouched. 2004-07-15 Vincent Celier <celier@gnat.com> * make.adb (Collect_Arguments): Improve error message when attempting to compile a source not part of any project, when -x is not used. * prj.ads: (Defined_Variable_Kind): New subtype * prj-attr.adb (Register_New_Package): Two new procedures to register a package with or without its attributes. (Register_New_Attribute): Mew procedure to register a new attribute in a package. New attribute oriented subprograms: Attribute_Node_Id_Of, Attribute_Kind_Of, Set_Attribute_Kind_Of, Attribute_Name_Of, Variable_Kind_Of, Set_Variable_Kind_Of, Optional_Index_Of, Next_Attribute. New package oriented subprograms: Package_Node_Id_Of, Add_Unknown_Package, First_Attribute_Of, Add_Attribute. * prj-attr.ads (Attribute_Node_Id): Now a private, self initialized type. (Package_Node_Id): Now a private, self initialized type (Register_New_Package): New procedure to register a package with its attributes. New attribute oriented subprograms: Attribute_Node_Id_Of, Attribute_Kind_Of, Set_Attribute_Kind_Of, Attribute_Name_Of, Variable_Kind_Of, Set_Variable_Kind_Of, Optional_Index_Of, Next_Attribute. New package oriented subprograms: Package_Node_Id_Of, Add_Unknown_Package, First_Attribute_Of, Add_Attribute. * prj-dect.adb (Parse_Attribute_Declaration, Parse_Package_Declaration): Adapt to new spec of Prj.Attr. * prj-makr.adb (Make): Parse existing project file before creating other files. Fail if there was an error during parsing. * prj-proc.adb (Add_Attributes, Process_Declarative_Items): Adapt to new spec of Prj.Attr. * prj-strt.adb (Attribute_Reference, Parse_Variable_Reference): Adapt to new spec of Prj.Attr. 2004-07-15 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> * utils2.c: Fix typo in comment. From-SVN: r84774
2004-07-15re PR fortran/13792 (lbound/ubound generates internal compiler error)Tobias Schlüter4-3/+13
fortran/ PR fortran/13792 * simplify.c (gfc_simplify_bound): Copy the bound expression. testsuite/ PR fortran/13792 * gfortran.fortran-torture/execute/bounds.f90: Add check for compile-time simplification. From-SVN: r84773
2004-07-15mips.c (mips_adjust_insn_length): Fix handling of calls in mips16 code.Richard Sandiford2-3/+6
* config/mips/mips.c (mips_adjust_insn_length): Fix handling of calls in mips16 code. From-SVN: r84772
2004-07-15re PR fortran/15140 (assertion failed: (TREE_CODE (sym->backend_decl) == ↵Tobias Schlüter4-1/+19
PARM_DECL) fortran/ PR fortran/15140 * trans-decl.c (gfc_trans_deferred_vars): Remove bogus assertion. testsuite/ PR fortran/15140 * gfortran.dg/pr15140.f90: New test. From-SVN: r84770
2004-07-15re PR fortran/15129 (assumed size characters passed to subroutines incorrect)Tobias Schlüter4-1/+43
fortran/ PR fortran/15129 * trans-decl.c (gfc_build_function_decl): Create a new chardecl for every assumed length character dummy argument. testsuite/ PR fortran/15129 * gfortran.dg/pr15129.f90: New test. From-SVN: r84769
2004-07-15mips.md: In the mips16 li/neg splitter...Richard Sandiford2-6/+11
* config/mips/mips.md: In the mips16 li/neg splitter, use SImode for the destination of the li as well as for the neg. From-SVN: r84764
2004-07-15* Fix for g++/15861Frank Ch. Eigler8-94/+133
2004-07-15 Frank Ch. Eigler <fche@redhat.com> g++/15861 * cgraphunit.c (cgraph_build_static_cdtor): Add priority argument. * cgraph.h: Update declaration. * c-decl.c (build_cdtor): Update call with default priority. * coverage.c (create_coverage): Ditto. * tree-mudflap.c (mf_init_fndecl): New tree. (mudflap_init): Set it. (mudflap_register_call): Arrange to call __mf_init before the first __mf_register call. (mudflap_finish_file): Mark the mudflap static initializer as extra high priority, to beat all C++ static constructors. 2004-07-15 Frank Ch. Eigler <fche@redhat.com> g++/15861 * jcf-parse.c (java_emit_static_constructor): Specify default priority. From-SVN: r84760
2004-07-15libf2c: Removed.Toon Moene1-1/+1
2004-07-15 Toon Moene <toon@moene.indiv.nluug.nl> * libf2c: Removed. * gcc/gccbug.in: Updated because of libf2c removal. * maintainer-scripts/gcc_release: Ditto. From-SVN: r84759
2004-07-15decl.c (xref_basetypes): Refactor.Nathan Sidwell4-212/+200
* decl.c (xref_basetypes): Refactor. * tree.c (copy_base_binfos): Replace with ... (copy_binfo): ... this. Deep copy the given binfo, (not the just bases of the given base). * cp-tree.h (copy_base_binfo): Remove. (copy_binfo): Declare. From-SVN: r84758
2004-07-15name-lookup.c (set_inherited_value_binding_p): Add class_type parameter.Mark Mitchell2-18/+14
* name-lookup.c (set_inherited_value_binding_p): Add class_type parameter. (get_class_binding): Adjust. (push_class_level_binding): Don't use set_inherited_value_binding_p. From-SVN: r84757
2004-07-15class.c (finish_struct_bits): Don't set TYPE_HAS_CONVERSION here.Nathan Sidwell3-29/+18
* class.c(finish_struct_bits): Don't set TYPE_HAS_CONVERSION here. * decl.c (xref_basetypes): Set it here. From-SVN: r84756
2004-07-15re PR fortran/15324 (segfault / ICE with array of assumed length characters)Tobias Schlüter1-1/+1
PR fortran/15324 * trans-array.c gfc_trans_g77_array, gfc_trans_dummy_array_bias): Don't call gfc_trans_string_init for assumed length characters. (gfc_conv_expr_descriptor): Set se->string_length if dealing with a character expression. (gfc_cvonv_array_parameter): Pass string length when passing character array according to g77 conventions. Fix ChangeLog From-SVN: r84755
2004-07-15re PR fortran/15324 (segfault / ICE with array of assumed length characters)Tobias Schlüter2-0/+27
PR fortran/15324 * gfortran.dg/pr15324.f90: New test. From-SVN: r84754
2004-07-15loop.c (check_insn_for_givs): Restore check for code labels that was ↵Jeff Law2-1/+6
accidentally deleted by a recent checkin. * loop.c (check_insn_for_givs): Restore check for code labels that was accidentally deleted by a recent checkin. From-SVN: r84753
2004-07-15re PR libfortran/15234 (libgfortran doesn't compile on Tru64 UNIX V4.0F)Tobias Schlüter2-3/+27
PR fortran/15234 * trans-array.c gfc_trans_g77_array, gfc_trans_dummy_array_bias): Don't call gfc_trans_string_init for assumed length characters. (gfc_conv_expr_descriptor): Set se->string_length if dealing with a character expression. (gfc_cvonv_array_parameter): Pass string length when passing character array according to g77 conventions. From-SVN: r84752
2004-07-15Fix a ChangeLog typo.Jakub Jelinek1-1/+1
From-SVN: r84750
2004-07-15class.c (check_bases): Don't set CLASSTYPE_NON_AGGREGATE here.Nathan Sidwell3-27/+25
* class.c (check_bases): Don't set CLASSTYPE_NON_AGGREGATE here. Don't check for incomplete base. (get_vfield_name): Simplify while loop. * decl.c (xref_basetypes): Set CLASSTYPE_NON_AGGREGATE here. From-SVN: r84747
2004-07-15vec.h (VEC_T_truncate): Allow truncation of an empty vector.Nathan Sidwell2-8/+15
* vec.h (VEC_T_truncate): Allow truncation of an empty vector. (VEC_T_quick_insert, VEC_T_ordered_remove): Fix sizeof(T) thinko. From-SVN: r84746
2004-07-15* print-tree.c (print_node): Fix casts last change.Richard Henderson2-2/+8
From-SVN: r84745
2004-07-14trans.c (add_decl_expr): Clear TREE_READONLY if clear DECL_INITIAL.Richard Kenner3-0/+11
* trans.c (add_decl_expr): Clear TREE_READONLY if clear DECL_INITIAL. * utils.c (unchecked_convert): Don't do two VIEW_CONVERT_EXPRs. From-SVN: r84742
2004-07-15lex.c (cxx_make_type): Remove call to get_pointer_type.Mark Mitchell2-5/+5
* lex.c (cxx_make_type): Remove call to get_pointer_type. (set_inherited_value_binding_p): Add class_type parameter. (get_class_binding): Adjust. (push_class_level_binding): Don't use set_inherited_value_binding_p. From-SVN: r84741
2004-07-15* gcc.dg/20020426-2.c: Improve type safety wrt unsignedness.Mike Stump2-3/+7
From-SVN: r84739
2004-07-15dwarf2out.c (dwarf2out_begin_prologue): Rename IA64_UNWIND_INFO to ↵Paul Brook14-20/+78
TARGET_UNWIND_INFO. * dwarf2out.c (dwarf2out_begin_prologue): Rename IA64_UNWIND_INFO to TARGET_UNWIND_INFO. * except.c (output_function_exception_table): Ditto. * except.h: Ditto. * opts.c (decode_options): Ditto. * passes.c (rest_of_handle_final): Ditto. * final.c (final_start_function): Ditto. (final_scan_insn, final_scan_insn): Replace IA64_UNWIND_EMIT with target hook. * targhooks.h (default_unwind_emit): Declare. * targhooks.c (default_unwind_emit): New function. * target-def.h: Define and use TARGET_UNWIND_EMIT. * target.h (struct gcc_target): Add unwind_emit. * config/ia64/ia64.c (TARGET_UNWIND_EMIT): Define. * config/ia64/ia64.h: Rename IA64_UNWIND_INFO to TARGET_UNWIND_INFO. Remove IA64_UNWIND_EMIT. * doc/tm.texi: Document TARGET_UNWIND_EMIT and TARGET_UNWIND_INFO. From-SVN: r84734
2004-07-14* print-tree.c (print_node): Handle SSA_NAME.Richard Henderson2-0/+30
From-SVN: r84729
2004-07-14Fix MIPS SPEC95 FP 146.wave5 -fprofile-generate failure.James E Wilson4-2/+58
PR target/16325 * config/mips/mips.h (STARTING_FRAME_OFFSET): When flag_profile_value and ! TARGET_64BIT, include REG_PARM_STACK_SPACE. * gcc.dg/profile-generate-1.c: New. From-SVN: r84727
2004-07-15Daily bump.GCC Administrator1-1/+1
From-SVN: r84725
2004-07-15expr.c (expand_assignment): Reenable bitfield += optimizations.Jakub Jelinek5-21/+372
* expr.c (expand_assignment): Reenable bitfield += optimizations. Use alias set 0 for memory, do proper mode calculations and adjust address for memories. * gcc.c-torture/execute/20040709-1.c: New test. * gcc.c-torture/execute/20040709-2.c: New test. From-SVN: r84722
2004-07-14input.h: If USE_MAPPED_LOCATION...Per Bothner4-6/+26
* input.h: If USE_MAPPED_LOCATION, define separate expanded_location structure with extra column field. * tree.c (expand_location): Also fill in column field. * gengtype-lex.l: Ignore expanded_location typedef, sinze gengtype gets confused by the two conditionally-compiled definitions. From-SVN: r84721
2004-07-14calls.c (expand_call): Fix typo in comment.Eric Christopher2-24/+28
2004-07-14 Eric Christopher <echristo@redhat.com> * calls.c (expand_call): Fix typo in comment. From-SVN: r84719
2004-07-14ia64.c (ia64_expand_compare): Allow ORDERED comparision of TFmode.Steve Ellcey2-0/+6
* config/ia64/ia64.c (ia64_expand_compare): Allow ORDERED comparision of TFmode. From-SVN: r84718
2004-07-14* gcc.dg/wint_t-1.c: Expect to pass on darwin 10.3.x and later.Mike Stump2-1/+5
From-SVN: r84717
2004-07-15Remove backup file.Jakub Jelinek1-20/+0
From-SVN: r84716
2004-07-14alpha.c (alpha_gimplify_va_arg_1): Move indirect ...Richard Henderson9-63/+58
* config/alpha/alpha.c (alpha_gimplify_va_arg_1): Move indirect ... (alpha_gimplify_va_arg): ... handling here. Use pass_by_reference. * config/c4x/c4x.c (c4x_gimplify_va_arg_expr): Use pass_by_reference. * config/i386/i386.c (ix86_gimplify_va_arg): Likewise. * config/i860/i860.c (i860_gimplify_va_arg_expr): Likewise. * config/ia64/ia64.c (ia64_gimplify_va_arg): Likewise. * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise. * config/sh/sh.c (sh_gimplify_va_arg_expr): Likewise. * config/xtensa/xtensa.c (xtensa_gimplify_va_arg_expr): Likewise. From-SVN: r84713
2004-07-14darwin.h (WINT_TYPE): Define to be int to match system header files.Mike Stump2-0/+7
* config/darwin.h (WINT_TYPE): Define to be int to match system header files. From-SVN: r84711
2004-07-14xtensa.c (function_arg_advance): Check for args that must be passed in the ↵Bob Wilson2-2/+11
stack. * config/xtensa/xtensa.c (function_arg_advance): Check for args that must be passed in the stack. (xtensa_gimplify_va_arg_expr): Skip special-case padding for small arguments if the size is not a constant. From-SVN: r84708
2004-07-14* gcc.dg/wchar_t-1.c: Expect to pass on darwin 10.3.x and later.Mike Stump2-1/+5
From-SVN: r84706
2004-07-14c-typeck.c (emit_side_effect_warnings): Use EXPR_HAS_LOCATION instead of ↵Per Bothner3-3/+10
EXPR_LOCUS in a boolean context... * c-typeck.c (emit_side_effect_warnings): Use EXPR_HAS_LOCATION instead of EXPR_LOCUS in a boolean context, which is always true if --enable-mapped-location. * stmt.c (warn_if_unused_value): Likewise. Also use EXPR_LOCATION. From-SVN: r84698
2004-07-14dominance.c (struct dom_info): Add fake_exit_edge.Richard Henderson2-13/+70
* dominance.c (struct dom_info): Add fake_exit_edge. (init_dom_info): Allocate it. (free_dom_info): Free it. (calc_dfs_tree): Set it. Handle noreturn and infinite loops in two passes. (calc_idoms): Honor fake_exit_edge. From-SVN: r84697
2004-07-14tree-gimple.c (is_gimple_reg_rhs, [...]): New fns.Jason Merrill4-33/+80
* tree-gimple.c (is_gimple_reg_rhs, is_gimple_mem_rhs): New fns. (rhs_test_for): New fn. (is_gimple_tmp_rhs): Rename from is_gimple_rhs. * tree-gimple.h: Declare them. * gimplify.c (gimplify_modify_expr): Use the new fns. From-SVN: r84696
2004-07-14arm-protos.h (arm_va_arg): Remove.Richard Henderson4-49/+19
* config/arm/arm-protos.h (arm_va_arg): Remove. * config/arm/arm.c (arm_va_arg): Remove. (arm_init_expanders): Fix alignment of arg_pointer_rtx. * config/arm/arm.h (EXPAND_BUILTIN_VA_ARG): Remove. From-SVN: r84695
2004-07-14pa.c (fix_range): New function to mark a range(s) of registers as fixed ↵John David Anglin4-16/+120
registers. * pa.c (fix_range): New function to mark a range(s) of registers as fixed registers. (override_options): Call fix_range if the -mfixed-range option string is not empty. * pa.h (TARGET_OPTIONS): Add -mfixed-range option. * doc/invoke.texi (-mfixed-range): Document new option. From-SVN: r84690
2004-07-14cp-tree.h (IDENTIFIER_VALUE): Remove.Mark Mitchell9-445/+371
* cp-tree.h (IDENTIFIER_VALUE): Remove. (BINFO_PUSHDECLS_MARKED): Likewise. (maybe_inject_for_scope_var): Likewise. (push_class_decls): Likewise. * name-lookup.h (push_class_binding): Remove. (innermost_non_namespace_value): New function. (outer_binding): Likewise. * class.c (add_method): Push bindings before adding to TYPE_METHODS. (restore_class_cache): Do not restore class_shadowed. (pushclass): Do not add USING_DECLs. Do not call push_class_decls. * config-lang.in (gtfiles): Remove $(srcdir)/cp/search.c. * decl.c (pushdecl): Use outer_binding. (poplevel): Set the scope for an out-of-scope for-loop declaration appropriately. (cp_finish_decl): Don't call maybe_inject_for_scope_var. * name-lookup.c (new_class_binding): New function. (push_binding): Use it. (pushdecl): Use innermost_non_namespace_value. (maybe_inject_for_scope_var): Remove. (push_class_binding): Remove. (set_inherited_value_binding_p): New function. (get_class_binding): New function. (push_class_level_binding): Assert that the current_class_type is being defined. (outer_binding): New function. (innermost_non_namespace_value): Likewise. (lookup_name_real): Use outer_binding. (lookup_name_current_level): Ignore out-of-scope variables. * pt.c (check_template_shadow): Use innermost_non_namespace_value. (lookup_template_class): Likewise. * search.c (dfs_push_type_decls): Remove. (dfs_push_decls): Likewise. (setup_class_bindings): Likewise. (lookup_field_1): Handle USING_DECLs from dependent scopes. (marked_pushdecls_p): Remove. (unmarked_pushdecls_p): Remove. (marked_identifiers): Remove. (setup_class_bindings): Remove. (dfs_push_type_decls): Remove. (dfs_push_decls): Remove. (push_class_decls): Remove. From-SVN: r84689