aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2012-06-15gimplify.c (gimplify_compound_literal_expr): Take gimple_test_f argument...Michael Matz4-1/+40
* gimplify.c (gimplify_compound_literal_expr): Take gimple_test_f argument, don't emit assign statement if value is directly usable. (gimplify_expr): Adjust. testsuite/ * gcc.dg/tree-ssa/vector-4.c: New test. From-SVN: r188665
2012-06-15gimplify.c (gimplify_modify_expr): Fold generated statements.Michael Matz6-10/+28
* gimplify.c (gimplify_modify_expr): Fold generated statements. * gimple-fold.c (can_refer_decl_in_current_unit_p): Check flag_ltrans. testsuite/ * gcc.dg/debug/dwarf2/inline3.c: Adjust. * gcc.dg/tree-ssa/foldstring-1.c: Adjust. From-SVN: r188664
2012-06-15tree-vrp.c (set_and_canonicalize_value_range): Use canonical predicates to ↵Richard Guenther2-17/+43
set VR_UNDEFINED and VR_VARYING. 2012-06-15 Richard Guenther <rguenther@suse.de> * tree-vrp.c (set_and_canonicalize_value_range): Use canonical predicates to set VR_UNDEFINED and VR_VARYING. Drop a case we assert for in set_value_range to VR_VARYING. From-SVN: r188663
2012-06-15arm.md (addsf3, adddf3): Use s_register_operand.Richard Earnshaw6-153/+65
* arm.md (addsf3, adddf3): Use s_register_operand. (subsf3, subdf3): Likewise. (mulsf3, muldf3): Likewise. (difsf3, divdf3): Likewise. (movsfcc, movdfcc): Likewise. * predicates.md (f_register_operand): Delete. (arm_float_rhs_operand): Delete. (arm_float_add_operand): Delete. (arm_float_compare_operand): Use s_register_operand when there's no VFP. (cirrus_register_operand): Delete. (cirrus_fp_register): Delete. (cirrus_shift_const): Delete. (cmpdi_operand): Remove Maverick support. * constraints.md (f, v, H): Delete constraints. (G): Update documentation. * arm.c (fp_consts_inited): Convert to bool. (strings_fp): Delete. (values_fp): Delete. (value_fp0): New variable. (init_fp_table): Simplify logic. (arm_const_double_rtx): Likewise. (fp_immediate_constant): Likewise. (fp_const_from_val): Likewise. (neg_const_double_rtx_ok_for_fpa): Delete. * doc/md.texi (ARM constraints): Update documentation. From-SVN: r188662
2012-06-15re PR tree-optimization/53636 (SLP may create invalid unaligned memory accesses)Ulrich Weigand4-0/+77
gcc/ PR tree-optimization/53636 * tree-vect-data-refs.c (vect_compute_data_ref_alignment): Verify stride when doing basic-block vectorization. gcc/testsuite/ PR tree-optimization/53636 * gcc.target/arm/pr53636.c: New test. From-SVN: r188661
2012-06-15tree-vect-generic.c (lower_vec_perm): Propagate vector constants into ↵Ramana Radhakrishnan2-1/+18
VEC_PERM_EXPR. 2012-06-15 Ramana Radhakrishnan <ramana.radhakrishnan@linaro.org> * tree-vect-generic.c (lower_vec_perm): Propagate vector constants into VEC_PERM_EXPR. From-SVN: r188659
2012-06-15tree-vect-patterns.c (vect_pattern_recog): Don't unnecessarily allocate and ↵Jakub Jelinek2-6/+5
free bbs array for the SLP case. * tree-vect-patterns.c (vect_pattern_recog): Don't unnecessarily allocate and free bbs array for the SLP case. From-SVN: r188657
2012-06-15re PR tree-optimization/51581 (Integer division by constant is not vectorized)Jakub Jelinek16-108/+1031
PR tree-optimization/51581 * expr.h (choose_multiplier): New prototype. * expmed.c (choose_multiplier): No longer static. Change multiplier_ptr from rtx * to UHWI *. (expand_divmod): Adjust callers. * tree-vect-patterns.c (vect_recog_sdivmod_pow2_pattern): Renamed to... (vect_recog_divmod_pattern): ... this. Pass bb_vinfo as last argument to new_stmt_vec_info. Attempt to optimize also divisions by non-pow2 constants if integer vector division isn't supported. * tree-vect-stmts.c (vect_analyze_stmt): If node != NULL, don't look at pattern stmts and sequences. * gcc.c-torture/execute/pr51581-1.c: New test. * gcc.c-torture/execute/pr51581-2.c: New test. * gcc.dg/vect/pr51581-1.c: New test. * gcc.dg/vect/pr51581-2.c: New test. * gcc.dg/vect/pr51581-3.c: New test. * gcc.target/i386/avx-pr51581-1.c: New test. * gcc.target/i386/avx-pr51581-2.c: New test. * gcc.target/i386/avx2-pr51581-1.c: New test. * gcc.target/i386/avx2-pr51581-2.c: New test. * gcc.dg/vect/slp-26.c (main1): Divide by 0x8031 instead of 3. From-SVN: r188656
2012-06-1520120615-1.c: New testcase.Richard Guenther2-0/+20
2012-06-15 Richard Guenther <rguenther@suse.de> * gcc.c-torture/execute/20120615-1.c: New testcase. From-SVN: r188655
2012-06-15re PR ada/53592 (ICE on assignment to component of vector_type)Eric Botcazou7-19/+53
PR ada/53592 * gcc-interface/gigi.h (maybe_vector_array): Make static inline. * gcc-interface/utils.c (maybe_vector_array): Delete. * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the array object as addressable if it has vector type and is on the LHS. From-SVN: r188653
2012-06-15re PR middle-end/53590 (compiler fails to generate SIMD instruction for FP ↵Eric Botcazou13-10/+71
division) PR middle-end/53590 * common.opt (-fdelete-dead-exceptions): New switch. * doc/invoke.texi (Code Gen Options): Document it. * cse.c (count_reg_usage) <CALL_INSN>: Use !insn_nothrow_p in lieu of insn_could_throw_p predicate. Do not skip an insn that could throw if dead exceptions can be deleted. (insn_live_p): Likewise, do not return true in that case. * dce.c (can_alter_cfg): New flag. (deletable_insn_p): Do not return false for an insn that can throw if the CFG can be altered and dead exceptions can be deleted. (init_dce): Set can_alter_cfg to false for fast DCE, true otherwise. * dse.c (scan_insn): Use !insn_nothrow_p in lieu of insn_could_throw_ predicate. Do not preserve an insn that could throw if dead exceptions can be deleted. * function.h (struct function): Add can_delete_dead_exceptions flag. * function.c (allocate_struct_function): Set it. * lto-streamer-in.c (input_struct_function_base): Stream it. * lto-streamer-out.c (input_struct_function_base): Likewise. * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Do not mark a statement that could throw as necessary if dead exceptions can be deleted. ada/ * gcc-interface/misc.c (gnat_init_options_struct): Set opts->x_flag_delete_dead_exceptions to 1. From-SVN: r188651
2012-06-15locks.h (compare_and_swap): Use __sync_bool_compare_and_swap.Andreas Schwab2-25/+27
* sysdep/m68k/locks.h (compare_and_swap): Use __sync_bool_compare_and_swap. (release_set): Use write_barrier instead of inlining it. From-SVN: r188650
2012-06-152012-06-15 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>Andreas Krebbel2-19/+10
* sysdep/s390/locks.h (compare_and_swap, release_set) (read_barrier, write_barrier): Use the GCC atomic builtins. From-SVN: r188649
2012-06-15(*zero_extendsidi2_rex64): Remove isa attribute.Uros Bizjak2-3/+2
From-SVN: r188648
2012-06-15re PR libstdc++/53578 (include/ext/concurrence.h relies on ill-formed ↵Jonathan Wakely3-4/+11
narrowing conversions) PR libstdc++/53578 * include/ext/concurrence.h (__recursive_mutex::_S_destroy): Fix narrowing conversion. * include/std/mutex (__recursive_mutex_base::_S_destroy): Likewise. From-SVN: r188646
2012-06-15Daily bump.GCC Administrator1-1/+1
From-SVN: r188645
2012-06-14Update sysdep/sh/locks.h with atomic builtinsKaz Kojima2-35/+7
Update sysdep/sh/locks.h with atomic builtins * sysdep/sh/locks.h (__cas_lock): Remove. (__cas_start_atomic, __cas_end_atomic): Likewise. (compare_and_swap): Call __sync_bool_compare_and_swap. From-SVN: r188640
2012-06-14* config/tilegx/sync.md (atomic_fetch_sub<mode>): Fix typo.Maxim Kuvyrkov2-1/+5
From-SVN: r188639
2012-06-14re PR libstdc++/53270 (Error when bootstrapping gcc on ↵Jonathan Wakely3-0/+40
hppa2.0-unknown-linux-gcc) PR libstdc++/53270 * include/ext/concurrence.h (__mutex, __recursive_mutex, __cond): Use NSDMI in C++11 mode. * include/ext/rope (_Refcount_Base): Likewise. Destroy mutex in destructor when initialized by function. From-SVN: r188637
2012-06-14re PR libstdc++/53648 ([C++11] nested empty tuples)Jonathan Wakely4-3/+64
PR libstdc++/53648 * include/std/tuple (__empty_not_final): Do not use EBO for tuples. * testsuite/20_util/tuple/53648.cc: New. * testsuite/20_util/uses_allocator/cons_neg.cc: Adjust dg-error line number. From-SVN: r188636
2012-06-14* doc/xml/manual/status_cxx2011.xml: Correct C++11 status table.Jonathan Wakely2-5/+10
From-SVN: r188635
2012-06-14Fix my previous commit to:Uros Bizjak2-4/+3
* config/i386/i386.md (*zero_extendsidi2): Remove x,x alternative. (*zero_extendsidi2_rex64): Ditto. From-SVN: r188634
2012-06-14re PR target/53568 (SH Target: Add support for bswap built-ins)Oleg Endo2-0/+81
PR target/53568 * config/sh/sh.md: Add peephole for swapbsi2. (*swapbisi2_and_shl8, *swapbhisi2): New insns and splits. From-SVN: r188632
2012-06-14i386.md (*zero_extendsidi2): Mark movd alternatives SSE2 only.Uros Bizjak2-9/+14
* config/i386/i386.md (*zero_extendsidi2): Mark movd alternatives SSE2 only. Remove x,x alternative. (*zero_extendsidi2_rex64): Ditto. From-SVN: r188630
2012-06-14re PR target/53639 (x86_64: redundant 64-bit operations on 32-bit integers)Jakub Jelinek2-0/+17
PR target/53639 * config/i386/i386.md (*anddi_1 into *andsi_1_zext splitter): New. From-SVN: r188629
2012-06-14arm.c (arm_cirrus_insn_p): Delete.Richard Earnshaw5-822/+32
* arm.c (arm_cirrus_insn_p): Delete. (cirrus_reorg): Delete. (arm_reorg): Don't call cirrus_reorg. (arm_final_prescan_insn_p): Don't check for cirrus insns. * arm.md (define_attr "type"): Remove mav_farith and mav_dmult. (adddi3, subdi3): Remove Maverick support. (arm_adddi3): Likewise. (adddi_sesidi_di, adddi_zesidi_di): Likewise. (addsf3, adddf3): Likewise. (subsf3, subdf3): Likewise. (mulsf3, muldf3): Likewise. (ashldi3, ashrdi3, lshrdi3): Likewise. (floatsisf2, floatsidf2): Likewise. (fix_truncsfsi2, fix_truncdfsi2): Likewise. (arm_movdi, thumb1_movdi_insn): Likewise. (arm_cmpdi_insn): Likewise. (cirrus_cmpsf, cirrus_cmpdf, cirrus_cmpdi): Likewise. (cirrus.md): Don't include. * cirrus.md: Delete file. * t-arm (MD_INCLUDES): Remove cirrus.md. From-SVN: r188622
2012-06-14dwarf2out.c (function_possibly_abstracted_p): New static function.Eric Botcazou2-9/+67
* dwarf2out.c (function_possibly_abstracted_p): New static function. (gen_subprogram_die): Use it function_possibly_abstracted_p in lieu of cgraph_function_possibly_inlined_p. (gen_inlined_subroutine_die): Return if the origin is to be ignored. (process_scope_var): Do not emit concrete instances of abstracted nested functions from here. (gen_decl_die): Emit the abstract instance if the function is possibly abstracted and not only possibly inlined. (dwarf2out_finish): Find the first non-abstract parent instance and attach concrete instances on the limbo list to it. From-SVN: r188621
2012-06-14arm.md (divsf3, divdf3): Remove FPA support.Richard Earnshaw4-944/+19
* arm.md (divsf3, divdf3): Remove FPA support. (negsf2, negdf2): Likewise. (sqrtsf2, sqrtdf2): Likewise. (movdfcc): Likewise. (modsf3, moddf3, movxf): Delete. (push_fp_multi): Delete. (fpa.md): Don't include it. * fpa.md: Delete file. * t-arm (MD_INCLUDES): Remove fpa.md. From-SVN: r188616
2012-06-14Make-lang.in (ada.install-common, [...]): Use the prefix specified with the ↵Jose Ruiz2-358/+113
--program-prefix configure option to... 2012-06-14 Jose Ruiz <ruiz@adacore.com> * gcc-interface/Make-lang.in (ada.install-common, ada.uninstall): Use the prefix specified with the --program-prefix configure option to determine the install name of the Ada tools. (ada.all.cross): Use a for loop to iterate over the set of Ada tools instead of duplicate the same processing. Update dependencies. From-SVN: r188612
2012-06-14tree-vectorizer.h (vect_get_stmt_cost): Move from tree-vect-stmts.c.Bill Schmidt6-81/+60
2012-06-14 Bill Schmidt <wschmidt@linux.ibm.com> * tree-vectorizer.h (vect_get_stmt_cost): Move from tree-vect-stmts.c. (cost_for_stmt): Remove decl. (vect_get_single_scalar_iteration_cost): Correct typo in name. * tree-vect-loop.c (vect_get_cost): Remove. (vect_get_single_scalar_iteration_cost): Correct typo in name; use vect_get_stmt_cost rather than vect_get_cost. (vect_get_known_peeling_cost): Use vect_get_stmt_cost rather than vect_get_cost. (vect_estimate_min_profitable_iters): Correct typo in call to vect_get_single_scalar_iteration_cost; use vect_get_stmt_cost rather than vect_get_cost. (vect_model_reduction_cost): Use vect_get_stmt_cost rather than vect_get_cost. (vect_model_induction_cost): Likewise. * tree-vect-data-refs.c (vect_peeling_hash_get_lowest_cost): Correct typo in call to vect_get_single_scalar_iteration_cost. * tree-vect-stmts.c (vect_get_stmt_cost): Move to tree-vectorizer.h. (cost_for_stmt): Remove unnecessary function. * Makefile.in (TREE_VECTORIZER_H): Update dependencies. From-SVN: r188611
2012-06-14[multiple changes]Arnaud Charlet18-526/+1115
2012-06-14 Vincent Pucci <pucci@adacore.com> * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_Symbol call replaced by Expand_Put_Call_With_Symbol call. * sem_dim.adb: New fields Unit_Names, Unit_Symbols and Dim_Symbols for record type System_Type. (From_Dimension_To_String_Of_Symbols): Removed. (From_Dim_To_Str_Of_Dim_Symbols): Renames previous routine From_Dimension_To_String_Of_Symbols. (From_Dim_To_Str_Of_Unit_Symbols): New routine. (Analyze_Aspect_Dimension): argument Symbol in aspect Dimension aggregate is optional. Named association implemented. (Has_Compile_Time_Known_Expressions): Removed. (Analyze_Aspect_Dimension_System): New component Dim_Symbol in each Dimension aggregate in aspect Dimension_System. Named associations implemented. (Add_Dimension_Vector_To_Buffer): Removed. (Add_Whole_To_Buffer): Removed. (Expand_Put_Call_With_Dimension_Symbol.): Removed. (Expand_Put_Call_With_Symbol): Renames previous routine Expand_Put_Call_With_Dimension_Symbol. (Has_Dimension_Symbols): Removed. (Has_Symbols): Renames previous routine Has_Dimension_Symbols. (Store_String_Oexpon): New routine. * sem_dim.ads (Expand_Put_Call_With_Dimension_Symbol.): Removed. (Expand_Put_Call_With_Symbol): Renames previous routine Expand_Put_Call_With_Dimension_Symbol. * s-diflio.adb, s-diinio.adb (Put): Symbol renames Symbols. (Put_Dim_Of): New routines. * s-diflio.ads, s-diinio.ads: documentation updated. (Put): Symbol renames Symbols. (Put_Dim_Of): New routines. * s-dim.ads: documentation updated. * s-dimmks.ads: dimensioned type and subtypes updated. * snames.ads-tmpl: Name_Dim_Symbol, Name_Put_Dim_Of, Name_Symbol, and Name_Unit_Symbol added. Name_Symbols removed. 2012-06-14 Vincent Pucci <pucci@adacore.com> * freeze.adb (In_Exp_Body): Expression function case added. (Freeze_Expression): Insert the Freeze_Nodes list before the correct current scope in case of a quantified expression. 2012-06-14 Pascal Obry <obry@adacore.com> * projects.texi: Document the Install package for gprinstall. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_elim.adb (Check_For_Eliminated_Subprogram): Do not check within a default expression. * sem_res.adb (Resolve_Call): simplify code. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_case.adb (Check, Issue_Msg): within an instance, non-other values in a variant part or a case expression do not have to belong to the actual subtype. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Validate_Derived_Type_Instance): If parent is an interface type, check whether it is itself a previous formal already instantiated in the current list of actuals. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): The expression for a stream attribute is a name that may be overloaded with other declarations. To determine whether it matches the aspect at the freeze point, it is necessary to verify that one of its interpretations matches. From-SVN: r188610
2012-06-14[multiple changes]Arnaud Charlet26-170/+408
2012-06-14 Robert Dewar <dewar@adacore.com> * exp_ch7.adb, exp_util.adb, sem_aux.ads, exp_ch9.adb, sem_ch10.adb, freeze.adb, sem_util.adb, exp_ch4.adb, s-taprop-dummy.adb: Minor reformatting. 2012-06-14 Vincent Pucci <pucci@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Lock_Free attribute case added. * par-prag.adb (Prag): Lock_Free pragma case added. * sem_attr.adb (Analyze_Attribute_Reference): Lock_Free attribute case added. * sem_ch13.adb (Analyze_Aspect_Specifications): Record_Rep_Item call added for Aspect_Lock_Free. * sem_ch9.adb (Allows_Lock_Free_Implementation): New Lock_Free error messages for subprogram bodies. (Lock_Free_Disabled): New routine. (Analyze_Protected_Body): Call to Lock_Free_Disabled added. * sem_prag.adb (Analyze_Pragma): Lock_Free pragma case added. * snames.adb-tmpl (Get_Pragma_Id): Name_Lock_Free case added. (Is_Pragma_Name): Name_Lock_Free case added. * snames.ads-tmpl: Attribute_Lock_Free and Pragma_Lock_Free added. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing aliased keyword. 2012-06-14 Bob Duff <duff@adacore.com> * lib.ads, lib.adb, sem.adb (Write_Unit_Info): Move this procedure from Sem body to Lib spec, so it can be used for debugging elsewhere. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode conformance: "aliased" must apply to both or neither formal parameters. From-SVN: r188609
2012-06-14[multiple changes]Arnaud Charlet6-16/+59
2012-06-14 Gary Dismukes <dismukes@adacore.com> * exp_ch9.adb: Minor reformatting. 2012-06-14 Thomas Quinot <quinot@adacore.com> * freeze.adb (Freeze_Record_Type): Warn about useless bit order specification [when there's no component clause] regardless of whether the specified bit order is reversed or not. 2012-06-14 Tristan Gingold <gingold@adacore.com> * raise-gcc.c (__gnat_personality_seh0): New function. 2012-06-14 Tristan Gingold <gingold@adacore.com> * gnatname.adb (Gnatname): Make sure that dynamic table argument_data is initialized. 2012-06-14 Robert Dewar <dewar@adacore.com> * sem_aux.adb: Minor code reorganization. From-SVN: r188608
2012-06-14einfo.adb einfo.ads (Get_Rep_Item): Removed.Vincent Pucci10-274/+269
2012-06-14 Vincent Pucci <pucci@adacore.com> * einfo.adb einfo.ads (Get_Rep_Item): Removed. (Get_Rep_Item_For_Entity): Removed. (Get_Rep_Pragma): Removed. (Get_Rep_Pragma_For_Entity): Removed. (Has_Rep_Item): Removed. (Has_Rep_Pragma): Removed. (Has_Rep_Pragma_For_Entity): Removed. * exp_ch9.adb (Expand_N_Task_Type_Declaration): Has_Rep_Pragma_For_Entity replaced by Has_Rep_Pragma and Get_Rep_Pragma_For_Entity replaced by Get_Rep_Pragma. (Make_Task_Create_Call): Has_Rep_Pragma_For_Entity replaced by Has_Rep_Pragma and Get_Rep_Pragma_For_Entity replaced by Get_Rep_Pragma. * exp_intr.adb: Dependency to Sem_Aux added for call to Get_Rep_Pragma. * sem_aux.adb (Get_Rep_Item): New routine. (Get_Rep_Pragma): New routine. (Has_Rep_Item): New routine. (Has_Rep_Pragma): New routine. (Nearest_Ancestor): Minor reformatting. * sem_aux.ads (Get_Rep_Item): New routine. (Get_Rep_Pragma): New routine. (Has_Rep_Item): New routine. (Has_Rep_Pragma): New routine. * sem_ch13.adb (Duplicate_Clause): Restore original error messages. * sem_eval.adb (Subtypes_Statically_Match): Get_Rep_Item_For_Entity replaced by Get_Rep_Item. * sem_prag.adb (Analyze_Pragma): Restore original error messages. (Check_Duplicate_Pragma): Restore original error messages. From-SVN: r188607
2012-06-14[multiple changes]Arnaud Charlet9-111/+337
2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Is_Object_Reference): in Ada 2012, qualified expressions are valid names. 2012-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Analyze_Compilation_Unit): If the unit is an instantiation do not emit warnings for obsolescent units. The warnings belong on the corresponding generic. 2012-06-14 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb: Update the usage of Node15. (Return_Flag_Or_Transient_Decl): Removed. (Set_Return_Flag_Or_Transient_Decl): Removed. (Set_Status_Flag_Or_Transient_Decl): New routine. (Status_Flag_Or_Transient_Decl): New routine. (Write_Field15_Name): Update the output for variables and constants. * einfo.ads: Remove attribute Return_Flag_Or_Transient_Decl along with occurrences in nodes. (Return_Flag_Or_Transient_Decl): Removed along with pragma Inline. (Set_Return_Flag_Or_Transient_Decl): Removed along with pragma Inline. (Set_Status_Flag_Or_Transient_Decl): New routine along with pragma Inline. (Status_Flag_Or_Transient_Decl): New routine along with pragma Inline. * exp_ch4.adb (Create_Alternative): New routine. (Expand_N_Conditional_Expression): Handle the case where at least one of the conditional expression alternatives prodices a controlled temporary by means of a function call. (Is_Controlled_Function_Call): New routine. (Process_Transient_Object): Update the call to Set_Return_Flag_Or_Transient_Decl. * exp_ch6.adb (Enclosing_Context): New routine. (Expand_N_Extended_Return_Statement): Update all calls to Set_Return_Flag_Or_Transient_Decl. (Expand_Ctrl_Function_Call): Prohibit the finalization of a controlled function result when the context is a conditional expression. * exp_ch7.adb (Process_Declarations): Update all calls to Return_Flag_Or_Transient_Decl. Add processing for intermediate results of conditional expressions where one of the alternatives uses a controlled function call. (Process_Object_Declaration): Update all calls to Return_Flag_Or_Transient_Decl and rearrange the logic to process "hook" objects first. (Process_Transient_Objects): Update the call to Set_Return_Flag_Or_Transient_Decl. * exp_util.adb (Requires_Cleanup_Actions (List_Id, Boolean, Boolean)): Update all calls to Return_Flag_Or_Transient_Decl. Add detection for intermediate results of conditional expressions where one of the alternatives uses a controlled function call. From-SVN: r188606
2012-06-14vrp.h: New testcase.Richard Guenther3-0/+56
2012-06-14 Richard Guenther <rguenther@suse.de> * gcc.dg/tree-ssa/vrp.h: New testcase. * gcc.dg/tree-ssa/vrp68.c: Likewise. From-SVN: r188604
2012-06-14arm.opt (mfp=2, [...]): Delete options.Richard Earnshaw5-59/+26
* arm.opt (mfp=2, mfp=3, mfpe, mfpe=2, mfpe=3): Delete options. * arm-fpus.def (fpa, fpe2, fpe3, maverick): Delete FPU types. * arm-tables.opt: Regenerated. * doc/invoke.texi: Remove references to deleted options. From-SVN: r188603
2012-06-14Added offset bits of MOVA/Sz assembly instruction for memory accessSandeep Kumar Singh1-0/+7
From-SVN: r188602
2012-06-14Added offset bits of MOVA/Sz assembly instruction for memory accessSandeep Kumar Singh3-51/+57
From-SVN: r188600
2012-06-14re PR target/53621 ([SH] Frame pointers not generated with ↵Christian Bruel5-17/+23
-fno-omit-frame-pointer on GCC 4.7.0) PR target/53621 * config/sh/sh.c (sh_option_override): Don't force flag_omit_frame_pointer and maccumulate_outgoing_args. * config/sh/sh.opt (maccumulate-outgoing-args): Init as Var. * gcc.dg/stack-usage-1.c: Force -fomit-frame-pointer on SH. From-SVN: r188598
2012-06-14tree-vrp.c (VR_INITIALIZER): New define.Richard Guenther2-36/+150
2012-06-14 Richard Guenther <rguenther@suse.de> * tree-vrp.c (VR_INITIALIZER): New define. (ranges_from_anti_range): New function. (extract_range_from_binary_expr_1): Decompose operations on VR_ANTI_RANGEs to operations on VR_RANGE. (extract_range_from_unary_expr_1): Likewise. (extract_range_from_binary_expr_1, extract_range_from_binary_expr, extract_range_from_unary_expr_1, extract_range_from_unary_expr, extract_range_from_cond_expr, adjust_range_with_scev, vrp_visit_assignment_or_call, vrp_visit_phi_node, simplify_bit_ops_using_ranges): Use VR_INITIALIZER. From-SVN: r188551
2012-06-14mips.exp (mips-dg-options): Handle -msynci.Richard Sandiford2-0/+8
gcc/testsuite/ * gcc.target/mips/mips.exp (mips-dg-options): Handle -msynci. From-SVN: r188550
2012-06-14compiler, reflect: Quote package path with tabs.Ian Lance Taylor2-5/+5
From-SVN: r188548
2012-06-14libgo: Make the subdirectory in the CHECK target.Ian Lance Taylor2-216/+2
From Andreas Schwab. From-SVN: r188547
2012-06-14compiler: Avoid unnecessary interface conversions.Ian Lance Taylor1-2/+4
From-SVN: r188545
2012-06-14Daily bump.GCC Administrator1-1/+1
From-SVN: r188544
2012-06-13re PR testsuite/20771 (Duplicate PCH test names)Janis Johnson2-3/+9
PR testsuite/20771 * lib/dg-pch.exp (dg-flags-pch): Add flags to make compile lines in test summary unique. From-SVN: r188540
2012-06-13scanasm.exp (scan-assembler, [...]): Don't strip torture options from test name.Janis Johnson2-13/+40
* lib/scanasm.exp (scan-assembler, scan-assembler-not, scan-hidden, scan-not-hiddent, scan-file, scan-file-not, scan-stack-usage, scan-stack-usage-not): Don't strip torture options from test name. From-SVN: r188539
2012-06-13scandump.exp (scan-dump-times): Use printable version of regexp in test ↵Janis Johnson2-1/+5
summary line. * lib/scandump.exp (scan-dump-times): Use printable version of regexp in test summary line. From-SVN: r188538
2012-06-13di-longlong64-sync-1.c: Add comments to checks for multiple messages ↵Janis Johnson7-17/+26
reported for one line of source code. * gcc.dg/di-longlong64-sync-1.c: Add comments to checks for multiple messages reported for one line of source code. * gcc.dg/format/few-1.c: Likewise. * gcc.dg/ia64-sync-2.c: Likewise. * gcc.dg/sync-2.c: Likewise. * gcc.dg/noncompile/pr44517.c: Likewise. From-SVN: r188537