1. 22 Oct, 2010 10 commits
    • charlet's avatar
      2010-10-22 Geert Bosch <bosch@adacore.com> · e8548746
      charlet authored
      	* gcc-interface/Make-lang.in: Remove ttypef.ads
      	* checks.adb: Use Machine_Mantissa_Value and Machine_Radix_Value instead
      	of Machine_Mantissa and Machine_Radix.
      	* cstand.adb (P_Float_Range): Directly print the Type_Low_Bound and
      	Type_High_Bound of the type, instead of choosing constants from Ttypef.
      	(Set_Float_Bounds): Compute the bounds based on Machine_Radix_Value,
      	Machine_Emax_Value and Machine_Mantissa_Value instead of special-casing
      	each type.
      	* einfo.ads (Machine_Emax_Value, Machine_Emin_Value,
      	Machine_Mantissa_Value, Machine_Radix_Value, Model_Emin_Value,
      	Model_Epsilon_Value, Model_Mantissa_Value, Model_Small_Value,
      	Safe_Emax_Value, Safe_First_Value, Safe_Last_Value): Add new
      	synthesized floating point attributes.
      	* einfo.adb (Float_Rep): Determine the kind of floating point
      	representation used for a given type.
      	(Machine_Emax_Value, Machine_Emin_Value, Machine_Mantissa_Value,
      	Machine_Radix_Value): Implement based on Float_Rep_Kind of a type and
      	the number of digits in the type.
      	(Model_Emin_Value, Model_Epsilon_Value, Model_Mantissa_Value,
      	Model_Small_Value, Safe_Emax_Value, Safe_First_Value, Safe_Last_Value):
      	Implement new synthesized floating point attributes based on the various
      	machine attributes.
      	* eval_fat.ads: Remove Machine_Mantissa and Machine_Radix.
      	* eval_fat.adb (Machine_Mantissa, Machine_Radix): Remove. Use the
      	Machine_Mantissa_Value and Machine_Radix_Value functions instead.
      	* exp_vfpt.adb (VAXFF_Digits, VAXDF_Digits, VAXFG_Digits): Define local
      	constants, instead of using constants from Ttypef.
      	* gnat_rm.texi: Reword comments referencing Ttypef.
      	* sem_attr.ads: Reword comment referencing Ttypef.
      	* sem_attr.adb (Float_Attribute_Universal_Integer,
      	Float_Attribute_Universal_Real): Remove.
      	(Attribute_Machine_Emax, Attribute_Machine_Emin,
      	Attribute_Machine_Mantissa, Attribute_Model_Epsilon,
      	Attribute_Model_Mantissa, Attribute_Model_Small, Attribute_Safe_Emax,
      	Attribute_Safe_First, Attribute_Safe_Last, Model_Small_Value): Use
      	attributes in Einfo instead of Float_Attribute_Universal_Real and
      	Float_Attribute_Universal_Integer and all explicit constants.
      	* sem_util.ads, sem_util.adb (Real_Convert): Remove.
      	* sem_vfpt.adb (VAXDF_Digits, VAXFF_Digits, VAXGF_Digits, IEEEL_Digits,
      	IEEES_Digits): New local constants, in order to remove dependency on
      	Ttypef.
      	* tbuild.ads (Make_Float_Literal): New function.
      	* tbuild.adb (Make_Float_Literal): New function to create a new
      	N_Real_Literal, constructing it as simple as possible for best
      	output of constants in -gnatS.
      	* ttypef.ads: Remove.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165808 138bc75d-0d04-0410-961f-82ee72b054a4
      e8548746
    • charlet's avatar
      2010-10-22 Robert Dewar <dewar@adacore.com> · 701d57a4
      charlet authored
      	* checks.adb (Apply_Predicate_Check): Remove attempt at optimization
      	when subtype is the same, caused legitimate checks to be missed.
      	* exp_ch13.adb (Build_Predicate_Function): Use Nearest_Ancestor to get
      	inheritance from right entity.
      	* freeze.adb (Freeze_Entity): Use Nearest_Ancestor to freeze in the
      	derived type case if the ancestor type has predicates.
      	* sem_aux.ads, sem_aux.adb (Nearest_Ancestor): New function.
      	* sem_prag.adb (Check_Enabled): Minor code reorganization.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165807 138bc75d-0d04-0410-961f-82ee72b054a4
      701d57a4
    • charlet's avatar
      * gcc-interface/utils.c, gcc-interface/gigi.h: Minor reformatting. · 9a710cc4
      charlet authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165806 138bc75d-0d04-0410-961f-82ee72b054a4
      9a710cc4
    • charlet's avatar
      2010-10-22 Thomas Quinot <quinot@adacore.com> · 72a8dd48
      charlet authored
      	* einfo.ads (Declaration_Node): Clarify documentation, in particular
      	regarding what is returned for subprogram entities.
      
      2010-10-22  Arnaud Charlet  <charlet@adacore.com>
      
      	* exp_attr.adb (Make_Range_Test): Generate a Range node instead of
      	explicit comparisons, generates simpler expanded code.
      	* a-except-2005.adb (Rcheck_06_Ext): New.
      	* gcc-interface/trans.c (gigi, gnat_to_gnu): Handle validity checks
      	like range checks.
      	* gcc-interface/Make-lang.in: Update dependencies.
      
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch3.adb (Array_Type_Declaration): Error for subtype wi predicate
      	for index type
      	(Constrain_Index): Error of subtype wi predicate in index constraint
      	* sem_ch9.adb (Analyze_Entry_Declaration): Error of subtype wi
      	predicate in entry family.
      	* sem_res.adb (Resolve_Slice): Error of type wi predicate in slice.
      
      2010-10-22  Javier Miranda  <miranda@adacore.com>
      
      	* sem_util.ads, sem_util.adb (Collect_Parents): New subprogram.
      	(Original_Corresponding_Operation): New subprogram.
      	(Visible_Ancestors): New subprogram.
      	* sem_ch6.adb (New_Overloaded_Entity): Handle new case of dispatching
      	operation that overrides a hidden inherited primitive.
      	* sem_disp.adb (Find_Hidden_Overridden_Primitive): New subprogram.
      	(Check_Dispatching_Operation): if the new dispatching operation
      	does not override a visible primtive then check if it overrides
      	some hidden inherited primitive.
      
      2010-10-22  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch10.adb (Analyze_With_Clause): If the parent_unit_name in a with
      	clause is a child unit that denotes a renaming, replace the
      	parent_unit_name with a reference to the renamed unit, because the
      	prefix is irrelevant to subsequent visibility..
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165805 138bc75d-0d04-0410-961f-82ee72b054a4
      72a8dd48
    • charlet's avatar
      2010-10-22 Robert Dewar <dewar@adacore.com> · f93e7257
      charlet authored
      	* einfo.ads, einfo.adb (Has_Predicates): Flag is now on all entities
      	(simplifies code).
      	* exp_ch13.adb (Build_Predicate_Function): Output info msgs for
      	inheritance.
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Make sure we have a
      	freeze node for entities for which a predicate is specified.
      	(Analyze_Aspect_Specifications): Avoid duplicate calls
      	* sem_ch3.adb (Analyze_Full_Type_Declaration): Remove attempt to avoid
      	duplicate calls to Analye_Aspect_Specifications.
      
      2010-10-22  Thomas Quinot  <quinot@adacore.com>
      
      	* a-exextr.adb, atree.ads, freeze.adb: Minor reformatting.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165804 138bc75d-0d04-0410-961f-82ee72b054a4
      f93e7257
    • nicola's avatar
      2010-10-21 Nicola Pero <nicola.pero@meta-innovation.com> · 29d8eac9
      nicola authored
              * objc-act.c (get_objc_string_decl): Use a switch instead of a
              chain of ifs.  Use gcc_unreachable instead of abort.
              (add_objc_string): Same change.
              (generate_protocol_list): Same change - twice.
              (synth_id_with_class_suffix): Same change.
              (build_keyword_selector): Same change - twice.
              (objc_build_message_expr): Same change.
              (objc_build_selector_expr): Same change.
              (check_methods): Same change - and added missing gcc_unreachable
              for default case.
              (check_methods_accessible): Same change - twice, and added missing
              gcc_unreachable for default case in one of them.
              (start_class): Same change - and added missing gcc_unreachable for
              default case.
              (continue_class): Same change.
              (objc_gen_property_data): Same change.
              (finish_class): Same change.
              (encode_type_qualifiers): Added missing gcc_unreachable.
              (encode...
      29d8eac9
    • mshawcroft's avatar
      2010-10-22 Marcus Shawcroft <marcus.shawcroft@arm.com> · 02718712
      mshawcroft authored
      	* gcc.target/arm/synchronize.c: Permit dmb or mcr in assembler scan.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165802 138bc75d-0d04-0410-961f-82ee72b054a4
      02718712
    • froydnj's avatar
      * config/alpha/alpha.c (alpha_build_builtin_va_list): Use · bc907808
      froydnj authored
      	TYPE_STUB_DECL instead of TREE_CHAIN.
      	* config/i386/i386.c (ix86_build_builtin_va_list_abi): Likewise.
      	* config/rs6000/rs6000.c (rs6000_build_builtin_va_list): Likewise.
      	* config/s390/s390.c (s390_build_builtin_va_list): Likewise.
      	* config/sh/sh.c (sh_build_builtin_va_list): Likewise.
      	* config/spu/spu.c (spu_build_builtin_va_list): Likewise.
      	* config/stormy16/stormy16.c (xstormy16_build_builtin_va_list):
      	Likewise.
      	* config/xtensa/xtensa.c (xtensa_build_builtin_va_list): Likewise.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165800 138bc75d-0d04-0410-961f-82ee72b054a4
      bc907808
    • jiez's avatar
      * expr.c (emit_group_load_1): Update calls to extract_bit_field. · 8eef3a45
      jiez authored
      	(copy_blkmode_from_reg): Likewise.
      	(read_complex_part): Likewise.
      	(expand_expr_real_1): Calculate packedp and pass it to
      	extract_bit_field.
      	* expr.h (extract_bit_field): Update declaration.
      	* calls.c (store_unaligned_arguments_into_pseudos): Update call
      	to extract_bit_field.
      	* expmed.c (extract_fixed_bit_field): Update calls to
      	extract_fixed_bit_field.
      	(store_split_bit_field): Likewise.
      	(extract_bit_field_1): Add new argument packedp.
      	(extract_bit_field): Add new argument packedp.
      	(extract_fixed_bit_field): Add new argument packedp and let
      	packed attribute override volatile.
      	* stmt.c (expand_return): Update call to extract_bit_field.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165799 138bc75d-0d04-0410-961f-82ee72b054a4
      8eef3a45
    • gccadmin's avatar
      Daily bump. · ea6645fe
      gccadmin authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165798 138bc75d-0d04-0410-961f-82ee72b054a4
      ea6645fe
  2. 21 Oct, 2010 30 commits
    • paolo's avatar
      /cp · 0ff6c167
      paolo authored
      2010-10-21  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/46117
      	* call.c (add_function_candidate): Don't use TREE_VALUE on null
      	parmnode.
      
      /testsuite
      2010-10-21  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/46117
      	* g++.dg/parse/crash57.C: New.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165794 138bc75d-0d04-0410-961f-82ee72b054a4
      0ff6c167
    • uros's avatar
      * Add ChangeLog changes. · 2f3e708a
      uros authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165793 138bc75d-0d04-0410-961f-82ee72b054a4
      2f3e708a
    • froydnj's avatar
      * config/spu/spu.c (spu_function_arg): Dereference CUM parameter. · a08c5dd0
      froydnj authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165792 138bc75d-0d04-0410-961f-82ee72b054a4
      a08c5dd0
    • froydnj's avatar
      * ddg.c (add_cross_iteration_register_deps): Call gcc_assert instead · 8d653dbe
      froydnj authored
      	of gcc_checking_assert.
      	* sel-sched.c (code_motion_process_successors): Likewise.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165790 138bc75d-0d04-0410-961f-82ee72b054a4
      8d653dbe
    • ebotcazou's avatar
      * cfgcleanup.c (try_forward_edges): Do not throw away previous steps · 18b762f0
      ebotcazou authored
      	when stopping because of a different locus on edge or insn.
      	(try_optimize_cfg): Add comment.
      	* cfgrtl.c (rtl_merge_blocks): Tweak log message.  If the destination
      	block is a forwarder block, propagate locus on the edge.
      	(cfg_layout_merge_blocks): Likewise.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165789 138bc75d-0d04-0410-961f-82ee72b054a4
      18b762f0
    • uros's avatar
      PR target/45946 · c61e2d0b
      uros authored
      	* config/i386/i386.md (*pushti2): New insn pattern.
      	(pushti2 splitter): New insn splitter.
      	(*push<mode>2): Macroize insn pattern from *push{di,ti}2 using
      	DWI mode iterator.
      
      testsuite/ChangeLog:
      
      	PR target/45946
      	* gcc.target/i386/pr45946.c: New test.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165787 138bc75d-0d04-0410-961f-82ee72b054a4
      c61e2d0b
    • pkoning's avatar
      * config/pdp11/pdp11-protos.md (arith_operand, · 44d2fca6
      pkoning authored
      const_immediate_operand, expand_shift_operand,
      immediate15_operand): Delete
      * config/pdp11/pdp11.c: Ditto.
      * config/pdp11/pdp11.h (REG_CLASS_FROM_LETTER,
      CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
      EXTRA_CONSTRAINT): Delete.
      * config/pdp11/pdp11.md (various): Use standard constraints
      instead of removed ones.
      * config/pdp11/constraints.md: New file.
      * config/pdp11/predicates.md: New file.
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165784 138bc75d-0d04-0410-961f-82ee72b054a4
      44d2fca6
    • meibf's avatar
      2010-10-21 Bingfeng Mei <bmei@broadcom.com> · 3bddda63
      meibf authored
      	PR c/45834
              * alias.c (true_dependence_1): Remove obsolete check for QImode.
              (may_alias_p): Ditto.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165781 138bc75d-0d04-0410-961f-82ee72b054a4
      3bddda63
    • jamborm's avatar
      2010-10-21 Martin Jambor <mjambor@suse.cz> · 11476343
      jamborm authored
      	PR tree-optimization/45875
      	* tree.c (get_binfo_at_offset): Remove initial zero offset test.
      
      	* testsuite/g++.dg/ipa/pr45875.C: New test.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165780 138bc75d-0d04-0410-961f-82ee72b054a4
      11476343
    • froydnj's avatar
      * tree-into-ssa.c (rewrite_update_enter_block): Remove unused · 57f33c2a
      froydnj authored
      	variables.
      	(create_new_def_for): Likewise.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165779 138bc75d-0d04-0410-961f-82ee72b054a4
      57f33c2a
    • nickc's avatar
      * config/mn10300/mn10300.c: Fold code to 80-character width. · 3626e955
      nickc authored
              Replace GET_CODE (foo) == REG with REG_P (foo).  Likewise for
              MEM, CONST_INT and CONST_DOUBLE.
              (targetm): Move initialization to end of file.
              (print_operand): Rename to mn10300_print_operand.
              (print_operand_address): Rename to mn10300_print_operand_address.
              (can_use_return_insn): Rename to mn10300_can_use_return_insn.
              (expand_prologue): Rename to mn10300_expand_prologue.
              (expand_epilogue): Rename to mn10300_expand_epilogue.
              (initial_offset): Rename to mn10300_initial_offset.
              (function_arg): Rename to mn10300_function_arg.
              (mask_ok_for_mem_btst): Rename to mn10300_mask_ok_for_mem_btst.
              (symbolic_operand): Rename to mn10300_symbolic_operand.
              (legitimize_pic_address): Rename to mn10300_legitimize_pic_address.
              (legitimate_pic_operand_p): Rename to mn10300_legitimate_pic_operand_p.
              * config/mn10300/mn10300-protos.h: Update prototypes.
              * config/mn10300/mn10300.h: Fold code to 80-character width.
              Replace GET_CODE (foo) == REG with REG_P (foo).  Likewise for
              MEM, CONST_INT and CONST_DOUBLE.
              (CPP_SPEC): Move to...
              (TARGET_CPU_CPP_BUILTINS): ... here.
              * config/mn10300/mn10300.md: Fold code to 80-character width.
              Replace GET_CODE (foo) == REG with REG_P (foo).  Likewise for
              MEM, CONST_INT and CONST_DOUBLE.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165778 138bc75d-0d04-0410-961f-82ee72b054a4
      3626e955
    • irar's avatar
      · 09e31a48
      irar authored
      	PR tree-optimization/46049
      	PR tree-optimization/46052
      	* tree-vectorizer.h (enum stmt_vec_info_type): Add new value for
      	shift.
      	(vect_get_slp_defs): Add arguments.
      	* tree-vect-loop.c (vect_create_epilog_for_reduction): Pass scalar
      	operands to vect_get_slp_defs.
      	(vectorizable_reduction): Fix comment, pass scalar operands to
      	vect_get_slp_defs.
      	* tree-vect-stmts.c (vect_get_vec_def_for_operand): Use operand's
      	type to determine number of units in the created vector.
      	(vect_get_vec_defs): Pass scalar operands to vect_get_slp_defs.
      	(vectorizable_conversion): Fix comment.
      	(vectorizable_shift): New function.
      	(vectorizable_operation): Move code that handles shifts to
      	vectorizable_shift.
      	(vectorizable_type_demotion): Fix comment, pass scalar operands to
      	vect_get_slp_defs.
      	(vectorizable_type_promotion, vectorizable_store): Likewise.
      	(vectorizable_condition): Fix comment.
      	(vect_analyze_stmt): Call vectorizable_shift.
      	(vect_transform_stmt): Likewise.
      	* tree-vect-slp.c (vect_get_constant_vectors): Add new argument.
      	Use it as the operand to create vectors for, except reduction
      	initial definition and store.  Use operands type.
      	(vect_get_slp_defs): Add new arguments.  Pass them to
      	vect_get_constant_vectors.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165777 138bc75d-0d04-0410-961f-82ee72b054a4
      09e31a48
    • charlet's avatar
      2010-10-21 Robert Dewar <dewar@adacore.com> · 20e4f1c1
      charlet authored
      	* sem_ch3.adb: Minor reformatting.
      
      2010-10-21  Thomas Quinot  <quinot@adacore.com>
      
      	* einfo.ads (Next_Girder_Discriminant): Remove obsolete description for
      	removed routine.
      
      2010-10-21  Nicolas Roche  <roche@adacore.com>
      
      	* gnatmem.adb, memroot.adb, memroot.ads, gmem.c,
      	gcc-interface/Makefile.in: Remove gnatmem specific files.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165776 138bc75d-0d04-0410-961f-82ee72b054a4
      20e4f1c1
    • charlet's avatar
      2010-10-21 Thomas Quinot <quinot@adacore.com> · fc04c076
      charlet authored
      	* sem_res.adb, exp_ch13.adb: Minor reformatting.
      
      2010-10-21  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch3.adb (Check_Or_Process_Discriminant): Reject illegal attempt
      	to provide a tagged full view as the completion of an untagged partial
      	view if the partial view has a discriminant with default.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165775 138bc75d-0d04-0410-961f-82ee72b054a4
      fc04c076
    • froydnj's avatar
      * basic-block.h (single_succ_edge): Use gcc_checking_assert. · 1b4345f7
      froydnj authored
      	(single_pred_edge, ei_container, ei_next, ei_prev): Likewise.
      	* cfghooks.c (fixup_reorder_chain): Likewise.
      	* cfgrtl.c (cfg_layout_merge_blocks): Likewise.
      	* cgraph.c (cgraph_add_thunk): Likewise.
      	(cgraph_create_edge_1): Likewise.
      	(cgraph_create_virtual_clone): Likewise.
      	* ddg.c (add_cross_iteration_register_deps): Likewise.
      	* dwarf2out.c (modified_type_die): Likewise.
      	* emit-rtl.c (set_mem_alias_set): Likewise.
      	* ggc-zone.c (zone_allocate_marks): Likewise.
      	* gimple-iterator.c (gsi_move_to_bb_end): Likewise.
      	* gimple.c (iterative_hash_gimple_type): Likewise.
      	* graphite-scop-detection.c (create_single_entry_edge): Likewise.
      	(create_single_exit_edge): Likewise.
      	* haifa-sched.c (choose_ready): Likewise.
      	* lto-streamer-in.c (input_gimple_stmt): Likewise.
      	* passes.c (execute_todo): Likewise.
      	* sched-ebb.c (begin_schedule_ready): Likewise.
      	* sel-sched.c (code_motion_process_successors): Likewise.
      	* tree-call-cdce.c (gen_conditions_for_pow): Likewise.
      	* tree-cfg-cleanup.c (tree_forwarder_block_p): Likewise.
      	* tree-flow-inline.h (link_imm_use, move_use_after_head): Likewise.
      	(phi_arg_index_from_use, phi_ssa_name_p): Likewise.
      	* tree-into-ssa.c (insert_updated_phi_nodes_for): Likewise.
      	* tree-ssa-coalesce.c (ssa_conflicts_test_p): Likewise.
      	(ssa_conflicts_add): Likewise.
      	* tree-ssa-copy.c (replace_exp): Likewise.
      	* tree-ssa-dom.c (eliminate_redundant_computations): Likewise.
      	* tree-ssa-forwprop.c (simple_gimple_switch): Likewise.
      	* tree-ssa-math-opts.c (execute_cse_reciprocals): Likewise.
      	* tree-ssa-pre.c (bitmap_value_insert_into_set): Likewise.
      	(compute_antic): Likewise.
      	* tree-ssa-ter.c (add_to_partition_kill_list): Likewise.
      	(add_dependence): Likewise.
      	(process_replaceable, kill_expr, find_replaceable_exprs): Likewise.
      	* tree-vrp.c (supports_overflow_infinity): Likewise.
      	(make_overflow_infinity, negative_overflow_infinity): Likewise.
      	(avoid_overflow_infinity, register_new_assert_for): Likewise.
      	(process_assert_insertions_for): Likewise.
      	* var-tracking.c (dv_is_value_p, dv_as_decl, dv_from_decl): Likewise.
      	(dv_from_value, variable_union, find_loc_in_1pdv): Likewise.
      	(intersect_loc_chains, variable_merge_over_cur): Likewise.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165774 138bc75d-0d04-0410-961f-82ee72b054a4
      1b4345f7
    • froydnj's avatar
      * cfgloop.c (flow_loops_find): Call bb_has_abnormal_pred. · f1047120
      froydnj authored
      	* reload1.c (has_nonexceptional_receiver): Likewise.
      	* tree-into-ssa.c (rewrite_update_enter_block): Likewise.
      	(create_new_def_for): Likewise.
      	* tree-cfgcleanup.c (remove_forwarder_block): Likewise.
      	(merge_phi_nodes): Likewise.
      	(has_abnormal_incoming_edge_p): Delete.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165772 138bc75d-0d04-0410-961f-82ee72b054a4
      f1047120
    • hjl's avatar
      Add V8SI and V4DI to ssescalarmodesuffix. · 4fb07105
      hjl authored
      2010-10-21  H.J. Lu  <hongjiu.lu@intel.com>
      
      	* config/i386/sse.md (ssescalarmodesuffix): Add V8SI and V4DI.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165771 138bc75d-0d04-0410-961f-82ee72b054a4
      4fb07105
    • tkoenig's avatar
      2010-10-21 Thomas Koenig <tkoenig@gcc.gnu.org> · a15e7290
      tkoenig authored
      	PR fortran/46007
      	* m4/shape.m4 (shape_'rtype_kind`):  Use variable for rank.
      	Allocate return array if unallocated.
      	* generated/shape_i4.c:  Regenerated.
      	* generated/shape_i8.c:  Regenerated.
      	* generated/shape_i16.c:  Regenerated.
      
      2010-10-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/46007
      	* gfortran.dg/shape_5.f90:  New test case.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165770 138bc75d-0d04-0410-961f-82ee72b054a4
      a15e7290
    • janus's avatar
      2010-10-21 Janus Weil <janus@gcc.gnu.org> · f3efaada
      janus authored
      	PR fortran/46060
      	* match.h (gfc_matching_ptr_assignment): New global variable to indicate
      	we're currently matching a (non-proc-)pointer assignment.
      	* decl.c (match_pointer_init): Set it.
      	* match.c (gfc_match_pointer_assignment): Ditto.
      	* primary.c (matching_actual_arglist): New global variable to indicate
      	we're currently matching an actual argument list.
      	(gfc_match_actual_arglist): Set it.
      	(gfc_match_varspec): Reject procedure pointer component calls with
      	missing argument list.
      
      
      2010-10-21  Janus Weil  <janus@gcc.gnu.org>
      
      	PR fortran/46060
      	* gfortran.dg/proc_ptr_comp_25.f90: New.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165769 138bc75d-0d04-0410-961f-82ee72b054a4
      f3efaada
    • rguenth's avatar
      2010-10-21 Richard Guenther <rguenther@suse.de> · 85a846a2
      rguenth authored
      	Michael Matz  <matz@suse.de>
      
      	PR tree-optimization/45764
      	* tree-vect-data-refs.c (vect_compute_data_ref_alignment):
      	Adjust initial misalignment for negative DR_STEP.
      	(vect_find_same_alignment_drs): Two DRs with different DR_STEP
      	do not have the same alignment over the whole iteration domain.
      
              * gcc.dg/torture/pr45764.c: New testcase.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165768 138bc75d-0d04-0410-961f-82ee72b054a4
      85a846a2
    • charlet's avatar
      Update dependencies. · 6dc852ab
      charlet authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165767 138bc75d-0d04-0410-961f-82ee72b054a4
      6dc852ab
    • charlet's avatar
      2010-10-21 Robert Dewar <dewar@adacore.com> · 7aafae1c
      charlet authored
      	* einfo.ads, einfo.adb: Add handling of predicates.
      	Rework handling of invariants.
      	* exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_ch6.adb: Minor changes to
      	handing of invariants.
      	* par-prag.adb: Add dummy entry for pragma Predicate
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for
      	Predicate aspects.
      	* sem_prag.adb: Add implementation of pragma Predicate.
      	* snames.ads-tmpl: Add entries for pragma Predicate.
      
      2010-10-21  Robert Dewar  <dewar@adacore.com>
      
      	* elists.adb: Minor reformatting.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165766 138bc75d-0d04-0410-961f-82ee72b054a4
      7aafae1c
    • rguenth's avatar
      2010-10-21 Richard Guenther <rguenther@suse.de> · 64ade643
      rguenth authored
      	PR tree-optimization/46111
      	* tree-parloops.c (take_address_of): Re-organize for MEM_REF.
      
      	* g++.dg/torture/pr46111.C: New testcase.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165765 138bc75d-0d04-0410-961f-82ee72b054a4
      64ade643
    • charlet's avatar
      2010-10-21 Robert Dewar <dewar@adacore.com> · 4aed5405
      charlet authored
      	* einfo.ads, einfo.adb: Add handling of predicates.
      	Rework handling of invariants.
      	* exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_ch6.adb: Minor changes to
      	handing of invariants.
      	* par-prag.adb: Add dummy entry for pragma Predicate
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for
      	Predicate aspects.
      	* sem_prag.adb: Add implementation of pragma Predicate.
      	* snames.ads-tmpl: Add entries for pragma Predicate.
      
      2010-10-21  Robert Dewar  <dewar@adacore.com>
      
      	* elists.adb: Minor reformatting.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165764 138bc75d-0d04-0410-961f-82ee72b054a4
      4aed5405
    • charlet's avatar
      2010-10-21 Robert Dewar <dewar@adacore.com> · f54f1dff
      charlet authored
      	* einfo.ads, einfo.adb: Add handling of predicates.
      	Rework handling of invariants.
      	* exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_ch6.adb: Minor changes to
      	handing of invariants.
      	* par-prag.adb: Add dummy entry for pragma Predicate
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for
      	Predicate aspects.
      	* sem_prag.adb: Add implementation of pragma Predicate.
      	* snames.ads-tmpl: Add entries for pragma Predicate.
      
      2010-10-21  Robert Dewar  <dewar@adacore.com>
      
      	* elists.adb: Minor reformatting.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165763 138bc75d-0d04-0410-961f-82ee72b054a4
      f54f1dff
    • charlet's avatar
      2010-10-21 Geert Bosch <bosch@adacore.com> · b3f5eb36
      charlet authored
      	* urealp.adb (UR_Write): Write hexadecimal constants with exponent 1 as
      	decimal constants, and write any others using the exponent notation.
      	Minor reformatting throughout
      	(Store_Ureal_Normalized): New function (minor code reorganization)
      
      2010-10-21  Robert Dewar  <dewar@adacore.com>
      
      	* einfo.ads, xeinfo.adb: Minor reformatting.
      	* s-stalib.ads: Minor comment fixes.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165762 138bc75d-0d04-0410-961f-82ee72b054a4
      b3f5eb36
    • charlet's avatar
      2010-10-21 Ed Schonberg <schonberg@adacore.com> · 3433e988
      charlet authored
      	* sem_ch6.adb (Enter_Overloaded_Entity): Refine warning message about
      	hiding, to remove noise warnings about hiding predefined operators.
      
      2010-10-21  Emmanuel Briot  <briot@adacore.com>
      
      	* g-comlin.adb (Add_Switch): Fix handling of switches with no separator
      	when the parameter has length 1.
      
      2010-10-21  Jose Ruiz  <ruiz@adacore.com>
      
      	* sem_prag.adb (Set_Ravenscar_Profile): Enforce the restrictions of no
      	dependence on Ada.Execution_Time.Timers,
      	Ada.Execution_Time.Group_Budget, and
      	System.Multiprocessors.Dispatching_Domains which are part of the
      	Ravenscar Profile.
      	* impunit.adb (Non_Imp_File_Names_05): Add the file "a-etgrbu" to the
      	list of Ada 2005 files for package Ada.Execution_Time.Group_Budgets.
      	(Non_Imp_File_Names_12): Add the file "s-mudido" to the list of Ada 2012
      	files for package System.Mutiprocessors.Dispatching_Domains.
      
      2010-10-21  Tristan Gingold  <gingold@adacore.com>
      
      	* ug_words, vms_data.ads: Define the VMS qualifier for -gnateE.
      
      2010-10-21  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch3.ads (Process_Discriminants): Clarify cases where this is
      	called for a completion.
      
      2010-10-21  Geert Bosch  <bosch@adacore.com>
      
      	* uintp.ads: Expand image buffer to have enough room for 128-bit values
      	* urealp.ads (UR_Write): Write constants in base 16 in hexadecimal
      	notation; either as fixed point literal or in canonical radix 16
      	floating point form.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165761 138bc75d-0d04-0410-961f-82ee72b054a4
      3433e988
    • charlet's avatar
      2010-10-21 Robert Dewar <dewar@adacore.com> · 1d00a8ce
      charlet authored
      	* a-cgaaso.ads, a-tags.ads, exp_ch3.adb, exp_attr.adb, exp_ch4.adb,
      	exp_ch3.ads, exp_ch7.adb, exp_ch9.adb, exp_disp.adb, exp_disp.ads,
      	exp_dist.adb, exp_util.adb, layout.adb, lib-xref.adb, lib.ads,
      	prep.adb, prj-strt.adb, s-ststop.adb, s-taskin.ads, s-tataat.ads,
      	sem_aggr.adb, sem_attr.adb, sem_ch12.adb, sem_ch3.adb, sem_ch4.adb,
      	sem_ch4.ads, sem_ch5.adb, sem_res.adb, sem_util.adb, einfo.adb,
      	g-sothco.ads, make.adb: Minor reformatting
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165760 138bc75d-0d04-0410-961f-82ee72b054a4
      1d00a8ce
    • charlet's avatar
      2010-10-21 Vincent Celier <celier@adacore.com> · 0a116e17
      charlet authored
      	* vms_data.ads: Add new qualifiers /SRC_INFO= and
      	/UNCHECKED_SHARED_LIB_IMPORTS for GNAT COMPILE.
      	Correct qualifier /SRC_INFO= for GNAT MAKE
      
      2010-10-21  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_aggr.adb (Flatten): An association for a subtype may be an
      	expanded name.
      	(Safe_Left_Hand_Side): An unchecked conversion is part of a safe
      	left-hand side if the expression is.
      	(Is_Safe_Index): new predicate
      	* exp_ch3.adb (Expand_Freeze_Enumeration_Type): Indicate that the
      	generated Rep_To_Pos function is a Pure_Function.
      
      2010-10-21  Robert Dewar  <dewar@adacore.com>
      
      	* gnat_rm.texi: Document Invariant pragma.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165759 138bc75d-0d04-0410-961f-82ee72b054a4
      0a116e17
    • charlet's avatar
      2010-10-21 Javier Miranda <miranda@adacore.com> · 174d1afa
      charlet authored
      	* exp_ch5.adb: Update comment.
      
      2010-10-21  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch13.adb (Build_Invariant_Procedure): Remove commented out code
      	for interfaces, since invariants are not allowed on interfaces in any
      	case.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165758 138bc75d-0d04-0410-961f-82ee72b054a4
      174d1afa