[multiple changes]

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_aggr.adb (Resolve_Record_Aggregate): Do style check on component
name.
* sem_ch10.adb (Analyze_Subunit): Do style check on parent unit name.
* sem_ch8.adb (Find_Direct_Name): For non-overloadable entities, do
style check.
* sem_res.adb (Resolve_Entity_Name): Do style check for enumeration
literals.

2010-06-22  Vincent Celier  <celier@adacore.com>

* make.adb (Scan_Make_Arg): No longer pass -nostdlib to the compiler as
it has no effect. Always pass -nostdlib to gnatlink, even on VMS.

2010-06-22  Pascal Obry  <obry@adacore.com>

* g-socthi-mingw.adb: Fix implementation of the vectored sockets on
Windows.
(C_Recvmsg): Make sure the routine is atomic. Also fully
fill vectors in the proper order.
(C_Sendmsg): Make sure the routine is atomic.

From-SVN: r161144

sem_ch8.adb: Update comment.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb: Update comment.
* sem_res.adb: Minor code reorganization (use Ekind_In).

From-SVN: r161143

[multiple changes]

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Add_Implicit_Operator): If the context of the expanded
name is a call, use the number of actuals to determine whether this is
a binary or unary operator, rather than relying on later information
to resolve the overload.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch10.adb, sem_aggr.adb: Minor reformatting.

From-SVN: r161142

[multiple changes]

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_disp.adb: Minor code fixes.
* sem_eval.adb: Minor reformatting.

2010-06-22  Vincent Celier  <celier@adacore.com>

* make.adb (Scan_Make_Arg): When invoked with -nostdlib, pass -nostdlib
to gnatlink, except on Open VMS.
* osint.adb (Add_Default_Search_Dirs): Do not suppress the default
object directories if -nostdlib is used.

From-SVN: r161141

sem_util.adb (Is_Delegate): Put in proper alpha order.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Is_Delegate): Put in proper alpha order.
* sem_eval.adb: Minor reformatting.

From-SVN: r161140

g-expect-vms.adb, [...]: Minor reformatting.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* g-expect-vms.adb, sem_res.adb: Minor reformatting.
* exp_aggr.adb: Minor comment changes and reformatting.
* sem_eval.adb (Find_Universal_Operator_Type): Put in proper alpha order
* sem_util.ads: Add some missing pragma Inline's (efficiency issue only)

From-SVN: r161139

sem_util.adb (Build_Actual_Subtype): Record original expression in Related_Expression attribute of the constructed...

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb (Build_Actual_Subtype): Record original expression in
Related_Expression attribute of the constructed subtype.
* einfo.adb, einfo.ads (Underlying_View): Move to Node28 to free up
Node24 on types for...
(Related_Expression): Make attribute available on types as well.

From-SVN: r161138

[multiple changes]

2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* exp_util.adb (Find_Interface_ADT): Retrieve Designated_Type instead of
Directly_Designated_Type when the type argument is an access type.
(Find_Interface_Tag): Retrieve Designated_Type instead of
Directly_Designated_Type when the type argument is an access type.
(Has_Controlled_Coextensions): Retrieve Designated_Type instead of
Directly_Designated_Type of each access discriminant.
* sem_res.adb (Resolve_Type_Conversion): Retrieve Designated_Type
instead of Directly_Designated_Type when the operand and target types
are access types.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb (Flatten): Return False if one choice is statically
known to be out of bounds.

From-SVN: r161137

sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of a parameterless function call...

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of
a parameterless function call, preserve parentheses of original
expression, for proper handling by pretty printer.
* sem_attr.adb (Analyze_Attribute, case 'Old): Add guard to Process
procedure, to handle quietly identifiers that have no entity names.
* exp_util.adb (Get_Current_Value_Condition): If the parent of an
elsif_part is missing, it has been rewritten as a nested if, and there
is no useful information on the current value of the variable.

From-SVN: r161136

[multiple changes]

2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Build_Discriminal): Set default scopes for newly created
discriminals to the current scope.
* sem_util.adb (Find_Body_Discriminal): Remove setting of discriminal's
scope, which could overwrite a different already set value.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Valid_Conversion): If expression is a predefined
operator, use sloc of type of interpretation to improve error message
when operand is of some derived type.
* sem_eval.adb (Is_Mixed_Mode_Operand): New function, use it.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* g-expect-vms.adb (Expect_Internal): No longer raises an exception, so
that it can set out parameters as well. When a process has died, reset
its Input_Fd to Invalid_Fd, so that when using multiple processes we
can find out which process has died.

From-SVN: r161135

sem_eval.adb (Find_Universal_Operator_Type): New subprogram to identify the operand type of an operator on universal operands...

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb (Find_Universal_Operator_Type): New
subprogram to identify the operand type of an operator on universal
operands, when an explicit scope indication is present. Diagnose the
case where such a call is ambiguous.
(Eval_Arithmetic_Op, Eval_Relational_Op, Eval_Unary_Op):
Use the above to identify the operand type so it can be properly frozen.
* sem_res.adb (Make_Call_Into_Operator): Remove bogus freeze of operand
type, done in an arbitrary, possibly incorrect type (the presence of
some numeric type in the scope is checked for legality, but when more
than one such type is in the scope, we just pick a random one, not
necessarily the expected one).
* sem_utils.ads, sem_utils.adb (Is_Universal_Numeric_Type): New utility
subprogram.

From-SVN: r161134

[multiple changes]

2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb: Minor reformatting.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Conditional_Expression): Use
Expression_With_Actions to clean up the code generated when folding
constant expressions.

2010-06-22  Vincent Celier  <celier@adacore.com>

* g-expect-vms.adb: Add new subprograms Free, First_Dead_Process and
Has_Process.

From-SVN: r161132

[multiple changes]

2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Find_Sources): When a source from a multi-unit file is
found, check if it's path has aready been found, whatever its index.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* atree.adb, gnatbind.adb: Minor reformatting.
Minor code reorganization.

From-SVN: r161131

* typeck.c (comp_except_specs): Fix ce_derived with noexcept.

From-SVN: r161130

semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array element type.

* semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array
element type.

From-SVN: r161129

Daily bump.

From-SVN: r161128

re PR target/39690 (ld: An unknown relocation type 8)

PR target/39690
config/pa/pa.c (override_options): Disable
-freorder-blocks-and-partition.

From-SVN: r161121

Properly handle psrldq when optimizing for Atom.

gcc/

2010-06-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44615
* config/i386/atom.md (atom_sseishft_2): Also check sseishft1.

* config/i386/i386.md (type): Add sseishft1

* config/i386/ppro_insn (ppro_insn): Also check sseishft1.
(ppro_insn_load): Likewise.
(ppro_insn_store): Likewise.
(ppro_insn_both): Likewise.

* config/i386/sse.md (sse2_lshrv1ti3): Add atom_unit.
(*vec_extractv2di_1_rex64_avx): Replace sseishft with sseishft1
for type.
(*vec_extractv2di_1_avx): Likewise.
(*vec_extractv2di_1_rex64): Replace sseishft with sseishft1 for
type.  Remove atom_unit.
(*vec_extractv2di_1_sse2): Likewise.

gcc/testsuite/

2010-06-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44615
* gcc.target/i386/sse2-vec-2a.c: New.

From-SVN: r161118

plugin-api.h (ld_plugin_set_extra_library_path): New.

2010-06-21  Rafael Espindola  <espindola@google.com>

* plugin-api.h (ld_plugin_set_extra_library_path): New.
(ld_plugin_tag): Add LDPT_SET_EXTRA_LIBRARY_PATH.
(ld_plugin_tv): Add tv_set_extra_library_path.

From-SVN: r161116

diagnostic.h (diagnostic_classification_change_t): New.

* diagnostic.h (diagnostic_classification_change_t): New.
(diagnostic_context): Add history and push/pop list.
(diagnostic_push_diagnostics): Declare.
(diagnostic_pop_diagnostics): Declare.
* diagnostic.c (diagnostic_classify_diagnostic): Store changes
from pragmas in a history chain instead of the global table.
(diagnostic_push_diagnostics): New.
(diagnostic_pop_diagnostics): New.
(diagnostic_report_diagnostic): Scan history chain to find state
of diagnostics as of the diagnostic location.
* opts.c (set_option): Pass UNKNOWN_LOCATION to
diagnostic_classify_diagnostic.
(enable_warning_as_error): Likewise.
* diagnostic-core.h (DK_POP): Add after "real" diagnostics, for
use in the history chain.
* c-family/c-pragma.c (handle_pragma_diagnostic): Add push/pop,
allow these pragmas anywhere.
* doc/extend.texi: Document pragma GCC diagnostic changes.

* gcc.dg/pragma-diag-1.c: New.

From-SVN: r161115

Add -mtune=k8 to gcc.target/i386/amd64-abi-3.c.

2010-06-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44615
* gcc.target/i386/amd64-abi-3.c: Add -mtune=k8.

From-SVN: r161112

re PR testsuite/44505 (gcc.c-torture/execute/frame-address.c)

PR testsuite/44505
* gcc.c-torture/execute/frame-address.c (check_fa): Avoid
tail call to check_fa_mid.

From-SVN: r161105

c.opt (lang-objc): Remove.

* c.opt (lang-objc): Remove.
* c-opts.c (c_common_handle_option): Don't handle OPT_lang_objc.

From-SVN: r161099

re PR target/44575 (__builtin_va_arg overwrites into adjacent stack location)

PR target/44575
* config/i386/i386.c (ix86_gimplify_va_arg): When copying
va_arg from a set of register save slots into a temporary,
if the container is bigger than type size, do the copying
using smaller mode or using memcpy.

* gcc.c-torture/execute/pr44575.c: New test.

From-SVN: r161097

dwarf2out.c (add_linkage_name): New function.

* dwarf2out.c (add_linkage_name): New function.  Don't add
anything to DW_TAG_member DIEs.
(add_name_and_src_coords_attributes): Use it.
(gen_variable_die): Call it for C++ static data members if
specification is DW_TAG_member.

From-SVN: r161096

dwarf2.h (enum dwarf_type): Add DW_ATE_UTF.

* dwarf2.h (enum dwarf_type): Add DW_ATE_UTF.

* dwarf2out.c (base_type_die): Use DW_ATE_UTF for
C++ char16_t and char32_t.

From-SVN: r161095

Makefile.in (build/genattrtab.o): Depend on vecprim.h.

* Makefile.in (build/genattrtab.o): Depend on vecprim.h.
* genattrtab.c: Include vecprim.h.
(cached_attrs, cached_attr_count, attrs_seen_once,
attrs_seen_more_than_once, attrs_to_cache, attrs_cached_inside,
attrs_cached_after): New variables.
(find_attrs_to_cache): New function.
(FLG_BITWISE, FLG_AFTER, FLG_INSIDE, FLG_OUTSIDE_AND): Define.
(write_test_expr): Add attrs_cached argument, return it too,
attempt to cache non-const attributes used more than once in
a single case handling.
(write_attr_get): Use find_attrs_to_cache, for caching candidates
emit cached_* variables.  Adjust write_attr_set callers.
(write_attr_set): Add attrs_cached attribute, use find_attrs_to_cache
to find attributes that should be cached in this block.  Adjust
write_test_expr callers.
(write_attr_case): Clear attrs_to_cache.  Adjust write_attr_set
callers.
(make_automaton_attrs): Adjust write_test_expr caller.

From-SVN: r161094

Makefile.in (cfgexpand.o): Depend on $(INSN_ATTR_H).

* Makefile.in (cfgexpand.o): Depend on $(INSN_ATTR_H).
* genattrtab.c (check_tune_attr, find_tune_attr): New functions.
(make_automaton_attrs): If find_tune_attr returns non-NULL,
write separate internal_dfa_insn_code_* and insn_default_latency_*
functions for each attribute's value and emit init_sched_attrs
function and function pointers.
* genattr.c (const_attrs, reservations): New variables.
(gen_attr): Add const attributes to const_attrs vector.
(check_tune_attr, find_tune_attr): New functions.
(main): Add reservations to reservations vector.  If find_tune_attr
returns true, add prototype for init_sched_attrs and make
internal_dfa_insn_code and insn_default_latency function pointers,
otherwise define init_sched_attrs as dummy macro.
* cfgexpand.c: Include insn-attr.h.
(gimple_expand_cfg): Call init_sched_attrs.

