2010-09-10  Robert Dewar  <dewar@adacore.com>

* repinfo.adb (List_Type_Info): List Small and Range for fixed-point
types.
* sprint.adb (Write_Ureal_With_Col_Check_Sloc): Use square brackets
rather than parens for fixed constants.
* sprint.ads: Use square brackets rather than parens for fixed constants
* urealp.adb (UR_Write): Use square brackets rather than parens
(UR_Write): Add Brackets argument
(UR_Write): Add many more special cases to output literals
* urealp.ads (UR_Write): Use square brackets rather than parens
(UR_Write): Add Brackets argument

2010-09-10  Robert Dewar  <dewar@adacore.com>

* sem_ch4.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164165 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Richard Guenther  <rguenther@suse.de>

* tree.h (build_index_2_type): Remove.
* tree.c (build_index_2_type): Remove.

ada/gcc-interface/
* utils.c (create_index_type): Use build_range_type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164164 138bc75d-0d04-0410-961f-82ee72b054a4

PR bootstrap/45630
* dwarf2out.c (get_ref_die_offset_label): Use %ld instead of
HOST_WIDE_INT_PRINT_DEC to print ref->die_offset.
(implicit_ptr_descriptor): Return NULL if dwarf_strict.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164163 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_conv_loop_setup): Access the shape along the
real array dimension instead of the scalarizer (loop) dimension.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164162 138bc75d-0d04-0410-961f-82ee72b054a4

* vms_cmds.ads: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164161 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Eric Botcazou  <ebotcazou@adacore.com>

* exp_dbug.ads: Mention enhanced encoding for array types.

2010-09-10  Jerome Lambourg  <lambourg@adacore.com>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Size clause are
unsupported in VM targets. Display a warning in this case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164160 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* sprint.adb (Sprint_Node_Actual, case N_Derived_Type_Definition): Do
not reset Sloc when printing keyword "new".

2010-09-10  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (GNATCmd): Put the command line in environment variable
GNAT_DRIVER_COMMAND_LINE.

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Do_Unit_And_Dependents): if Withed_Body is set on a context
clause, process the body at once.

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): Do not warn on a redundant
conversion is the expression is a qualified expression used to
disambiguate a function call.

2010-09-10  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Add_Source): Allow an Ada source to have the same name
as a source of another project and of another language.

2010-09-10  Robert Dewar  <dewar@adacore.com>

* prj-util.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164159 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_conv_resolve_dependencies): Handle same-array
transposed references.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164158 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Eric Botcazou  <ebotcazou@adacore.com>

* exp_disp.adb: Minor reformatting.

2010-09-10  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb (Analyze_Pragma): Ignore Inline_Always pragma in
CodePeer mode.

2010-09-10  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Minor reformatting.
* exp_ch9.adb, rtsfind.ads, exp_ch4.adb, exp_ch3.adb: Do not hardcode
magic constants for task master levels (instead, reference
named numbers from System.Tasking).

2010-09-10  Eric Botcazou  <ebotcazou@adacore.com>

* gnatvsn.ads (Ver_Prefix): New constant string.
* bindgen.adb (Gen_Output_File_Ada): Use it in lieu of hardcoded value.
(Gen_Output_File_C): Likewise.
* g-comver.adb (Ver_Prefix): Add cross-reference to Gnatvsn.Ver_Prefix
in comment.

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Walk_Library_Items): Do not traverse children of the main
unit, to prevent spurious circularities in the walk order.
(Depends_On_Main): Use elsewhere to prevent circularities when the body
of an ancestor of the main unit depends on a child of the main unit.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164157 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Robert Dewar  <dewar@adacore.com>

* gnatlink.adb, prj-ext.adb, prj-util.adb, s-tporft.adb,
sem_ch3.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164156 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Derive_Subprograms): An interface primitive operation
that is a renaming must be derived like any other primitive operation,
the renamed operation is not relevant to the derivation.

2010-09-10  Robert Dewar  <dewar@adacore.com>

* sem_aux.ads: Add comment for Is_Inherently_Limited_Type.
* checks.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164155 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Add section on intent of style checking options.

2010-09-10  Arnaud Charlet  <charlet@adacore.com>

* xref_lib.adb (Get_Full_Type): Fix handling of 'a' char.

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: Improve error message on derivation from class-wide type

2010-09-10  Steve Baird  <baird@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Enable Expression_With_Actions
generation when Generate_SCIL is True.

2010-09-10  Geert Bosch  <bosch@adacore.com>

* gnatlink.adb (Check_ Existing_Executable): New procedure for checking
validity of executable name and removing any existing executable
(Gnatlink): Call Check_Existing_Executable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164154 138bc75d-0d04-0410-961f-82ee72b054a4

    * libobjc/objc/deprecated: New directory.
        * libobjc/objc/deprecated/README: New file.
        * libobjc/objc/README: New file.
        * libobjc/objc/typedstream.h: Moved into objc/deprecated/typedstream.h;
        objc/typedstream.h replaced with a placeholder including the file
        from the deprecated/ directory.
        * libobjc/objc/deprecated/objc-unexpected-exception.h: New file with the
        definition of _objc_unexpected_exception.
        * libobjc/objc/objc-api.h: Include deprecated/objc-unexcepted-exception.h
        instead of defining _objc_unexpected_exception.
        * libobjc/objc/deprecated/Object.h: New file with the deprecated Object
        methods in a 'Deprecated' category.
        * libobjc/objc/Object.h Include deprecated/Object.h instead of defining
        the deprecated methods.
        * libobjc/Object.m: Moved deprecated methods into 'Deprecated' category.
        * libobjc/objc-private: New directory.
        * libobjc/objc-private/README: New file.
        * libobjc/Makefile.in (OBJC_DEPRECATED_H): New variable.
        (install-headers): Create installation directory for
        OBJC_DEPRECATED_H headers, and install them.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164153 138bc75d-0d04-0410-961f-82ee72b054a4

    * objc.dg/fobjc-exceptions.m: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164152 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Arnaud Charlet  <charlet@adacore.com>

* s-tporft.adb, s-taskin.ads (Register_Foreign_Thread): Move
initialization of Task_Alternate_Stack here, cleaner since in case of
ranvescar, Restricted_Ada_Task_Control_Block is not initialized
implicitly.

2010-09-10  Thomas Quinot  <quinot@adacore.com>

* s-fileio.adb, a-dirval.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164151 138bc75d-0d04-0410-961f-82ee72b054a4

    * objc/objc-act.c (objc_begin_try_stmt): Generate an error if
        -fobjc-exceptions was not used.  (objc_build_throw_stmt): Same
        change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164150 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Emmanuel Briot  <briot@adacore.com>

* prj-util.adb (Executable_Of): Fix CE when the project does not
contain a Builder package.

