[multiple changes]

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

* exp_ch6.adb (Make_Build_In_Place_In_Object_Declaration): Use proper
sloc for renaming declaration and set Comes_From_Source properly to
ensure that references are properly generated for an object declaration
that is built in place.

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

* symbols-processing-vms-alpha.adb: Allow gnatsym to work as a cross
tool.
* gcc-interface/Make-lang.in: Install gnatsym when cross compiling.
* gcc-interface/Makefile.in: gnat.hlp is now generated by
Make-generated.in

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

* exp_pakd.adb (Expand_Bit_Packed_Element_Set): For things like ""X(J)
:= ...;", remove side effects from the right-hand side, because they
might affect the value of the left-hand side, but the left-hand side is
first READ (so we can do shifting and masking) and then written back,
which would cause the side effects to be incorrectly overwritten.

From-SVN: r164171

[multiple changes]

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

* sem_ch4.adb: Minor reformatting.
* exp_ch6.adb: Add comment on testing limited on full type
* gnat_rm.texi: Add documentation on Pure_Function.

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>

* exp_ch3.adb (Expand_N_Object_Declaration): Defend against previous
errors.
* freeze.adb (Check_Unsigned_Type): Ditto.
* sem_aggr.adb (Resolve_Aggr_Expr): Ditto.
* sem_ch3.adb (Convert_Scalar_Bounds): Ditto.
(Set_Scalar_Range_For_Subtype): Ditto.
* sem_eval.adb (Subtypes_Statically_Match): Ditto.

From-SVN: r164170

trans-expr.c (expr_is_variable): New function taking non-copying intrinsic functions into account.

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

* trans-expr.c (expr_is_variable): New function taking non-copying
intrinsic functions into account.
(gfc_trans_assignment_1): Use expr_is_variable.

From-SVN: r164169

string.c (compare0): Remove.

* runtime/string.c (compare0): Remove.
(find_option): Inline string comparison

From-SVN: r164168

ChangeLog config

2010-09-10  Jonathan Yong  <jon_y@users.sourceforge.net>

* dfp.m4: Enable decimal float for i?86 cygwin
and mingw, and for x86_64 mingw.

ChangeLog libgcc

2010-09-10  Kai Tietz  <kai.tietz@onevision.com>

       * configure: Regenerated.

ChangeLog libdecnumber

2010-09-10  Kai Tietz  <kai.tietz@onevision.com>

       * configure: Regenerated.

ChangeLog gcc

2010-09-10  Kai Tietz  <kai.tietz@onevision.com>

* configure: Regenerated.
* config.gcc: Add for x86_64 and i?86 mingw t-dfprule.

From-SVN: r164167

neon-schedgen.ml (allCores): Add support for Cortex-A9.

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

        * config/arm/neon-schedgen.ml (allCores): Add support for
Cortex-A9.
        * config/arm/cortex-a9-neon.md: New and partially generated.
        * config/arm/cortex-a9.md (cortex_a9_dp): Adjust for Neon.

From-SVN: r164166

repinfo.adb (List_Type_Info): List Small and Range for fixed-point types.

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.

From-SVN: r164165

tree.h (build_index_2_type): Remove.

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.

From-SVN: r164164

re PR bootstrap/45630 (Revision 164050 breaks bootstrap on powerpc-apple-darwin9)

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.

From-SVN: r164163

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

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.

From-SVN: r164162

* vms_cmds.ads: New.

From-SVN: r164161

[multiple changes]

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.

From-SVN: r164160

[multiple changes]

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.

From-SVN: r164159

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

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

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

From-SVN: r164158

[multiple changes]

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.

From-SVN: r164157

gnatlink.adb, [...]: Minor reformatting.

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

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

From-SVN: r164156

[multiple changes]

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.

From-SVN: r164155

[multiple changes]

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.

From-SVN: r164154

deprecated: New directory.

        * 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.

From-SVN: r164153

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

From-SVN: r164152

[multiple changes]

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.

From-SVN: r164151

objc-act.c (objc_begin_try_stmt): Generate an error if -fobjc-exceptions was not used.

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

From-SVN: r164150

[multiple changes]

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.

From-SVN: r164149

re PR tree-optimization/45605 (Missed devirtualization)

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

From-SVN: r164148

[multiple changes]

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.

From-SVN: r164147

[multiple changes]

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.

From-SVN: r164146

[multiple changes]

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.

From-SVN: r164145

* ChangeLog: Remove SVN conflict marks.

From-SVN: r164144

re PR fortran/45186 (Gfortran 4.5.0 emits wrong linenumbers)

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.

From-SVN: r164143

Daily bump.

From-SVN: r164140

re PR tree-optimization/44972 (ICE: in load_assign_lhs_subreplacements, at tree-sra.c:2475)

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.

From-SVN: r164136

re PR tree-optimization/44972 (ICE: in load_assign_lhs_subreplacements, at tree-sra.c:2475)

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.

From-SVN: r164135

bpabi.h (BE8_LINK_SPEC): Handle Cortex-a15.

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.

From-SVN: r164134

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.

From-SVN: r164133