From-SVN: r161093

re PR bootstrap/44426 (gcc 4.5.0 requires c9x compiler to build)

PR bootstrap/44426
* sel-sched-dump.h (sel_prepare_string_for_dot_label): Remove
prototype.
(sel_print_to_dot): Remove macro.
(sel_print): Likewise.  New prototype.
* sel-sched-dump.c (sel_prepare_string_for_dot_label): Make static.
(sel_print): New function.

From-SVN: r161092

stmt.c (resolve_asm_operand_names): Fix handling of %%.

* stmt.c (resolve_asm_operand_names): Fix handling
of %%.

From-SVN: r161091

sol2.h (TARGET_OS_CPP_BUILTINS): Define __STDC_VERSION__=199901L, _XOPEN_SOURCE=600 for C++.

gcc:
* config/sol2.h (TARGET_OS_CPP_BUILTINS): Define
__STDC_VERSION__=199901L, _XOPEN_SOURCE=600 for C++.

fixincludes:
* inclhack.def (solaris__restrict, solaris_complex_cxx): New fixes
* fixincl.x: Regenerate.
* tests/base/complex.h [SOLARIS_COMPLEX_CXX_CHECK]: New test.
* tests/base/sys/feature_tests.h: New file.

libstdc++-v3:
* testsuite/26_numerics/headers/cmath/c99_classification_macros_c.cc:
Add *-*-solaris2.1[0-9]* to dg-xfail-if, dg-excess-errors.

From-SVN: r161089

[multiple changes]

2010-06-21  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Conditional_Expression): Fold if condition
known at compile time.

2010-06-21  Gary Dismukes  <dismukes@adacore.com>

* atree.adb: Fix comment typo.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Test_Ambiguous_Operator): New procedure to check
whether a universal arithmetic expression in a conversion, which is
rewritten from a function call with an expanded name, is ambiguous.

2010-06-21  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Name_Location): New Boolean component Listed, to record
source files in specified list of sources.
(Check_Package_Naming): Remove out parameters Bodies and Specs, as they
are never used.
(Add_Source): Set the Location of the new source
(Process_Exceptions_File_Based): Call Add_Source with the Location
(Get_Sources_From_File): If an exception is found, set its Listed to
True
(Find_Sources): When Source_Files is specified, if an exception is
found, set its Listed to True. Remove any exception that is not in a
specified list of sources.
* prj.ads (Source_Data): New component Location

2010-06-21  Vincent Celier  <celier@adacore.com>

* gnatbind.adb (Closure_Sources): Global table, moved from block.

From-SVN: r161088

sem_res.adb: Minor reformatting.

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Minor reformatting.
* atree.adb: New debugging hook "rr" for node rewrites.

From-SVN: r161087

[multiple changes]

2010-06-21  Robert Dewar  <dewar@adacore.com>

* g-expect.ads, g-expect.adb: Minor reformatting.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Next_Pointer_Bytes): New named constant. Code clean up.

From-SVN: r161083

* gcc-interface/Make-lang.in: Update dependencies.

From-SVN: r161082

[multiple changes]

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* bindgen.ads: Update comments.

2010-06-21  Vincent Celier  <celier@adacore.com>

* gnatbind.adb: Suppress dupicates when listing the sources in the
closure (switch -R).

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher
is too small.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* g-expect.adb, g-expect.ads (First_Dead_Process, Free, Has_Process):
New subprograms.
(Expect_Internal): No longer raises an exception, so that it can set
out parameters as well. When a process has died, reset its Input_Fd
to Invalid_Fd, so that when using multiple processes we can find out
which process has died.

From-SVN: r161081

re PR fortran/40632 (Support F2008's contiguous attribute)

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

        PR fortran/40632
        * interface.c (compare_parameter): Add gfc_is_simply_contiguous
        checks.
        * symbol.c (gfc_add_contiguous): New function.
        (gfc_copy_attr, check_conflict): Handle contiguous attribute.
        * decl.c (match_attr_spec): Ditto.
        (gfc_match_contiguous): New function.
        * resolve.c (resolve_fl_derived, resolve_symbol): Handle
        contiguous.
        * gfortran.h (symbol_attribute): Add contiguous.
        (gfc_is_simply_contiguous): Add prototype.
        (gfc_add_contiguous): Add prototype.
        * match.h (gfc_match_contiguous): Add prototype.
        * parse.c (decode_specification_statement,
        decode_statement): Handle contiguous attribute.
        * expr.c (gfc_is_simply_contiguous): New function.
        * dump-parse-tree.c (show_attr): Handle contiguous.
        * module.c (ab_attribute, attr_bits, mio_symbol_attribute):
        Ditto.
        * trans-expr.c (gfc_add_interface_mapping): Copy
        attr.contiguous.
        * trans-array.c (gfc_conv_descriptor_stride_get,
        gfc_conv_array_parameter): Handle contiguous arrays.
        * trans-types.c (gfc_build_array_type, gfc_build_array_type,
        gfc_sym_type, gfc_get_derived_type, gfc_get_array_descr_info):
        Ditto.
        * trans.h (gfc_array_kind): Ditto.
        * trans-decl.c (gfc_get_symbol_decl): Ditto.

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

        PR fortran/40632
        * gfortran.dg/contiguous_1.f90: New.
        * gfortran.dg/contiguous_2.f90: New.
        * gfortran.dg/contiguous_3.f90: New.

From-SVN: r161079

[multiple changes]

2010-06-21  Robert Dewar  <dewar@adacore.com>

* s-regpat.adb, s-tpoben.adb, sem_attr.adb, sem_util.adb, sem_util.ads,
checks.adb, sem_res.adb: Minor reformatting. Add comments.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (New_Overloaded_Entity): If the new entity is a
rederivation associated with a full declaration in a private part, and
there is a partial view that derives the same parent subprogram, the
new entity does not become visible. This check must be applied to
interface operations as well.

From-SVN: r161078

checks.adb: Add comments.

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* checks.adb: Add comments.
* prj-nmsc.adb: Minor reformatting.

From-SVN: r161077

[multiple changes]

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* sem_ch9.adb, checks.adb, sem_util.adb, sem_util.ads, sem_res.adb,
sem_attr.adb (Get_E_First_Or_Last): Use attribute references on E to
extract bounds, to ensure that we get the proper captured values,
rather than an expression that may have changed value since the point
where the subtype was elaborated.
(Find_Body_Discriminal): New utility subprogram to share code between...
(Eval_Attribute): For the case of a subtype bound that references a
discriminant of the current concurrent type, insert appropriate
discriminal reference.
(Resolve_Entry.Actual_Index_Type.Actual_Discriminant_Ref): For a
requeue to an entry in a family in the current task, use corresponding
body discriminal.
(Analyze_Accept_Statement): Rely on expansion of attribute references
to insert proper discriminal references in range check for entry in
family.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Compile): Fix handling of big patterns.

