* gcc.dg/c99-stdint-1.c: Fix cut-and-paste mistakes in test.
* gcc.dg/c99-stdint-7.c, gcc.dg/c99-stdint-8.c: New tests.

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

* zh_CN.po: Update.

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

* configure.ac: Bump minimum GMP/MPFR versions to 4.2 and 2.3.1.
* configure: Regenerate.

gcc:
* doc/install.texi: Update minimum GMP version.  Remove obsolete
text in MPFR section.

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

PR middle-end/39573
* omp-low.c (expand_omp_taskreg): Finalize taskreg static local_decls
variables.

* libgomp.c++/pr39573.C: New test.

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

* trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
contain TYPE_STRING_FLAG types.

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

* dwarf2out.c (class_scope_p): New static inline.
(class_or_namespace_scope_p): Use it.
(gen_variable_die): Use DW_TAG_member tag for static data member
declarations instead of DW_TAG_variable.

* g++.dg/debug/dwarf2/static-data-member1.C: New test.

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

2009-04-08  Richard Guenther  <rguenther@suse.de>

* tree-ssa-sccvn.c (valueize_refs): Do not continue to
valueize random data.

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

2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/39670
* invoke.texi (fdollar-ok): Fix typo.

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

2009-04-08  Robert Dewar  <dewar@adacore.com>

* checks.adb (Enable_Overflow_Check): Do not enable if overflow checks
suppressed.

* exp_ch4.adb (Expand_Concatenate): Make sure checks are off for all
resolution steps.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb (Analyze_Package_Instantiation): Remove test for
No_Local_Allocators restriction preventing local instantiation.

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb: Minor comment fix

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb, g-socket.ads (GNAT.Sockets.Sockets_Library_Controller):
New limited controlled type used to automate the initialization and
finalization of the sockets implementation.
(GNAT.Sockets.Initialize, Finalize): Make these no-ops

2009-04-08  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New read-only project-level attribute Project_Dir

* prj-proc.adb (Add_Attributes): New parameter Project_Dir, value of
read-only attribute of the same name.
(Process_Declarative_Items): Call Add_Attributes with Project_Dir
(Recursive_Process): Ditto

* snames.adb: Add new standard name Project_Dir

* snames.ads: Add new standard name Project_Dir

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

2009-04-08  Daniel Franke  <franke.daniel@gmail.com>

       PR fortran/39670
       * invoke.texi (fdollar-ok): Clarify limitations.

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

2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>

        * io/open.c (already_open): Test for POSIX close return value.
        * io/unit.c (close_unit_1): Likewise.
        * io/unix.c (raw_close): Return 0 for success for preconnected units.

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

    * config.gcc (aix tm_file):  Add aix-stdint.h.
        (aix tm clause use_gcc_stdint):  Set to wrap.
        * config/rs6000/aix-stdint.h:  New file.

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

2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>

        * runtime/string.c (compare0): Use gfc_charlen_type.
        * runtime/error.c (gfc_itoa): Move to io/write.c
        (xtoa): Rename to gfc_xtoa.
        * runtime/backtrace.c (show_backtrace): Call gfc_xtoa.
        * intrinsics/cshift0.c (cshift0): Use index_type for shift arg.
        * intrinsics/date_and_time.c (date_and_time): Use index_type.
        (itime_i4): Likewise.
        (itime_i8): Likewise.
        (idate_i4): Likewise.
        (idate_i8): Likewise.
        (gmtime_i4): Likewise.
        (gmtime_i8): Likewise.
        (ltime_i4): Likewise.
        (ltime_i8): Likewise.
        * libgfortran.h (gfc_itoa): Remove prototype.
        (xtoa): Rename prototype to gfc_xtoa.
        * io/list_read.c (nml_read_obj): Use size_t for string length.
        * io/transfer.c (read_block_direct): Change nbytes arg from
        pointer to value.
        (unformatted_read): Minor cleanup, call read_block_directly properly.
        (skip_record): Use ssize_t.
        (next_record_w_unf): Avoid stell() call by calling sseek with SEEK_CUR.
        (iolength_transfer): Make sure to multiply before cast.
        * io/intrinsics.c (fgetc): Remove unnecessary variable.
        * io/format.c (format_hash): Use gfc_charlen_type.
        * io/write.c (itoa): Move from runtime/error.c:gfc_itoa, rename,
        make static.
        (write_i): Call with pointer to itoa.
        (write_z): Call with pointer to gfc_xtoa.
        (write_integer): Pointer to itoa.
        (nml_write_obj): Type cleanup, don't call strlen in loop.

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

2009-04-08  Richard Guenther  <rguenther@suse.de>

PR middle-end/36291
* tree-dfa.c (add_referenced_var): Do not recurse into
global initializers.
* tree-ssa-ccp.c (get_symbol_constant_value): Add newly
exposed variables.
(fold_const_aggregate_ref): Likewise.

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

PR c++/25185
* error.c (dump_aggr_type): Chase template typedefs if
-fno-pretty-templates.

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

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* checks.adb: Minor reformatting

2009-04-08  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add documentation for new style keyword
OVERRIDING_INDICATORS

2009-04-08  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
spec is in the current unit.

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