2010-09-10  Vincent Celier  <celier@adacore.com>

* prj-ext.adb (Initialize_Project_Path): Add <prefix>/lib/gpr/<target>
to the project path, if Prefix and Target_Name are defined.
* prj-tree.ads (Project_Node_Tree_Data): New component Target_Name

2010-09-10  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Ensure_Valid): If the expression is a boolean expression
or short-circuit operation, do no emit a validity check: only the
elementary operands of the expression need checking.

2010-09-10  Ben Brosgol  <brosgol@adacore.com>

* gnat_rm.texi: Document Short_Descriptors.

2010-09-10  Arnaud Charlet  <charlet@adacore.com>

* s-taprop-linux.adb, s-taskin.ads (Task_Alternate_Stack): Default
initialize to Null_Address.
(Enter_Task): Do not set up an alternate stack for foreign threads.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164149 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/45605
* cp/class.c (build_vtbl_initializer): Avoid wrong type conversion in ADDR_EXPR

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164148 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Robert Dewar  <dewar@adacore.com>

* opt.adb (Short_Descriptors): New flag
(Short_Descriptors_Config): New flag
* opt.ads (Short_Descriptors): New flag
(Short_Descriptors_Config): New flag
* par-prag.adb: Add dummy entry for Short_Descriptors pragma
* sem_prag.adb (Set_Mechanism_Value): Deal with Short_Descriptors pragma
(Analyze_Pragma): Implement Short_Descriptors pragma
* snames.ads-tmpl: Add entry for Short_Descriptors pragma

2010-09-10  Emmanuel Briot  <briot@adacore.com>

* prj-util.adb, prj-util.ads (Executable_Of): Take into account the
project's Executable_Suffix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164147 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Robert Dewar  <dewar@adacore.com>

* g-pehage.ads: Minor reformatting

* gnat_ugn.texi: Clarifying comment on -gnatyc
* exp_ch6.adb (Expand_N_Subprogram_Body): Reset Is_Pure if limited
arguments.

2010-09-10  Tristan Gingold  <gingold@adacore.com>

* Make-generated.in (gnat.hlp): New rule.

2010-09-10  Emmanuel Briot  <briot@adacore.com>

* prj-util.adb, prj-util.ads (Executable_Of): New parameter
Include_Suffix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164146 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Robert Dewar  <dewar@adacore.com>

* einfo.adb: Minor code cleanup: Add assertion to
Set_Corresponding_Protected_Entry.

2010-09-10  Bob Duff  <duff@adacore.com>

* g-pehage.ads, g-pehage.adb (Produce): Add a new flag to allow sending
the output to standard output.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164145 138bc75d-0d04-0410-961f-82ee72b054a4

* ChangeLog: Remove SVN conflict marks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164144 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Tobias Burnus  <burnus@net-b.de>

        PR fortran/45186
        * trans.h (build1_stat_loc, build2_stat_loc, build3_stat_loc,
        build4_stat_loc): New inline functions.
        (build1_loc, build2_loc, build3_loc, build4_loc): New macros.
        (build1_v, build2_v, build3_v, build4_v): Use input_location
        as locus.
        * trans-array.c (gfc_trans_scalarized_loop_end,
        gfc_conv_array_parameter): Replace build[1-4] by build[1-4]_loc.
        * trans.c (gfc_build_addr_expr, gfc_build_array_ref,
        gfc_finish_wrapped_block): Ditto.
        * trans-decl.c (gfc_init_default_dt, init_intent_out_dt): Ditto.
        * trans-expr.c (gfc_conv_missing_dummy,
        gfc_trans_alloc_subarray_assign, gfc_trans_zero_assign): Ditto.
        * trans-openmp.c (gfc_omp_clause_default_ctor,
        gfc_trans_omp_critical, gfc_trans_omp_parallel,
        gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
        gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections
        gfc_trans_omp_single, gfc_trans_omp_task,
        gfc_trans_omp_workshare): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164143 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164140 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/44972
* tree-sra.c: Include toplev.h.
(build_ref_for_offset): Entirely reimplemented.
(build_ref_for_model): New function.
(build_user_friendly_ref_for_offset): New function.
(analyze_access_subtree): Removed build_ref_for_offset check.
(propagate_subaccesses_across_link): Likewise.
(create_artificial_child_access): Use
build_user_friendly_ref_for_offset.
(propagate_subaccesses_across_link): Likewise.
(ref_expr_for_all_replacements_p): Removed.
(generate_subtree_copies): Updated comment.  Use build_ref_for_model.
(sra_modify_expr): Use build_ref_for_model.
(load_assign_lhs_subreplacements): Likewise.
(sra_modify_assign): Removed ref_expr_for_all_replacements_p checks,
checks for return values of build_ref_for_offset.
* ipa-cp.c (ipcp_lattice_from_jfunc): No need to check return value of
build_ref_for_offset.
* ipa-prop.h: Include gimple.h
* ipa-prop.c (ipa_compute_jump_functions): Update to look for MEM_REFs.
(ipa_analyze_indirect_call_uses): Update comment.
* Makefile.in (tree-sra.o): Add $(GIMPLE_H) to dependencies.
(IPA_PROP_H): Likewise.

* testsuite/gcc.dg/ipa/ipa-sra-1.c: Adjust scanning expressions.
* testsuite/gcc.dg/tree-ssa/pr45144.c: Likewise.
* testsuite/gcc.dg/tree-ssa/forwprop-5.c: Likewise and scan optimzed
dump instead.
        * testsuite/g++.dg/torture/pr44972.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164136 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-10  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/44972
* ipa-prop.c (ipa_modify_call_arguments): Build MEM_REF instead of
calling build_ref_for_offset.

* testsuite/g++.dg/torture/pr34850.C: Remove expected warning.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164135 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/bpabi.h (BE8_LINK_SPEC): Handle Cortex-a15.
        * config/arm/arm-cores.def (cortex-a15): New core. Treat it
as a v7-a.
        * config/arm/arm-tune.md: Regenerate.
        * doc/invoke.texi (ARM Options): Document it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164134 138bc75d-0d04-0410-961f-82ee72b054a4

Dispatch scheduling for AMD Bulldozer processors.

2010-09-09  Reza Yazdani  <reza.yazdani@amd.com>