2010-06-21  Robert Dewar  <dewar@adacore.com>

* a-tifiio.adb: Minor reformatting.

From-SVN: r161076

[multiple changes]

2010-06-21  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb (Search_Directories): Use the non-translated directory
path to open it.

2010-06-21  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Write_Call_Info): Fill the component sourcename using the
external name.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb (Expand_Concatenate): If an object declaration is created
to hold the result, indicate that the target of the declaration does
not need an initialization, to prevent spurious errors when
Initialize_Scalars is enabled.

2010-06-21  Ed Schonberg  <schonberg@adacore.com>

* a-tifiio.adb (Put): In the procedure that performs I/O on a String,
Fore is not bound by line length. The Fore parameter of the internal
procedure that performs the operation is an integer.

2010-06-21  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb, checks.adb: Minor reformatting.

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb (Next_Instruction, Get_Next_Offset): Removed, merged
into Get_Next.
(Insert_Operator_Before): New subprogram, avoids duplicated code
(Compile): Avoid doing two compilations when the pattern matcher ends
up being small.

From-SVN: r161074

[multiple changes]

2010-06-21  Emmanuel Briot  <briot@adacore.com>

* s-regpat.adb: Improve debug traces
(Dump): Change output format to keep it smaller.

2010-06-21  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Generate_CG_Output): Disable redirection of standard
output to the output file when this routine completes its work.

From-SVN: r161073

* c-opts.c: Include "tm_p.h".

From-SVN: r161071

Move the entry from libjava/classpath/ ChangeLog to ChangeLog.gcj as it is a local change.

Move the entry from libjava/classpath/ ChangeLog to ChangeLog.gcj as it is
a local change.  Reported by Jakub Jelinek, approved by Mark Wielaard.

From-SVN: r161069

rx.h (PTRDIFF_TYPE): Define.

        * config/rx/rx.h (PTRDIFF_TYPE): Define.
        (SMALL_REGISTER_CLASS): Define (to zero).
        (PRINT_OPERAND): Delete.
        (PRINT_OPERAND_ADDRESS): Delete.
        * config/rx/rx-protos.h (rx_print_operand): Delete prototype.
        (rx_print_operand_address): Delete prototype.
        * config/rx/rx.c (rx_print_operand): Make static.
        Allow %H and %L to handle CONST_DOUBLEs.
        (rx_print_operand_address): Make static.
        (rx_gen_move_template): Rename local variable 'template' to
        out_template.
        (rx_function_arg): Do not pass unknown sized objects in
        registers.
        (TARGET_PRINT_OPERAND): Define.
        (TARGET_PRINT_OPERAND_ADDRESS): Define.

From-SVN: r161068

Makefile.in (POD2MAN): Provide --date from $(DATESTAMP).

gcc/
* Makefile.in (POD2MAN): Provide --date from $(DATESTAMP).

libjava/classpath/
* doc/Makefile.am (POD2MAN): Provide --date from ChangeLog.
* doc/Makefile.in: Regenerate.

From-SVN: r161066

i386.c (ix86_compute_frame_layout): Avoid stack-alignment for simple leaf-functions.

2010-06-21  Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/i386.c (ix86_compute_frame_layout): Avoid
        stack-alignment for simple leaf-functions.

From-SVN: r161064

leaf-1.c: New.

2010-06-21  Kai Tietz  <kai.tietz@onevision.com>

        * gcc.target/x86_64/abi/callabi/leaf-1.c: New.
        * gcc.target/x86_64/abi/callabi/leaf-2.c: New.

From-SVN: r161063

compare-debug: Drop LTO sections.

contrib/ChangeLog:
* compare-debug: Drop LTO sections.
config/ChangeLog:
* bootstrap-lto.mk: New.
gcc/ChangeLog:
* doc/install.texi: Document bootstrap-lto.

From-SVN: r161061

Daily bump.

From-SVN: r161060

re PR lto/44248 (-fcompare-debug failure with -flto/-fwhopr -g)

PR debug/44248
* lto-streamer-in.c (input_bb): Leave debug stmts alone.
(input_function): Drop them here, if VTA is disabled.

From-SVN: r161056

re PR target/44546 (ICE in extract_insn, at recog.c:2103 with -ffast-math -Os (compiling graphviz))

PR target/44546
* config/i386/predicates.md (ix86_swapped_fp_comparsion_operator):
New predicate.
* config/i386/i386.md (*fp_jcc_8<mode>_387): Use
ix86_swapped_fp_comparsion_operator instead of
ix86_fp_comparison_operator.

(*fp_jcc_1_387): Rename from *fp_jcc_3_387.
(*fp_jcc_1r_387): Rename from *fp_jcc_4_387.
(*fp_jcc_2_387): Rename from *fp_jcc_5_387.
(*fp_jcc_2r_387): Rename from *fp_jcc_6_387.
(*fp_jcc_3_387): Rename from *fp_jcc_7_387.
(*fp_jcc_4_<mode>_387): Rename from *fp_jcc_8<mode>_387.

