2009-07-27  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: gnatcheck Unconstrained_Array_Returns rule: Add to the
rule definition the paragraph that explains that generic functions and
functions from generic packages are not checked.

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

* sem_ch6.adb (New_Overloaded_Entity): Add test for an expanded null
procedure when determining whether to set the Overridden_Operation
field of a subprogram overriding an inherited subprogram.

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

* a-except.adb, a-except-2005.ads: Minor reformatting

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

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

* sem_util.adb, sem_util.ads (Kill_Current_Values): Reset Is_Known_Valid

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

* exp_disp.adb (Expand_Dispatching_Call): Reverse previous patch and
add some documentation explaining why the SCIL nodes must be generated
at that point.

2009-07-27  Olivier Hainque  <hainque@adacore.com>

* a-except.adb: Bind to __builtin_longjmp directly.
* a-except-2005.ads: Provide direct binding to __builtin_longjmp
for sjlj variants.
* a-exexpr.adb: Use it.
* a-except-xi.adb: Likewise.
* raise.c (_gnat_builtin_longjmp): Remove and update comments.
* raise.h (_gnat_builtin_longjmp): Remove declaration.

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

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

* sem_eval.adb (Compile_Time_Compare): More precise handling of
Known_Valid flag, to prevent spurious range deductions when scalar
variables may be uninitialized. New predicate Is_Known_Valid_Operand.

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

* sem.adb: Minor reformatting

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

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

* gnatfind.adb, osint.ads, sem.adb, xr_tabls.adb: Minor reformatting
and code clean up.

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

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

* exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not attempt expansion in
Ravenscar mode. Error has already been posted on specification.

* sem.adb: Further code clean ups.

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

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

* g-sse.ads: Minor reformatting

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

* xref_lib.adb (Add_Xref_File_Internal, Find_ALI_Files): Add support for
alternate ali extension.
* xr_tabls.adb (ALI_File_Name, Get_File, Set_Unvisited): Take into
account Osint.ALI_Suffix.
* osint.ads (ALI_Suffix): Make visible.
* gnatfind.adb (Gnatfind): Add support for --ext= switch.
* gnat_ugn.texi: Document new gnatfind --ext= switch.

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

* sem.adb (Walk_Library_Items): If main unit is an instance body, do
its spec first.

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

* exp_disp.adb (Expand_Dispatching_Call): Generate the SCIL node after
the dispatching call has is expanded.

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

2009-07-24  Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/cygming.h (DWARF2_UNWIND_INFO): Error build when
        TARGET_BI_ARCH is specified without enabling SJLJ.
        * config/i386/mingw32.h (MD_UNWIND_SUPPORT): Define MD_UNWIND_SUPPORT,
        if TARGET_64BIT and TARGET_BI_ARCH aren't defined.

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

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