2009-04-08  Paolo Bonzini  <bonzini@gnu.org>

        * recog.c (ordered_comparison_operator): New.
        * gensupport.c (std_preds): Add it.
* doc/md.texi (Machine-Independent Predicates): Document it.

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

* tree-eh.c (cleanup_eh): When not optimizing, do not try EH merging.
* function.h (rtl_eh): Remove exception_handler_label_map.
* except.c (ehl_hash, ehl_eq, add_ehl_entry,
remove_exception_handler_label, for_each_eh_label_1): Remove.
(rtl_remove_unreachable_regions): Remove.
(convert_from_eh_region_ranges): Do not remove unreachable regions.
(find_exception_handler_labels): Don't build the hashtable.
(maybe_remove_eh_handler): Remove.
(for_each_eh_label): Rewrite to walk the tree.
(rest_of_handle_eh): Do not cleanup cfg prior EH construction.
* except.h (maybe_remove_eh_handler): Remove.
* passes.c (init_optimization_passes): Schedule second EH cleanup
before out-of-ssa.
* cfgrtl.c (rtl_delete_block, rtl_merge_blocks,
cfg_layout_merge_blocks): Do not call maybe_remove_eh_handler.

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

2009-04-08  Paolo Bonzini  <bonzini@gnu.org>

* genoutput.c (validate_optab_operands): New.
(gen_insn, gen_expand): Call it.

* genflags.c (gen_insn): Detect misused iterators.
(main): Pass line_no to gen_insn, exit with status 1 on error.

* genextract.c (line_no): Make global.
(VEC_safe_set_locstr): Change assertion to error message.
(main): Exit with status 1 on error.

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

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_Protected_Self_Reference): Add guard to check for
presence of entity.

* usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators

2009-04-08  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS)

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* checks.ads: Minor reformatting

2009-04-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Update documentation of pragma Obsolescent

* sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to
be omitted, and allow Entity parameter to be omitted.

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

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* exp_util.adb: Minor comment fix

2009-04-08  Robert Dewar  <dewar@adacore.com>

* g-socket.ads: Fix bad syntax in pragma Obsolescent

* par-ch2.adb (Scan_Pragma_Argument_Association): Check for error of
argument with no identifier following one that has an identifier. Was
missed in some cases.

* sem_prag.adb (Analyze_Pragma, case Check_Policy): Allow Policy
identifier.
(Analyze_Pragma, case Obsolescent): Allow Message, Version identifiers

* snames.adb: Add Name_Policy

* snames.ads: Add Name_Policy

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

2009-04-08  Vincent Celier  <celier@adacore.com>

* snames.adb, snames.ads: Add new standard names IDE and
Compiler_Command.

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Safe_Unchecked_Type_Conversion): Conversion is safe,
i.e. does not need a temporary to capture the value, if expression is
an acceess type, even if target type is a record whose size may not
have been determined yet.

* exp_disp.adb (Expand_Dispatching_Call): Set size info for generated
access_to_subprogram type, to avoid order-of-elaboration anomalies in
gigi.

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

2009-04-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Minor reformatting

* par-ch2.adb: Minor reformatting

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

2009-04-08  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb, sem_attr.adb, sem_util.adb: Code clean up.

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

2009-04-08  Robert Dewar  <dewar@adacore.com>

* sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate
properly in the presence of Remote_Types or Remote_Call_Interface.

* sem_util.adb: Add comment.

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

PR c/39614
PR c/39673
* c-common.h (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
EXPR_INT_CONST_OPERANDS): Remove duplicate definitions.
* c-convert.c (convert): Do not call fold on results of conversion
functions when the result is a C_MAYBE_CONST_EXPR.
* c-parser.c (c_parser_postfix_expression): Do not fold condition
of __builtin_choose_expr.
* c-typeck.c (remove_c_maybe_const_expr): New.
(build_unary_op, build_conditional_expr, build_compound_expr,
build_binary_op, c_objc_common_truthvalue_conversion): Call
remove_c_maybe_const_expr on any input C_MAYBE_CONST_EXPR with
integer operands.

testsuite:
* gcc.c-torture/compile/pr39614-1.c,
gcc.c-torture/compile/pr39614-2.c,
gcc.c-torture/compile/pr39614-3.c,
gcc.c-torture/compile/pr39614-4.c,
gcc.c-torture/compile/pr39614-5.c,
gcc.c-torture/compile/pr39673-1.c,
gcc.c-torture/compile/pr39673-2.c: New tests.
* gcc.dg/gnu89-const-expr-2.c, gcc.dg/gnu99-const-expr-2.c: Test
more cases.
* gcc.dg/overflow-warn-1.c, gcc.dg/overflow-warn-2.c,
gcc.dg/overflow-warn-3.c, gcc.dg/overflow-warn-4.c: Update
expected errors.

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

2009-04-08  Robert Dewar  <dewar@adacore.com>

* ug_words: Add /ASSUME_VALID for -gnatB

* vms_data.ads: Add /ASSUME_VALID for -gnatB

* sem_cat.adb: Add clarifying commment