testsuite/ChangeLog:

PR target/44546
* gcc.target/i386/pr44546.c: New test.

From-SVN: r161055

random.tcc (uniform_int_distribution<>::operator()): Fix to work well for arbitrary urng.max() and urng.min().

2010-06-20  Paolo Carlini  <paolo.carlini@oracle.com>
    Kai-Uwe Bux  <bux@kubux.net>

* include/bits/random.tcc (uniform_int_distribution<>::operator()):
Fix to work well for arbitrary urng.max() and urng.min().

Co-Authored-By: Kai-Uwe Bux <bux@kubux.net>
From-SVN: r161054

re PR other/32998 (-frecord-gcc-switches issues)

PR other/32998
* opth-gen.awk: Generate definitions of OPT_SPECIAL_unknown,
OPT_SPECIAL_program_name and OPT_SPECIAL_input_file.
* opts-common.c (find_opt): Return OPT_SPECIAL_unknown on failure.
(decode_cmdline_option): Update for this return value.  Set
orig_option_with_args_text field.  Set arg field for unknown
options.  Make static.
(decode_cmdline_options_to_array): New.
(prune_options): Update handling of find_opt return value.
* opts.c (read_cmdline_option): Take decoded option.  Return void.
(read_cmdline_options): Take decoded options.
(decode_options): Add parameters for decoded options.  Use
decode_cmdline_options_to_array.  Use decoded options for -O
scan.  Use integral_argument for -O parameters.  Update call to
read_cmdline_options.
(enable_warning_as_error): Update handling of find_opt return
value.
* opts.h: Update comment on unknown options.
(struct cl_decoded_option): Update comments on opt_index and arg.
Add orig_option_with_args_text.
(decode_cmdline_option): Remove.
(decode_cmdline_options_to_array): Declare.
(decode_options): Update prototype.
* toplev.c (save_argv): Remove.
(save_decoded_options, save_decoded_options_count): New.
(read_integral_parameter): Remove.
(print_switch_values): Use decoded options.
(toplev_main): Don't set save_argv.  Update call to
decode_options.
* toplev.h (read_integral_parameter): Remove.
* varasm.c (elf_record_gcc_switches): Don't handle holding back
names.

c-family:
* c-common.c (parse_optimize_options): Update call to
decode_options.

fortran:
* options.c (gfc_handle_option): Don't handle N_OPTS.

testsuite:
* gcc.dg/opts-2.c: New test.

From-SVN: r161053

trans.c (Subprogram_Body_to_gnu): Use while instead of for loop.

* gcc-interface/trans.c (Subprogram_Body_to_gnu): Use while instead of
for loop.  Call build_constructor_from_list directly in the CICO case.

From-SVN: r161046

Daily bump.

From-SVN: r161045

re PR fortran/44584 (Invalid memory access with gfortran.dg/typebound_proc_15.f03)

2010-06-19  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44584
* resolve.c (resolve_fl_derived): Reverse ordering of conditions
to avoid ICE.

2010-06-19  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44584
* gfortran.dg/typebound_proc_15.f03: Modified.

From-SVN: r161041

re PR target/44072 (Use 'add r0, 1' to replace 'cmp r0, -1' in thumb2)

PR target/44072
* arm.md (cmpsi2_addneg): Prefer emitting adds to subs with a negative
immediate.
* constraints.md (Pw, Px): New constraints.
* thumb2.md (cmpsi2_addneg peephole2): New peepholes.

* gcc.target/arm/thumb2-cmpneg2add-1.c: New test.
* gcc.target/arm/thumb2-cmpneg2add-2.c: New test.

From-SVN: r161040

Simplify modesuffix in sse.md.

2010-06-19  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/sse.md (fma4modesuffixf4): Removed.
(ssemodesuffixf2s): Likewise.
(ssemodesuffixf4): Likewise.
(ssemodesuffixf2c): Likewise.
(ssescalarmodesuffix2s): Likewise.
(avxmodesuffixf2c): Likewise.
(ssemodesuffix): New.
(ssescalarmodesuffix): Likewise.
Update patterns with ssemodesuffix and ssescalarmodesuffix.

From-SVN: r161031

label13.C: Fix typo in last change.

* g++.dg/ext/label13.C: Fix typo in last change.

From-SVN: r161028

c-decl.c (c_write_global_declarations): Don't check flag_syntax_only.

2010-06-19  Philip Herron  <herron.philip@googlemail.com>

* c-decl.c (c_write_global_declarations): Don't check
flag_syntax_only.

From-SVN: r161024

re PR fortran/44477 (Sequential I/O with END FILE: File position should be at EoF)

2010-06-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/44477
* gfortran.dg/eof_3.f90
* gfortran.dg/endfile_2.f90
* gfortran.dg/endfile_4.f90
* gfortran.dg/endfile_3.f90

From-SVN: r161021

re PR fortran/44477 (Sequential I/O with END FILE: File position should be at EoF)

2010-06-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/44477
* io/file_pos.c (st_endfile): Add check for ENDFILE when file is
already positioned after the EOF marker. Use find_or_create_unit
instead of find_unit. If unit is not connected, connect it and create
the file with default settings.
* io/transfer.c (data_transfer_init):  Add check for attempted READ or
WRITE when file is already positioned after the EOF marker.

From-SVN: r161020

re PR c++/41090 (Using static label reference in c++ class constructor produces wrong code)

PR c++/41090
* g++.dg/ext/label13.C: xfail on 32-bit hppa*-*-hpux*.

From-SVN: r161018

Daily bump.

From-SVN: r161017

re PR fortran/44556 (incorrect error:  Stat-variable at (1) shall not be DEALLOCATEd within the same DEALLOCATE statement)

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

        PR fortran/44556
        * resolve.c (resolve_allocate_deallocate): Properly check
        part-refs in stat=/errmsg= for invalid use.

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

        PR fortran/44556
        * gfortran.dg/allocate_alloc_opt_11.f90: New.

From-SVN: r161011