* exp_attr.adb (Expand_Attribute_Reference, case 'Valid): Reset the
Is_Known_Valid flag on the temporary created for the value whose
validity is being checked.

* sem.adb (Do_Unit_And_Dependents): Further code reorganization to
handle properly main units that are package specifications.

2009-07-27  Geert Bosch  <bosch@adacore.com>

* einfo.ads (Checks_May_Be_Suppressed): Fix typo in comment
* sem_aux.ads: Fix typo in comment
* sem_util.ads (Is_LHS): Adjust comment to match body

2009-07-27  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi (gnatcheck Complex_Inlined_Subprograms rule): Update
rule definition.

2009-07-27  Olivier Hainque  <hainque@adacore.com>

* g-sse.ads, g-ssvety.ads: Update comments.

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

2009-07-27  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update gnatcheck doc.

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

* lib-xref.ads: Allocate/document 'o' char for use by references to
spark 'own' variables.

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

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

* sem_ch6.adb (Analyze_Function_Return): Set Referenced on return
objects, since these are implicitly referenced by the return statement.
* sem_warn.adb (Warn_On_Unreferenced_Entity): No longer a need to test
Is_Return_Object in this procedure, as return objects will never make
it here since they're now marked as Referenced.

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

* exp_ch2.adb, sem_util.adb, sem_util.ads: Minor reformnatting

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

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

* exp_ch6.adb (Expand_Call): Reset Is_Known_Valid after call

* sem_ch3.adb, sem_eval.adb, sem_aux.adb: Minor comment reformatting

2009-07-27  Geert Bosch  <bosch@adacore.com>

* checks.adb (Find_Check): Minor streamlining of logic.
* gnat1drv.adb(Gnat1drv): Put Check_Rep_Info in its alphabetical order.
* debug.adb: Document -gnatdX debug flag
* exp_ch2.adb(Expand_Entity_Reference): Implement new -gnatdX flag to
list information about reads from scalar entities.
Also slightly simplify condition for Expand_Current_Value.
* sem_util.ads, sem_util.adb (Is_LHS, Is_Actual_Out_Parameter): New
functions.

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

* gcc.dg/vect/no-scevccp-noreassoc-outer-2.c: Extended array 'a'
so that indexing no longer runs off array end.

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

2009-07-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40851
        * resolve.c (resolve_symbol): Do not initialize pointer
        * derived-types.
        * trans-decl.c (init_intent_out_dt): Ditto.
        (generate_local_decl): No need to set attr.referenced for DT pointers.

2009-07-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40851
        * gfortran.dg/derived_init_3.f90: New test.

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

2009-07-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40863
        * c99_functions.c: Define complex I, if not defined.
        Create prototypes for C99 functions to silence warnings.
        * gfortran.map: Add missing functions to GFORTRAN_C99_1.0
        and new GFORTRAN_C99_1.1.

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

2009-07-26  Mikael Pettersson <mikpe@it.uu.se>

* arm.md (negdi2): Use DImode if forcing a value into a register.

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

Daily bump.

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

2009-07-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33197
        * intrinsic.c (make_generic): Remove assert as "atan" can be
        both ISYM_ATAN and ISYM_ATAN2.
        (add_functions): Add two-argument variant of ATAN.
        * intrinsic.h (gfc_check_atan_2): Add check for it.
        * intrinsic.texi (ATAN2): Correct and enhance description.
        (ATAN): Describe two-argument variant of ATAN.

2009-07-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33197
        * gfortran.dg/atan2_1.f90: New test
        * gfortran.dg/atan2_2.f90: New test

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

PR bootstrap/40578
* adaint.h (FOPEN, STAT, FSTAT, LSTAT, STRUCT_STAT): Rename from these
(GNAT_FOPEN, GNAT_STAT, GNAT_FSTAT, GNAT_LSTAT, GNAT_STRUCT_STAT): ...
to these.
(__gnat_stat): Adjust reference to STAT in prototype.
* adaint.c (__gnat_try_lock, __gnat_fopen, __gnat_file_length,
__gnat_named_file_length, __gnat_file_time_name, __gnat_file_time_fd,
__gnat_get_libraries_from_registry, __gnat_stat, __gnat_file_exists,
__gnat_is_regular_file, __gnat_is_directory, __gnat_is_readable_file,
__gnat_is_writable_file, __gnat_is_executable_file,
__gnat_set_writable, __gnat_set_executable, __gnat_set_non_writable,
__gnat_set_readable, __gnat_set_non_readable, __gnat_is_symbolic_link,
__gnat_copy_attribs): Adjust all references to the above.
* cstreams.c (__gnat_is_regular_file_fd): Likewise.

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

gcc/cp/

2009-07-26  Simon Martin  <simartin@users.sourceforge.net>

PR c++/40749
* decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions
with a qualified return type.

gcc/testsuite/

2007-07-26  Simon Martin  <simartin@users.sourceforge.net>

PR c++/40749
* g++.dg/warn/Wreturn-type-6.C: New test.

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

PR tree-optimization/40801
* tree-vect-stmts.c (vectorizable_call): Get previous copy
of vector operand from the previous copy of vector statement.
Pass the correct definition type value to
vect_get_vec_def_for_stmt_copy().

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

Daily bump.

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

* collect2.c (scan_libraries): Use CONST_CAST2 to perform char ** to
const char ** conversion.

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

* system.h (gcc_assert): Invoke __builtin_unreachable() instead of
fancy_abort() if !ENABLE_ASSERT_CHECKING.
(gcc_unreachable): Invoke __builtin_unreachable() if
!ENABLE_ASSERT_CHECKING.

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

2009-07-25  David Daney  <ddaney@caviumnetworks.com>

PR rtl-optimization/40445
* emit-rtl.c (next_nonnote_insn_bb): New function.
* rtl.h (next_nonnote_insn_bb): Declare new function.
* cfgcleanup.c (try_optimize_cfg): Don't remove an empty block
with no successors that is the successor of the ENTRY_BLOCK.
Continue from the top after removing an empty fallthrough block.
* cfgrtl.c (get_last_bb_insn): Call next_nonnote_insn_bb instead
of next_nonnote_insn.

2009-07-25  David Daney  <ddaney@caviumnetworks.com>

PR rtl-optimization/40445
* g++.dg/other/builtin-unreachable-1.C: New testcase.

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

2009-07-25  David Daney  <ddaney@caviumnetworks.com>

* cfgcleanup.c (old_insns_match_p): Handle the case of empty
blocks.

2009-07-25  David Daney  <ddaney@caviumnetworks.com>

* gcc.dg/builtin-unreachable-4.c: New test.

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

2009-07-25  Tobias Burnus  <burnus@net-b.de>
            Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>

        PR fortran/33197
        * intrinsic.c (add_functions): Support complex arguments for
        acos,acosh,asin,asinh,atan,atanh.
        * invoke.texi (ACOS,ACOSH,ASIN,ASINH,ATAN,ATANH): Support
        complex arguments.
        * simplify.c (gfc_simplify_acos,gfc_simplify_acosh,
        gfc_simplify_asin,gfc_simplify_asinh,gfc_simplify_atan,
        gfc_simplify_atanh,gfc_simplify_atan,gfc_simplify_asinh,
        gfc_simplify_acosh,gfc_simplify_atanh): Support
        complex arguments.

2009-07-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33197
        * intrinsics/c99_functions.c (cacosf,cacos,cacosl,casinf,
        casin,casind,catanf,catan,catanl,cacoshf,cacosh,cacoshl,
        casinhf,casinh,casinhf,catanhf,catanh,catanhl): New functions.
        * c99_protos.h: Add prototypes for those.

2009-07-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33197
        * gfortran.dg/complex_intrinsic_5.f90: New test.
        * gfortran.dg/complex_intrinsic_7.f90: New test.

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

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

* doc/extend.texi (Labels as Values): Document need for noclone.
(Function Attributes): Document noclone attribute.
* c-common.c (c_common_attribute_table): New element for noclone.
(handle_noclone_attribute): New function. Forward-declare.
* tree-inline.c (tree_versionable_function_p): Check for noclone
attribute.

* testsuite/gcc.c-torture/execute/pr17377.c: Add noclone attribute to
function y.
* testsuite/gcc.dg/ipa/noclone-1.c: New test.

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

* nl.po: Update.

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

* lib/target-supports.exp (check_effective_target_static): New
procedure.
* gcc.dg/special/gcsec-1.c (dg-options): Use -static only when
supported.
* g++.old-deja/g++.law/weak.C: Require static effective target.

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

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

PR fortran/40005
* trans-types.c (gfc_get_array_type_bounds): Use
build_distinct_type_copy with a proper TYPE_CANONICAL and
re-use the type-decl of the original type.
* trans-decl.c (build_entry_thunks): Signal cgraph we may not
garbage collect.
(create_main_function): Likewise.
(gfc_generate_function_code): Likewise.
* trans-expr.c (gfc_trans_subcomponent_assign): Do not use
fold_convert on record types.

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

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

PR fortran/39630
* decl.c (match_ppc_decl): Implement the PASS attribute for procedure
pointer components.
(match_binding_attributes): Ditto.
* gfortran.h (gfc_component): Add member 'tb'.
(gfc_typebound_proc): Add member 'ppc' and make 'pass_arg' const.
* module.c (MOD_VERSION): Bump module version.
(binding_ppc): New string constants.
(mio_component): Only use formal args if component is a procedure
pointer and add 'tb' member.
(mio_typebound_proc): Include pass_arg and take care of procedure
pointer components.
* resolve.c (update_arglist_pass): Add argument 'name' and take care of
optional arguments.
(extract_ppc_passed_object): New function, analogous to
extract_compcall_passed_object, but for procedure pointer components.
(update_ppc_arglist): New function, analogous to
update_compcall_arglist, but for procedure pointer components.
(resolve_typebound_generic_call): Added argument to update_arglist_pass.
(resolve_ppc_call, resolve_expr_ppc): Take care of PASS attribute.
(resolve_fl_derived): Check the PASS argument for procedure pointer
components.
* symbol.c (verify_bind_c_derived_type): Reject procedure pointer
components in BIND(C) types.

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

PR fortran/39630
* gfortran.dg/proc_ptr_comp_3.f90: Modified.
* gfortran.dg/proc_ptr_comp_pass_1.f90: New.
* gfortran.dg/proc_ptr_comp_pass_2.f90: New.
* gfortran.dg/proc_ptr_comp_pass_3.f90: New.
* gfortran.dg/proc_ptr_comp_pass_4.f90: New.
* gfortran.dg/proc_ptr_comp_pass_5.f90: New.
* gfortran.dg/typebound_call_10.f03: New.

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

include/:
PR bootstrap/40854
* libiberty.h (xcrc32): Rename from crc32.
libiberty/:
PR bootstrap/40854
* crc32.c (xcrc32): Rename from crc32.

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

Core issue 901
* libsupc++/vec.cc (__cxa_vec_new2, __cxa_vec_new3): Handle NULL
dealloc.
* call.c (build_op_delete_call): If this is for a new-expression
and the op delete is deleted, do nothing.

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

Daily bump.

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

PR rtl-optimization/34999
* dwarf2out.c (struct dw_fde_struct): Add dw_fde_switch_cfi
and dw_fde_switched_cold_to_hot fields.
(output_cfi_p): New function.
(output_call_frame_info): If fde->dw_fde_switched_sections,
output 2 FDEs instead of one with corrupted header.
(dwarf2out_do_cfi_startproc): New function.
(dwarf2out_begin_prologue): Use it.  Initialize fde->dw_fde_switch_cfi
and fde->dw_fde_switched_cold_to_hot.
(dwarf2out_switch_text_section): Compute
fde->dw_fde_switched_cold_to_hot.  Switch to new text section here.
If dwarf2out_do_cfi_asm, emit .cfi_endproc before it and call
dwarf2out_do_cfi_startproc plus emit again currently active CFI insns.
Otherwise, compute fde->dw_fde_switch_cfi.

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

* tree-cfg.c (assign_discriminator): Add explicit parentheses.

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

libiberty/:
* crc32.c: New file.
* Makefile.in: Rebuild dependencies.
(CFILES): Add crc32.c.
(REQUIRED_OFILES): Add ./crc32.o.
* functions.texi: Rebuild.
include/:
* libiberty.h (crc32): Declare.

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

* cfghooks.c (split_block): Copy discriminator to new block.
* tree-cfg.c (assign_discriminator): Check location of last
instruction in block as well as first.

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

* include/c_global/cwchar (swprintf, vswprintf): Do not use if
_GLIBCXX_HAVE_BROKEN_VSWPRINTF.
* testsuite/lib/libstdc++.exp (check_v3_target_swprintf): New.
* testsuite/lib/dg-options.exp (dg-require-swprintf): New.
* testsuite/21_strings/headers/cwchar/functions_std.cc,
testsuite/27_io/basic_ostream/inserters_arithmetic/wchar_t/4402.cc,
testsuite/27_io/basic_ostream/inserters_other/wchar_t/error_code.cc:
Use dg-require-swprintf.

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

* config/i386/linux.c: Use fputs or putc instead of fprintf
where appropriate.
* config/i386/gas.h: Ditto.
* config/i386/x86-64.h: Ditto.
* config/i386/att.h: Ditto.

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

2009-07-24  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/26_numerics/valarray/dr630-2.cc: Extend.

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

Core issue 702
* call.c (compare_ics): Give list-initialization of std::init_list
priority over conversion to scalar, too.

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

2009-07-24  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* expmed.c (emit_store_flag): Use a recursive call to optimize the
xor case.

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

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

* ipa-prop.h (struct ipa_node_params): New flag node_enqued.
(ipa_push_func_to_list_1): Declare.
(ipa_push_func_to_list): New function.

* ipa-prop.c (ipa_push_func_to_list_1): New function.
(ipa_init_func_list): Call ipa_push_func_to_list_1.
(ipa_push_func_to_list): Removed.
(ipa_pop_func_from_list): Clear node_enqueued flag.

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

2009-07-24  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.c (override_options): Default
max-unrolled-insns to 100 for z10 tuning.

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

Add missing name of file changed.

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

2009-07-24  Kai Tietz  <kai.tietz@onevision.com>

        * gnu/java/security/jce/prng/natVMSecureRandomWin32.cc: New Win32
        specific implementation.

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

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

PR fortran/40822
* array.c (gfc_resolve_character_array_constructor): Use new function
gfc_new_charlen.
* decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
gfc_match_implicit): Ditto.
* expr.c (gfc_simplify_expr): Ditto.
* gfortran.h (gfc_new_charlen): New prototype.
* iresolve.c (check_charlen_present,gfc_resolve_char_achar): Use new
function gfc_new_charlen.
* module.c (mio_charlen): Ditto.
* resolve.c (gfc_resolve_substring_charlen,
gfc_resolve_character_operator,fixup_charlen,resolve_fl_derived,
resolve_symbol): Ditto.
* symbol.c (gfc_new_charlen): New function to create a new gfc_charlen
structure and add it to a namespace.
(gfc_copy_formal_args_intr): Make sure ts.cl is present
for CHARACTER variables.

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