* a-direio.ads (Bytes): Make sure value is non-zero

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_Variable): If the prefix is an explicit dereference
that does not come from source, check for a rewritten function call in
prefixed notation before other forms of rewriting.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* Makefile.rtl: Remove s-strops and s-sopco? from the run time, since
these are now obsolescent units used only for bootrapping with an
older compiler.

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

2009-04-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation for pragma Thread_Local_Storage

* sem_ch3.adb: Minor comment updates

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* inline.adb (Back_End_Cannot_Inline): restrict warning to subprograms
that come from source.

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

2009-04-08 Bingfeng Mei <bmei@broadcom.com>

* fold-const.c (const_binop): Combine two VECTOR_CST under operation
        CODE to produce a new one. Add a prototype to use fold_convert_const

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

2009-04-08  Tristan Gingold  <gingold@adacore.com>

* gcc-interface/utils.c, gcc-interface/decl.c, gcc-interface/gigi.h:
Add support for pragma Thread_Local_Storage

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

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* inline.adb (Back_End_Cannot_Inline): Do not mark a body as inlineable
by the back-end if it contains a call to a subprogram without a
previous spec that is declared in the same unit.

* errout.ads: Update comments on uses of dirs

2009-04-08  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Make sure nodes are properly typed

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

2009-04-08  Tristan Gingold  <gingold@adacore.com>

* sem_prag.adb: Restrict pragma Thread_Local_Storage to library level
variables.
Set Has_Gigi_Rep_Item flag to TLS variables (to ease gigi work).

2009-04-08  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb:
(Add_Source): Add the mapping of the unit name to source file name in
the Unit_Sources_HT hash table, if the unit name is not null.

* prj.adb (Reset): Reset hash table Tree.Unit_Sources_HT

* prj.ads (Unit_Sources_Htable): New hash table instantiation
(Project_Tree_Data): New component Unit_Sources_HT

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

2009-04-07  Arnaud Patard <apatard@mandriva.com>

       * libiberty/configure.ac: Fix Linux/MIPS matching rule.
       * libiberty/configure: Regenerate.

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

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* sem_ch8.adb: Minor reformatting.
Minor code reorganization.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* snames.h, einfo.adb, einfo.ads, sem_prag.adb, snames.adb,
snames.ads, freeze.adb, par-prag.adb: Add implementation of
pragma Thread_Local_Storage, setting new flag
Has_Pragma_Thread_Local_Storage in corresponding entities.

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

2009-04-08  Emmanuel Briot  <briot@adacore.com>

* prj.ads: Update comment on switches file

* prj-nmsc.adb: Code clean up. Use renaming clauses.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Further fixes to bounds handling

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* ali-util.adb: Minor comment fix

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Analyze_Use_Type): Improve error message when clause
appears in a context clause, and the enclosing package is mentioned in
a limited_with_clause.
(Use_One_Type): Reject clause if type is still incomplete.

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

2009-04-08  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Check_File, Process_Sources_In_Multi_Language_Mode):
avoid copies of Source_Data variables when possible, since these
involve calls to memcpy() which are done too many times.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Clean up code

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

    (Image): New procedure.

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

gcc/cp/ChangeLog:
2009-04-08  Dodji Seketeli  <dodji@redhat.com>
    PR c++/39637
    * parser.c (cp_parser_enumerator_definition): Make sure the
    initializer of the enumerator doesn't contain any bare parameter pack.

gcc/testsuite/ChangeLog
2009-04-08  Dodji Seketeli  <dodji@redhat.com>
    PR c++/39637
    * g++.dg/cpp0x/variadic-crash2.C: New test.

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

2009-04-08  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/38863
* trans-array.c (gfc_trans_deferred_array): Return if this
is a result variable.

2009-04-08  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/38863
* gfortran.dg/alloc_comp_result_1.f90: New test.

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

PR bootstrap/39660
* config/i386/host-mingw32.c (mingw32_gt_pch_use_address): Don't
mix declarations and code.

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

PR c++/34691
* name-lookup.c (merge_functions): Keep multiple extern "C" functions.
* call.c (joust): Complain about mismatched default arguments
in extern "C" functions.
* class.c (resolve_address_of_overloaded_function): Handle multiple
extern "C" functions.
* pt.c (resolve_overloaded_unification): Likewise.

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

* gcc.c: Replace `CC' with `GCC' throughout.

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

* update_web_docs_svn: Run this script under plain /bin/sh
as opposed to /bin/sh -x.

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

Daily bump.

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

2009-04-07  Dominique d'Humieres  <dominiq@lps.ens.fr>

PR testsuite/39325
* gcc.misc-tests/linkage.exp: Use -m64 for 64-bit *86*-darwin.

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

2009-04-07  H.J. Lu  <hongjiu.lu@intel.com>

* doc/invoke.texi: Document Atom support.

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

PR c++/25185
* c-common.h, c-common.c: Add flag_pretty_templates.
* c-opts.c (c_common_handle_option): Set it.
* c.opt: Add -fno-pretty-templates.
* doc/invoke.texi (C++ Dialect Options): Likewise.