re PR target/40959 (FreeBSD/ia64 build fails: No rule to make target `/usr/ports/lang/gcc43/work/build/ia64-portbld-freebsd8.0/libgcc/crtfastmath.o', needed by `T_TARGET'.)

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.

Co-Authored-By: Andrew Pinski <pinskia@gmail.com>
From-SVN: r164132

dummy_optional_arg.f90: New test.

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.

From-SVN: r164120

acinclude.m4 (LIBGFOR_CHECK_FOR_BROKEN_ISFINITE, [...]): Remove.

* 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.

From-SVN: r164119

re PR middle-end/45312 (GCC 4.4.4 miscompiles the Linux kernel)

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.

From-SVN: r164116

m32r.c (m32r_mode_dependent_address_p): New functions.

* 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.

From-SVN: r164115

re PR bootstrap/43847 (test for plugin is using wrong objdump for host != target)

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

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

From-SVN: r164113

trans-array.c (gfc_get_array_ref_dim): New function.

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.

From-SVN: r164112

tree-ssa-ccp.c (fold_const_aggregate_ref): Check that result of string folding is of integral type.

* 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.

From-SVN: r164111

configure.ac (gnu_indirect_function): New test.

* 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

From-SVN: r164110

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

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.

From-SVN: r164109

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

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

From-SVN: r164108

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

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

From-SVN: r164106

gnat_ugn.texi: Add documentation for new gnatmake switch --create-map-file.

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.

From-SVN: r164104

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

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.

From-SVN: r164103

re PR middle-end/44554 (Stack space after sigsetjmp is reused)

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

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

From-SVN: r164102

[multiple changes]

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.

From-SVN: r164101

re PR middle-end/40386 (wrong code generation for several SPEC CPU2000 benchmarks (lucas, mgrid, face, applu, apsi) with -O1 -fno-ira-share-spill-slots)

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.

From-SVN: r164100

gnatcmd.adb, [...]: Minor reformatting

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

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

From-SVN: r164099

impunit.adb: Add entry for a-izteio.

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).

From-SVN: r164098

[multiple changes]

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.

From-SVN: r164096

trans-array.c (gfc_trans_create_temp_array): Don't set dim array.

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.

From-SVN: r164094

sprint.adb (Write_Id): If the parent node is an expanded name...

* 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.

From-SVN: r164093

[multiple changes]

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.

From-SVN: r164092

[multiple changes]

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.

From-SVN: r164091

trans-array.c (gfc_trans_create_temp_array): Assert loop dimension and info dimension are the same.

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

Co-Authored-By: Janus Weil <janus@gcc.gnu.org>
From-SVN: r164090

[multiple changes]

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.

From-SVN: r164089

[multiple changes]

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.

From-SVN: r164088

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

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.

From-SVN: r164087

prj.adb (Get_Object_Directory): Return object directory display name

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.

From-SVN: r164086

Makefile.in, [...]: Update dependencies.

* 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.

From-SVN: r164085

[multiple changes]

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.

From-SVN: r164084

[multiple changes]

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.

From-SVN: r164083

[multiple changes]

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.

From-SVN: r164082

[multiple changes]

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

From-SVN: r164081

gnatlbr.adb: Removed.

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

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

From-SVN: r164080

[multiple changes]

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.

From-SVN: r164079

s390.c (legitimate_reload_constant_p): Accept floating- point zero operands that fit into a single GPR.

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.

From-SVN: r164076

s390.c (s390_symref_operand_p): Return false for literal pool references.

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.

From-SVN: r164075

re PR libstdc++/45613 (bits/random.h misses include guards)

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.

From-SVN: r164074

cxxabi.h: Uglify nothrow to __nothrow__; fix a few inconsistent uglifications everywhere.

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

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

From-SVN: r164073

[multiple changes]

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.

From-SVN: r164072

predicates.md (ext_register_operand): Check that SUBREG_REG is really a register before looking for REGNO.

* 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.

From-SVN: r164071

[multiple changes]

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.

From-SVN: r164070

adaint.c: New function __gnat_get_env_vars_case_sensitive...

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.

From-SVN: r164069

[multiple changes]

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.

From-SVN: r164068

[multiple changes]

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.

From-SVN: r164067

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

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

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

From-SVN: r164066

[multiple changes]

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.

From-SVN: r164065

[multiple changes]

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.

From-SVN: r164064

Minor code clean up.

From-SVN: r164063

[multiple changes]

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.

From-SVN: r164062

sem_ch13.adb, [...]: Minor reformatting.

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

From-SVN: r164061

[multiple changes]

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.

From-SVN: r164060

sem_ch3.adb (Derive_Subprogram): The code that checks if a dispatching primitive covers some interface primitive...

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.

From-SVN: r164059

[multiple changes]

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

From-SVN: r164058

par-ch5.adb (Test_Statement_Required): Deal with Ada 2012 allowing no null statement after label.

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.

From-SVN: r164057

nlists.ads, nlists.adb (In_Same_List): New function.

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.

From-SVN: r164056

[multiple changes]

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.

From-SVN: r164055

[multiple changes]

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.

From-SVN: r164054

[multiple changes]

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.

From-SVN: r164053

re PR fortran/43665 (INTENT(IN) etc. optimization of calls: function annotations for noclobber/noescape arguments)

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.

From-SVN: r164052

re PR c++/45588 (unused-but-set-variable false trigger building gold)

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.

From-SVN: r164051

rtl.def (DEBUG_IMPLICIT_PTR): New rtl code.

* 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.

From-SVN: r164050

Fix paths

From-SVN: r164048

missed hunk from last commit

From-SVN: r164046

invoke.text: Reinstate mcmodel=medium.

* 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.

From-SVN: r164045