PR fortran/40822
* gfortran.dg/char_length_16.f90: New.

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

2009-07-24  Tobias Grosser  <grosser@fim.uni-passau.de>

* Makefile.in (TREE_DATA_REF_H, tree-vrp.o, tree-cfg.o, tree-if-conv.o
tree-ssa-loop.o, tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o,
tree-ssa-loop-prefetch.o, tree-predcom.o, tree-affine.o,
tree-scalar-evolution.o, tree-data-ref.o, tree-vect-loop.o,
tree-vect-data-refs.o, tree-loop-linear.o, tree-loop-distribution.o
tree-parloops.o, tree-pretty-printer.o, fold-const.o, tree-ssa-dce.o,
lambda-code.o, params.o): Cleanup use of SCEV_H and TREE_DATA_REF_H.

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

PR libffi/40807
* src/x86/ffi.c (ffi_prep_cif_machdep): Also use sign/zero-extending
return types for X86_WIN32.
* src/x86/win32.S (_ffi_call_SYSV): Handle omitted return types.
(_ffi_call_STDCALL, _ffi_closure_SYSV, _ffi_closure_raw_SYSV,
_ffi_closure_STDCALL): Likewise.

* src/closures.c (is_selinux_enabled): Define to const 0 for Cygwin.
(dlmmap, dlmunmap): Also use these functions on Cygwin.

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

