Update comments.

From-SVN: r164188

[multiple changes]

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

* scos.ads: Add comments.

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

* gnatcmd.adb (Get_Closure): Remove useless invocation of Close.

2010-09-10  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb, exp_ch6.adb (Expand_Call): Establish a transient scope
for a controlled build-in-place function call which appears in an
anonymous context. The transient scope ensures that the intermediate
function result is cleaned up after the master is left.
(Make_Build_In_Place_Call_In_Anonymous_Context): Remove the creation
of the transient scope. This is now done in Exand_Call which covers
additional cases other than secondary stack release.

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

* sem.adb (Do_Unit_And_Dependents): Add guard.

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

* exp_ch5.adb: Update comments.
* exp_dist.adb: Minor reformatting.

From-SVN: r164187

[multiple changes]

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

* sem_ch13.adb (Check_Record_Representation_Clause): Implement record
gap warnings.
* sem_warn.ads, sem_warn.adb (Warn_On_Record_Holes): New warning flag.
* usage.adb: Add lines for -gnatw.h/H
* gnat_ugn.texi: Add documentation for J519-010
Warn on record holes/gaps
* ug_words: Add entries for -gnatw.h/-gnatw.H
* vms_data.ads: Add entries for [NO]AVOIDGAPS

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

* sem_ch6.adb: Update comment.

From-SVN: r164186

[multiple changes]

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

* sem_ch3.adb (Build_Derived_Private_Type): Mark generated declaration
of full view analyzed after analyzing the corresponding record
declaration, to prevent spurious name conflicts with original
declaration.

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

* sem_ch13.adb (Analyze_Attribute_Definition_Clause): In the VM case,
just issue a warning, but continue with the normal processing.

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

* exp_attr.adb, prj-nmsc.adb, sem_ch4.adb, sem_res.adb: Minor
reformatting.

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

* exp_dist.adb (Build_From_Any_Call, Build_To_Any_Call,
Build_TypeCode_Call): For a subtype inserted for the expansion of a
generic actual type, go to the underlying type of the original actual
type.

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

* exp_ch5.adb (Expand_Assign_Array_Loop): In CodePeer mode, place a
guard around the increment statement, to prevent an off-by-one-value
on the last iteration.

From-SVN: r164185

[multiple changes]

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

* sem_aggr.adb, exp_prag.adb, sem_ch3.adb, exp_attr.adb,
sem_res.adb, sem_attr.adb, sem_elab.adb, sem_ch4.adb, exp_disp.adb,
exp_aggr.adb, exp_dist.adb: Change all mentions of "at run-time" to
"at run time" in comments and error/warning messages.

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

* exp_cg.adb: Handle properly bodies without specs.

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

* prj-nmsc.adb (Find_Source_Dirs): When a source directory is not
present, and the user requested to either ignore this or display a
warning (as opposed to an error), we still need to register the
directory.

From-SVN: r164184

Check that result of string folding is of integral type.

gcc/

2010-09-10  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/45634
* tree-ssa-ccp.c (fold_const_aggregate_ref): Check that result
of string folding is of integral type.

gcc/testsuite/

2010-09-10  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/45634
* gfortran.fortran-torture/compile/pr45634.f90: New.

From-SVN: r164183

[multiple changes]

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

* errout.adb: Remove tests of Parsing_Main_Subunit, since this test is
now done in In_Extended_Main_Source_Unit.
* errout.ads (Compiler_State[_Type]): Moved from Errout to Lib
(Parsing_Main_Subunit): Moved from Errout to Lib and renamed
as Parsing_Main_Extended_Source.
* frontend.adb: Set Parsing_Main_Extended_Source True for parsing main
unit.
* lib-load.adb (Load_Unit): Add PMES parameter
Set PMES appropriately in all calls to Load_Unit
* lib-load.ads (Load_Unit): Add PMES parameter
* lib.adb (In_Extended_Main_Source_Unit): When called with
Compiler_State set to Parsing, test new flag
Compiling_Main_Extended_Source.
* lib.ads (Compiler_State[_Type]): Moved from Errout to Lib
(Parsing_Main_Subunit): Moved from Errout to Lib and renamed
as Parsing_Main_Extended_Source
* par-load.adb (Load): Set PMES properly in call to Load_Unit

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

* exp_cg.adb: Use proper entity to handle overloads.
* sem_res.adb (Check_Parameterless_Call): An operator node without
actuals cannot be a call, and must be treated as a string.

From-SVN: r164182

[multiple changes]

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