[multiple changes]

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Build_And_Analyze_Renamed_Body): If the renaming
declaration appears in the same unit and ealier than the renamed
entity, retain generated body to prevent order-of-elaboration issues in
gigi.

2010-06-18  Arnaud Charlet  <charlet@adacore.com>

* s-tpoben.adb: Update comments.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* debug.adb: Minor comment change.

From-SVN: r161010

re PR libstdc++/32618 (std::vector calls uneccessary constructors instead of inplace construction of first object)

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

PR libstdc++/32618
* include/bits/stl_list.h (vector<>::_M_default_initialize,
_M_default_append): Declare.
(list<>::list(size_type), resize(size_type)): Add in C++0x mode,
use the latter.
* include/bits/list.tcc (list<>::resize, _M_default_append): Define.
* include/bits/stl_vector.h (vector<>::_M_default_initialize,
_M_default_append): Declare.
(vector<>::vector(size_type), resize(size_type)): Add in C++0x mode,
use the latter.
* include/bits/vector.tcc (vector<>::_M_default_append): Define.
* include/bits/stl_deque.h (deque<>::_M_default_initialize,
_M_default_append): Declare.
(deque<>::deque(size_type), resize(size_type)): Add in C++0x mode,
use the latter.
* include/bits/deque.tcc (deque<>::_M_default_append): Define.
* include/debug/vector: Update.
* include/debug/deque: Likewise.
* include/debug/list: Likewise.
* include/profile/vector: Likewise.
* include/profile/deque: Likewise.
* include/profile/list: Likewise.
* include/bits/forward_list.h (_M_default_initialize,
_M_default_insert_after): Declare.
(forward_list<>::forward_list(size_type), resize(size_type)): Fix,
use the latter.
* include/bits/forward_list.tcc (forward_list<>::_M_default_append,
_M_default_insert_after): Define.
* testsuite/util/testsuite_api.h (NonCopyConstructible): Add.
* testsuite/23_containers/forward_list/modifiers/6.cc: Move to...
* testsuite/23_containers/forward_list/capacity/resize_size.cc:
... here.
* testsuite/23_containers/forward_list/cons/10.cc: Move to...
* testsuite/23_containers/forward_list/cons/cons_size.cc: ... here.
* testsuite/23_containers/vector/resize/1.cc: Move to...
* testsuite/23_containers/vector/capacity/resize/1.cc: ... here.
* testsuite/23_containers/vector/resize/moveable.cc: Move to...
* testsuite/23_containers/vector/resize/capacity/moveable.cc: ... here.
* testsuite/23_containers/vector/cons/cons_size.cc: New.
* testsuite/23_containers/vector/capacity/resize/resize_size.cc:
Likewise.
* testsuite/23_containers/deque/cons/cons_size.cc: Likewise.
* testsuite/23_containers/deque/capacity/resize_size.cc: Likewise.
* testsuite/23_containers/list/cons/cons_size.cc: Likewise.
* testsuite/23_containers/list/capacity/resize_size.cc: Likewise.
* testsuite/23_containers/vector/capacity/resize/moveable.cc: Adjust.
* testsuite/23_containers/deque/capacity/moveable.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/dr438/
assign_neg.cc: Adjust dg-error line numbers.
* testsuite/23_containers/forward_list/requirements/dr438/
insert_neg.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/
assign_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/
assign_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/deque/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/list/requirements/dr438/assign_neg.cc:
Likewise.
* testsuite/23_containers/list/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/list/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/list/requirements/dr438/
constructor_2_neg.cc: Likewise.

From-SVN: r161009

Remove unused local variables.

2010-06-18  H.J. Lu  <hongjiu.lu@intel.com>

* stor-layout.c (debug_rli): Remove unused local variables.

From-SVN: r161008

plugin.h (ld_plugin_add_input_file, [...]): Make argument const.

2010-06-18  Rafael Espindola  <espindola@google.com>

* plugin.h (ld_plugin_add_input_file, ld_plugin_add_input_library):
Make argument const.

From-SVN: r161007

re PR rtl-optimization/40900 (redundant sign extend of short function returned value)

PR rtl-optimization/40900
* expr.c (expand_expr_real_1) <SSA_NAME>: Fix long line.  Save the
original expression for later reuse.
<expand_decl_rtl>: Use promote_function_mode to compute the signedness
of the promoted RTL for a SSA_NAME on the LHS of a call statement.

From-SVN: r161006

[multiple changes]

2010-06-18  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization.

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* sprint.ads: Minor reformatting.
* output.ads: Update obsolete comment.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is
an external intrinsic operation (e.g. a GCC numeric function) indicate
that the renaming entity has the same characteristics, so a call to it
is properly expanded.

From-SVN: r161003

double-int.h (double_int_to_shwi, [...]): Implement as static inline.

* double-int.h (double_int_to_shwi, double_int_to_uhwi,
double_int_fits_in_uhwi_p): Implement as static inline.
(double_int_xor): New inline function.
(double_int_lrotate, double_int_rrotate, double_int_max,
double_int_umax, double_int_smax, double_int_min, double_int_umin,
double_int_smin): Declare.
(lrotate_double, rrotate_double): Remove declaration.
* double-int.c (double_int_fits_in_uhwi_p, double_int_to_shwi,
double_int_to_uhwi, lrotate_double, rrotate_double): Remove function.
(double_int_lrotate, double_int_rrotate, double_int_max,
double_int_umax, double_int_smax, double_int_min, double_int_umin,
double_int_smin): New function.
* fold-const.c (int_const_binop): Clean up, use double_int_*
functions.
* simplify-rtx.c (simplify_const_binary_operation): Clean up, use
double_int_* and immed_double_int_const functions.

From-SVN: r161002

function.h (types_used_by_cur_var_decl): Change type to a VEC.

gcc/
* function.h (types_used_by_cur_var_decl): Change type to a VEC.
* function.c (types_used_by_cur_var_decl): Likewise.
(used_types_insert): Adjust for new type of
types_used_by_cur_var_decl.

gcc/c-family/
* c-common.c (record_types_used_by_current_var_decl): Adjust for
new type of types_used_by_cur_var_decl.