PR fortran/40643
PR fortran/31067
* trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc,
gfc_conv_intrinsic_minmaxval): Handle Infinities and NaNs properly,
optimize.
* trans-array.c (gfc_trans_scalarized_loop_end): No longer static.
* trans-array.h (gfc_trans_scalarized_loop_end): New prototype.

* libgfortran.h (GFC_REAL_4_INFINITY, GFC_REAL_8_INFINITY,
GFC_REAL_10_INFINITY, GFC_REAL_16_INFINITY, GFC_REAL_4_QUIET_NAN,
GFC_REAL_8_QUIET_NAN, GFC_REAL_10_QUIET_NAN, GFC_REAL_16_QUIET_NAN):
Define.
* m4/iparm.m4 (atype_inf, atype_nan): Define.
* m4/ifunction.m4: Formatting.
* m4/iforeach.m4: Likewise.
(START_FOREACH_FUNCTION): Initialize dest to all 1s, not all 0s.
(START_FOREACH_BLOCK, FINISH_FOREACH_FUNCTION,
FINISH_MASKED_FOREACH_FUNCTION): Run foreach block inside a loop
until count[0] == extent[0].
* m4/minval.m4: Formatting.  Handle NaNs and infinities.  Optimize.
* m4/maxval.m4: Likewise.
* m4/minloc0.m4: Likewise.
* m4/maxloc0.m4: Likewise.
* m4/minloc1.m4: Likewise.
* m4/maxloc1.m4: Likewise.
* generated/maxloc0_16_i16.c: Regenerated.
* generated/maxloc0_16_i1.c: Likewise.
* generated/maxloc0_16_i2.c: Likewise.
* generated/maxloc0_16_i4.c: Likewise.
* generated/maxloc0_16_i8.c: Likewise.
* generated/maxloc0_16_r10.c: Likewise.
* generated/maxloc0_16_r16.c: Likewise.
* generated/maxloc0_16_r4.c: Likewise.
* generated/maxloc0_16_r8.c: Likewise.
* generated/maxloc0_4_i16.c: Likewise.
* generated/maxloc0_4_i1.c: Likewise.
* generated/maxloc0_4_i2.c: Likewise.
* generated/maxloc0_4_i4.c: Likewise.
* generated/maxloc0_4_i8.c: Likewise.
* generated/maxloc0_4_r10.c: Likewise.
* generated/maxloc0_4_r16.c: Likewise.
* generated/maxloc0_4_r4.c: Likewise.
* generated/maxloc0_4_r8.c: Likewise.
* generated/maxloc0_8_i16.c: Likewise.
* generated/maxloc0_8_i1.c: Likewise.
* generated/maxloc0_8_i2.c: Likewise.
* generated/maxloc0_8_i4.c: Likewise.
* generated/maxloc0_8_i8.c: Likewise.
* generated/maxloc0_8_r10.c: Likewise.
* generated/maxloc0_8_r16.c: Likewise.
* generated/maxloc0_8_r4.c: Likewise.
* generated/maxloc0_8_r8.c: Likewise.
* generated/maxloc1_16_i16.c: Likewise.
* generated/maxloc1_16_i1.c: Likewise.
* generated/maxloc1_16_i2.c: Likewise.
* generated/maxloc1_16_i4.c: Likewise.
* generated/maxloc1_16_i8.c: Likewise.
* generated/maxloc1_16_r10.c: Likewise.
* generated/maxloc1_16_r16.c: Likewise.
* generated/maxloc1_16_r4.c: Likewise.
* generated/maxloc1_16_r8.c: Likewise.
* generated/maxloc1_4_i16.c: Likewise.
* generated/maxloc1_4_i1.c: Likewise.
* generated/maxloc1_4_i2.c: Likewise.
* generated/maxloc1_4_i4.c: Likewise.
* generated/maxloc1_4_i8.c: Likewise.
* generated/maxloc1_4_r10.c: Likewise.
* generated/maxloc1_4_r16.c: Likewise.
* generated/maxloc1_4_r4.c: Likewise.
* generated/maxloc1_4_r8.c: Likewise.
* generated/maxloc1_8_i16.c: Likewise.
* generated/maxloc1_8_i1.c: Likewise.
* generated/maxloc1_8_i2.c: Likewise.
* generated/maxloc1_8_i4.c: Likewise.
* generated/maxloc1_8_i8.c: Likewise.
* generated/maxloc1_8_r10.c: Likewise.
* generated/maxloc1_8_r16.c: Likewise.
* generated/maxloc1_8_r4.c: Likewise.
* generated/maxloc1_8_r8.c: Likewise.
* generated/maxval_i16.c: Likewise.
* generated/maxval_i1.c: Likewise.
* generated/maxval_i2.c: Likewise.
* generated/maxval_i4.c: Likewise.
* generated/maxval_i8.c: Likewise.
* generated/maxval_r10.c: Likewise.
* generated/maxval_r16.c: Likewise.
* generated/maxval_r4.c: Likewise.
* generated/maxval_r8.c: Likewise.
* generated/minloc0_16_i16.c: Likewise.
* generated/minloc0_16_i1.c: Likewise.
* generated/minloc0_16_i2.c: Likewise.
* generated/minloc0_16_i4.c: Likewise.
* generated/minloc0_16_i8.c: Likewise.
* generated/minloc0_16_r10.c: Likewise.
* generated/minloc0_16_r16.c: Likewise.
* generated/minloc0_16_r4.c: Likewise.
* generated/minloc0_16_r8.c: Likewise.
* generated/minloc0_4_i16.c: Likewise.
* generated/minloc0_4_i1.c: Likewise.
* generated/minloc0_4_i2.c: Likewise.
* generated/minloc0_4_i4.c: Likewise.
* generated/minloc0_4_i8.c: Likewise.
* generated/minloc0_4_r10.c: Likewise.
* generated/minloc0_4_r16.c: Likewise.
* generated/minloc0_4_r4.c: Likewise.
* generated/minloc0_4_r8.c: Likewise.
* generated/minloc0_8_i16.c: Likewise.
* generated/minloc0_8_i1.c: Likewise.
* generated/minloc0_8_i2.c: Likewise.
* generated/minloc0_8_i4.c: Likewise.
* generated/minloc0_8_i8.c: Likewise.
* generated/minloc0_8_r10.c: Likewise.
* generated/minloc0_8_r16.c: Likewise.
* generated/minloc0_8_r4.c: Likewise.
* generated/minloc0_8_r8.c: Likewise.
* generated/minloc1_16_i16.c: Likewise.
* generated/minloc1_16_i1.c: Likewise.
* generated/minloc1_16_i2.c: Likewise.
* generated/minloc1_16_i4.c: Likewise.
* generated/minloc1_16_i8.c: Likewise.
* generated/minloc1_16_r10.c: Likewise.
* generated/minloc1_16_r16.c: Likewise.
* generated/minloc1_16_r4.c: Likewise.
* generated/minloc1_16_r8.c: Likewise.
* generated/minloc1_4_i16.c: Likewise.
* generated/minloc1_4_i1.c: Likewise.
* generated/minloc1_4_i2.c: Likewise.
* generated/minloc1_4_i4.c: Likewise.
* generated/minloc1_4_i8.c: Likewise.
* generated/minloc1_4_r10.c: Likewise.
* generated/minloc1_4_r16.c: Likewise.
* generated/minloc1_4_r4.c: Likewise.
* generated/minloc1_4_r8.c: Likewise.
* generated/minloc1_8_i16.c: Likewise.
* generated/minloc1_8_i1.c: Likewise.
* generated/minloc1_8_i2.c: Likewise.
* generated/minloc1_8_i4.c: Likewise.
* generated/minloc1_8_i8.c: Likewise.
* generated/minloc1_8_r10.c: Likewise.
* generated/minloc1_8_r16.c: Likewise.
* generated/minloc1_8_r4.c: Likewise.
* generated/minloc1_8_r8.c: Likewise.
* generated/minval_i16.c: Likewise.
* generated/minval_i1.c: Likewise.
* generated/minval_i2.c: Likewise.
* generated/minval_i4.c: Likewise.
* generated/minval_i8.c: Likewise.
* generated/minval_r10.c: Likewise.
* generated/minval_r16.c: Likewise.
* generated/minval_r4.c: Likewise.
* generated/minval_r8.c: Likewise.
* generated/product_c10.c: Likewise.
* generated/product_c16.c: Likewise.
* generated/product_c4.c: Likewise.
* generated/product_c8.c: Likewise.
* generated/product_i16.c: Likewise.
* generated/product_i1.c: Likewise.
* generated/product_i2.c: Likewise.
* generated/product_i4.c: Likewise.
* generated/product_i8.c: Likewise.
* generated/product_r10.c: Likewise.
* generated/product_r16.c: Likewise.
* generated/product_r4.c: Likewise.
* generated/product_r8.c: Likewise.
* generated/sum_c10.c: Likewise.
* generated/sum_c16.c: Likewise.
* generated/sum_c4.c: Likewise.
* generated/sum_c8.c: Likewise.
* generated/sum_i16.c: Likewise.
* generated/sum_i1.c: Likewise.
* generated/sum_i2.c: Likewise.
* generated/sum_i4.c: Likewise.
* generated/sum_i8.c: Likewise.
* generated/sum_r10.c: Likewise.
* generated/sum_r16.c: Likewise.
* generated/sum_r4.c: Likewise.
* generated/sum_r8.c: Likewise.