* frontend.adb: Minor reformatting.

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

* par-ch4.adb (P_Conditional_Expression): Use P_Condition for condition
* par-ch5.adb (P_Condition): Move from body to spec
* par.adb (Ch5.P_Condition): Move from body to spec

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

* exp_cg.adb (Write_Call_Info): If a type that has been registered in
the call table is private, use its full view to generate information
on its operations.

From-SVN: r164181

* doc/invoke.texi (-x): Fix typo.

From-SVN: r164180

re PR debug/44115 (gcc.dg/guality/sra-1.c failure)

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

PR debug/44115
* tree.c (free_lang_data_in_decl): Do not clear DECL_DEBUG_EXPR.
* lto-streamer-out.c (lto_output_ts_decl_common_tree_pointers):
Output DECL_DEBUG_EXPR.
* lto-streamer-in.c (lto_input_ts_decl_common_tree_pointers):
Input DECL_DEBUG_EXPR.

From-SVN: r164179

hash-string-aux.cc: Remove.

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

* src/hash-string-aux.cc: Remove. Move contents...
* src/hash_tr1.cc: ... here.
* src/compatibility-c++0x.cc: ... and here.

From-SVN: r164178

[multiple changes]

2010-09-10  Jose Ruiz  <ruiz@adacore.com>

* exp_cg.adb (Is_Predefined_Dispatching_Operation): When trying the
pattern matching to detect predefined primitive operations take into
account that there can be an extra suffix related to body-nested
package entities.

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

* s-pooglo.ads: Add overriding indicators.

From-SVN: r164177

[multiple changes]

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

* vms_data.ads: Add new GNAT BIND qualifiers /32_MALLOC (for -H32) and
/64_MALLOC (for -H64).

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

* errout.adb (Error_Msg_Internal): Test Parsing_Main_Subunit flag
(Error_Msg_NW): Test Parsing_Main_Subunit flag
* errout.ads (Parsing_Main_Subunit): New flag
* lib-load.adb (Load_Unit): Set Parsing_Main_Subunit flag
* par-ch6.adb: Minor style fix (remove redandant parentheses)
* par-ch9.adb: Minor style fix (remove redundant parens)
* par-load.adb: (Load): Deal with setting Parsing_Main_Subunit

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

* make.adb (Create_Binder_Mapping_File): Remove procedure. Replaced by
function of the same name in Makeutl.
(Gnatmake): Call function Create_Binder_Mapping_File in Makeutl, instead
of removed procedure when creating a binder mapping file.
* makeutl.adb (Create_Binder_Mapping_File): New function. Was a
procedure in Make.
* makeutl.ads (Create_Binder_Mapping_File): New function

From-SVN: r164176

[multiple changes]

2010-09-10  Jose Ruiz  <ruiz@adacore.com>

* exp_cg.adb (Is_Predefined_Dispatching_Operation): Add the "__" scope
separator when trying the pattern matching to detect predefined
primitive operations.

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

* bindgen.adb, atree.adb: Minor reformatting.

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

* ug_words, gnat_ugn.texi: Revised "Transitioning to 64-Bit GNAT for
OpenVMS" section.

From-SVN: r164175

tree.c (type_hash_eq): For ARRAY_TYPEs also compare TYPE_SIZE.

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

* tree.c (type_hash_eq): For ARRAY_TYPEs also compare
TYPE_SIZE.
(build_index_type): Implement in terms of build_range_type.
(build_range_type): Do not allow NULL_TREE type, improve
hashing to cover more cases.  Set TYPE_STRUCTURAL_EQUALITY_P
if we didn't hash.
* c-decl.c (grokdeclarator): When modifying TYPE_SIZE manually
create a distinct copy of the type.

From-SVN: r164174

[multiple changes]

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

* bindgen.adb: Minor comment fix for -H switch.

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

* exp_cg.adb (Register_CG_Node): Determine enclosing subprogram or
library unit now, by traversing tree before context is expanded.
(Write_Call_Info): Use enclosing unit name directly.
* exp_ch9.adb (Expand_N_Accept_Statement): Attach generated block to
tree earlier, to ensure that subsequent declarations are analyzed in a
connected structure.
* exp_intr.adb (Expand_Unc_Deallocation): Ditto for generated statement
list.

From-SVN: r164173

[multiple changes]

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

* symbols-processing-vms-alpha.adb: Minor reformatting.

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

* bindgen.adb (Gen_Adainit_Ada): In .NET, don't call
__gnat_install_handler in case the binder is called with -n.

From-SVN: r164172

[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