* error.c (dump_function_decl): Don't pretty-print templates
if -fno-pretty-templates.
(count_non_default_template_args): Print all args if
-fno-pretty-templates.

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

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Add missing conversion to index
type for the case of concatenating a constrained array indexed by an
enumeration type.

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Check_Conformance): when checking conformance of an
operation that overrides an abstract operation inherited from an
interface, return False if only one of the controlling formals is an
access parameter.

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Analyze_Object_Renaming): additional error messages
mandated by AI05-105.

2009-04-07  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Get_Mains): Warn if a main is an empty string

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* usage.adb: Minor fix in usage message.

* sem_ch10.adb (Remove_Homonyms): Fix subtype of formal in body to
match declaration; the correct subtype is Node_Id, not Entity_Id,
because the expected node kind is an identifier, not a defining
identifier.

* switch-c.adb: Minor reformatting.

* uintp.adb: Minor reformatting.

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_ch13.adb: Minor reformatting

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Check_Infinite_Loop_Warning.Test_Ref): Add defence
against missing parent.

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* xoscons.adb: Minor reformatting

2009-04-07  Robert Dewar  <dewar@adacore.com>

* rtsfind.ads: Remove obsolete string concatenation entries

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Redo handling of bounds

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Check_Body_Required): Handle properly imported
subprograms.

2009-04-07  Gary Dismukes  <dismukes@adacore.com>

* exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
Attribute_Address): When Init_Or_Norm_Scalars is True and the object
is of a scalar or string type then suppress the setting of the
expression to Empty.

* freeze.adb (Warn_Overlay): Also emit the warnings about default
initialization for the cases of scalar and string objects when
Init_Or_Norm_Scalars is True.

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

2009-04-07  Janus Weil  <janus@gcc.gnu.org>

PR fortran/38152
* trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
procedure pointer decls.

2009-04-07  Janus Weil  <janus@gcc.gnu.org>

PR fortran/38152
* gfortran.dg/proc_ptr_13.f90: Add "-g" option.

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

2009-04-07  Bob Duff  <duff@adacore.com>

* s-secsta.ads, g-pehage.ads, s-fileio.ads: Minor comment fixes

2009-04-07  Bob Duff  <duff@adacore.com>

* gnat_rm.texi, s-fileio.adb (System.File_IO.Open): New feature: A
Form parameter of Text_Translation=No allows binary mode for Text_IO
files.

* gnat_rm.texi: Document Form parameter Text_Translation=xxx.

2009-04-07  Javier Miranda  <miranda@adacore.com>

* exp_ch5.adb (Expand_Assign_Array): Add implicit conversion when
processing the bounds for bit packed arrays or VM target machines.

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

2009-04-07  Uros Bizjak  <ubizjak@gmail.com>

* config/ia64/ia64.c (ia64_builtins): Add IA64_BUILTIN_HUGE_VALQ.
(ia64_init_builtins): Handle IA64_BUILTIN_HUGE_VALQ.
(ia64_expand_builtin): Likewise.

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

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* g-sothco.ads (Int_Access): Remove extraneous access type (use
anonymous access instead).
(Get_Socket_From_Set): Fix incorrectly reverted formals
Last and Socket to match the underlying C routine.

* g-socket.adb
(Get): Use named parameter associations instead of positional ones in
call go Get_Socket_From_Set, since this routine has two formals of the
same type.

* g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads:
(C_Ioctl, Syscall_Ioctl): use "access C.int" instead of "Int_Access"
for type of Arg formal.

* sem_warn.adb: Minor reformatting

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Has_Tagged_Component): Fix typo in loop that iterates
over record components.

2009-04-07  Nicolas Roche  <roche@adacore.com>

* gsocket.h:
Don't include resolvLib.h on VxWorks 6 (kernel and rtp). This library
has disappeared between VxWorks 6.4 and VxWorks 6.5
In RTP mode use time.h instead of times.h

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Op_Concat): Improve lower bound handling

2009-04-07  Kevin Pouget  <pouget@adacore.com>

* exp_dist.adb: Modify Build_From_Any_Fonction procedure to correct
expanded code for constrained types.

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_Overloaded_Selected_Component): implement
AI05-105: in an object renaming declaration, anonymousness is a name
resolution rule.

sem_ch8.adb (Analyze_Object_Renaming): Ditto.

2009-04-07  Arnaud Charlet  <charlet@adacore.com>

* g-comlin.adb (Expansion): Fix old regression: also return directory
names when matching.

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb:
(Expand_N_Op_Concat): Call Expand_Concatenate for all cases
(Expand_Concatenate): New name for Expand_Concatenate_String which has
been rewritten to handle all types.
(Expand_Concatenate_Other): Remove

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* lib-xref.adb (Generate_Reference): A default subprogram in an
instance appears within the tree for the instance, but generates an
implicit reference in the ALI.

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

2009-04-07  Martin Jambor  <mjambor@suse.cz>

* tree-ssa-alias.c (refs_may_alias_p_1): Check for
is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
ADDR_EXPRS are include too.

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

2009-04-07  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): When processing a tagged
derived type that has discriminants, propagate the list of interfaces
to the corresponding new base type. In addition, propagate also
attribute Limited_Present (found working in this patch).

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Rewrite concatenation expansion.

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

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Restore_Scope_Stack): First_Private_Entity is only
relevant to packages.

2009-04-07  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb: Minor reformatting

