aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2007-09-01tree-ssa-alias.c (create_name_tags): Use TYPE_VOLATILE instead of ↵Richard Guenther3-15/+24
TREE_THIS_VOLATILE. 2007-09-01 Richard Guenther <rguenther@suse.de> * tree-ssa-alias.c (create_name_tags): Use TYPE_VOLATILE instead of TREE_THIS_VOLATILE. * tree-ssa-operands.c (add_virtual_operand): Do not set has_volatile_ops. Do not check s_ann for NULL. (get_indirect_ref_operands): Likewise. (get_expr_operands): Likewise. For all reference trees set has_volatile_ops based on TREE_THIS_VOLATILE. Also check base of reference for TREE_THIS_VOLATILE. From-SVN: r128012
2007-09-01tree-cfg.c (verify_gimple_expr): Fix check for conversions between integral ↵Richard Guenther2-2/+10
types. 2007-09-01 Richard Guenther <rguenther@suse.de> * tree-cfg.c (verify_gimple_expr): Fix check for conversions between integral types. Also allow conversions between pointer types. From-SVN: r128011
2007-09-01Daily bump.GCC Administrator1-1/+1
From-SVN: r128008
2007-08-31optabs.c (prepare_float_lib_cmp): Use libgcc_cmp_return_mode instead of ↵Andrew Pinski5-14/+57
word_mode. 2007-08-31 Andrew Pinski <andrew_pinski@playstation.sony.com> * optabs.c (prepare_float_lib_cmp): Use libgcc_cmp_return_mode instead of word_mode. * config/dfp-bit.h: Likewise. * config/fp-bit.h: Likewise. * config/spu/spu.c (spu_libgcc_cmp_return_mode): New function. (spu_libgcc_shift_count_mode): New function. (TARGET_LIBGCC_CMP_RETURN_MODE): Define. (TARGET_LIBGCC_SHIFT_COUNT_MODE): Define. From-SVN: r128005
2007-08-31tree-pretty-print.c: Include output.h.Joseph Myers3-3/+11
* tree-pretty-print.c: Include output.h. (dump_decl_name, dump_generic_node): Use %wd with pp_printf, not HOST_WIDE_INT_PRINT_DEC. * Makefile.in (tree-pretty-print.o): Add dependency on output.h. From-SVN: r128004
2007-08-31re PR c++/32597 (New operation with empty parameter pack does not ↵Douglas Gregor7-9/+99
value-initialize) 2007-08-31 Douglas Gregor <doug.gregor@gmail.com> PR c++/32597 * init.c (build_default_init): Make extern. * cp-tree.h (build_default_init): Declare here. * pt.c (tsubst_expr): When the instantiation of the initializer of a variable results in an empty list, default-initialize the variable. (tsubst_copy_and_build): When the instantiation of the initializer in a new expression results in an empty initializer list, default-initialize it. 2007-08-31 Douglas Gregor <doug.gregor@gmail.com> PR c++/32597 * gcc/testsuite/g++.dg/cpp0x/variadic-new2.C: New. * gcc/testsuite/g++.dg/cpp0x/variadic-new.C: New. From-SVN: r128000
2007-08-31mangle.c (write_type): Change mangling of rvalue reference from `RR' to `O'.Doug Gregor2-2/+9
2007-08-31 Douglas Gregor <doug.gregor@gmail.com> * mangle.c (write_type): Change mangling of rvalue reference from `RR' to `O'. 2007-08-31 Douglas Gregor <doug.gregor@gmail.com> * demangle.h (enum demangle_component_type): Add DEMANGLE_COMPONENT_RVALUE_REFERENCE. 2007-08-31 Douglas Gregor <doug.gregor@gmail.com> * cp-demangle.c (d_dump): Handle DEMANGLE_COMPONENT_RVALUE_REFERENCE. (d_make_comp): Ditto. (cplus_demangle_type): Ditto. (d_print_comp): Ditto. (d_print_mod): Ditto. (d_print_function_type): Ditto. 2007-08-31 Douglas Gregor <doug.gregor@gmail.com> * testsuite/abi/demangle/cxx0x/rref.cc: New. From-SVN: r127999
2007-08-31re PR fortran/33232 (Diagnose comma in "read()," and "write(),")Tobias Burnus5-6/+25
2007-08-31 Tobias Burnus <burnus@net-b.de> PR fortran/33232 * io.c (match_io): Also diagnose extra comma for READ. 2007-08-31 Tobias Burnus <burnus@net-b.de> PR fortran/33232 * gfortran.dg/eor_handling_2.f90: Add dg-warnings. * gfortran.dg/read_1.f90: New. From-SVN: r127997
2007-08-31re PR rtl-optimization/33224 (failing rtl iv analysis (maybe due to df))Zdenek Dvorak2-1/+8
PR rtl-optimization/33224 * loop-iv.c (latch_dominating_def): Check that the definition belongs to the analysed region. From-SVN: r127996
2007-08-31function.c (allocate_struct_function): Do not set ↵Richard Guenther3-27/+16
current_function_returns_pointer. 2007-08-31 Richard Guenther <rguenther@suse.de> * function.c (allocate_struct_function): Do not set current_function_returns_pointer. * function.h (struct var_refs_queue): Remove. (struct simple_obstack_stack): Likewise. (struct function): Remove fixup_var_refs_queue member. Remove returns_pointer flag. (current_function_returns_pointer): Remove define. From-SVN: r127994
2007-08-31tree-ssa-coalesce.c (compare_pairs): Use the elements as secondary keys in ↵Nick Clifton2-2/+21
order to obtain a stable sort. * tree-ssa-coalesce.c (compare_pairs): Use the elements as secondary keys in order to obtain a stable sort. From-SVN: r127993
2007-08-31re PR target/33132 (m32r: ICE: RTL check: expected elt 0 type 'i' or 'n', ↵Nick Clifton3-11/+20
have 'w' (rtx const_int) in insn_current_length, at insn-attrtab.c:29) PR target/33132 * config/m32r/constraints.md: Add W constraint for integer zero. * config/m32r/m32r.md (get_pc): Use W and i constraints. Fix length calculation by using alternatives. From-SVN: r127992
2007-08-31optabs.c (shift_optab_p, [...]): New functions, split out from expand_binop.Richard Sandiford2-76/+128
gcc/ * optabs.c (shift_optab_p, commutative_optab_p): New functions, split out from expand_binop. (avoid_expensive_constant): New function. (expand_binop_directly): Remove commutative_op argument and call cummutative_optab_p instead. Do not change op0 or op1 when swapping xop0 and xop1. Apply avoid_expensive_constant to each argument after potential swapping. Enforce the canonical order of commutative operands. (expand_binop): Use shift_optab_p and commutative_optab_p. Update the calls to expand_binop_directly. Only force constants into registers when widening an operation. Only swap operands once a direct expansion has been rejected. (expand_twoval_binop): Only force constants into registers when using a direct expansion. From-SVN: r127991
2007-08-31sched-deps.c (update_dep): Mark arguments with ATTRIBUTE_UNUSED.Maxim Kuvyrkov3-2/+14
* sched-deps.c (update_dep): Mark arguments with ATTRIBUTE_UNUSED. (sched_analyze_insn): Don't postprocess speculative dependencies when target has no scheduling. * tree-vect-transform.c (vect_estimate_min_profitable_iters): Fix 'uninitialized' warning. From-SVN: r127989
2007-08-31* decl.c (duplicate_decls): Remove duplicated line.Jakub Jelinek2-1/+4
From-SVN: r127988
2007-08-31re PR c++/33210 (Broken diagnostics: 'bound_template_template_parm' not ↵Paolo Carlini4-3/+24
supported by pp_cxx_unqualified_id/dump_decl) /cp 2007-08-31 Paolo Carlini <pcarlini@suse.de> PR c++/33210 * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with BOUND_TEMPLATE_TEMPLATE_PARM. /testsuite 2007-08-31 Paolo Carlini <pcarlini@suse.de> PR c++/33210 * g++.dg/template/error30.C: New. From-SVN: r127987
2007-08-31Resync.Arnaud Charlet1-0/+194
From-SVN: r127986
2007-08-31Add new tests.Arnaud Charlet5-0/+102
From-SVN: r127985
2007-08-31[multiple changes]Arnaud Charlet6-99/+133
2007-08-31 Vincent Celier <celier@adacore.com> * fmap.ads: Minor comment updates 2007-08-31 GNAT Script <nobody@adacore.com> * Make-lang.in: Makefile automatically updated 2007-08-31 Bob Duff <duff@adacore.com> * sinfo.ads: Minor comment fix. 2007-08-31 Thomas Quinot <quinot@adacore.com> * stand.ads: (Standard_Debug_Renaming_Type): Make comment consistent with implementation. Documentation cleanup only. 2007-08-31 Sergey Rybin <rybin@adacore.com> * vms_data.ads: Add new qualifier /STMT_NAME_ON_NEW_LINE for the new gnatpp '--separate-stmt-name' option. Add new qualifier /USE_ON_NEW_LIN for the new gnatpp '--use-on-new-line' option. * gnat_ugn.texi: Add description for the new gnatpp '--separate-stmt-name' and '--use-on-new-line' options. From-SVN: r127984
2007-08-31symbols-vms.adb (Initialize): Read symbol files with continuation linesVincent Celier1-2/+41
2007-08-31 Vincent Celier <celier@adacore.com> * symbols-vms.adb (Initialize): Read symbol files with continuation lines (Finalize): If symbol is long, split the line From-SVN: r127983
2007-08-31tempdir.adb: On VMS, take into account GNUTMPDIR before TMPDIRVincent Celier1-6/+23
2007-08-31 Vincent Celier <celier@adacore.com> * tempdir.adb: On VMS, take into account GNUTMPDIR before TMPDIR From-SVN: r127982
2007-08-31s-fileio.adb (Open): Normalize file name to lower case in non-case sensitive ↵Robert Dewar1-25/+43
file name systems to... 2007-08-31 Robert Dewar <dewar@adacore.com> * s-fileio.adb (Open): Normalize file name to lower case in non-case sensitive file name systems to avoid unexpected mismatch in Vista. From-SVN: r127981
2007-08-31sem_ch3.adb: The predicate Is_Descendent_Of_Address is now an entity flag, ↵Ed Schonberg4-30/+46
for effiency. 2007-08-31 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: The predicate Is_Descendent_Of_Address is now an entity flag, for effiency. It is called when analyzing arithmetic operators and also for actuals in calls that are universal_integers. The flag is set for the predefined type address, and for any type or subtype derived from it. * sem_ch4.adb (Analyze_One_Call): Reject an actual that is a Universal_Integer, when the formal is a descendent of address and the call appears in user code. (Analyze_Selected_Component): if the prefix is a private extension, the tag component is visible. * sem_util.ads, sem_util.adb: Remove Is_Descendent_Of_Address, now an entity flag. From-SVN: r127980
2007-08-31sem_ch10.adb (Analyze_Subunit_Context): When analyzing context clauses of ↵Ed Schonberg1-8/+14
subunits... 2007-08-31 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Analyze_Subunit_Context): When analyzing context clauses of subunits, ignore limited_with_clauses that are illegal and have not been fully analyzed. From-SVN: r127979
2007-08-31prj-attr.adb: Add new attribute Excluded_Source_FilesVincent Celier4-106/+133
2007-08-31 Vincent Celier <celier@adacore.com> * prj-attr.adb: Add new attribute Excluded_Source_Files * prj-nmsc.adb: Use attribute Excluded_Source_Files before Locally_Removed_Files. * snames.ads, snames.adb: New standard name Excluded_Source_Files From-SVN: r127978
2007-08-31par-ch4.adb (P_Simple_Expression): Fold long sequences of concatenations of ↵Bob Duff4-34/+174
string literals into a single literal... 2007-08-31 Bob Duff <duff@adacore.com> * par-ch4.adb (P_Simple_Expression): Fold long sequences of concatenations of string literals into a single literal, in order to avoid very deep recursion in the front end, which was causing stack overflow. * sem_eval.adb (Eval_Concatenation): If the left operand is the empty string, and the right operand is a string literal (the case of "" & "..."), optimize by avoiding copying the right operand -- just use the value of the right operand directly. * stringt.adb (Store_String_Chars): Optimize by growing the String_Chars table all at once, rather than appending characters one by one. (Write_String_Table_Entry): If the string to be printed is very long, just print the first few characters, followed by the length. Otherwise, doing "pn(n)" in the debugger can take an extremely long time. * sem_prag.adb (Process_Interface_Name): Replace loop doing Store_String_Char with Store_String_Chars. From-SVN: r127977
2007-08-31restrict.adb, [...]: Remove redundant type conversion.Hristian Kirtchev4-10/+20
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com> * restrict.adb, namet.adb, par-util.adb: Remove redundant type conversion. * sem_res.adb (Resolve_Qualified_Expression): Add machinery to detect simple redundant qualifications. The check is performed whenever the expression is a non-overloaded identifier. (Resolve_Type_Conversion): Enchance the redundant type conversion check to include loop parameters. (Valid_Conversion): Avoid generation of spurious error message. From-SVN: r127976
2007-08-31tree.c (build_complex_type): Always set TYPE_NAME for comples types.Richard Guenther2-4/+7
2007-08-31 Richard Guenther <rguenther@suse.de> * tree.c (build_complex_type): Always set TYPE_NAME for comples types. From-SVN: r127975
2007-08-31layout.adb (Layout_Type): Use Underlying_Type to determine whether an access ↵Richard Kenner1-49/+38
type points to an... 2007-08-31 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> * layout.adb (Layout_Type): Use Underlying_Type to determine whether an access type points to an unconstrained array. From-SVN: r127974
2007-08-31exp_ch8.adb (Expand_N_Package_Renaming_Declaration): In the case of a ↵Gary Dismukes3-51/+71
library-level package renaming... 2007-08-31 Gary Dismukes <dismukes@adacore.com> * exp_ch8.adb (Expand_N_Package_Renaming_Declaration): In the case of a library-level package renaming, pass the declaration associated with the renaming's special debug variable to Qualify_Entity_Names to ensure that its encoded name is properly qualified. * exp_dbug.adb (Qualify_All_Entity_Names): Check for a variable entity occurring in the list of entities to qualify, and do not attempt to traverse an entity list in that case. Variables associated with ` library-level package renamings can now occur in the table. * exp_dbug.ads: Revise documentation of the encoding for renaming declarations. From-SVN: r127973
2007-08-31exp_ch3.adb (Build_Record_Init_Proc): If there is a static initialization ↵Ed Schonberg1-4/+66
aggregate for the type... 2007-08-31 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Build_Record_Init_Proc): If there is a static initialization aggregate for the type, generate itype references for thetypes of its (sub)components, to prevent out-of-scope errors in gigi. From-SVN: r127972
2007-08-31exp_ch11.adb (Expand_At_End_Handler): Avoid generation of raise statement ↵Javier Miranda1-2/+9
when compiling under restriction... 2007-08-31 Javier Miranda <miranda@adacore.com> * exp_ch11.adb (Expand_At_End_Handler): Avoid generation of raise statement when compiling under restriction No_Exceptions_Proparation. From-SVN: r127971
2007-08-31einfo.ads, einfo.adb: New flag Is_Raised (Flag224).Hristian Kirtchev3-2/+60
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com> * einfo.ads, einfo.adb: New flag Is_Raised (Flag224). Update the structure of E_Exception to reflect the new flag. (Is_Raised, Set_Is_Raised): New inlined routines. Update the usage of available flag to reflect the addition of Is_Raised. (Is_Raised, Set_Is_Raised): Bodies of new routines. (Write_Entity_Flags): Write the status of flag Is_Raised. (Is_Descendent_Of_Address): New entity flag, to simplify handling of spurious ambiguities when integer literals appear in the context of an address type that is a visible integer type. * sem_ch11.adb (Analyze_Exception_Handler): Add code to warn on local exceptions never being raised. (Analyze_Raise_Statement): When analyzing an exception, mark it as being explicitly raised. From-SVN: r127970
2007-08-31checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.Hristian Kirtchev1-3/+95
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine. (Mark_Non_Null): If the node for which we just generated an access check is a reference to an *in* parameter and the reference appears in the declarative part of a subprogram body, mark the node as known non null. From-SVN: r127969
2007-08-31a-tags.adb (Internal_Tag): Protect the run-time against wrong internal tags.Javier Miranda1-3/+44
2007-08-31 Javier Miranda <miranda@adacore.com> * a-tags.adb (Internal_Tag): Protect the run-time against wrong internal tags. From-SVN: r127968
2007-08-31re PR ada/4720 (GNAT programs do not support --help and --version)Vincent Celier14-188/+277
2007-08-30 Vincent Celier <celier@adacore.com> PR ada/4720 * gnatchop.adb, gnatfind.adb, gnatlink.adb, gnatls.adb, gnatname.adb, gnatxref.adb, gprep.adb, clean.adb gnatbind.adb (Check_Version_And_Help): New procedure in package Switch to process switches --version and --help. Use Check_Version_And_Help in GNAT tools * make.adb: Ditto. (Compile_Sources): Make sure that sources that are "excluded" are not compiled. (Gnatmake): Do not issue -aO. to gnatbind and only issue -I- if a project file is used. (Version_Switch): Remove, moved to Switch (Help_Switch): Remove, moved to Switch (Display_Version): Remove, moved to Switch * switch.ads, switch.adb (Check_Version_And_Help): New procedure in package Switch to process switches --version and --help. (Display_Version): New procedure * gnatvsn.ads, gnatvsn.adb (Copyright_Holder): New function. From-SVN: r127967
2007-08-31* intrinsic.texi (LGAMMA): Remove empty @cindex line.Joseph Myers2-1/+4
From-SVN: r127964
2007-08-31re PR c++/32113 (ICE with invalid template parameter)Paolo Carlini4-0/+21
/cp 2007-08-31 Paolo Carlini <pcarlini@suse.de> PR c++/32113 * search.c (lookup_member): Check the name argument for error_mark_node. /testsuite 2007-08-31 Paolo Carlini <pcarlini@suse.de> PR c++/32113 * g++.dg/template/crash70.C: New. From-SVN: r127963
2007-08-31re PR c++/33212 (Broken diagnostic: 'trait_expr' not supported by dump_expr)Paolo Carlini4-20/+43
/cp 2007-08-31 Paolo Carlini <pcarlini@suse.de> PR c++/33212 * parser.c (cp_parser_trait_expr): Check rerurn value of cp_parser_type_id. /testsuite 2007-08-31 Paolo Carlini <pcarlini@suse.de> PR c++/33212 * g++.dg/ext/is_class_error.C: New. From-SVN: r127962
2007-08-31Makefile.in (LIBGNAT_TARGET_PAIRS): Use system-linux-ppc64.ads when ↵Ben Elliston3-2/+166
compiling for powerpc64-*-linux. * Makefile.in (LIBGNAT_TARGET_PAIRS): Use system-linux-ppc64.ads when compiling for powerpc64-*-linux. * system-linux-ppc64.ads: New file. From-SVN: r127960
2007-08-31test_oalign.adb, [...]: New test.Olivier Hainque4-0/+28
2007-08-31 Olivier Hainque <hainque@adacore.com> * gnat.dg/test_oalign.adb, oalign[12].ads: New test. From-SVN: r127957
2007-08-31xcoff.h (XCOFF_CSECT_DEFAULT_ALIGNMENT_STR): New internal macro.Olivier Hainque3-7/+25
2007-08-31 Olivier Hainque <hainque@adacore.com> * config/rs6000/xcoff.h (XCOFF_CSECT_DEFAULT_ALIGNMENT_STR): New internal macro. Default alignment factor for csect directives, chosen to match what BIGGEST_ALIGNMENT allows. (DATA_SECTION_ASM_OP): Use it. * config/rs6000/rs6000.c (rs6000_xcoff_output_readonly_section_asm_op): Use XCOFF_CSECT_DEFAULT_ALIGNMENT_STR. (rs6000_xcoff_output_readwrite_section_asm_op): Likewise. From-SVN: r127956
2007-08-31dbxout.c (dbxout_block): Move declaration within the first #if defined ↵Olivier Hainque2-2/+12
(DBX_DEBUGGING_INFO) block. 2007-08-31 Olivier Hainque <hainque@adacore.com> * dbxout.c (dbxout_block): Move declaration within the first #if defined (DBX_DEBUGGING_INFO) block. Rearrange another such block to include the definition, together with the associated helpers. From-SVN: r127955
2007-08-31Support for PowerPC 750CL paired-single instructions David Edelsohn20-19/+1195
Co-Authored-By: Revital Eres <eres@il.ibm.com> From-SVN: r127954
2007-08-31cvt.c (cp_convert_to_pointer): Remove force parameter.Ollie Wild11-107/+347
gcc/cp/ * cvt.c (cp_convert_to_pointer): Remove force parameter. Call convert_ptrmem for pointer to member conversions. (convert_to_pointer_force): Update cp_convert_to_pointer call. (ocp_convert): Update cp_convert_to_pointer call. * typeck.c (convert_ptrmem): Add conditional for null pointers to members. (build_static_cast_1): Check can_convert for conversions in either direction. (get_delta_difference_1): New function. (get_delta_difference): Refactor to call get_delta_difference_1. gcc/testsuite/ g++.dg/conversion/ptrmem2.C: New test. g++.dg/conversion/ptrmem3.C: New test. g++.dg/conversion/ptrmem4.C: New test. g++.dg/conversion/ptrmem5.C: New test. g++.dg/conversion/ptrmem6.C: New test. g++.dg/conversion/ptrmem7.C: New test. g++.dg/conversion/ptrmem8.C: New test. From-SVN: r127953
2007-08-31c-opts.c (c_common_handle_option): Support -fno-directives-only.Ollie Wild3-3/+9
gcc/ * c-opts.c (c_common_handle_option): Support -fno-directives-only. * gcc.c (default_compilers): Add -fno-directives-only to @assembler-with-cpp. From-SVN: r127952
2007-08-30re PR middle-end/33211 (FAIL: gcc.target/spu/fixed-range.c scan-assembler ↵Sandra Loosemore4-33/+87
lqd.*21) 2007-08-30 Sandra Loosemore <sandra@codesourcery.com> PR middle-end/33211 gcc/ * regclass.c (initial_fixed_regs): Revert previous change and make it const again. (initial_call_used_regs): Likewise. (initial_call_really_used_regs): Delete, reverting previous addition. (initial_reg_names): Likewise. (init_reg_sets): Revert previous change. (saved_fixed_regs): New. (saved_call_used_regs): New. (saved_call_really_used_regs): New. (saved_reg_names): New. (save_register_info): New. (restore_register_info): New. (init_reg_sets_1): Replace reset of register info with call to restore_register_info. * rtl.h (save_register_info): Declare. * toplev.c (backend_init): Call save_register_info. From-SVN: r127951
2007-08-31tree-ssa-propagate.c (set_rhs): Remove the copied annotation from the ↵Laurynas Biveinis2-0/+6
original statement. 2007-08-30 Laurynas Biveinis <laurynas.biveinis@gmail.com> * tree-ssa-propagate.c (set_rhs): Remove the copied annotation from the original statement. From-SVN: r127946
2007-08-31Daily bump.GCC Administrator1-1/+1
From-SVN: r127944
2007-08-30c-lex.c (interpret_fixed): Declare.Chao-ying Fu4-2/+205
* c-lex.c (interpret_fixed): Declare. (interpret_float): Process _Fract and _Accum. (interpret_fixed): New function. * final.c (output_addr_const): Process CONST_FIXED. * simplify-rtx.c (simplify_const_unary_operation): Handle US_NEG. (simplify_binary_operation_1): Handle US_ASHIFT, SS_MULT, US_MULT, SS_DIV, US_DIV. (simplify_const_binary_operation): Handle SS_MULT, US_MULT, SS_DIV, US_DIV, US_ASHIFT. (simplify_immed_subreg): Support CONST_FIXED. Process MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM. (simplify_subreg): Support CONST_FIXED. From-SVN: r127941