* config/i386/i386.c: Include sched-int.h.
(TARGET_SCHED_DISPATCH): Defined.
(TARGET_SCHED_DISPATCH_DO): Defined.
(DISPATCH_WINDOW_SIZE): Defined.
(MAX_DISPATCH_WINDOWS): Defined.
(MAX_INSN): Defined.
(MAX_IMM): Defined.
(MAX_IMM_SIZE): Defined.
(MAX_IMM_32): Defined.
(MAX_IMM_64): Defined.
(MAX_LOAD): Defined.
(MAX_STORE): Defined.
(BIG): Defined.
(dispatch_group): New.
(num_allowable_groups): New.
(group_name): New.
(sched_insn_info_s): New.
(dispatch_windows_s): New.
(imm_info_s): New.
(dispatch_window_list): New.
(dispatch_window_list1): New.
(get_mem_group): New.
(is_cmp): New.
(dispatch_violation): New.
(is_branch): New.
(is_prefetch): New.
(init_window): New.
(allocate_window): New.
(init_dispatch_sched): New.
(is_end_basic_block): New.
(process_end_window): New.
(allocate_next_window): New.
(find_constant_1): New.
(find_constant): New.
(get_num_immediates): New.
(has_immediate): New.
(get_insn_path): New.
(get_insn_group): New.
(count_num_restricted): New.
(fits_dispatch_window): New.
(add_insn_window): New.
(add_to_dispatch_window): New.
(debug_dispatch_window_file): New.
(debug_dispatch_window): New.
(debug_insn_dispatch_info_file): New.
(debug_ready_dispatch): New.
(do_dispatch): New.
(has_dispatch): New.
* config/i386/i386.h (debug_ready_dispatch): Declared.
(debug_dispatch_window): Declared.
* config/i386/i386.opt (mdispatch-scheduler): New flag.
* doc/tm.texi.in (TARGET_SCHED_DISPATCH): New.
(TARGET_SCHED_DISPATCH_DO): New.
* doc/tm.texi: Regererated.
* haifa-sched.c (choose_ready): Call targetm.sched.dispatch and
ready_remove_first_dispatch
(schedule_block): Call targetm.sched.dispatch and
targetm.sched.dispatch_do.
(sched_init): Call targetm.sched.dispatch and
targetm.sched.dispatch_do.
(ready_remove_first_dispatch): New.
(number_in_ready): New.
(get_ready_element): New.
* hooks.c (hook_bool_rtx_int_false): New.
(hook_void_rtx_int): New.
* hooks.h (hook_bool_rtx_int_false): Declared.
(hook_void_rtx_int): Declared.
* sched-int.h (IS_DISPATCH_ON): Defined.
(IS_CMP): Defined.
(DISPATCH_VIOLATION): Defined.
(FITS_DISPATCH_WINDOW): Defined.
(DISPATCH_INIT): Defined.
(ADD_TO_DISPATCH_WINDOW): Defined.
(get_ready_element): Declared.
(number_in_ready): Declared.
* target.def (dispatch): Defined.
(dispatch_do): Defined.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164133 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Gerald Pfeifer  <gerald@pfeifer.com>
    Andrew Pinski  <pinskia@gmail.com>

PR target/40959
* config.host (ia64*-*-freebsd*): Set extra_parts.  Set tmake_file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164132 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Steven G. Kargl  <kargl@gcc.gnu.org>

* gfortran.dg/dummy_optional_arg.f90: New test.

2010-09-09  Steven G. Kargl  <kargl@gcc.gnu.org>

* fortran/expr.c (check_inquiry): OPTIONAL attribute is not allowed
for dummy argument that appears in a specification statement.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164120 138bc75d-0d04-0410-961f-82ee72b054a4

* acinclude.m4 (LIBGFOR_CHECK_FOR_BROKEN_ISFINITE,
LIBGFOR_CHECK_FOR_BROKEN_ISNAN,
LIBGFOR_CHECK_FOR_BROKEN_FPCLASSIFY): Remove.
* configure.ac: Remove above checks.
* libgfortran.h: Define isnan, isinf, isfinite, isnormal and
signbit in terms of the respective built-ins.
* io/write_float.def (WRITE_FLOAT): Use signbit() instead of
__builtin_signbit().
* intrinsics/c99_functions.c (tgamma): Use isnan() instead of
__builtin_isnan().
* config.h.in: Regenerate.
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164119 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/45312
* reload1.c (merge_assigned_reloads): Remove.
(reload_as_needed): Don't call it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164116 138bc75d-0d04-0410-961f-82ee72b054a4

* config/m32r/m32r.c (m32r_mode_dependent_address_p): New functions.
(TARGET_MODE_DEPENDENT_ADDRESS_P): Define.
* config/m32r/m32r.h: (GO_IF_MODE_DEPENDENT_ADDRESS): Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164115 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Matthias Klose  <doko@ubuntu.com>

        PR bootstrap/43847
        * configure.ac (--enable-plugin): Enhance for cross builds.
        * configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164113 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_get_array_ref_dim): New function.
(gfc_trans_create_temp_array): Reconstruct array
bounds from loop bounds. Use array bounds instead of loop bounds.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164112 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-ccp.c (fold_const_aggregate_ref): Check that result of
string folding is of integral type.
* fortran.fortran-torture/compile/pr45598.f90: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164111 138bc75d-0d04-0410-961f-82ee72b054a4

* configure.ac (gnu_indirect_function): New test.
* configure: Rebuilt.
* config.in (HAVE_GAS_INDIRECT_FUNCTION): New.
* defaults.h (IFUNC_ASM_TYPE): Provide default.

* doc/extend.texi (Function Attributes): Document ifunc.
* varasm.c (do_assemble_alias): Deal with ifuncs too.

c-family/
* c-common.c (handle_alias_ifunc_attribute): New, broken out of ...
(handle_alias_attribute): ... here.
(handle_ifunc_attribute): New.

testsuite/
* lib/target-supports-dg.exp (dg-require-ifunc): New.
* lib/target-supports.exp (check_ifunc_available): New.
* gcc.dg/attr-ifunc-1.c: New.
* gcc.dg/attr-ifunc-2.c: New.
* gcc.dg/attr-ifunc-3.c: New.
* gcc.dg/attr-ifunc-4.c: New.
* gcc.dg/attr-ifunc-5.c: New.
* testsuite/g++.dg/ext/attr-ifunc-1.C
* testsuite/g++.dg/ext/attr-ifunc-2.C
* testsuite/g++.dg/ext/attr-ifunc-3.C
* testsuite/g++.dg/ext/attr-ifunc-4.C

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164110 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_set_loop_bounds_from_array_spec):
Get the array dimension from the dim array.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164109 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/picochip/picochip.c (picochip_reorg): Check for note_p for
          epilogue instruction move.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164108 138bc75d-0d04-0410-961f-82ee72b054a4

* collect2.c (maybe_run_lto_and_relink): Rewrite code producing ld
command line to allow more partitions than input files.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164106 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Add documentation for new gnatmake switch
--create-map-file.
* make.adb (Map_File): New global variable to store the value of switch
--create-map-file.
(Gnatmake): Add switch -M to gnatlink if buider switch --create-map-file
has been specified.
(Scan_Make_Arg): Recognize switch --create-map-file
* makeutl.ads (Create_Map_File_Switch): New constant string for new
gnatmake and gprbuild switch --create-map-file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164104 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_trans_preloop_setup): Unconditionally use the
dim array to get the stride in the innermost loop.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164103 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/44554
* ira.c (ira): Switch off sharing spill slots if setjmp is called.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164102 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* sinput-p.ads: Minor comment update.