* sem_ch6.adb: Minor reformatting

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

2009-04-07  Tristan Gingold  <gingold@adacore.com>

* socket.c: Add more protections against S_resolvLib_ macros.

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* sem_attr.adb: Minor reformatting

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (New_Overloaded_Entity): New predicate
Is_Overriding_Alias to handle properly types that inherit two homonym
operations that have distinct dispatch table entries.

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

2009-04-07  Emmanuel Briot  <briot@adacore.com>

* s-regexp.adb (Create_Mapping): Ignore excaped open parenthesis when
looking for the end of a parenthesis group

2009-04-07  Tristan Gingold  <gingold@adacore.com>

* gsocket.h Don't #include resolvLib.h if __RTP__ is defined.

* socket.c Don't use resolvLib_ macros if not defined.

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

* g-socket.adb: Minor reformatting.

* g-socthi-mingw.adb: Minor reformatting

* g-sothco.ads: Minor reformatting

* exp_ch4.adb:
(Expand_Concatenate_String): Complete rewrite to generate efficient code
inline instead of relying on external library routines.

* s-strops.ads, s-sopco5.ads, s-sopco5.adb, s-sopco4.ads, s-sopco4.adb,
s-sopco3.ads, s-sopco3.adb, s-strops.adb: Note that this unit is now
obsolescent

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb:
(Eval_Attribute): for attributes of array objects that are not strings,
attributes are not static if nominal subtype of object is unconstrained.

2009-04-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (New_Overloaded_Entity): If two implicit homonym
operations for a type T in an instance do not override each other,
when T is derived from a formal private type, the corresponding
operations inherited by a type derived from T outside
of the instance do not override each other either.

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

(Osint.Fail): Change calling sequence to have one string arg
(Make.Make_Failed): Same change
All callers are adjusted to use concatenation

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Fix documentation typo

2009-04-07  Robert Dewar  <dewar@adacore.com>

* tbuild.ads: Minor reformatting

2009-04-07  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Make_DT): Avoid the generation of the OSD_Table
when compiling under ZFP runtime.

2009-04-07  Robert Dewar  <dewar@adacore.com>

* g-comlin.adb: Minor reformatting

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
g-socthi.adb, g-socthi.ads, g-socket.adb, g-socket.ads, g-sothco.ads:
Remove dynamic allocation of Fd_Set in Socket_Set_Type objects.

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document -gnatDnn/-gnatGnn

* opt.ads (Sprint_Line_Limit): New parameter

* sprint.adb: Usa Sprint_Line_Limit instead of Line_Limit throughout

* switch-c.adb: Recognize -gnatDnnn and -gnatGnnn switches

* usage.adb: Output information for -gnatGnn -gnatDnn

* make.adb: Minor reformatting

* mlib-tgt-specific-vms-alpha.adb: Minor reformatting

* mlib-tgt-specific-vms-ia64.adb: Minor reformatting

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

2009-04-07  Richard Guenther  <rguenther@suse.de>

* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased
decls are only used if passes as parameters or if they are
local statics and the call is not to a builtin.
(call_may_clobber_ref_p_1): Likewise.

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

* checks.adb:
Remove Assume_Valid parameter from In_Subrange_Of calls

* sem_eval.adb:
(Is_Subrange_Of): Remove Assume_Valid parameter, not needed
(Is_In_Range): Remove incorrect use of Assume_Valid
(Is_Out_Of_Range): Remove incorrect use of Assume_Valid

* sem_eval.ads:
(Is_Subrange_Of): Remove Assume_Valid parameter, not needed
(Is_In_Range): Documentation cleanup
(Is_Out_Of_Range): Documentation cleanup

* gnat_rm.texi:
Add documentation for Assume_No_Invalid_Values pragma

* sem_ch12.adb: Minor reformatting

* sem_ch6.adb: (Check_Conformance): Avoid cascaded errors

* sem_prag.adb: Improve error message.

* gnatchop.adb, osint.ads, sinput.adb, sinput.ads, styleg.adb:
LF/CR no longer recognized as line terminator

* switch.ads: Minor documentation improvement

* vms_data.ads: Minor reformatting

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

Update baseline.

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

(correct version)

2009-04-06  Laurent GUERBY  <laurent@guerby.net>

        * Makefile.in (ADA_RTS_DIR): Define.
        * Makefile.in (gnatlib-*): Link adainclude and adalib to it.

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

2009-04-07  Robert Dewar  <dewar@adacore.com>

* checks.adb (Determine_Range): Add Assume_Valid parameter

* checks.ads (Determine_Range): Add Assume_Valid parameter

* errout.adb (Error_Msg_NEL): Use Suppress_Loop_Warnings rather than
 Is_Null_Loop to suppress warnings in a loop body.

* exp_ch4.adb:
(Rewrite_Comparison): Major rewrite to accomodate invalid values

* exp_ch5.adb:
(Expand_N_Loop_Statement): Delete loop known not to execute

* opt.ads:
(Assume_No_Invalid_Values): Now set to False, and as documented, this
 fully enables the proper handling of invalid values.

* sem_attr.adb:
New calling sequence for Is_In_Range