* gfortran.dg/maxlocval_2.f90: New test.
* gfortran.dg/maxlocval_3.f90: New test.
* gfortran.dg/maxlocval_4.f90: New test.
* gfortran.dg/minlocval_1.f90: New test.
* gfortran.dg/minlocval_2.f90: New test.
* gfortran.dg/minlocval_3.f90: New test.
* gfortran.dg/minlocval_4.f90: New test.

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

2009-07-24  Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/mingw-w64.h (STANDARD_INCLUDE_DIR): Remove and
        use default set in mingw32.h header.
        * config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Use for 32-bit and
        64-bit /mingw/include path.
        (STANDARD_STARTFILE_PREFIX_1): Use for 32-bit and 64-bit /mingw/lib
        path.

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

PR rtl-optimization/40209
* loop-iv.c (iv_analysis_loop_init): Call df_note_add_problem.

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

Daily bump.

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

* gcc.dg/dll-4.c: Allow foo1 and foo2 in either order in
scan-assembler.

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

* config/i386/i386.c: Use ASM_LONG instead of .long.  Concatenate
ASM_LONG, LPREFIX, MCOUNT_NAME and PROFILE_COUNT_REGISTER strings
with the rest of string where appropriate.  Use fputs or putc
instead of fprintf where appropriate.

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