2010-09-09  Arnaud Charlet  <charlet@adacore.com>

* s-tpobop.adb, s-taenca.adb (Wait_For_Completion_With_Timeout): Reset
Entry_Call.State if needed so that the call is marked as cancelled by
Check_Pending_Actions_For_Entry_Call.
(Timed_Protected_Entry_Call): Adjust calls to Defer/Under_Abort, since
this procedure may be called from a controlled operation
(Initialize/Finalize).

2010-09-09  Vadim Godunko  <godunko@adacore.com>

* impunit.adb: Correct spelling of package's name in the comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164101 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/40386
* ira.c (pseudo_for_reload_consideration_p): Don't use
flag_ira_share_spill_slots.

2010-09-09  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/40386
* gcc.c-torture/execute/{pr40386.c,pr40386.x}: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164100 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* gnatcmd.adb, gnatlink.adb, sem_ch12.adb, sem_eval.adb, sinput-p.adb:
Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164099 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* impunit.adb: Add entry for a-izteio.
* checks.adb: Add comment.
* debug.adb, exp_disp.adb: Minor reformatting.
* exp_dbug.ads: Minor reformatting throughout (pack block comments).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164098 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Is_Same_Value): Two occurrences of the same
discriminant cannot be assumed to be the same value because they may
refer to bounds of a component of two different instances of a
discriminated type.

2010-09-09  Gary Dismukes  <dismukes@adacore.com>

* checks.adb (Apply_Arithmetic_Overflow_Check): When converting the
operands of an operator to the type of an enclosing conversion, rewrite
the operator so the conversion can't be flagged as redundant.
Remove useless assignments to Typ and Rtyp.

2010-09-09  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Fix another long line.

2010-09-09  Bob Duff  <duff@adacore.com>

* sem_warn.adb (Output_Reference_Error): Don't warn for renames read
but never assigned.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164096 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_trans_create_temp_array): Don't set dim array.
(gfc_conv_loop_setup, gfc_walk_function_expr): Set dim array.
* trans-intrinsic.c (gfc_walk_intrinsic_libfunc): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164094 138bc75d-0d04-0410-961f-82ee72b054a4

* sprint.adb (Write_Id): If the parent node is an expanded name, check
that its entity_or_associated_node is an entity before writing it out.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164093 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Matthew Heaney  <heaney@adacore.com>

* a-convec.adb, a-coinve.adb (Clear, Delete, Delete_Last, Finalize,
Merge, Insert, Insert_Space, Move, Reserve_Capacity, Generic_Sorting,
Replace_Element, Reverse_Elements, Swap): Change exception message to
correctly indicate kind of tampering (cursor or element).
* a-cdlili.adb, a-cidlli.adb (Clear, Delete, Delete_First, Delete_Last,
Merge, Generic_Sorting, Insert, Move, Reverse_Elements, Splice,
Swap_Links, Replace_Element, Swap): Ditto.
* a-coorse.adb, a-ciorse.adb (Include, Replace, Replace_Element): Ditto
* a-coorma.adb, a-ciorma.adb (Include, Replace, Replace_Element): Ditto
* a-coormu.adb, a-ciormu.adb (Replace_Element): Ditto
* a-chtgke.adb (Delete_Key_Sans_Free, Generic_Conditional_Insert,
Generic_Replace_Element): Ditto
* a-chtgop.adb (Clear, Move, Reserve_Capacity): Ditto
* a-cohama.adb, a-cihama.adb (Delete, Include, Replace,
Replace_Element): Ditto.
* a-cohase.adb, a-cihase.adb (Delete, Difference, Intersection,
Symmetric_Difference, Union, Include, Replace): Ditto

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sprint.adb (Write_Id): If the parent node is an expanded name, check
that its entity_or_associated_node is an entity before writing it out.
* exp_disp.adb (Make_Tags); if a type is declared in C++ and has no
constructors, there is no need for a dispatch table pointer because the
table is fully inherited from the C++ code.

2010-09-09  Thomas Quinot  <quinot@adacore.com>

* projects.texi: Fix wrong identifiers on package end lines in project
files examples.
* exp_ch6.adb: Minor reformatting.

2010-09-09  Tristan Gingold  <gingold@adacore.com>

* gnatcmd.adb, vms_conv.ads, vms_help.adb, vms_cmds.ads: Extract
Command_Type from vms_conv.ads.

2010-09-09  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Fix description of -O3 optimization level.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164092 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Matthew Heaney  <heaney@adacore.com>

* a-convec.adb, a-coinve.adb (Clear, Delete, Delete_Last, Finalize,
Merge, Insert, Insert_Space, Move, Reserve_Capacity, Generic_Sorting,
Replace_Element, Reverse_Elements, Swap): Change exception message to
correctly indicate kind of tampering (cursor or element).
* a-cdlili.adb, a-cidlli.adb (Clear, Delete, Delete_First, Delete_Last,
Merge, Generic_Sorting, Insert, Move, Reverse_Elements, Splice,
Swap_Links, Replace_Element, Swap): Ditto.
* a-coorse.adb, a-ciorse.adb (Include, Replace, Replace_Element): Ditto
* a-coorma.adb, a-ciorma.adb (Include, Replace, Replace_Element): Ditto
* a-coormu.adb, a-ciormu.adb (Replace_Element): Ditto
* a-chtgke.adb (Delete_Key_Sans_Free, Generic_Conditional_Insert,
Generic_Replace_Element): Ditto
* a-chtgop.adb (Clear, Move, Reserve_Capacity): Ditto
* a-cohama.adb, a-cihama.adb (Delete, Include, Replace,
Replace_Element): Ditto.
* a-cohase.adb, a-cihase.adb (Delete, Difference, Intersection,
Symmetric_Difference, Union, Include, Replace): Ditto

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sprint.adb (Write_Id): If the parent node is an expanded name, check
that its entity_or_associated_node is an entity before writing it out.
* exp_disp.adb (Make_Tags); if a type is declared in C++ and has no
constructors, there is no need for a dispatch table pointer because the
table is fully inherited from the C++ code.

2010-09-09  Thomas Quinot  <quinot@adacore.com>

* projects.texi: Fix wrong identifiers on package end lines in project
files examples.
* exp_ch6.adb: Minor reformatting.

2010-09-09  Tristan Gingold  <gingold@adacore.com>

* gnatcmd.adb, vms_conv.ads, vms_help.adb, vms_cmds.ads: Extract
Command_Type from vms_conv.ads.

