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

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

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.

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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.

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

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

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

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.

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

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.

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

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

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

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

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.

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

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

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

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.

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

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.

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

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.

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

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

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

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

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.

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

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.

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

Daily bump.

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

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

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

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.

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

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

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

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.

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

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

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

Daily bump.

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

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.

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

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.

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

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.

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

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

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

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

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

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

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

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

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.

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

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

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

Daily bump.

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

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.

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

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.

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

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.

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

Remove unused local variables.

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

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

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

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

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

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

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.

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

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.

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

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

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

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.

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

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

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

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.

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

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.

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

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

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

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

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.

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

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.

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

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.

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

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.

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

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

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

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

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.

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

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.

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

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

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

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.

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

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.

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

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.

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

Fix copyright notice.

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

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

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

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

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

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

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

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

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

* exp_disp.adb, sem_ch12.adb: Minor reformatting

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

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

* exp_util.adb (Make_Subtype_From_Expr): If the unconstrained type is
the class-wide type for a private extension, and the completion is a
subtype, set the type of the class-wide type to the base type of the
full view.

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

* g-socket.ads, sem_aggr.adb, einfo.ads, sem_elim.adb,
sem_intr.adb, sem_eval.adb: Minor reformatting

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

* sem_type.adb (Is_Ancestor): If either type is private, examine full
view.

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

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

* g-socket.adb, g-socket.ads (Check_Selector): Make Selector an IN
parameter rather than IN OUT.

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

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

* exp_ch6.adb: Add extra guard.

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

* sem_util.adb (Object_Access_Level): For Ada 2005, determine the
accessibility level of a function call from the level of the innermost
enclosing dynamic scope.
(Innermost_Master_Scope_Depth): New function to find the depth of the
nearest dynamic scope enclosing a node.

2010-06-18  Tristan Gingold  <gingold@adacore.com>

* adaint.c: Make ATTR_UNSET static as it is not used outside this file.

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

* g-socket.ads: Minor reformatting.

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

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

* make.adb (Must_Compile): New Boolean global variable
(Main_On_Command_Line): New Boolean global variable
(Collect_Arguments_And_Compile): Do compile if Must_Compile is True,
even when the project is externally built.
(Start_Compile_If_Possible): Compile in -aL directories if
Check_Readonly_Files is True. Do compile if Must_Compile is True, even
when the project is externally built.
(Gnatmake): Set Must_Compile and Check_Readonly_Files to True when
invoked with -f -u and one or several mains on the command line.
(Scan_Make_Arg): Set Main_On_Command_Line to True when at least one main
is specified on the command line.

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

* sem_ch6.adb (Build_Body_For_Inline): Handle extended_return_statements
* exp_ch6.adb (Expand_Inlined_Call): when possible, inline a body
containing extented_return statements.
* exp_util.adb (Make_CW_Equivalent_Type): If the root type is already
constrained, do not build subtype declaration.

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

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

* sem_res.adb (Analyze_Indexed_Component, Analyze_Selected_Component):
Warn on assigning to packed atomic component.

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

* sem_util.ads: Minor reformatting
* einfo.ads, einfo.adb: Minor doc clarification (scope of decls in
Expression_With_Actions).
* snames.ads-tmpl: Minor comment fix

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

* sem_prag.adb (Diagnose_Multiple_Pragmas): New procedure
(Set_Imported): Use Import_Interface_Present to control message output
* sinfo.ads, sinfo.adb (Import_Interface_Present): New flag
* gnat_rm.texi: Document that we can have pragma Import and pragma
Interface for the same subprogram.

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

* lib-xref.adb (Generate_Reference): Fix bad reference to
Has_Pragma_Unreferenced (clients should always use Has_Unreferenced).

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

PR target/43740
config/pa/pa.c (emit_move_sequence): Don't infer REG_POINTER flag for
SET source operand from SET destination operand.

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

Daily bump.

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

* gcc-interface/trans.c (set_gnu_expr_location_from_node): New static
function.
(gnat_to_gnu) <N_Expression_With_Actions>: New case.
Use set_gnu_expr_location_from_node to set location information on the
result.

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

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

PR fortran/44558
* resolve.c (resolve_typebound_function,resolve_typebound_subroutine):
Return directly in case of an error.

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

PR fortran/44558
* gfortran.dg/typebound_call_15.f03: New.

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

PR rtl-optimization/39871
* reload1.c (init_eliminable_invariants): For flag_pic, disable
equivalences only for constants that aren't LEGITIMATE_PIC_OPERAND_P.
(function_invariant_p): Rule out a plus of frame or arg pointer with
a SYMBOL_REF.
* ira.c (find_reg_equiv_invariant_const): Likewise.

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

* config/rs6000/rs6000.c (print_operand) <'K'>: Also use
print_operand_address and puts to output the operand for CONST.

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

PR debug/44572
* dwarf2out.c (dwarf2out_debug_hooks): Add entry for begin_epilogue
hook.

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

* v850-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* v850.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* v850.c (print_operand_address): Rename to...
(v850_print_operand_address): ...this.  Make static. Call
v850_print_operand.
(print_operand): Rename to...
(v850_print_operand): ...this.  Make static.  Call
v850_print_operand_address.
(v850_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define.
(TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.

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

* config/sh/sh-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/sh/sh.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/sh/sh.c (sh_print_operand_address): Make static.
(sh_print_operand): Make static.  Call sh_print_operand_address
and sh_print_operand.
(sh_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define.
(TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.

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

* config/mcore/mcore-protos.h (mcore_print_operand): Delete.
(mcore_print_operand_address): Delete.
* config/mcore/mcore.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/mcore/mcore.c (mcore_print_operand_address): Make static.
(mcore_print_operand): Make static.
(mcore_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define
(TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.

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

* config/m68hc11/m68hc11-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/m68hc11/m68hc11.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/m68hc11/m68hc11.c (m68hc11_print_operand_address): Make
static.
(m68hc11_print_operand): Make static.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define.

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

* config/m32r/m32r-protos.h (m32r_print_operand): Delete.
(m32r_print_operand_address): Delete.
* config/m32r/m32r.h (m32r_punct_chars): Delete.
(PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/m32r/m32r.c (m32r_punct_chars): Make static.
(m32r_print_operand_address): Make static.
(m32r_print_operand): Make static.
(m32r_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.

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

* config/iq2000/iq2000-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/iq2000/iq2000.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
(iq2000_print_operand_punct): Delete.
* config/iq2000/iq2000.c (iq2000_print_operand_punct): Make static.
(iq2000_print_operand_address): Make static.
(iq2000_print_operand): Make static.
(iq2000_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.

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