* be.po, ca.po, da.po, de.po, el.po, es.po, fr.po, id.po, ja.po,
nl.po, sv.po, tr.po, uk,po, vi.po, zh_CN.po, zh_TW.po: Update.

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

* be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, id.po, ja.po,
nl.po, ru.po, sr.po, sv.po, tr.po, zh_CN.po, zh_TW.po: Update.

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

2009-07-23  Paolo Carlini  <paolo.carlini@oracle.com>

* include/c_std/cmath (abs(_Tp)): Add.
* include/c_global/cmath (abs(_Tp)): Likewise.
* testsuite/26_numerics/headers/cmath/overloads.cc: Extend.

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

PR fortran/40839
* io.c (gfc_resolve_dt): Add LOC argument.  Fail if
dt->io_unit is NULL.  Return FAILURE after issuing error about
negative UNIT number.
(match_io_element): Don't segfault if current_dt->io_unit is NULL.
* gfortran.h (gfc_resolve_dt): Adjust prototype.
* resolve.c (resolve_code): Adjust caller.

* gfortran.dg/pr40839.f90: New test.

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

Fix PR #.

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

Commit patch #3 of 4 for Power7 VSX support

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

2009-07-23  Paolo Carlini  <paolo.carlini@oracle.com>

* doc/html/ext/lwg-closed.html: Update to R65.
* doc/html/ext/lwg-defects.html: Likewise.
* doc/html/ext/lwg-active.html: Likewise.
* doc/xml/manual/intro.xml: Update DRs entries.

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

2009-07-23  Paolo Carlini  <paolo.carlini@oracle.com>

* doc/html/ext/lwg-closed.html: Update to R65.
* doc/html/ext/lwg-defects.html: Likewise.
* doc/html/ext/lwg-active.html: Likewise.
* doc/xml/manual/intro.xml: Update DRs entries.

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

(split for ior/xor with shift and zero-extend): Cast op3 to
unsigned HWI.

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

2009-07-23  Matthias Klose  <doko@ubuntu.com>

        * contrib/aotcompile.py.in: Use hashlib instead of md5 if available.

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

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

* sem.adb (Do_Unit_And_Dependents): Now that specs and bodies are not
done at the same time, guard against listing a body more than once.

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

* exp_ch6.adb: Minor reformatting

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

* sem_ch3.adb (Analyze_Object_Declaration): A scalar constant with a
static expression is known valid.
* sem_eval.adb (Compile_Time_Compare): Handle properly non-static
operands of a subtype with a single value.

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

* sem.adb (Do_Units_And_Dependents): Process bodies only for units that
are in the context of the main unit body.

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

2009-07-23  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi (Misnamed_Controlling_Parameters gnatcheck rule): Fix
misprint in rule description.

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

* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Replace
test that the object declaration is within an extended return statement
with direct test of whether the declared object associated with the
build-in-place call is a return object, since the enclosing function
might not even be a build-in-place function.

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

* freeze.adb, prj-nmsc.adb, errout.adb: Minor reformatting
Minor code reorganization

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

* sem_prag.adb (Analyze_Pragma): Do not ignore pragma Pack on records
for static analysis, only packed arrays are causing troubles.

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

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

* scos.ads: Minor reformatting.

2009-07-23  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Fix spec/body naming extension on case insensitive
systems.

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

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

* freeze.adb (Set_Small_Size): Remove extra space for consistency with
other similar messages.
* sem_prag.adb (Freeze_Record_Type, Freeze_Entity): Disable error
messages/implicit packing in CodePeer mode.
(Analyze_Pragma [case pragma Pack]): Ignore pragma in CodePeer mode.
* errout.adb (Special_Msg_Delete): Suppress 'size too small' message in
CodePeer mode.

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

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

* sem_util.adb (Wrong_Type): Special message for cases like A and B = 0

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

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

* par-ch4.adb (P_Aggregate_Or_Paren_Expr): Better message for missing
comma.

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

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

* sem_aggr.adb (Resolve_Extension_Aggregate): Report an error when the
ancestor part is a call to a limited function with an unconstrained
result subtype unless the aggregate has a null extension type.
* sem_ch3.adb (Is_Null_Extension): Use the base type when retrieving
the parent type declaration to avoid blowups on subtype cases.

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

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