* sem_ch5.adb:
(Analyze_Iteration_Scheme): Accomodate possible invalid values
 in determining if a loop range is null.

* sem_eval.adb:
(Is_In_Range): Add Assume_Valid parameter
(Is_Out_Of_Range): Add Assume_Valid_Parameter
(Compile_Time_Compare): Major rewrite to accomodate invalid values and
 also to do more accurate and complete range analysis, catching more
 cases.

* sem_eval.ads:
(Is_In_Range): Add Assume_Valid parameter
(Is_Out_Of_Range): Add Assume_Valid_Parameter

* sem_util.adb:
New calling sequence for Is_In_Range

* sinfo.adb:
(Suppress_Loop_Warnings): New flag

* sinfo.ads:
(Is_Null_Loop): Update documentation
(Suppress_Loop_Warnings): New flag

* gnat_ugn.texi: Document -gnatB switch

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

    * gnatvsn.ads: Bump version number.

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

2009-04-07  Thomas Quinot  <quinot@adacore.com>

* exp_ch3.adb: Minor rewording (comments)

2009-04-07  Robert Dewar  <dewar@adacore.com>

* exp_disp.adb: Minor reformatting

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

2009-04-07  Paolo Bonzini  <bonzini@gnu.org>

* expr.c (do_store_flag): Remove last argument.  Simplify code
to avoid duplication of tests already done by can_compare_p.
(expand_expr_real_1): Adjust caller.

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

2009-04-07  Paolo Bonzini  <bonzini@gnu.org>

        * optabs.c (can_compare_p): Test the predicate of a
        cbranch and cstore pattern.

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

2009-04-07  Paolo Bonzini  <bonzini@gnu.org>

        * expr.c (convert_move): Use emit_store_flag instead of
        "emulating" it.

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

2009-04-07  Paolo Bonzini  <bonzini@gnu.org>

        * config/i386/i386.c (ix86_compare_emitted): Remove.
        (ix86_expand_compare, ix86_expand_branch): Handle MODE_CC
        ix86_compare_op0 like ix86_compare_emitted used to be handled.
        * config/i386/i386.h (ix86_compare_emitted): Remove.
        * config/i386/i386.md (stack_protect_test): Set ix86_compare_op0
        instead of ix86_compare_emitted.
        * config/i386/sync.md (sync_compare_and_swap_cc): Likewise.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Test the
underlying type.
* gcc-interface/trans.c (lvalue_required_p): Likewise.

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

2009-04-07  Eric Botcazou  <ebotcazou@adacore.com>

* gcc-interface/trans.c (Attribute_to_gnu) <Max_Size_In_Storage_Elmts>:
Do not convert the result.  Remove obsolete comment.

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

* gcc-interface/trans.c (establish_gnat_vms_condition_handler): Clear
DECL_CONTEXT.
(Subprogram_Body_to_gnu): Fix pasto.

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

* gcc-interface/gigi.h (standard_datatypes): Remove ADT_void_type_decl.
(void_type_decl_node): Remove.
(init_gigi_decls): Likewise.
(gnat_install_builtins): Declare.
(record_builtin_type): Likewise.
(create_type_stub_decl): Likewise.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Void>: Use void_type.
(gnat_to_gnu_entity) <E_Array_Type>: Make fat and thin pointer types
artificial.
<E_Array_Subtype>: Use the index types, not only their name, in the
record giving the names of the bounds, if any.
For a packed array type, make it artificial only if the base type
was artificial as well.  Remove redundant statement.
(gnat_to_gnu_entity) <E_Incomplete_Type>: Do not create TYPE_DECL for
dummy types.
Use create_type_stub_decl to build the TYPE_STUB_DECL of types.
(rest_of_type_decl_compilation_no_defer): Likewise.
* gcc-interface/misc.c (gnat_printable_name): Add missing guard.
* gcc-interface/utils.c (make_dummy_type): Always create TYPE_STUB_DECL
and use create_type_stub_decl to build it.
(gnat_pushdecl): Rewrite condition.
(gnat_install_builtins): Remove bogus declaration.
(record_builtin_type): New function.
(finish_record_type): Use create_type_stub_decl to build TYPE_STUB_DECL
of types.
(create_type_stub_decl): New function.
(create_type_decl): Assert that the type is not dummy.  If the type
hasn't been named yet, equate the TYPE_STUB_DECL to the created node.
(build_vms_descriptor32): Do not create TYPE_DECL for the descriptor.
(build_vms_descriptor): Likewise.
(init_gigi_decls): Delete and move bulk of code to...
* gcc-interface/trans.c (gigi): ...here.  Use record_builtin_type.
(emit_range_check): Add gnat_node parameter.
(emit_index_check): Likewise.
(emit_check): Likewise.
(build_unary_op_trapv): Likewise.
(build_binary_op_trapv): Likewise.
(convert_with_check): Likewise.
(Attribute_to_gnu): Adjust calls for above changes.
(call_to_gnu): Likewise.
(gnat_to_gnu): Likewise.
(assoc_to_constructor): Likewise.
(pos_to_constructor): Likewise.
(Sloc_to_locus): Set BUILTINS_LOCATION for Standard_Location nodes.
(process_type): Do not create TYPE_DECL for dummy types.

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