2010-09-09  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Fix description of -O3 optimization level.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164091 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_trans_create_temp_array): Assert loop dimension
and info dimension are the same. Loop over loop dimension.
* trans-stmt.c (gfc_conv_elemental_dependencies): Set loop dimension

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164090 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Yannick Moy  <moy@adacore.com>

* a-cihama.adb, a-cohama.adb: Fix comments.

2010-09-09  Arnaud Charlet  <charlet@adacore.com>

* i-cexten.ads: Add comments.
(Signed_128): New type, used by some C bindings.
* debug.adb: Update comment.

2010-09-09  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: For ASIS tools (gnatpp, gnatcheck, gnatelim,
gnatmetric and gnatstub) add a note that '-gnat05' should be used if
the tool should process Ada 2005 sources.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Remove_Parent): If the scope containing the child
instance is a block, examine the enclosing scope to determine if it is
a parent instance.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164089 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Doug Rupp  <rupp@adacore.com>

* sem_prag.adb (pragma Ident): Pass --identification= vice
IDENTIFICATION=
* gnatlink.adb (Linker_Options): Look for --identification= vice
IDENTIFICATION=

2010-09-09  Gary Dismukes  <dismukes@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference, case Attribute_Old): When
inserting and analyzing the object declaration for the temporary object
created to hold a 'Old value, push the scope for the subprogram where
the object is inserted, so that its Scope (and that of related objects)
will be set properly.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164088 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* trans-array.c (gfc_conv_array_transpose): Change generated descriptor
name

2010-09-09  Mikael Morin  <mikael@gcc.gnu.org>

* gfortran.dg/inline_transpose_1.f90: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164087 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vincent Celier  <celier@adacore.com>

* prj.adb (Get_Object_Directory): Return object directory display name
* adaint.c (__gnat_get_file_names_case_sensitive): When environment
variable GNAT_FILE_NAME_CASE_SENSITIVE has a value of "0" or "1",
return this value, otherwise return the default for the platform.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164086 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
dependencies. Remove handling of gnatlbr.
Do not remove s-stratt-xdr for the run-time when installing.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164085 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb: Minor reformatting.

2010-09-09  Thomas Quinot  <quinot@adacore.com>

* socket.c (__gnat_socket_ioctl): On Darwin, the req parameter is an
unsigned long, not an int.

2010-09-09  Vincent Celier  <celier@adacore.com>

* make.adb, mlib-prj.adb, prj.adb, prj-nmsc.adb, mlib-tgt.adb,
prj-conf.adb, prj-env.adb: Use Display_Name instead of Name whenever
we are not checking for equality of path or file names.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Remove_Side_Effects): If the expression is a packed
array reference, reset the Analyzed flag so that it is properly
expanded when the resulting object declaration is analyzed.

2010-09-09  Vincent Celier  <celier@adacore.com>

* sinput-p.adb (Source_File_Is_Subunit): Return False if X is
No_Source_File.

2010-09-09  Ramon Fernandez  <fernandez@adacore.com>

* sysdep.c: The wrSbc8548 BSP in MILS doesn't know anything about the
VX_SPE_TASK option, so disable it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164084 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Walk_Library_Items): Traverse context of subunits of the
main unit.
(Is_Subunit_Of_Main): Handle null nodes properly.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* par-ch2.adb: Update comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164083 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ben Brosgol  <brosgol@adacore.com>

* gnat_rm.texi: Minor wordsmithing of section on pragma Ordered.

2010-09-09  Arnaud Charlet  <charlet@adacore.com>

* par-ch2.adb (Scan_Pragma_Argument_Association): In CodePeer mode,
do not generate an error for compatibility with legacy code.
ignored when generating SCIL.
* sem_attr.adb (Resolve_Attribute): Ignore AI-229 in CodePeer mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164082 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Thomas Quinot  <quinot@adacore.com>

* s-strxdr.adb, gnat_rm.texi, s-stratt-xdr.adb, s-stratt.ads: Rename
s-strxdr.adb to s-stratt-xdr.adb

2010-09-09  Robert Dewar  <dewar@adacore.com>

* ali-util.adb (Obsolescent_Check): Removed.
* gprep.adb (Obsolescent_Check): Removed.
Remove Obsolescent_Check parameter in Scng instantiation
* prj-err.adb (Obsolescent_Check): Removed.
* prj-err.ads (Obsolescent_Check): Removed.
Remove Obsolescent_Check parameter in Scng instantiation
* scans.ads (Based_Literal_Uses_Colon): New flag
* scn.adb (Obsolscent_Check_Flag): Removed
(Obsolscent_Check): Removed
(Set_Obsolescent_Check): Removed
(Post_Scan): Add handling for obsolescent features
* scn.ads (Obsolscent_Check): Removed
(Set_Obsolescent_Check): Removed
(Post_Scan): Can no longer be inlined
Remove Obsolescent_Check from instantiation of Scng
* scng.adb (Nlit): Set Based_Literal_Uses_Colon
(Nlit): Remove handling of obsolescent check
(Scan, case '%'): Remove handling of obsolescent check
(Scan, case '|'): Call Post_Scan
(Scan, case '!'): Remove handling of obsolescent check, call Post_Scan
* scng.ads Remove Obsolescent_Check argument from Scng generic
(Post_Scan): Now called for Tok_Vertical_Bar
* sinput-l.adb: Remove calls to Set_Obsolescent_Check

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164081 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Doug Rupp  <rupp@adacore.com>

* gnatlbr.adb: Removed.
* gnat_rm.texi, ug_words, gnat_ugn.texi: Remove mention of gnatlbr.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164080 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): Catch more cases of redundant
conversions.

2010-09-09  Vincent Celier  <celier@adacore.com>

* gnatlbr.adb: Remove redundant conversions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164079 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

* config/s390/s390.c (legitimate_reload_constant_p): Accept floating-
point zero operands that fit into a single GPR.
(s390_preferred_reload_class): Ensure we only return general-purpose
register classes.
* config/s390/s390.md ("*mov<mode>_64dfp"): Use lghi to load
floating-point zero operands into GPRs.
("*mov<mode>_64"): Likewise.
("mov<mode>"): Likewise using lhi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164076 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

* config/s390/s390.c (s390_symref_operand_p): Return false for
literal pool references.
(s390_check_qrst_address): Update caller.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164075 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/45613
* include/bits/random.tcc: Add missing include guards.
* include/bits/random.h: Likewise.
* include/tr1/random.tcc: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164074 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Paolo Carlini  <paolo.carlini@oracle.com>

* libsupc++/cxxabi.h: Uglify nothrow to __nothrow__; fix a few
inconsistent uglifications everywhere.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164073 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vincent Celier  <celier@adacore.com>