* einfo.ads, g-ssvety.ads, s-regexp.adb, g-sse.ads: Add comment. Minor
reformatting.

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

2009-07-23  Yannick Moy  <moy@adacore.com>

* s-regexp.adb (Check_Well_Formed_Pattern): Called before compiling the
pattern.
(Raise_Exception_If_No_More_Chars): Remove extra blank in exception
string.
(Raise_Exception): Ditto.

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* g-sse.ads: Simplify comment.

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

    PR middle-end/40830
        * gcc.dg/vect/vect-pre-interact.c: Require vect_float, and
        don't set options ourself.

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

* gcc.misc-tests/linkage.exp: Added -m64 to x86_64 linux target
native C compilation where required.

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

* gcc-interface/decl.c (validate_alignment): For the case of an
implicit array base type, look for alignment clause on first subtype.
Code clean up.

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

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* g-ssinty.ads: New unit. GNAT.SSE.Internal_Types. Factorize
low level internal type definitions for distinct higher level
binding development activities (user type definitions and
operations).
* gnat_rm.texi: Document it.
* g-ssvety.ads: Use it.
* gcc-interface/Makefile.in: (x86 32/64 linux, cygwin32 sections): Add
g-ssinty.o to EXTRA_GNATRTL_NONTASKING_OBJS.
* gcc-interface/utils.c (gnat_internal_attribute_table): Add entry
for the "may_alias" attribute.

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

* scos.ads: Minor typo fix
* gcc-interface/decl.c (validate_alignment): For the case of an
implicit array base type, look for alignment clause on first subtype.
Code clean up.

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

* sem.adb (Walk_Library_Units): Handle properly the case where a unit
in the context depends on the spec of the main unit, by delaying
processing of the main unit body until all other units have been
processed.

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

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

* a-convec.adb: Add comments about suspicious/subtle code.

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

* einfo.ads: Document use of Alias in private overriding

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

* sem_ch13.adb (Analyze_Attribute_Definition_Clause): For the case of
an array type, propagate alignment from first subtype to implicit base
type so that other subtypes (such as the itypes for aggregates of the
type) also receive the expected alignment.

* g-comlin.ads: Minor documentation clarification/rewording.
* scos.ads: Minor comments update.
* lib-writ.ads: Minor reformatting

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

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

* exp_ch3.adb (Expand_N_Object_Declaration): For an initialized object
of a class-wide interface type that is a return object of a
build-in-place function, bypass the interface-related expansions into
renamings with displacement conversions, etc.
* exp_ch5.adb (Expand_N_Extended_Return_Statement): Add an assertion
for the case where a renaming occurs in a build-in-place context, to
assert that the bypassing of the build-in-place treatment only occurs
in the case of a renaming that is an expansion of a return expression
that is itself a build-in-place function call.

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

* sem_ch4.adb (Try_Primitive_Operation): A primitive operation is a
valid candidate interpretation in a prefixed view if it is hidden, but
overrides an inherited operation declared in the visible part.

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

* exp_ch4.adb (Expand_N_Type_Conversion): Don't promote integer
division operands to 64-bit at all in any circumstances.

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

Update comments.

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

PR target/40832
* config/i386/i386.c (output_387_ffreep): Rewrite to return
ASM_SHORT instead of .word.
* config/i386/i386.md (*tls_global_dynamic_64): Use ASM_SHORT
instead of .word in asm template.

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

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

* exp_ch4.adb (Analyze_N_Op_Rem): Assume operands are valid when
checking ranges for mod/rem to see if conditional jump will be
generated.
(Analyze_N_Op_Rem): Don't try to check actual lower bounds for
generating special -1 test for rem, generate it whenever both
operands can be negative (match circuit in Sem_Res).
(Analyze_N_Op_Rem): Don't go to base type, no longer needed and
destroys memory of positive range.
* sem_res.adb (Resolve_Arithmetic_Op): Assume operands are valid when
checking ranges for mod/rem to see if conditional jump will be generated

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

* exp_ch3.adb (Build_Equivalent_Record_Aggregate): If the type of a
scalar components has non-static bounds, the equivalent aggregate
cannot be built, even if the expression is static, because range checks
will be generated.

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

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

* exp_ch4.adb (Expand_N_Type_Conversion): Don't promote integer
division operands to 64-bit inside a conversion if 64-bit division not
available.

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

2009-07-23  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update doc on Misnamed_Identifiers rule.

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