* gcc-interface/decl.c (gnat_to_gnu_entity): Reorder local variables.
* gcc-interface/trans.c: Fix formatting throughout.  Fix comments.
* gcc-interface/utils.c: Fix comments.

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

* decl.c (compile_time_known_address_p): Rewrite and move around.
(gnat_to_gnu_type): Move around.
(get_unpadded_type): Likewise.
* utils.c (update_pointer_to): Use synthetic macro.  Tidy comments.

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

repairing ChangeLog for my last commit

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

* gcc-interface/trans.c (check_for_eliminated_entity): New function.
(Attribute_to_gnu): Invoke it for Access- and Address-like attributes.
(call_to_gnu): Invoke it instead of manually checking.

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

2009-04-07  Janus Weil  <janus@gcc.gnu.org>

PR fortran/38920
* expr.c (gfc_check_pointer_assign): Enable interface check for
procedure pointers.
* gfortran.h: Add copy_formal_args_intr.
* interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
if second argument is an intrinsic.
(compare_intr_interfaces): Correctly set attr.function, attr.subroutine
and ts.
(compare_parameter): Call gfc_compare_interfaces also for intrinsics.
* resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
intrinsic interfaces here. Must happen earlier.
(resolve_symbol): Resolution of intrinsic interfaces moved here from
resolve_specific_..., and formal args are now copied from intrinsic
interfaces.
* symbol.c (copy_formal_args_intr): New function to copy the formal
arguments from an intinsic procedure.

2009-04-07  Janus Weil  <janus@gcc.gnu.org>

PR fortran/38920
* gfortran.dg/proc_decl_1.f90: Modified.
* gfortran.dg/proc_ptr_11.f90: Extended.
* gfortran.dg/proc_ptr_13.f90: Modified.

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

2009-04-07  Andrew Stubbs  <ams@codesourcery.com>

* config.gcc (sh-*-*): Add sysroot-suffix.h to tm_file.
Add t-sysroot-suffix to tmake_file.
* config/print-sysroot-suffix.sh: New file.
* config/t-sysroot-suffix: New file.

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

* libgcc2.c (INFINITY): Use __builtin_huge_val, not __builtin_inf,
as the latter produces a warning when the target does not support
infinity.

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

2009-04-06  Benjamin Kosnik  <bkoz@redhat.com>

* include/Makefile.am (${pch1a_output}): Use gnu++0x flags instead
of debug.
* include/Makefile.in: Regenerate.
* include/precompiled/stdc++.h: Add.

* doc/xml/api.xml: Add gcc-4.4 link.
* doc/html/api.html: Regenerate.

2009-04-06  Benjamin Kosnik  <bkoz@redhat.com>

* include/bits/random.h: Adjust doxygen markup.
* doc/doxygen/user.cfg.in: Prefer C++0x to tr1 includes.

* testsuite/26_numerics/random/piecewise_linear_distribution/
operators/serialize.cc: Use typedefs.

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

* dfp.c: Replace type punning assignments with memcpy throughout.
* Makefile.in (dfp.o-warn): Remove.

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

PR target/39634
* config.gcc: Merge powerpc-*-linux* and powerpc64-*-linux*.
Include soft-fp/t-softfp after rs6000/t-linux64.
* config.host: Reorder and merge to match config.gcc change.

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

Daily bump.

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

2009-04-06  H.J. Lu  <hongjiu.lu@intel.com>

PR libgfortran/39664
* io/unix.c (raw_close): Don't close STDOUT_FILENO,
STDERR_FILENO nor STDIN_FILENO.

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

* stor-layout.c (set_sizetype): Use the full precision of their
machine mode for bitsize types.

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

2009-04-06  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.md: Revert 2 accidental checkins.

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

PR c++/35146
* pt.c (fn_type_unification): For DEDUCE_EXACT check that
the deduced template arguments give us the parameter types
we're looking for.

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

2009-04-06  Joey Ye  <joey.ye@intel.com>
    Xuepeng Guo <xuepeng.guo@intel.com>
    H.J. Lu  <hongjiu.lu@intel.com>

Atom pipeline model, tuning and insn selection.
* config.gcc (atom): Add atom config options and target.

* config/i386/atom.md: New.

* config/i386/i386.c (atom_cost): New cost.
(m_ATOM): New macro flag.
(initial_ix86_tune_features): Set m_ATOM.
(x86_accumulate_outgoing_args): Likewise.
(x86_arch_always_fancy_math_387): Likewise.
(processor_target): Add Atom cost.
(cpu_names): Add Atom cpu name.
(override_options): Set Atom ISA.
(ix86_issue_rate): New case PROCESSOR_ATOM.
(ix86_adjust_cost): Likewise.

* config/i386/i386.h (TARGET_ATOM): New target macro.
(ix86_tune_indices): Add X86_TUNE_OPT_AGU.
(TARGET_OPT_AGU): New target option.
(target_cpu_default): Add TARGET_CPU_DEFAULT_atom.
(processor_type): Add PROCESSOR_ATOM.