* prj-proc.adb: Minor comment spelling error fix.
* osint.ads (Env_Vars_Case_Sensitive): Use function
Get_Env_Vars_Case_Sensitive, not Get_File_Names_Case_Sensitive to
compute value.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Equality_Op): Implement Ada2012 rule for
resolution of conditional expressions whose dependent expressions are
anonymous access types.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* a-ststio.adb: Minor code reorganization.
* s-direio.adb, prj.adb, prj-nmsc.adb, sem_type.adb: Remove redundant
conversion.
* types.ads: Minor reformatting.
* binde.adb, vms_conv.adb, gnatls.adb, s-strxdr.adb, uintp.adb: Remove
redundant conversions.
* output.adb: Minor reformatting.
* sem_ch8.adb (Find_Type): Test for redundant base applies to user
types.
* opt.ads: Add pragma Ordered for Verbosity_Level.
* prj.ads: Add pragma Ordered for type Verbosity.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164072 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/predicates.md (ext_register_operand): Check that
SUBREG_REG is really a register before looking for REGNO.
(reg_not_xmm0_operand): Handle SUBREGs correctly.
(nonimm_not_xmm0_operand): Call reg_not_xmm0_operand.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164071 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vincent Celier  <celier@adacore.com>

* osint.adb (Canonical_Case_File_Name): Use procedure To_Lower in
System.Case_Util
(Canonical_Case_Env_Var_Name): Ditto

2010-09-09  Bob Duff  <duff@adacore.com>

* g-pehage.adb (Allocate): Initialize the allocated elements of IT.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* cstand.adb: Mark Boolean and Character types as Ordered
* einfo.adb (Has_Pragma_Ordered): New flag
* einfo.ads (Has_Pragma_Ordered): New flag
* g-calend.ads: Mark Day_Name as Ordered
* opt.ads: Mark Ada_Version_Type as Ordered
(Warn_On_Unordered_Enumeration_Type): New flag
* par-prag.adb: Add procdessing for pragma Ordered
* s-ficobl.ads (Read_File_Mode): New subtype
* s-fileio.adb: Use Read_File_Mode instead of explicit ranges
* s-taskin.ads: Mark Entry_Call_State as ordered
* sem_ch3.adb (Build_Derived_Enumeration_Type): Inherit
Has_Pragma_Ordered.
* sem_ch6.ads: Mark Conformance_Type as Ordered
* sem_prag.adb: Implement pragma Ordered
* sem_res.adb (Bad_Unordered_Enumeration_Reference): New function
(Resolve_Comparison_Op): Diagnose unordered comparison
(Resolve_Range): Diagnose unordered range
* sem_warn.adb (Warn_On_Unordered_Enumeration_Type): New flag (from
-gnatw.u/U)
* snames.ads-tmpl: Add entry for pragma Ordered
* style.ads (Check_Enumeration_Subrange): Removed
* styleg.adb (Check_Enumeration_Subrange): Removed
* styleg.ads (Check_Enumeration_Subrange): Removed
* stylesw.adb: Remove handling of -gnatyE switch
* stylesw.ads: (Style_Check_Enumeration_Subranges): Removed
* vms_data.ads: Remove -gnatyE entries
Add -gnatw.u entries
* ug_words: Entries for -gnatw.u and -gnatw.U
* gnat_ugn.texi: Document -gnatw.u/-gnatw.U switches
* gnat_rm.texi: Document pragma Ordered.
* s-tasren.adb: Avoid unnecessary comparison on unordered enumeration.
* s-tpobop.adb: Remove comparison on unordered enumeration type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164070 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Vincent Celier  <celier@adacore.com>

* adaint.c: New function __gnat_get_env_vars_case_sensitive, returns 0
for VMS and Windows, and 1 for all other platforms.
* adaint.h: New function __gnat_get_env_vars_case_sensitive
* osint.ads, osint.adb (Canonical_Case_Env_Var_Name): New procedure.
* prj-ext.adb (Add): Call Canonical_Case_Env_Var_Name instead of
Canonical_Case_File_Name, as we are dealing with environment variables,
not files.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164069 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* sem_util.adb: Minor reformatting

2010-09-09  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add documentation for S_Make_Single.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164068 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Same_Object): include formal parameters.

2010-09-09  Vincent Celier  <celier@adacore.com>

* make.adb (Queue): New package implementing a new impementation of the
queue, taking into account the new switch --single-compile-per-obj-dir.
* makeutl.ads (Single_Compile_Per_Obj_Dir_Switch): New constant String
for gnatmake and gprbuild new switch --single-compile-per-obj-dir.
* opt.ads (One_Compilation_Per_Obj_Dir): New Boolean flag, defauted to
False.
* switch-m.adb (Scan_Make_Switches): Take into account new gnatmake
switch --single-compile-per-obj-dir.
* vms_data.ads: Add qualifier SINGLE_COMPILE_PER_OBJ_DIR for gnatmake
switch --single-compile-per-obj-dir.
* gnat_ugn.texi: Add documentation for new gnatmake switch
--single-compile-per-obj-dir.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164067 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164066 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Is_Progenitor): Relocated to sem_type.
(Replace_Type): Code cleanup.
* sem_type.ads, sem_type.adb (Is_Progenitor): Relocated from sem_ch3

2010-09-09  Thomas Quinot  <quinot@adacore.com>

* exp_ch8.adb: Minor reformatting.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.adb, einfo.adb, einfo.ads: New attribute
Corresponding_Protected_Entry.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164065 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Build_Untagged_Equality): Do not set alias of implicit
inequality, it is always rewritten as the negation of the corresponding
equality operation.
* exp_ch8.adb (Expand_N_Subprogram_Renaming): If the subprogram renames
the predefined equality of an untagged record, create a body at the
point of the renaming, to capture the current meaning of equality for
the type.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* sem.adb, sem_warn.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164064 138bc75d-0d04-0410-961f-82ee72b054a4

Minor code clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164063 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb: Improve error message on untagged equality.
* sem.adb (Semantics): Include subprogram bodies that act as spec.

2010-09-09  Javier Miranda  <miranda@adacore.com>

* sem_ch13.adb, exp_ch13.adb: Undo previous change, unneeded.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164062 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb, sem_ch6.adb, exp_ch3.adb: Minor reformatting.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* einfo.adb (Is_Aggregate_Type): New function.
* einfo.ads (Aggregate_Kind): New enumeration subtype
(Is_Aggregate_Type): New function.
* sem_type.adb (Is_Array_Class_Record_Type): Removed, replaced by
Is_Aggregate_Typea.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* exp_ch11.adb, frontend.adb, sem_attr.adb, sem_ch10.adb, sem_ch3.adb,
sem_ch4.adb, sem_ch9.adb, sem_res.adb: Use Restriction_Check_Needed
where appropriate.
* restrict.ads, restrict.adb: Ditto.
(Restriction_Check_Needed): New function

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164061 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.ads (Find_Master_Scope): New function, extracted from
Build_Master_Entity, to find the proper scope for the master entity of
a type that may contain tasks, in the presence of transient scopes.
* exp_ch9.adb (Build_Master_Entity) Use new function.
* exp_ch3.adb (Build_Class_Wide_Master): ditto.