From-SVN: r161001

tree.h (record_layout_info): Change type of pending_statics field to a VEC.

* tree.h (record_layout_info): Change type of pending_statics field
to a VEC.
* stor-layout.c (start_record_layout): Store NULL into
pending_statics.
(debug_rli): Call debug_vec_tree instead of debug_tree.
(place_field): Likewise.
(finish_record_layout): Likewise.

From-SVN: r161000

[multiple changes]

2010-06-18  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization.

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* sprint.ads: Minor reformatting.
* output.ads: Update obsolete comment.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is
an external intrinsic operation (e.g. a GCC numeric function) indicate
that the renaming entity has the same characteristics, so a call to it
is properly expanded.

From-SVN: r160999

exp_cg.adb, [...]: Add initial support for dispatch table/callgraph info generation.

2010-06-18  Javier Miranda  <miranda@adacore.com>

* exp_cg.adb, exp_cg.ads, exp_disp.adb, gnat1drv.adb: Add initial
support for dispatch table/callgraph info generation.
* gcc-interface/Make-lang.in: Update dependencies.

From-SVN: r160997

exp_ch6.adb: Minor reformatting.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb: Minor reformatting.
* gnatname.adb: Add comment.

From-SVN: r160996

[multiple changes]

2010-06-18  Vincent Celier  <celier@adacore.com>

* gnatname.adb (Scan_Args): When --and is used, make sure that the
dynamic tables in the newly allocated Argument_Data are properly
initialized.

2010-06-18  Eric Botcazou  <ebotcazou@adacore.com>

* gnat1drv.adb: Fix comment.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Inlined_Call): If the inlined subprogram is a
renaming, re-expand the call with the renamed subprogram if that one
is marked inlined as well.

From-SVN: r160995

[multiple changes]

2010-06-18  Gary Dismukes  <dismukes@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Enable
Use_Expression_With_Actions for AAMP and VM targets.

2010-06-18  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Process_Linker): Recognize response file format GCC.

From-SVN: r160994

[multiple changes]

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Minor reformatting.

2010-06-18  Javier Miranda  <miranda@adacore.com>

* debug.ads Add documentation on -gnatd.Z.

From-SVN: r160993

[multiple changes]

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_elim.adb: Proper error message on improperly eliminated instances

2010-06-18  Vincent Celier  <celier@adacore.com>

* prj.ads (Response_File_Format): New value GCC.

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* gnat1drv.adb: Minor reformatting.

From-SVN: r160992

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

2010-06-18  Robert Dewar  <dewar@adacore.com>

* make.adb, sem_cat.adb: Minor reformatting.
* sem_eval.adb: Fix typos.

From-SVN: r160991

[multiple changes]

2010-06-18  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Fix source filenames casing in debug output.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* gnatcmd.adb: Minor reformatting.

From-SVN: r160989

[multiple changes]

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb (Eval_Conditional_Expression): Result is static if
condition and both sub-expressions are static (and result is selected
expression).

2010-06-18  Robert Dewar  <dewar@adacore.com>

* g-pehage.adb: Minor reformatting

2010-06-18  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb (Search_Directories): Insert canonical filenames into
source hash table.

From-SVN: r160988

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

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
dependencies. Fix target pairs on darwin.
(gnatlib-sjlj, gnatlib-zcx): Pass THREAD_KIND.

From-SVN: r160987

[multiple changes]

2010-06-18  Pascal Obry  <obry@adacore.com>

* make.adb, prj-nmsc.adb: Fix source filenames casing in debug output.

2010-06-18  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: For gnatcheck, add -gnatec= switch for a global
configuration pragmas file and, if -U is not used, for a local one.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_elim.adb (Check_Eliminated): Use full information on entity name
when it is given in the pragma by a selected component.
(Check_For_Eliminated_Subprogram): Do no emit error if within a
instance body that is itself within a generic unit.
* sem_ch12.adb (Analyze_Subprogram_Instance): If the subprogram is
eliminated, mark as well the anonymous subprogram that is its alias
and appears within the wrapper package.

From-SVN: r160986

g-pehage.ads, [...] (Produce): Clean up some of the code.

2010-06-18  Bob Duff  <duff@adacore.com>

* g-pehage.ads, g-pehage.adb (Produce): Clean up some of the code.
Raise an exception if the output file cannot be opened. Add comments.

From-SVN: r160985

sem_cat.adb (Validate_Object_Declaration): A variable declaration is not illegal per E.2.2(7) if...

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* sem_cat.adb (Validate_Object_Declaration): A variable declaration is
not illegal per E.2.2(7) if it occurs in the private part of a
Remote_Types unit.

From-SVN: r160984

Fix copyright notice.

From-SVN: r160983

par-labl.adb, [...]: Fix copyright notices.

* par-labl.adb, restrict.adb, s-osinte-hpux-dce.ads, sem_ch11.adb,
exp_pakd.adb, s-filofl.ads, par-endh.adb, exp_intr.adb, sem_cat.adb,
sem_case.adb, exp_ch11.adb: Fix copyright notices.

From-SVN: r160982

* g-spipat.adb, a-swunau.adb, a-swunau.ads, g-spitbo.adb,

a-szunau.adb, a-szunau.ads, a-stunau.adb, a-stunau.ads,
a-strunb.adb (Big_String. Big_String_Access): New type.

From-SVN: r160981

par-ch9.adb, [...]: Update comments.

* par-ch9.adb, sem_aggr.adb, sem_ch3.adb, layout.adb, sem_ch4.adb,
sem_ch5.adb, sem_mech.adb, exp_util.adb, par-ch10.adb, sem_ch6.adb,
par-ch11.adb, sem_ch7.adb, par-prag.adb, exp_disp.adb, par-ch12.adb,
sem_ch8.adb, style.adb, sem_ch9.adb, sem_ch10.adb, prep.adb,
sem_warn.adb, par-util.adb, scng.adb, sem_eval.adb, checks.adb,
sem_prag.adb, sem_ch12.adb, styleg.adb, sem_ch13.adb, par-ch3.adb,
par-tchk.adb, freeze.adb, sfn_scan.adb, par-ch4.adb, sem_util.adb,
sem_res.adb, par-ch5.adb, lib-xref.adb, sem_attr.adb, par-ch6.adb,
sem_disp.adb, prepcomp.adb, par-ch7.adb, sem_elab.adb, exp_ch4.adb,
errout.ads: Update comments. Minor reformatting.