* sinfo.ads, sinfo.adb (SCIL_Entity/Set_SCIL_Entity): new subprograms
(Entity/Set_Entity): not available in N_Null_Statement nodes
(Is_Scil_Node): renamed as Is_SCIL_Node
(Scil_Nkind): renamed as SCIL_Nkind
(Scil_Related_Node): renamed as SCIL_Related_Node
(Scil_Target_Prim): renamed as SCIL_Target_Prim
(Set_Is_Scil_Node): Renamed as Set_Is_SCIL_Node
(Set_Scil_Related_Node): Renamed as Set_SCIL_Related_Node
(Set_Scil_Target_Prim): Renamed as Set_SCIL_Target_Prim
Update documentation
* exp_disp.ads (Scil_Node_Kind): Renamed as SCIL_Node_Kind
(Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
(New_Scil_Node): Renamed as New_SCIL_Node
* exp_disp.adb Update all occurrences of New_Scil_Node to New_SCIL_Node.
(Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
(New_Scil_Node): Renamed as New_SCIL_Node
* exp_ch3.adb Update occurrence of New_Scil_Node to New_SCIL_Node.

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

* sem_prag.adb: No_Return is an Ada 2005 pragma, not a GNAT pragma
* snames.ads-tmpl: No_Return is an Ada 2005 pragma, not a GNAT pragma
* einfo.adb: Minor reformatting

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

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

* checks.adb (Apply_Arithmetic_Overflow_Check): Add comments
cross-referencing the new related code in
Exp_Ch4.Expand_N_Type_Conversion.
* exp_ch4.adb (Expand_N_Type_Conversion): Avoid unnecessary overflows

* exp_disp.adb, exp_disp.ads, sinfo.ads: Minor reformatting.
Add comment.

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

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

* sinfo.ads (Is_Scil_Node, Scil_Nkind, Scil_Related_Node,
Scil_Target_Prim, N_Has_Entity): Add missing documentation.
* exp_disp.ads (Scil_Node_Kind): Ditto.
* exp_disp.adb (Make_DT, Make_Tags): Ditto.
* exp_ch3.adb (Build_Init_Procedure): Ditto.

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

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

* einfo.adb (Component_Type): Add missing assertion.
* sem_res.adb (Resolve_Call): Ensure proper kind of entity before
reading attribute Component_Size.
* exp_ch4.adb (Is_Safe_In_Place_Array_Op): Ensure proper kind of entity
before reading attributes Component_Size and Component_Type.
* exp_ch3.adb (Build_Initialization_Call): Ensure proper kind of entity
before reading attribute Component_Type.

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

Minor reformatting.

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

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* gnat_rm.texi: Document the GNAT.SSE units.

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

* sem_ch6.adb (Analyze_Return_Type): Do not create itype reference for
not null return if it appears on a subunit.

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

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

* exp_ch5.adb (Expand_N_Assignment_Statement): Do left-side validity
check right away so it does not get skipped for early returns, e.g.
array assignments.
(Expand_N_Assignment_Statement): Don't propagate Is_Known_Valid to
left-side unless we really know the value is valid.

* errout.adb, exp_ch3.adb, exp_disp.ads, sinfo.ads, exp_disp.adb: Minor
reformatting. Minor code reorganization. Add comments.

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

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

* get_scos.adb (Skip_EOL): Fix error of mishandling end of line after
complex condition.

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

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

* sem_ch6.adb (Check_Return_Subtype_Indication): Replace type equality
with test of coverage, to allow specific type objects in extended
returns of class-wide functions. Remove now-unnecessary special-case
tests that allowed this in certain cases of expanded extended returns.

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

* sinfo.ads,sinfo.adb (Entity/Set_Entity): Attribute available in
N_Null_Statements (for SCIL nodes).
(Is_Scil_Node/Set_Is_Scil_Node): New attribute (for SCIL nodes).
(Scil_Nkind/Set_Scil_Nkind): New attribute (for SCIL nodes).
(Scil_Related_Node/Set_Scil_Related_Node): New attribute (for SCIL
nodes).
(Scil_Target_Prim/Set_Scil_Target_Prim): New attribute (for SCIL nodes).
* exp_disp.adb (Expand_Dispatching_Call): Add generation of SCIL node
associated with dispatching call.
(Get_Scil_Node_Kind): New function that returns the kind of SCIL node.
(Make_DT, Make_Tags): Add generation of SCIL nodes associated with
initialization of dispatch tables and initialization of tags.
(New_Scil_Node): New function that creates a new SCIL node.
(Build_Init_Procedure): Add generation of SCIL node associated with the
initialization of tags done in the IP subprogram.

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

* errout.adb (Error_Msg_NEL): If the entity in the initial message has
Warnings_Off, do not emit continuation messages.

* sem_ch10.adb: Set Is_Compilation_Unit on generated child subprogram
spec.

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

* ali.adb: Minor comment update

2009-07-23  Vasiliy Fofanov  <fofanov@adacore.com>

* s-win32.ads (HANDLE): Define to be the same size as address type.
Fix copyright.

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* g-sse.ads: New file. Root of the SSE facilities trees, with
general description and common declarations.
* g-ssvety.ads: New file. Expose user level SSE vector types.
* impunit.adb (Non_Imp_File_Names_95): Register new units.
* gcc-interface/Makefile.in (x86 32/64 linux, win32): Add
EXTRA_GNATRTL_NONTASKING_OBJS entries for SSE units.

2009-07-23  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Wordsmithing.

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

* prj-conf.ads, prj-conf.adb: Switch to GPLv3.

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

2009-07-22  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/32784
* unix.c (regular_file): Check for CONIN$ CONOUT$, and CONERR$ and open
the respective /dev/conin or /dev/conout devices.  This is Cygwin
specific.

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

Daily bump.

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

* mangle.c (mangle_type_string_for_rtti): Rename to be clearer.
(needs_fake_anon): New.
(write_name): Check it.
(write_nested_name): Add a fake anonymous namespace scope if true.
* name-lookup.c (get_anonymous_namespace_name): No longer static.
* rtti.c, cp-tree.h: Adjust.

* libsupc++/typeinfo (__GXX_MERGED_TYPEINFO_NAMES): Default to 0.

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

2009-07-22  Vladimir Makarov  <vmakarov@redhat.com>

PR target/37488
* ira-lives.c (bb_has_abnormal_call_pred): New function.
(process_bb_node_lives): Use it.

* ira.c (setup_cover_and_important_classes): Don't setup
ira_important_class_nums.  Add cover classes to the end of
important classes.
(cover_class_order, comp_reg_classes_func,
reorder_important_classes): New.
(find_reg_class_closure): Use reorder_important_classes.

* config/i386/i386.h (IRA_COVER_CLASSES): Remove.

* config/i386/i386.c (i386_ira_cover_classes): New function.
(TARGET_IRA_COVER_CLASSES): Redefine.

* doc/tm.texi (TARGET_IRA_COVER_CLASSES): Add a comment about
importance of order of cover classes in the array.

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