2010-09-09  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: Add new attributes Leading_Library_Options and
Linker'Leading_Switches.
* snames.ads-tmpl: Add new standard names Leading_Library_Options and
Leading_Switches.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164060 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Derive_Subprogram): The code that checks if a
dispatching primitive covers some interface primitive is incomplete.
Replace such code by the invocation of a new subprogram that provides
this functionality.
* sem_ch6.ads (Is_Interface_Conformant): Add missing documentation.
* sem_ch6.adb (Check_Missing_Return): Minor reformating
(Check_Convention): Complete if-statement conditition when reporting
errors (to avoid assertion failure).
* sem_ch13.adb (Make_Null_Procedure_Specs): This routine was previously
located in exp_ch3. Relocated inside Analyze_Freeze_Entity.
(Analyze_Freeze_Entity): Invoke routine that adds the spec of non
overridden null interface primitives.
* sem_type.adb (Is_Ancestor): If the parent of the partial view of a
private type is an interface then use the parent of its full view to
climb to its ancestor type.
* sem_disp.ads, sem_disp.adb (Covers_Some_Interface): New subprogram.
(Check_Dispatching_Operation): Extend assertion to handle wrappers of
null interface primitives.
(Is_Null_Interface_Primitive): New subprogram.
* exp_ch3.adb (Make_Null_Procedure_Specs): Removed.
(Expand_Freeze_Record_Type): Do not generate specs of null interface
subprograms because they are now generated by Analyze_Freeze_Entity.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164059 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* a-calfor.adb, sem_ch3.adb: Minor reformatting.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* bindgen.adb (Gen_Restrictions_Ada): Avoid explicit enumeration ranges
(Gen_Restrictions_C): Avoid explicit enumeration ranges
(Set_String_Replace): New procedure
* casing.ads (Known_Casing): New subtype declaration
* prj-attr.ads (All_Case_Insensitive_Associative_Array): New subtype
declaration
* prj-dect.adb (Parse_Attribute_Declaration): Avoid enumeration range
* prj-nmsc.adb (Check_Naming): Avoid unnecessary enumeration range
* prj-strt.adb (Attribute_Reference): Avoid enumeration range test
* prj.adb (Known_Casing): Moved to Casing spec (avoid enum range)
* sem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order): Avoid enumeration
ranges
* sem_res.adb (Resolve_Range): Check for enumeration subrange style rule
* sem_type.adb (Is_Array_Class_Record_Type): New.
* style.ads (Check_Enumeration_Subrange): New procedure
* styleg.adb (Check_Enumeration_Subrange): New procedure
* styleg.ads (Check_Enumeration_Subrange): New procedure
* stylesw.adb Add handling for Style_Check_Enumeration_Subranges
* stylesw.ads (Style_Check_Enumeration_Subranges): New flag
* usage.adb: Add line for -gnatyE
* vms_data.ads: Add entries for [NO]ENUMERATION_RANGES
Add missing entry for NOBOOLEAN_OPERATORS
* gnat_ugn.texi: Add documentation for -gnatyE

2010-09-09  Robert Dewar  <dewar@adacore.com>

* namet.adb (Initialize): Is now a dummy procedure
(Reinitialize): New procedure
Call Reinitialize from package initialization
* namet.ads (Initialize): Is now a dummy procedure
(Reinitialize): New procedure
* clean.adb, gnat1drv.adb, gnatbind.adb, gnatcmd.adb, gnatlink.adb,
gnatls.adb, gprep.adb, make.adb, prj-makr.adb: Remove obsolete call to
Namet.Initialize.

2010-09-09  Bob Duff  <duff@adacore.com>

* sem_elab.adb, s-os_lib.ads: Minor comment fixes.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* s-bitops.adb (Raise_Error): Add exception message

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164058 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* par-ch5.adb (Test_Statement_Required): Deal with Ada 2012 allowing no
null statement after label.
* sinfo.ads: Minor comment updates.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164057 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* nlists.ads, nlists.adb (In_Same_List): New function.
Use Node_Or_Entity_Id where appropriate.
* par-labl.adb, sem_ch6.adb, sem_type.adb: Use In_Same_List.

2010-09-09  Robert Dewar  <dewar@adacore.com>

* restrict.ads, restrict.adb (Check_Wide_Character_Restriction): New
procedure.
* sem_ch3.adb: Use Check_Wide_Character_Restriction
(Enumeration_Type_Declaration): Check violation of No_Wide_Characters
* sem_ch8.adb (Find_Direct_Name): Check violation of No_Wide_Characters
(Find_Expanded_Name): Check violation of No_Wide_Characters

2010-09-09  Robert Dewar  <dewar@adacore.com>

* par-ch5.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164056 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* prj-env.adb: Minor code reorganization.
* par-ch3.adb: Minor reformatting.
* gcc-interface/Make-lang.in: Update dependencies.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.adb (Build_Activation_Chain_Entity): The construct enclosing
a task declaration can be an entry body.

2010-09-09  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Make_DT): Decorate as "static" variables containing
tags of library level tagged types.
(Make_Tags): Disable backend optimizations about aliasing for
declarations of access to dispatch tables.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Reset_Entity): If the entity is an itype created as a
subtype for a null-excluding access type, recover the original
subtype_mark to get the proper visibility on the original name.

2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Build_Untagged_Equality): For Ada2012, new procedure to
create the primitive equality operation for an untagged record. The
operation is the predefined equality if no record component has a
user-defined equality, or if there is a user-defined equality for the
type as a whole, or when the type is derived and it has an inherited
equality. Otherwise the body of the operations is built as for tagged
types.
(Expand_Freeze_Record_Type): Call Build_Untagged_Equality when needed.
(Make_Eq_Body): New function to create the expanded body of the equality
operation for tagged and untagged records.  In both cases the operation
composes, and the primitive operation of each record component is used
to generate the equality function for the type.
* exp_ch4.adb (Expand_Composite_Equality): In Ada2012, if a component
has an abstract equality defined, replace its call with a
Raise_Program_Error.
* sem_ch6.adb (New_Overloaded_Entity): if Ada2012, verify that a
user-defined equality operator for an untagged record type does not
happen after type is frozen, and appears in the visible part if partial
view of type is not limited.

2010-09-09  Tristan Gingold  <gingold@adacore.com>

* gnatlbr.adb: Make Create_Directory more portable: use __gnat_mkdir.

2010-09-09  Bob Duff  <duff@adacore.com>

* gnat_ugn.texi: Remove incorrect statement about -E being the default.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164055 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Pascal Obry  <obry@adacore.com>