From-SVN: r160979

linux64.h (SET_CMODEL): Don't expand to empty.

* config/rs6000/linux64.h (SET_CMODEL): Don't expand to empty.

From-SVN: r160978

[multiple changes]

2010-06-18  Geert Bosch  <bosch@adacore.com>

* i-forbla-darwin.adb: Include -lgnala and -lm in linker options for
Darwin.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set Use_Expression_With_Actions
true for gcc.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sprint.adb: Minor format change for N_Expression_With_Actions.
* repinfo.adb: Minor reformatting.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_elim.adb (Check_Eliminated): If within a subunit, use
Defining_Entity to obtain the name of the entity in the proper body, to
properly handle both separate packages and subprograms.

2010-06-18  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Check_File): New parameter Display_Path.

From-SVN: r160976

[multiple changes]

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb, g-socket.ads (Null_Selector): New object.

2010-06-18  Pascal Obry  <obry@adacore.com>

* gnat_ugn.texi: Minor clarification.

2010-06-18  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Find_Source_Dirs): Minor refactoring to avoid duplicate
code when using the project dir as the source dir.
(Search_Directories): use the normalized name for the source directory,
where symbolic names have potentially been resolved.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Conditional_Expression): Clear Actions field
when we create N_Expression_With_Actions node.
(Expand_Short_Circuit): Ditto.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* exp_util.adb: Minor reformatting.

From-SVN: r160975

[multiple changes]

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* types.ads: Clean up obsolete comments
* tbuild.adb: Minor reformatting.
* exp_ch5.adb, sem_intr.adb, sem_ch10.adb, rtsfind.adb, s-shasto.adb,
exp_strm.adb, aa_drive.adb: Minor reformatting.
* sem_res.adb (Is_Predefined_Operator): An operator that is an imported
intrinsic with an Interface_Name denotes an imported back-end builtin,
and must be rewritten into a call, not left in the tree as an operator,
so return False in that case.

2010-06-18  Eric Botcazou  <ebotcazou@adacore.com>

* exp_util.adb (Remove_Side_Effects): Make a copy for an allocator.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* scos.ads: Add proposed output for case expression

2010-06-18  Jose Ruiz  <ruiz@adacore.com>

* gnat_ugn.texi: Document that, when using the RTX compiler to generate
RTSS modules, we need to use the Microsoft linker.

From-SVN: r160974

checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (cannot count on a particular branch being executed).

2010-06-18  Robert Dewar  <dewar@adacore.com>

* checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case
expression (cannot count on a particular branch being executed).
* exp_ch4.adb (Expand_N_Case_Expression): New procedure.
* exp_ch4.ads (Expand_N_Case_Expression): New procedure.
* exp_util.adb (Insert_Actions): Deal with proper insertion of actions
within case expression.
* expander.adb (Expand): Add call to Expand_N_Case_Expression
* par-ch4.adb Add calls to P_Case_Expression at appropriate points
(P_Case_Expression): New procedure
(P_Case_Expression_Alternative): New procedure
* par.adb (P_Case_Expression): New procedure
* par_sco.adb (Process_Decisions): Add dummy place holder entry for
N_Case_Expression.
* sem.adb (Analyze): Add call to Analyze_Case_Expression
* sem_case.ads (Analyze_Choices): Also used for case expressions now,
this is a documentation change only.
* sem_ch4.ads, sem_ch4.adb (Analyze_Case_Expression): New procedure.
* sem_ch6.adb (Fully_Conformant_Expressions): Add handling of case
expressions.
* sem_eval.ads, sem_eval.adb (Eval_Case_Expression): New procedure.
* sem_res.adb (Resolve_Case_Expression): New procedure.
* sem_scil.adb (Find_SCIL_Node): Add processing for
N_Case_Expression_Alternative.
* sinfo.ads, sinfo.adb (N_Case_Expression): New node.
(N_Case_Expression_Alternative): New node.
* sprint.adb (Sprint_Node_Actual): Add processing for new nodes
N_Case_Expression and N_Case_Expression_Alternative.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* par-ch7.adb, sem_warn.adb, types.ads, par-ch3.adb: Minor reformatting.
* gnat1drv.adb: Fix typo.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* par-prag.adb (Prag, case Style_Checks): All_Checks sets gnat style
for -gnatg.
* sem_prag.adb (Analyze_Pragma, case Style_Checks): All_Checks sets
gnat style for -gnatg.
* gnat_rm.texi: Add documentation for ALL_CHECKS in GNAT mode.

From-SVN: r160971

[multiple changes]

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb (Test_In_Range): New subprogram, factoring duplicated
code between...
(Is_In_Range, Is_Out_Of_Range): Reimplement in terms of call to
Test_In_Range.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sprint.adb: Minor change in output format for expression wi actions.
* par-ch3.adb: Minor code reorganization.  Minor reformatting.
* sem_ch5.adb: Minor comment fix.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* debug.adb: New debug flag -gnatd.L to control
Back_End_Handles_Limited_Types.
* exp_ch4.adb (Expand_N_Conditional_Expression): Let back end handle
limited case if Back_End_Handles_Limited_Types is True.
(Expand_N_Conditional_Expression): Use N_Expression_With_Actions to
simplify expansion if Use_Expression_With_Actions is True.
* gnat1drv.adb (Adjust_Global_Switches): Set
Back_End_Handles_Limited_Types.
* opt.ads (Back_End_Handles_Limited_Types): New flag.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Rewrite_Operator_As_Call): Do not rewrite user-defined
intrinsic operator if expansion is not enabled, because in an
instantiation the original operator must be present to verify the
legality of the operation.

From-SVN: r160969

* gnat.dg/class_wide2.adb: Remove bogus message, no longer generated.

From-SVN: r160968