* config/i386/i386.md (cpu): Add new value "atom".
(use_carry, movu): New attr.
(atom.md): Include atom.md.
(adddi3_carry_rex64): Set attr "use_carry".
(addqi3_carry): Likewise.
(addhi3_carry): Likewise.
(addsi3_carry): Likewise.
(*addsi3_carry_zext): Likewise.
(subdi3_carry_rex64): Likewise.
(subqi3_carry): Likewise.
(subhi3_carry): Likewise.
(subsi3_carry): Likewise.
(x86_movdicc_0_m1_rex64): Likewise.
(*x86_movdicc_0_m1_se): Likewise.
(x86_movsicc_0_m1): Likewise.
(*x86_movsicc_0_m1_se): Likewise.
(*adddi_1_rex64): Emit add insn as much as possible.
(*addsi_1): Likewise.
(return_internal): Set atom_unit.
(return_internal_long): Likewise.
(return_pop_internal): Likewise.
(*rcpsf2_sse): Set atom_sse_attr attr.
(*qrt<mode>2_sse): Likewise.
(*prefetch_sse): Likewise.

* config/i386/i386-c.c (ix86_target_macros_internal): New case
PROCESSOR_ATOM.
(ix86_target_macros_internal): Likewise.

* config/i386/sse.md (cpu): Set attr "atom_sse_attr".
(*prefetch_sse_rex): Likewise.
(sse_rcpv4sf2): Likewise.
(sse_vmrcpv4sf2): Likewise.
(sse_sqrtv4sf2): Likewise.
(<sse>_vmsqrt<mode>2): Likewise.
(sse_ldmxcsr): Likewise.
(sse_stmxcsr): Likewise.
(*sse_sfence): Likewise.
(sse2_clflush): Likewise.
(*sse2_mfence): Likewise.
(*sse2_lfence): Likewise.
(avx_movup<avxmodesuffixf2c><avxmodesuffix>): Set attr "movu".
(<sse>_movup<ssemodesuffixf2c>): Likewise.
(avx_movdqu<avxmodesuffix>): Likewise.
(avx_lddqu<avxmodesuffix>): Likewise.
(sse2_movntv2di): Change attr "type" to "ssemov".
(sse2_movntsi): Likewise.
(rsqrtv8sf2): Change attr "type" to "sseadd".
(sse3_addsubv2df3): Set attr "atom_unit".
(sse3_h<plusminus_insn>v4sf3): Likewise.
(*sse2_pmaddwd): Likewise.
(*vec_extractv2di_1_rex64): Likewise.
(*vec_extractv2di_1_avx): Likewise.
(sse2_psadbw): Likewise.
(ssse3_phaddwv8hi3): Likewise.
(ssse3_phaddwv4hi3): Likewise.
(ssse3_phadddv4si3): Likewise.
(ssse3_phadddv2si3): Likewise.
(ssse3_phaddswv8hi3): Likewise.
(ssse3_phaddswv4hi3): Likewise.
(ssse3_phsubwv8hi3): Likewise.
(ssse3_phsubwv4hi3): Likewise.
(ssse3_phsubdv4si3): Likewise.
(ssse3_phsubdv2si3): Likewise.
(ssse3_phsubswv8hi3): Likewise.
(ssse3_phsubswv4hi3): Likewise.
(ssse3_pmaddubsw128): Likewise.
(sse3_pmaddubsw: Likewise.
(ssse3_palignrti): Likewise.
(ssse3_palignrdi): Likewise.

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

testsuite/
2009-04-06  Laurent GUERBY  <laurent@guerby.net>

        * lib/gnat.exp: Handle multilib.

libada/
2009-04-06  Laurent GUERBY  <laurent@guerby.net>

        * Makefile.in (ADA_RTS_DIR): Define.
        * Makefile.in (gnatlib-*): Link adainclude and adalib to it.

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

2009-04-06  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/38863
* dependency.c (ref_same_as_full_array): New function.
(gfc_dep_resolver): Call it.

2009-04-06  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/38863
* gfortran.dg/dependency_23.f90: New test.

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

* doc/install.texi (Specific): Fix two cross-references to MinGW.

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

2009-04-06  Andrew Stubbs  <ams@codesourcery.com>

* config/cpu/sh/atomicity.h: Put the SH4A specific functions in the
__gnu_cxx namespace.  Remove "static inline".

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

    * io/io.h (struct stream): Rename truncate to trunc.
        (struncate): Same.
        * io/unix.c (raw_init): Rename truncate to trunc.
        (buf_init): Same.
        (open_internal): Same.

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

2009-04-06  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/28868
* tree-ssa-pre.c (inserted_phi_names): New bitmap to keep track
of which PHI results we inserted.
(insert_into_preds_of_block): Record inserted PHIs.
(eliminate): Eliminate redundant PHI nodes.
(init_pre): Init inserted_phi_names.

* gcc.dg/tree-ssa/ssa-fre-21.c: New testcase.
* gcc.dg/tree-ssa/ssa-sccvn-1.c: Adjust.
* gcc.dg/tree-ssa/ssa-sccvn-2.c: Likewise.
* gcc.dg/tree-ssa/ssa-sccvn-4.c: Likewise.

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

2009-04-06  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/random.tcc (linear_congruential_engine<>::
seed(seed_seq&)): Fix typo in last fix for __m == 0.

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