* gnat_ugn.texi: Update doc on windows related topics.

2010-09-09  Geert Bosch  <bosch@adacore.com>

* s-fatgen.adb: Update comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164054 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Robert Dewar  <dewar@adacore.com>

* par-ch4.adb (Box_Error): New procedure.

2010-09-09  Thomas Quinot  <quinot@adacore.com>

* sem.adb: Minor reformatting.

2010-09-09  Pascal Obry  <obry@adacore.com>

* prj-env.adb: Style fix, use /and then/ and /or else/.
* gnat_ugn.texi: Fix typos.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164053 138bc75d-0d04-0410-961f-82ee72b054a4

2010-09-09  Tobias Burnus  <burnus@net-b.de>

        PR fortran/43665
        * intrincic.texi (FGET, FGETC, FPUT, FPUTC, FSTAT, GETCWD, KILL,
        STAT): Show also syntax for the function version.
        * intrinsic.c (add_sym_1s_intent, add_sym_2s_intent,
         add_sym_3s_intent): Remove function.
        (add_sym_1s, add_sym_2s, add_sym_3s): Take always the intent
        as argument.
        (add_sym_2_intent): New function.
        (add_functions): Set intent for functions which modify
        the argument: fstat, fgetc, fget, hostnm, lstat, stat. Change
        argument name of hostnm from "a" to "c"
        (add_subroutines): Change add_sym_*s_intent to
        add_sym_*s and add intent to the add_sym_*s calls.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164052 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/45588
* pt.c (tsubst) <case INTEGER_TYPE>: Call mark_rvalue_use
before calling fold_decl_constant_value.

* g++.dg/warn/Wunused-var-15.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164051 138bc75d-0d04-0410-961f-82ee72b054a4

* rtl.def (DEBUG_IMPLICIT_PTR): New rtl code.
* rtl.h (DEBUG_IMPLICIT_PTR_DECL): Define.
* rtl.c (rtx_equal_p_cb, rtx_equal_p): Handle DEBUG_IMPLICIT_PTR.
* print-rtl.c (print_rtx): Likewise.
* cselib.c (rtx_equal_for_cselib_p, cselib_hash_rtx): Likewise.
* cfgexpand.c (expand_debug_expr): Generate DEBUG_IMPLICIT_PTR
for ADDR_EXPR with non-addressable object.
* dwarf2out.c (enum dw_val_class): Add dw_val_class_decl_ref.
(struct dw_val_struct): Add v.val_decl_ref.
(dwarf_stack_op_name, output_loc_operands, output_loc_operands_raw):
Handle DW_OP_GNU_implicit_pointer.
(size_of_loc_descr): Likewise.  Fix up DW_OP_call_ref size.
(get_ref_die_offset_label): New function.
(implicit_ptr_descriptor): New function.
(mem_loc_descriptor): Handle DEBUG_IMPLICIT_PTR.
(loc_descriptor): Likewise.
(gen_variable_die): Put even definitions into decl_die_table.
(resolve_addr_in_expr): Resolve still unresolved
DW_OP_GNU_implicit_pointer operands, if it can't be resolved
return false.
(dwarf2out_finish): Call output_location_lists after outputting
.debug_info and .debug_abbrev instead of before.

* dwarf2.h (DW_OP_GNU_implicit_pointer): New.

2010-09-09  Roland McGrath  <roland@redhat.com>

* dwarf2out.c (DWARF_REF_SIZE): Define.
(size_of_loc_descr): Use it for DW_OP_call_ref.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164050 138bc75d-0d04-0410-961f-82ee72b054a4

Fix paths

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164048 138bc75d-0d04-0410-961f-82ee72b054a4

missed hunk from last commit

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164046 138bc75d-0d04-0410-961f-82ee72b054a4

* doc/invoke.text: Reinstate mcmodel=medium.
* config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Set
CMODEL_MEDIUM as default.
* config/rs6000/rs6000.h (enum rs6000_cmodel): Add CMODEL_MEDIUM.
* config/rs6000/rs6000.c (rs6000_handle_option): Add mcmodel=medium.
(toc_relative_ok, offsettable_ok_by_alignment): New functions.
(rs6000_emit_move): Reinstate mcmodel=medium optimization.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164045 138bc75d-0d04-0410-961f-82ee72b054a4

* c-c++-common/Wunused-var-12.c: Add -fno-common to options on 32-bit
hppa*-*-hpux*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164044 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164041 138bc75d-0d04-0410-961f-82ee72b054a4

* lto.c (real_file_count, real_file_decl_data): New static vars.
(read_cgraph_and_symbols): Use it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164037 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/45250
* config/pa/pa.md (nonlocal_goto): Restore hard frame pointer using
hard_frame_pointer_rtx instead of virtual_stack_vars_rtx.
(builtin_longjmp): Likewise.
(allocate_stack): Use hard_frame_pointer_rtx instead of
frame_pointer_rtx.
* config/pa/pa-protos.h (pa_initial_elimination_offset): Declare.
* config/pa/pa.c (pa_internal_arg_pointer): Declare.
(pa_can_eliminate): Likewise.
(TARGET_INTERNAL_ARG_POINTER): Define.
(TARGET_CAN_ELIMINATE): Define.
(hppa_expand_prologue): Use hard frame pointer instead of soft frame
pointer.
(hppa_expand_epilogue, pa_eh_return_handler_rtx): Likewise.
(pa_internal_arg_pointer, pa_can_eliminate,
pa_initial_elimination_offset): New.
* config/pa/pa.h (FRAME_POINTER_REGNUM): Set to new general register.
(HARD_FRAME_POINTER_REGNUM): Set to register three.
(INITIAL_FRAME_POINTER_OFFSET): Delete.
(ELIMINABLE_REGS, INITIAL_ELIMINATION_OFFSET, DWARF_FRAME_REGISTERS):
Define.
(DWARF_ALT_FRAME_RETURN_COLUMN, REGNO_OK_FOR_INDEX_P,
REGNO_OK_FOR_BASE_P): Update to include soft frame pointer.
* config/pa/pa32-regs.h (FIRST_PSEUDO_REGISTER): Increase by one.
(FIXED_REGISTERS, CALL_USED_REGISTERS, REG_ALLOC_ORDER,
REG_CLASS_CONTENTS, REGNO_REG_CLASS, REGISTER_NAMES): Update to include
new soft frame pointer.
* config/pa/pa64-regs.h: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164036 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/i386.h (EH_RETURN_DATA_REGNO) Use DX_REG instead of
numerical constant.
(EH_RETURN_STACKADJ_RTX): Use CX_REG insted of numerical constant.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164033 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/45531
* cfglayout.c (fixup_reorder_chain): Skip debug insns.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164032 138bc75d-0d04-0410-961f-82ee72b054a4