hashtable (_Hashtable<>): Add missing pointer and const_pointer typedefs.

2008-08-27  Paolo Carlini  <paolo.carlini@oracle.com>

* include/tr1_impl/hashtable (_Hashtable<>): Add missing pointer and
const_pointer typedefs.
* testsuite/tr1/6_containers/unordered_set/requirements/typedef.cc:
Add.
* testsuite/tr1/6_containers/unordered_map/requirements/typedef.cc:
Likewise.
* testsuite/tr1/6_containers/unordered_multiset/requirements/
typedef.cc: Likewise.
* testsuite/tr1/6_containers/unordered_multimap/requirements/
typedef.cc: Likewise.
* testsuite/23_containers/unordered_set/requirements/typedef.cc:
Likewise.
* testsuite/23_containers/unordered_map/requirements/typedef.cc:
Likewise.
* testsuite/23_containers/unordered_multiset/requirements/typedef.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/requirements/typedef.cc:
Likewise.

From-SVN: r139674

gcc.pot: Regenerate.

gcc/po:
* gcc.pot: Regenerate.

libcpp/po:
* cpplib.pot: Regenerate.

From-SVN: r139630

re PR c++/35321 (ICE with invalid use of __builtin_offsetof)

2008-08-27  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/35321
* c-common.c (fold_offsetof_1): Handle TARGET_EXPR like CALL_EXPR.

/testsuite
2008-08-27  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/35321
* g++.dg/parse/offsetof8.C: New.

From-SVN: r139628

config.gcc: Loosen checks for arm uclinux eabi targets.

2008-08-27  Paul Brook  <paul@codesourcery.com>

* config.gcc: Loosen checks for arm uclinux eabi targets.

From-SVN: r139627

eh_call.cc (__cxa_call_unexpected): Fix name of __get_object_from_ambiguous_exception.

2008-08-27  Paul Brook  <paul@codesourcery.com>

* libsupc++/eh_call.cc (__cxa_call_unexpected): Fix name of
__get_object_from_ambiguous_exception.

From-SVN: r139626

re PR c++/17880 (-Wsequence-point doesn't warn inside if, while, do conditions, for beg/cond/end expressions etc.)

2008-08-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR c++/17880
cp/
* semantics.c (maybe_convert_cond): Call verify_sequence_points.
(finish_return_stmt): Likewise.
(finish_switch_condition): Likewise.
testsuite/
* g++.dg/warn/sequence-pt-1.C: New.
* g++.dg/warn/sequence-pt-pr17880.C: New.

From-SVN: r139625

t-arm-coff (LIB1ASMFUNCS): Add missing undescrore on _clzsi2.

2008-08-27  Paul Brook  <paul@codesourcery.com>

* config/arm/t-arm-coff (LIB1ASMFUNCS): Add missing undescrore on
_clzsi2.
* config/arm/t-linux (LIB1ASMFUNCS): Ditto.

From-SVN: r139624

cp-tree.h: Fix #error directive.

2008-08-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

* cp-tree.h: Fix #error directive.

From-SVN: r139623

* src/mt_allocator.cc (__pool): Fix error in comment.

From-SVN: r139617

Daily bump.

From-SVN: r139615

Neglected to commit two ChangeLogs

From-SVN: r139612

c-common.c (do_switch_warnings): Look through the CONST_DECLs in the enumerators of an ENUMERAL_TYPE.

2008-08-26  Douglas Gregor  <doug.gregor@gmail.com>

* c-common.c (do_switch_warnings): Look through the CONST_DECLs in
the enumerators of an ENUMERAL_TYPE.
* dbxout.c (dbxout_type): Ditto.

2008-08-26  Douglas Gregor  <doug.gregor@gmail.com>

* typeck.c (type_after_usual_arithmetic_conversions): Don't do the
usual arithmetic conversions on scoped enumeration types.
(common_type): Ditto.
(default_conversion): Don't perform integral promotions on scoped
enumeration types.
(build_array_ref): Scoped enumeration types can't be used as
subscripts.
* decl.c (start_enum): If building a C++0x scoped enumeration,
enter its scope. If provided with an underlying type, check that
underlying type and set up the enumeration type accordingly.
(finish_enum): Only compute an underlying type if the underlying
type isn't already fixed, and only convert the enumerator values
now if we've just computed the underlying type. Finish the scope
of C++0x scoped enumerations.
(build_enumerator): For enumerations with a fixed underlying type,
check the enumerator values when the enumerator is defined.
(lookup_enumerator): New.
* call.c (standard_conversion): Don't allow assignment from
integers to scoped enumeration types, even with -fpermissive.
Don't convert from scoped enumerations to bool or any arithmetic
types.
(build_conditional_expr): Don't per the usual arithmetic
conversions for scoped enumeration types.
(convert_like_real): Check complain to see if we should
produce warnings.
* error.c (class_key_or_enum_as_string): Print scoped enums.
* cp-tree.h (MAYBE_CLASS_TYPE_P): Check CLASS_TYPE_P, not
TYPE_LANG_FLAG_5.
(INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P): New.
(SCOPED_ENUM_P): New.
(UNSCOPED_ENUM_P): New.
(SET_SCOPED_ENUM_P): New.
(ENUM_UNDERLYING_TYPE): New.
* pt.c (lookup_template_class): Update the instantiation of enum
types to deal with C++0x scoped enumerations and underlying
types.
* name-lookup.c (begin_scope): Deal with scoped enumeration
scopes.
(lookup_qualified_name): Deal with lookup into enumeration types.
* name-lookup.h (enum scope_kind): Add sk_scoped_enum.
* parser.c (cp_parser_class_or_namespace_name): Rename to...
(cp_parser_qualifying_entity): ... this. Also, in C++0x mode,
parse a type-name that can be an enumeration type.
(cp_parser_nested_name_specifier_opt): Update with C++0x grammar.
(cp_parser_elaborated_type_specifier): Parse the
optional `struct' or `class' following enum (in C++0x).
(cp_parser_enum_specifier): Parse C++0x scoped enumerations and
enum-base clauses.

2008-08-26  Douglas Gregor  <doug.gregor@gmail.com>

* g++.dg/cpp0x/scoped_enum_examples.C: New.
* g++.dg/cpp0x/scoped_enum.C: New.
* g++.dg/cpp0x/scoped_enum_98.C: New.
* g++.dg/cpp0x/enum_base_warn.C: New.
* g++.dg/cpp0x/enum_base.C: New.

From-SVN: r139611

altivec-macros.c: Fix dg-message directives.

* gcc.target/powerpc/altivec-macros.c: Fix dg-message directives.
* gcc.target/powerpc/ppu-intrinsics.c: Ignore some warnings.
* gcc.target/powerpc/darwin-save-world-1.c: Require AltiVec hardware.
* gcc.target/powerpc/altivec-types-1.c: Expect some notes.
* gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c: Ignore a warning.
* g++.dg/ext/altivec-2.C: Initialize a local variable.
* g++.dg/ext/altivec-3.C: Move AltiVec code out of main.

From-SVN: r139610

gcc.dg/torture/type-generic-1.c: Don't use IBM 128-bit long double.

g++.dg/torture/type-generic-1.C: Ditto.

From-SVN: r139609

re PR rtl-optimization/37219 (fwprop1 is broken for addresses)

2008-08-26  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR rtl-opt/37219
        * fwprop.c (fwprop): Check that the loop_father is the outer loop.
        (fwprop_addr): Check that the loop_father is not the outer loop.

From-SVN: r139605

vfp.md: Document fmul{s,d} and fmac{s,d} types.

2008-08-28  Paul Brook  <paul@codesourcery.com>

* config/arm/vfp.md: Document fmul{s,d} and fmac{s,d} types.
Remove documentation entry for fmul type.
Use fmuls to annotate single-precision multiplication patterns,
fmuld to annotate double-precision multiplication patterns,
fmacs to annotate single-precision multiply-accumulate patterns
and fmacd to annotate double-precision multiply-accumulate patterns.
* config/arm/vfp11.md: Update reservations accordingly.
* config/arm/arm.md: Note that certain values of the "type"
attribute are documented in vfp.md.
* config/arm/arm1020e.md: Remove out of date duplicate comment.
(v10_cvt): Use new fmul types.

From-SVN: r139604

vfp.md: Move pipeline description for VFP11 to...

2008-08-26  Paul Brook   <paul@codesourcery.com>

* config/arm/vfp.md: Move pipeline description for VFP11 to...
* config/arm/vfp11.md: ...here.  New.
* config/arm/arm.md: Include vfp11.md.

From-SVN: r139603

opts.c (decode_options): Add missing parameter to inform call.

* opts.c (decode_options) [!IRA_COVER_CLASSES]: Add missing
parameter to inform call.

From-SVN: r139601

mn10300.md (movqi, movhi): Split i->d*a case into two cases to avoid the possibility of getting...

* mn10300.md (movqi, movhi): Split i->d*a case into two cases to
avoid the possibility of getting DATA_OR_ADDRESS_REGS as the
preferred class when copying a constant into a partial word register.

From-SVN: r139600

vfp.md: Move pipeline description for VFP11 to...

2008-08-26  Paul Brook   <paul@codesourcery.com>

* config/arm/vfp.md: Move pipeline description for VFP11 to...
* config/arm/vfp11.md: ...here.  New.
* config/arm/arm.md: Include vfp11.md.

From-SVN: r139599

rtlanal.c: Fix uses of "it's" with "its" where appropriate.

* rtlanal.c: Fix uses of "it's" with "its" where appropriate.
* cp/typeck.c: Likewise.
* cp/tree.c: Likewise.
* gimple-low.c: Likewise.
* jump.c: Likewise.

From-SVN: r139591

[multiple changes]

2008-08-26  Vladimir Makarov  <vmakarov@redhat.com>

* ira-build.c, ira-color.c, ira-costs.c, ira.h, ira-lives.c,
ira.c, ira-conflicts.c, ira-emit.c, ira-int.h: New files.

* doc/passes.texi: Describe IRA.

* doc/tm.texi (IRA_COVER_CLASSES,
IRA_HARD_REGNO_ADD_COST_MULTIPLIER): Describe the new macros.

* doc/invoke.texi (ira-max-loops-num): Describe the new parameter.
(-fira, -fira-algorithm, -fira-coalesce, -fno-ira-move-spills,
-fira-propagate-cost, -fno-ira-share-save-slots,
-fno-ira-share-spill-slots, -fira-verbose): Describe new options.

* flags.h (ira_algorithm): New enumeration.
(flag_ira_algorithm, flag_ira_verbose): New external variable
declarations.

* postreload.c (gate_handle_postreload): Don't do post reload
optimizations unless the reload is completed.

* reload.c (push_reload, find_dummy_reload): Use DF_LR_OUT for
IRA.

* tree-pass.h (pass_ira): New external variable declaration.

* reload.h: Add 2008 to the Copyright.

* cfgloopanal.c: Include params.h.
(estimate_reg_pressure_cost): Decrease cost for IRA optimization
mode.

* params.h (IRA_MAX_LOOPS_NUM): New macro.

* toplev.c (ira.h): New include.
(flag_ira_algorithm, flag_ira_verbose): New external variables.
(backend_init_target): Call ira_init.
(backend_init): Call ira_init_once.
(finalize): Call finish_ira_once.

* toplev.h (flag_ira, flag_ira_coalesce, flag_ira_move_spills,
flag_ira_share_save_slots, flag_ira_share_spill_slots): New
external variables.

* regs.h (contains_reg_of_mode, move_cost, may_move_in_cost,
may_move_out_cost): New external variable declarations.
(move_table): New typedef.

* caller-save.c: Include headers output.h and ira.h.
(no_caller_save_reg_set): New global variable.
(save_slots_num, save_slots): New variables.
(reg_save_code, reg_restore_code, add_stored_regs): Add
prototypes.
(init_caller_save): Set up no_caller_save_reg_set.
(init_save_areas): Reset save_slots_num.
(saved_hard_reg): New structure.
(hard_reg_map, saved_regs_num, all_saved_regs): New variables.
(initiate_saved_hard_regs, new_saved_hard_reg,
finish_saved_hard_regs, saved_hard_reg_compare_func): New
functions.
(setup_save_areas): Add code for sharing stack slots.
(all_blocks): New variable.
(save_call_clobbered_regs): Process pseudo-register too.
(mark_set_regs): Process pseudo-register too.
(insert_one_insn): Put the insn after bb note in a empty basic
block.  Add insn check.

* global.c (eliminable_regset): Make it external.
(mark_elimination): Use DF_LR_IN for IRA.
(pseudo_for_reload_consideration_p): New.
(build_insn_chain): Make it external.  Don't ignore spilled
pseudos for IRA.  Use pseudo_for_reload_consideration_p.
(gate_handle_global_alloc): New function.
(pass_global_alloc): Add the gate function.

* opts.c (decode_options): Set up flag_ira.  Print the warning for
-fira.
(common_handle_option): Process -fira-algorithm and -fira-verbose.

* timevar.def (TV_IRA, TV_RELOAD): New passes.

* regmove.c (regmove_optimize): Don't do replacement of output for
IRA.

* hard-reg-set.h (no_caller_save_reg_set, reg_class_subclasses):
New external variable declarations.

* local-alloc.c (update_equiv_regs): Make it external.  Return
true if jump label rebuilding should be done.  Rescan new_insn for
notes.
(gate_handle_local_alloc): New function.
(pass_local_alloc): Add the gate function.

* alias.c (value_addr_p, stack_addr_p): New functions.
(nonoverlapping_memrefs_p): Use them for IRA.

* common.opt (fira, fira-algorithm, fira-coalesce,
fira-move-spills, fira-share-save-slots, fira-share-spill-slots,
fira-verbose): New options.

* regclass.c (reg_class_subclasses, contains_reg_of_mode,
move_cost, may_move_in_cost, may_move_out_cost): Make the
variables external.
(move_table): Remove typedef.
(init_move_cost): Make it external.
(allocate_reg_info, resize_reg_info, setup_reg_classes): New
functions.

* rtl.h (init_move_cost, allocate_reg_info, resize_reg_info,
setup_reg_classes): New function prototypes.
(eliminable_regset): New external variable declaration.
(build_insn_chain, update_equiv_regs): New function prototypes.

* Makefile.in (IRA_INT_H): New definition.
(OBJS-common): Add ira.o, ira-build.o, ira-costs.o,
ira-conflicts.o, ira-color.o, ira-emit.o, and ira-lives.o.
(reload1.o, toplev.o): Add dependence on ira.h.
(cfgloopanal.o): Add PARAMS_H.
(caller-save.o): Add dependence on output.h and ira.h.
(ira.o, ira-build.o, ira-costs.o, ira-conflicts.o, ira-color.o,
ira-emit.o, ira-lives.o): New entries.

* passes.c (pass_ira): New pass.

* params.def (PARAM_IRA_MAX_LOOPS_NUM): New parameter.

* reload1.c (ira.h): Include the header.
(changed_allocation_pseudos): New bitmap.
(init_reload): Initiate the bitmap.
(compute_use_by_pseudos): Permits spilled registers in FROM.
(temp_pseudo_reg_arr): New variable.
(reload): Allocate and free temp_pseudo_reg_arr.  Sort pseudos for
IRA.  Call alter_reg with the additional parameter.  Don't clear
spilled_pseudos for IRA.  Restore original insn chain for IRA.
Clear changed_allocation_pseudos at the end of reload.
(calculate_needs_all_insns): Call IRA's mark_memory_move_deletion.
(hard_regno_to_pseudo_regno): New variable.
(count_pseudo): Check spilled pseudos.  Set up
hard_regno_to_pseudo_regno.
(count_spilled_pseudo): Check spilled pseudos. Update
hard_regno_to_pseudo_regno.
(find_reg): Use better_spill_reload_regno_p.  Check
hard_regno_to_pseudo_regno.
(alter_reg): Set up spilled_pseudos.  Add a new parameter.  Add
code for IRA.
(eliminate_regs_1): Use additional parameter for alter_reg.
(finish_spills): Set up pseudo_previous_regs only for spilled
pseudos.  Call reassign_pseudos once for all spilled pseudos, pass
more arguments.  Don't clear live_throughout and dead_or_set for
spilled pseudos.  Use additional parameter for alter_reg.  Call
mark_allocation_change.  Set up changed_allocation_pseudos.
Remove sanity check.
(emit_input_reload_insns, delete_output_reload): Use additional
parameter for alter_reg.  Call mark_allocation_change.
(substitute, gen_reload_chain_without_interm_reg_p): New
functions.
(reloads_conflict): Use gen_reload_chain_without_interm_reg_p.

* testsuite/gcc.dg/20080410-1.c: New file.

* config/s390/s390.h (IRA_COVER_CLASSES,
IRA_HARD_REGNO_ADD_COST_MULTIPLIER): Define.

* config/sparc/sparc.h (IRA_COVER_CLASSES): New macro.

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

* config/ia64/ia64.h (IRA_COVER_CLASSES): Ditto.

* config/rs6000/rs6000.h (IRA_COVER_CLASSES): Ditto.

* config/arm/arm.h (IRA_COVER_CLASSES): Ditto.

* config/alpha/alpha.h (IRA_COVER_CLASSES): Ditto.

2008-08-24  Jeff Law  <law@redhat.com>
* ira.c (setup_reg_class_intersect_union): Prefer smallest class
when ignoring unavailable registers.

2008-08-24  Jeff Law  <law@redhat.com>
* ira-color.c (coalesced_pseudo_reg_slot_compare): Check
FRAME_GROWS_DOWNWARD and STACK_GROWS_DOWNWARD.
* ira.c (setup_eliminable_regset): Check stack_realign_needed.
* config/mn10300/mn10300.h (IRA_COVER_CLASSES): New macro.

2008-06-03 Steve Chamberlain <steve.chamberlain@gmail.com>
* ira-build.c (allocno_range_compare_func): Stabilize sort.

2008-05-29 Andy Hutchinson <hutchinsonandy@aim.com>
* config/avr/avr.h (IRA_COVER_CLASSES): New macro.
* reload1.c (find_reg): Process registers in register allocation order.

2008-05-10 Richard Sandiford <rsandifo@nildram.co.uk>
* toplev.c (backend_init_target): Move ira_init call from
here...
(lang_dependent_init_target): ...to here.

2008-05-10 Richard Sandiford <rsandifo@nildram.co.uk>
* ira.c (setup_class_subset_and_memory_move_costs): Don't
calculate memory move costs for NO_REGS.

2008-05-05 Kaz Kojima <kkojima@gcc.gnu.org>
* ira-color.c (ira_fast_allocation): Use no_stack_reg_p only if
STACK_REGS is defined.

2008-04-08 Andrew Pinski <andrew_pinski@playstation.sony.com>
* config/spu/spu.h (IRA_COVER_CLASSES): New macro.

2008-04-04 Bernd Schmidt <bernd.schmidt@analog.com>
* config/bfin/bfin.h (IRA_COVER_CLASSES): New macro.

2008-04-04 Kaz Kojima <kkojima@gcc.gnu.org>
* config/sh/sh.h (IRA_COVER_CLASSES): Define.
* config/sh/sh.md (movsicc_true+3): Check if emit returns a
barrier.

From-SVN: r139590

spu.md (vec_extract_evenv4si, [...]): Implement.S

2008-08-26  Victor Kaplansky  <victork@il.ibm.com>
            Dorit Nuzman  <dorit@il.ibm.com>

        * gcc/config/spu/spu.md (vec_extract_evenv4si,
        vec_extract_evenv4sf, vec_extract_evenv8hi,
        vec_extract_evenv16qi, vec_extract_oddv4si,
        vec_extract_oddv4sf, vec_extract_oddv8hi, vec_extract_oddv16qi,
        vec_interleave_highv4sf, vec_interleave_lowv4sf,
        vec_interleave_highv4si, vec_interleave_lowv4si,
        vec_interleave_highv8hi, vec_interleave_lowv8hi,
        vec_interleave_highv16qi, vec_interleave_lowv16qi,
        vec_pack_trunc_v8hi, vec_pack_trunc_v4si): Implement.S

Testsuite

* gcc.dg/vect/slp-18.c: Require vect_intfloat_cvt.
* gcc.dg/vect/slp-11.c: Likewise.
* gcc.dg/vect/fast-math-pr35982.c: Likewise.
* lib/target-supports.exp:
(check_effective_target_vect_pack_trunc): Add SPU to the list.
(check_effective_target_vect_extract_even_odd): Likewise.
(check_effective_target_vect_extract_even_odd_wide): Likewise.
(check_effective_target_vect_interleave): Likewise.

Co-Authored-By: Dorit Nuzman <dorit@il.ibm.com>
From-SVN: r139589

Daily bump.

From-SVN: r139580

acinclude.m4 ([GLIBCXX_CHECK_GETTIMEOFDAY]): Change to use GCC_TRY_COMPILE_OR_LINK.

2008-08-23  Paolo Carlini  <paolo.carlini@oracle.com>

* acinclude.m4 ([GLIBCXX_CHECK_GETTIMEOFDAY]): Change to use
GCC_TRY_COMPILE_OR_LINK.
([GLIBCXX_CHECK_CLOCK_GETTIME]): Rename to
[GLIBCXX_ENABLE_CLOCK_GETTIME], a versatile configure-time option,
[no] by default, since it includes TRY_LINK checks.  librt is also
searched, if requested.
* doc/xml/manual/configure.xml: Document the latter.
* configure.ac: Move the above checks outside native-only.
* configure: Regenerate.

From-SVN: r139576

re PR target/36756 (g++.dg/tls-3.C ICE with section-anchors, unit-at-a-time, no-toplevel-reorder)

PR target/36756
* config/rs6000/rs6000.c (optimization_options): Don't default to
section anchors without toplevel reorder.

From-SVN: r139572

spu_mfcio.h (mfc_begin_critical_section): New function.

* config/spu/spu_mfcio.h (mfc_begin_critical_section): New function.
(mfc_end_critical_section): Likewise.

From-SVN: r139570

rs6000.c (rs6000_handle_altivec_attribute): Propagate all type qualifiers from element type to vector type.

ChangeLog:

* config/rs6000/rs6000.c (rs6000_handle_altivec_attribute): Propagate
all type qualifiers from element type to vector type.

testsuite/ChangeLog:

* gcc.target/powerpc/altivec-volatile.c: New test.

Co-Authored-By: Andrew Pinski <andrew_pinski@playstation.sony.com>
From-SVN: r139569

mips.md (immediate_insn): Move up in file, fix comment typo, reformat.

2008-08-25  David Daney  <ddaney@avtrex.com>

* config/mips/mips.md (immediate_insn): Move up in file, fix
comment typo, reformat.
(fetchop_bit, atomic_hiqi_op memory_barrier,
sync_compare_and_swap<mode>, compare_and_swap_12, sync_add<mode>,
sync_<optab><mode>, sync_<optab>_12, sync_old_<optab><mode>,
sync_old_<optab>_12, sync_new_<optab><mode>, sync_new_<optab>_12,
sync_nand<mode>, sync_nand_12, sync_old_nand<mode>,
sync_old_nand_12, sync_new_nand<mode>, sync_new_nand_12,
sync_sub<mode>, sync_old_add<mode>, sync_old_sub<mode>,
sync_new_add<mode>, sync_new_sub<mode>, sync_<optab><mode>,
sync_old_<optab><mode>, sync_new_<optab><mode>, sync_nand<mode>,
sync_old_nand<mode>, sync_new_nand<mode>,
sync_lock_test_and_set<mode>, sync_lock_test_and_set<mode>,
test_and_set_12): Moved to sync.md.
(sync.md): Include.
* config/mips/sync.md: New file.

From-SVN: r139568

ffitarget.h (ffi_abi): Add FFI_LINUX and FFI_LINUX_SOFT_FLOAT to the POWERPC_FREEBSD enum.

2008-08-25  Andreas Tobler  <a.tobler@schweiz.org>

* src/powerpc/ffitarget.h (ffi_abi): Add FFI_LINUX and
FFI_LINUX_SOFT_FLOAT to the POWERPC_FREEBSD enum.
Add note about flag bits used for FFI_SYSV_TYPE_SMALL_STRUCT.
Adjust copyright notice.
* src/powerpc/ffi.c: Add two new flags to indicate if we have one
register or two register to use for FFI_SYSV structs.
(ffi_prep_cif_machdep): Pass the right register flag introduced above.
(ffi_closure_helper_SYSV): Fix the return type for
FFI_SYSV_TYPE_SMALL_STRUCT. Comment.
Adjust copyright notice.

From-SVN: r139567

gfortran.h (gfc_find_component): Add new arguments.

2008-08-25  Daniel Kraft  <d@domob.eu>

* gfortran.h (gfc_find_component): Add new arguments.
* parse.c (parse_derived_contains): Check if the derived-type containing
the CONTAINS section is SEQUENCE/BIND(C).
* resolve.c (resolve_typebound_procedure): Check for name collision with
components.
(resolve_fl_derived): Check for name collision with inherited
type-bound procedures.
* symbol.c (gfc_find_component): New arguments `noaccess' and `silent'.
(gfc_add_component): Adapt for new arguments.
* primary.c (match_varspec), (gfc_match_structure_constructor): Ditto.

2008-08-25  Daniel Kraft  <d@domob.eu>

* gfortran.dg/extends_7.f03: New test.
* gfortran.dg/typebound_proc_7.f03: New test.
* gfortran.dg/typebound_proc_8.f03: New test.

From-SVN: r139566

dwarf2out.c (def_cfa_1): Don't scale by DWARF_CIE_DATA_ALIGNMENT.

        * dwarf2out.c (def_cfa_1): Don't scale by DWARF_CIE_DATA_ALIGNMENT.
        (regsave): Likewise.
        (lookup_cfa_1): Don't rescale by DWARF_CIE_DATA_ALIGNMENT.
        (output_cfi_directive): Likewise.
        (div_data_align): New.
        (output_cfi): Use it.

From-SVN: r139565

config.gcc (mips64*-*-linux*): Handle mips64octeon*-*-linux*.

* config.gcc (mips64*-*-linux*): Handle mips64octeon*-*-linux*.
* config/mips/mips.h (enum processor_type): Add PROCESSOR_OCTEON.
(TARGET_OCTEON): New macro.
(TARGET_CPU_CPP_BUILTINS): Define __OCTEON__ for Octeon.
(MIPS_ISA_LEVEL_SPEC, MIPS_ARCH_FLOAT_SPEC): Handle -march=octeon.
(ISA_HAS_POP): New macro.
* config/mips/driver-native.c (host_detect_local_cpu): Handle
Octeon.
* config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
Handle Octeon.
* config/mips/mips.md (cpu): Add octeon.
(type): Add pop attribute value.
(popcount<mode>2): New pattern.
* doc/invoke.texi (-march=@var{arch}): Add octeon.
testsuite/
* gcc.target/mips/octeon-pop-1.c: New test.

From-SVN: r139554

Daily bump.

From-SVN: r139552

acinclude.m4 ([GLIBCXX_CHECK_RANDOM_TR1]): Simplify, just use two test -r instead of an AC_TRY_RUN.

2008-08-24  Paolo Carlini  <paolo.carlini@oracle.com>

* acinclude.m4 ([GLIBCXX_CHECK_RANDOM_TR1]): Simplify, just use
two test -r instead of an AC_TRY_RUN.
* configure: Regenerate.
* config.h.in: Likewise.

From-SVN: r139549

re PR fortran/37201 (ICE in in gfc_conv_string_parameter)

2008-08-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37201
        * decl.c (verify_bind_c_sym): Reject array/string returning
        functions.

2008-08-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37201
        * gfortran.dg/bind_c_18.f90: New.

From-SVN: r139545

ipacost-1.c: New testcase.

* gcc.dg/ipa/ipacost-1.c: New testcase.
* gcc.dg/ipa/ipacost-2.c: New testcase.
* gcc.dg/ipa/ipa-7.c: Update template.

From-SVN: r139544

invoke.texi (-fipa-cp-clone): New option.

* doc/invoke.texi (-fipa-cp-clone): New option.
(-fipa-cp): Update docs.
(--param ipcp-unit-growth):New.
* ipa-cp.c: Include fibheap.h, params.h
(ipcp_initialize_node_lattices): When not cloning, all externally
visible functions are bottom.
(ipcp_need_redirect_p): Accept clones.
(ipcp_insert_stage): Use cost driven heuristics.
(max_count, dead_nodes): New static vars.
(ipcp_need_original_clone_p, ipcp_estimate_cloning_cost,
ipcp_const_param_count): New functions.
* common.opt (ipa-cp-clone): New command line option.
* params.def (ipcp-unit-growth): New.

* gcc.dg/ipa/ipacost-1.c: New testcase.
* gcc.dg/ipa/ipacost-2.c: New testcase.
* gcc.dg/ipa/ipa-7.c: Update template.

From-SVN: r139543

tree-inline.c (tree_function_versioning): Look harder for referenced vars.

* tree-inline.c (tree_function_versioning): Look harder
for referenced vars.

From-SVN: r139542

re PR tree-optimization/37185 (gcc.dg/matrix/transpose-3.c:16: internal compiler error: verify_stmts failed)

2008-08-24  Razya Ladelsky  <razya@il.ibm.com>

        PR tree-optimization/37185
        * matrix-reorg.c (transform_access_sites): Update changed stmt.

From-SVN: r139539

re PR fortran/37201 (ICE in in gfc_conv_string_parameter)

2008-08-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37201
        * trans-expr.c (gfc_conv_function_call): Add string_length
        for character-returning bind(C) functions.

2008-08-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37201
        * gfortran.dg/bind_c_usage_17.f90: New.
        * gfortran.dg/bind_c_usage_17_c.c: New.

From-SVN: r139537

ipa-cp.c (ipcp_analyze_node): New function.

* ipa-cp.c (ipcp_analyze_node): New function.
(ipcp_update_cloned_node): Use it.
(ipcp_init_stage): Likewise.
* ipa-inline.c (function_insertion_hook_holder): New static var.
(analyze_function): Break out from ....
(inline_generate_summary): Here; register insertion hook.
(cgraph_decide_inlining): Remove hook.
(add_new_function): New function.

From-SVN: r139536

gfortran.h (gfc_typebound_proc): New struct.

2008-08-24  Daniel Kraft  <d@domob.eu>

* gfortran.h (gfc_typebound_proc):  New struct.
(gfc_symtree):  New member typebound.
(gfc_find_typebound_proc):  Prototype for new method.
(gfc_get_derived_super_type):  Prototype for new method.
* parse.h (gfc_compile_state):  New state COMP_DERIVED_CONTAINS.
* decl.c (gfc_match_procedure):  Handle PROCEDURE inside derived-type
CONTAINS section.
(gfc_match_end):  Handle new context COMP_DERIVED_CONTAINS.
(gfc_match_private):  Ditto.
(match_binding_attributes), (match_procedure_in_type):  New methods.
(gfc_match_final_decl):  Rewrote to make use of new
COMP_DERIVED_CONTAINS parser state.
* parse.c (typebound_default_access):  New global helper variable.
(set_typebound_default_access):  New callback method.
(parse_derived_contains):  New method.
(parse_derived):  Extracted handling of CONTAINS to new parser state
and parse_derived_contains.
* resolve.c (resolve_bindings_derived), (resolve_bindings_result):  New.
(check_typebound_override), (resolve_typebound_procedure):  New methods.
(resolve_typebound_procedures):  New method.
(resolve_fl_derived):  Call new resolving method for typebound procs.
* symbol.c (gfc_new_symtree):  Initialize new member typebound to NULL.
(gfc_find_typebound_proc):  New method.
(gfc_get_derived_super_type):  New method.

2008-08-24  Daniel Kraft  <d@domob.eu>

* gfortran.dg/finalize_5.f03:  Adapted expected error message to changes
to handling of CONTAINS in derived-type declarations.
* gfortran.dg/typebound_proc_1.f08:  New test.
* gfortran.dg/typebound_proc_2.f90:  New test.
* gfortran.dg/typebound_proc_3.f03:  New test.
* gfortran.dg/typebound_proc_4.f03:  New test.
* gfortran.dg/typebound_proc_5.f03:  New test.
* gfortran.dg/typebound_proc_6.f03:  New test.

From-SVN: r139534

acinclude.m4 ([GLIBCXX_ENABLE_CLOCK_GETTIME]): Improve documentation.

2008-08-24  Paolo Carlini  <paolo.carlini@oracle.com>

* acinclude.m4 ([GLIBCXX_ENABLE_CLOCK_GETTIME]): Improve documentation.
* doc/xml/manual/configure.xml: Likewise.

From-SVN: r139533

* opts.c (decode_options): Revert accidental change enabling ipa-cp.

From-SVN: r139532

acinclude.m4 ([GLIBCXX_ENABLE_CLOCK_GETTIME]): Use [=KIND] in GLIBCXX_ENABLE.

2008-08-23  Paolo Carlini  <paolo.carlini@oracle.com>

* acinclude.m4 ([GLIBCXX_ENABLE_CLOCK_GETTIME]): Use [=KIND] in
GLIBCXX_ENABLE.
* configure: Regenerate.

From-SVN: r139531

acinclude.m4 ([GLIBCXX_CHECK_GETTIMEOFDAY]): Change to use GCC_TRY_COMPILE_OR_LINK.

2008-08-23  Paolo Carlini  <paolo.carlini@oracle.com>

* acinclude.m4 ([GLIBCXX_CHECK_GETTIMEOFDAY]): Change to use
GCC_TRY_COMPILE_OR_LINK.
([GLIBCXX_CHECK_CLOCK_GETTIME]): Rename to
[GLIBCXX_ENABLE_CLOCK_GETTIME], a versatile configure-time option,
[no] by default, since it includes TRY_LINK checks.  librt is also
searched, if requested.
* doc/xml/manual/configure.xml: Document the latter.
* configure.ac: Move the above checks outside native-only.
* configure: Regenerate.

From-SVN: r139530

Daily bump.

From-SVN: r139528

ipa-cp.c (constant_val_insert): Remove.

* ipa-cp.c (constant_val_insert): Remove.
(ipcp_propagate_one_const): Remove.
(ipcp_create_replace_map): Always insert replacements to the map.
(ipcp_insert_stage): Do not try to insert statements by hand.
* tree-inline.c (insert_init_stmt): Break out from ...
(setup_one_parameter): ... here; allow NULL BB pointer.
(tree_function_versioning): Use setup_one_parameter to process
replacement map.

From-SVN: r139525

gfortran.h (gfc_component): Add field "symbol_attribute attr"...

2008-08-23  Janus Weil  <janus@gcc.gnu.org>

* gfortran.h (gfc_component): Add field "symbol_attribute attr", remove
fields "pointer", "allocatable", "dimension", "access".
Remove functions "gfc_set_component_attr" and "gfc_get_component_attr".
* interface.c (gfc_compare_derived_types): Ditto.
* trans-array.c (gfc_array_allocate,structure_alloc_comps): Ditto.
* trans-expr.c (gfc_conv_component_ref,gfc_trans_subcomponent_assign,
gfc_conv_structure): Ditto.
* symbol.c (gfc_find_component,free_components,gfc_set_component_attr,
gfc_get_component_attr,verify_bind_c_derived_type,
generate_isocbinding_symbol): Ditto.
* decl.c (build_struct): Ditto.
* dump-parse-tree.c (show_components): Ditto.
* trans-stmt.c (gfc_trans_deallocate): Ditto.
* expr.c (gfc_check_assign,gfc_check_pointer_assign,
gfc_default_initializer): Ditto.
* module.c (mio_component): Ditto.
* trans-types.c (copy_dt_decls_ifequal,gfc_get_derived_type): Ditto.
* resolve.c (has_default_initializer,resolve_structure_cons,
gfc_iso_c_func_interface,find_array_spec,resolve_ref,
resolve_deallocate_expr,resolve_allocate_expr,resolve_fl_derived,
resolve_equivalence_derived): Ditto.
* trans-io.c (transfer_expr): Ditto.
* parse.c (parse_derived): Ditto.
* dependency.c (gfc_check_dependency): Ditto.
* primary.c (gfc_variable_attr): Ditto.

From-SVN: r139524

tree.c (decl_address_ip_invariant_p): New function.

* tree.c (decl_address_ip_invariant_p): New function.
* tree.h (decl_address_ip_invariant_p): Declare.
* gimple.c (strip_invariant_refs): Break out from ...
(is_gimple_invariant_address): ... here
(is_gimple_ip_invariant_address): New function.
(is_gimple_ip_invariant): New function.
* gimple.h (is_gimple_ip_invariant_address, is_gimple_ip_invariant):
Declare.

* ipa-cp.c (ipcp_lat_is_const): Remove handling of IPA_CONST_VALUE_REF.
(ipcp_lat_is_insertable): All constants are insertable.
(ipcp_lattice_from_jfunc, ipcp_print_all_lattices): Remove handling of
IPA_CONST_VALUE_REF.
(ipcp_initialize_node_lattices): Propagate all types of operands.
(build_const_val): Do not handle IPA_CONST_VALUE_REF.
(ipcp_create_replace_map): Reformat.
(ipcp_need_redirect_p): Simplify.
(ipcp_insert_stage): Check that argument is used before clonning.
* ipa-prop.c (ipa_print_node_jump_functions): Do not handle IPA_CONST_REF.
(compute_scalar_jump_functions): Simplify using is_gimple_ip_invariat.
(determine_cst_member_ptr): Keep wrapping ADDR_EXPR of members.
(update_call_notes_after_inlining): Expect ADDR_EXPR in operand.
* ipa-prop.h (jump_func_type): Remove IPA_CONST_REF.
(jump_func_type): Remove IPA_CONST_VALUE_REF.
* tree-inline.c (tree_function_versioning): Add variables referenced by
replacing trees.

From-SVN: r139523

re PR target/37094 (Ada build broken for i586)

PR target/37094
* i386.c (standard_80387_constant_p): Use optimize_size.

From-SVN: r139522

re PR fortran/37076 (Concatenation of KIND=4 strings with KIND=4 parameters fails)

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37076
        * arith.c (gfc_arith_concat): Fix concat of kind=4 strings.

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37076
        * gfortran.dg/widechar_9.f90: New.

From-SVN: r139521

re PR fortran/37025 (ICE with TRANSFER to non-default-kind character: transfer(int(z'bde4'),4_'a'))

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37025
        * target-memory.c (gfc_interpret_character): Support
        kind=4 characters.

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37025
        * gfortran.dg/widechar_8.f90: New.

From-SVN: r139520

re PR middle-end/37161 (Revision 139225 caused gfortran.dg/vect/pr33301.f  -O)

PR tree-optimization/37161
* tree-vectorizer.h (vect_get_smallest_scalar_type): Declare.
* tree-vect-analyze.c (vect_get_smallest_scalar_type): New function.
(vect_determine_vectorization_factor): Move the scalar type
retrieval to vect_get_smallest_scalar_type.
(vect_build_slp_tree): Call vect_get_smallest_scalar_type to get
scalar type. Remove redundant computation.
* tree-vect-transform.c (vect_get_constant_vectors): Add argument.
(vect_get_slp_defs): Take the type of RHS into account if
necessary by calling vect_get_smallest_scalar_type. Call
vect_get_constant_vectors with additional argument.

From-SVN: r139518

re PR other/35648 (-Wall includes -Wwrite-strings)

2008-08-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR 35648
* doc/invoke.texi (Wwrite-strings): Clarify description.

From-SVN: r139517

MAINTAINERS: Use correct Umlaut for last name.

2008-08-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

* MAINTAINERS:  Use correct Umlaut for last name.

From-SVN: r139510

[multiple changes]

2008-08-23  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/lib/libstdc++.exp (check_v3_target_atomic_builtins): Add.
* testsuite/lib/dg-options.exp (dg-require-atomic-builtins): Likewise.
* testsuite/18_support/exception_ptr/current_exception.cc: Use it.
        * testsuite/18_support/exception_ptr/rethrow_exception.cc: Likewise.
        * testsuite/18_support/exception_ptr/lifespan.cc: Likewise.

2008-08-23  Sebastian Redl <sebastian.redl@getdesigned.at>

Add (again) exception propagation support as per N2179.  Feature is
available only when _GLIBCXX_ATOMIC_BUILTINS_4 is defined.
* libsupc++/exception_ptr.h (exception_ptr, current_exception,
        copy_exception, rethrow_exception): New file, implement exception
propagation.
        * libsupc++/eh_ptr.cc (exception_ptr, current_exception,
        rethrow_exception, __gxx_dependent_exception_cleanup): Likewise.
        * libsupc++/unwind-cxx.h (__cxa_exception): Add reference count.
(__cxa_dependent_exception, __cxa_allocate_dependent_exception,
        __cxa_free_dependent_exception, __get_dependent_exception_from_ue,
        __GXX_INIT_DEPENDENT_EXCEPTION_CLASS, __is_dependent_exception,
        __gxx_dependent_exception_class, __get_object_from_ue,
        __get_object_from_ambiguous_exception): Add.
        (__GXX_INIT_EXCEPTION_CLASS, __gxx_exception_class): Rename.
        (__is_gxx_exception_class): Handle dependent exceptions.
        * libsupc++/eh_arm.cc (__cxa_type_match): Likewise.
        * libsupc++/eh_call.cc (__cxa_call_unexpected): Likewise.
        * libsupc++/eh_personality.cc (__gxx_personality_*): Likewise.
        * libsupc++/eh_type.cc (__cxa_current_exception_type): Likewise.
        * libsupc++/eh_alloc.cc (__cxa_allocate_dependent_exception,
        __cxa_free_dependent_exception): Add.
        * libsupc++/eh_throw.cc (__gxx_exception_cleanup): Handle reference
        counting.
        * libsupc++/exception: Conditionally include exception_ptr.h.
        * libsupc++/Makefile.am: Register new files.
        * libsupc++/Makefile.in: Regenerate.
        * config/abi/pre/gnu.ver: Add new symbols.
        * testsuite/18_support/exception_ptr/current_exception.cc: Test the
        core functionality of current_exception().
        * testsuite/18_support/exception_ptr/rethrow_exception.cc: Test the
        core functionality of rethrow_exception().
        * testsuite/18_support/exception_ptr/lifespan.cc: Test the life span of
        exception objects during exception propagation.

From-SVN: r139509

re PR middle-end/37174 (ICE: in vinfo_for_stmt, at tree-vectorizer.h:546)

PR tree-optimization/37174
* tree-vect-analyze.c (vect_get_and_check_slp_defs): Check that the
def stmt is a part of the loop before accessing its stmt_vec_info.

From-SVN: r139508

* MAINTAINERS: Move myself from Reviewers to Write after Approval.

From-SVN: r139507

Daily bump.

From-SVN: r139505

re PR target/11259 ([avr] gcc Double 'andi' missed optimization)

PR target/11259
* config/avr/avr.md (UNSPEC_SWAP): New constants.
(*swap): New insn pattern.
(*ashlqi3): Rename from ashlqi3 insn pattern.
(ashlqi3): New expanders.
(*lshrqi3): Rename from lshrqi3 insn pattern.
(lshrqi3): New expanders.
(ashlqi3_const4, ashlqi3_const5, ashlqi3_const6, lshrqi3_const4,
lshrqi3_const5, lshrqi3_const6): New splitters.
(andi, ashlqi3_l_const4, ashlqi3_l_const5, ashlqi3_l_const6,
lshrqi3_l_const4, lshrqi3_l_const5, lshrqi3_l_const6): Define
peephole2 patterns.

From-SVN: r139502

re PR middle-end/37078 (ICE in set_value_range, at tree-vrp.c:401 when compiling gmp 4.2.3)

2008-08-22  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/37078
* tree-vrp.c (extract_range_from_unary_expr): Avoid generating
[+INF, +INF] ranges.

* gcc.c-torture/compile/pr37078.c: New testcase.

From-SVN: r139501

re PR tree-optimization/37143 (ICE in VRP with the auto-vectorizer)

2008-08-22  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/37143
* tree-vect-transform.c (vect_create_cond_for_align_checks): Build
a conversion statement instead of a copy.

* g++.dg/vect/pr37143.C: New testcase.

From-SVN: r139500

re PR fortran/30239 (duplicate data type assignment not detected)

2008-08-22  Daniel Kraft  <d@domob.eu>

PR fortran/30239
* symbol.c (gfc_add_type): Warn on -Wsurprising if a function-result
type is re-declared but neither -pedantic nor -std=f* is given and so
this is no error.
* invoke.texi (-Wsurprising): Document this new behaviour.

From-SVN: r139499

2008-08-22  Paolo Carlini  <paolo.carlini@oracle.com>

Revert again the N2179 patch.

From-SVN: r139497

pr21658.c (dg-options): Use -fdump-tree-ccp1-details.

* gcc.dg/tree-ssa/pr21658.c (dg-options): Use -fdump-tree-ccp1-details.
(dg-final): Use cleanup-tree-dump "ccp1".
* gcc.dg/tree-prof/ic-misattribution-1a.c: Cleanup tree_profile.
* gcc.dg/ipa/iinline-1.c: Cleanup ipa dump, not tree dump.
* g++.dg/ipa/iinline-1.C: Ditto.
* gfortran.dg/intrinsic_std_1.f90: Cleanup "original" tree dump.
* gfortran.dg/char_eoshift_5.f90: Ditto.
* gfortran.dg/index_2.f90: Ditto.

From-SVN: r139496

Fix PR#.

2008-08-22  Andrew Haley  <aph@redhat.com>

        PR libgcj/8995:

        * interpret-run.cc (REWRITE_INSN): Null this macro.

        * include/jvm.h (class _Jv_Linker): Declare resolve_mutex, init.
        (read_cpool_entry, write_cpool_entry): New functions.
        * link.cc (_Jv_Linker::resolve_mutex): new.
        (_Jv_Linker::init): New function.
        (_Jv_Linker::resolve_pool_entry): Use {read,write}_cpool_entry
        to ensure atomic access to constant pool entries.

From-SVN: r139493

re PR libgcj/8995 (race cases in interpreter)

2008-08-22  Andrew Haley  <aph@redhat.com>

        PR libgcj/8895:

        * interpret-run.cc (REWRITE_INSN): Null this macro.

        * include/jvm.h (class _Jv_Linker): Declare resolve_mutex, init.
        (read_cpool_entry, write_cpool_entry): New functions.
        * link.cc (_Jv_Linker::resolve_mutex): new.
        (_Jv_Linker::init): New function.
        (_Jv_Linker::resolve_pool_entry): Use {read,write}_cpool_entry
        to ensure atomic access to constant pool entries.

From-SVN: r139492

Minor code fix to avoid warning.

From-SVN: r139491

s-wwdcha.adb: Minor code reorganization Remove dead code

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-wwdcha.adb: Minor code reorganization
Remove dead code

From-SVN: r139490

s-utf_32.adb (Get_Category): Fix obvious typo

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-utf_32.adb (Get_Category): Fix obvious typo

From-SVN: r139489

s-sopco4.adb: Minor code fix to avoid warning

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-sopco4.adb: Minor code fix to avoid warning

* s-sopco5.adb: Minor code fix to avoid warning

* s-strops.adb: Minor code fix to avoid warning

From-SVN: r139488

lib-xref.ads: Fix typo in subprogram reference definition.

2008-08-22  Arnaud Charlet  <charlet@adacore.com>

* lib-xref.ads: Fix typo in subprogram reference definition.

From-SVN: r139487

s-sopco3.adb: Minor code fix to avoid warning

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-sopco3.adb: Minor code fix to avoid warning

From-SVN: r139486

checks.adb (Determine_Range): Deal with values that might be invalid

2008-08-22  Robert Dewar  <dewar@adacore.com>

* checks.adb (Determine_Range): Deal with values that might be invalid

* opt.adb, opt.ads (Assume_No_Invalid_Values[_Config]): New configuration
switches.

* par-prag.adb: Dummy entry for pragma Assume_No_Invalid_Values

* sem_prag.adb: Implement pragma Assume_No_Default_Values

* snames.adb, snames.ads, snames.h:
Add entries for pragma Assume_No_Invalid_Values

* switch-c.adb: Add processing for -gnatB switch

* usage.adb: Add entry for flag -gnatB (no bad invalid values)

From-SVN: r139484

exp_ch3.adb (Build_Init_Statements): Transfer to the body of the init procedure all the expanded code associated...

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Build_Init_Statements): Transfer to the body of the
init procedure all the expanded code associated with the spec of
task types and protected types.

From-SVN: r139483

opt.ads: Minor code reorganization (put entries in alpha order)

2008-08-22  Robert Dewar  <dewar@adacore.com>

* opt.ads: Minor code reorganization (put entries in alpha order)

From-SVN: r139481

sem_util.adb (Has_Preelaborable_Initialization): Revise checking of private types to allow for types derived from a private type...

2008-08-22  Gary Dismukes  <dismukes@adacore.com>

* sem_util.adb (Has_Preelaborable_Initialization): Revise checking of
private types to allow for types derived from a private type with
preelaborable initialization, but return False for a private extension
(unless it has the pragma).

From-SVN: r139480

exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the component expression copies rather than...

2008-08-22  Gary Dismukes  <dismukes@adacore.com>

* exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the
component expression copies rather than directly setting Etype and
Is_Static_Expression.

From-SVN: r139479

exp_ch3.adb: Revert previous patch.

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb: Revert previous patch.

From-SVN: r139478

exp_ch3.adb (Build_Init_Statements): Transfer to the body of the init procedure all the expanded code associated...

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Build_Init_Statements): Transfer to the body of the
init procedure all the expanded code associated with the spec of
task types and protected types.

From-SVN: r139477

initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking spawn.

2008-08-22  Pascal Obry  <obry@adacore.com>

* initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking
spawn.

From-SVN: r139476

re PR target/37184 (ice in ix86_match_ccmode)

        PR target/37184
        * config/i386/i386.c (ix86_match_ccmode): Handle CCAmode,
        CCCmode, CCOmode and CCSmode destination modes.

        PR target/37191
        * config/i386/mmx.md (*vec_extractv2sf_0): Avoid combining registers
        from different units in a single alternative.
        (*vec_extractv2sf_1): Ditto.
        (*vec_extractv2si_0): Ditto.
        (*vec_extractv2si_1): Ditto.
        * config/i386/sse.md (sse2_storehpd): Ditto.
        (sse2_storelpd): Ditto.
        (sse2_loadhpd): Ditto.
        (sse2_loadlpd): Ditto.

        PR target/37197
        * config/i386/i386.md (clzsi2_abm): Fix operand 1 constraints.
        (popcountsi2): Ditto.
        (clzdi2_abm): Ditto.
        (popcountdi2): Ditto.
        (clzhi2_abm): Ditto.
        (popcounthi2): Ditto.

testsuite/ChangeLog:

        PR target/37184
        * gcc.target/i386/pr37184.c: New test.

        PR target/37191
        * gcc.target/i386/pr37191.c: New test.

        PR target/37197
        * gcc.target/i386/pr37197.c: New test.

From-SVN: r139471

trans.c: Define FP_ARITH_MAY_WIDEN

2008-08-22  Geert Bosch  <bosch@adacore.com>

* gcc-interface/trans.c: Define FP_ARITH_MAY_WIDEN
(convert_with_check): Only use longest_float_type if FP_ARITH_MAY_WIDEN is 0

From-SVN: r139468

2008-08-22  Robert Dewar  <dewar@adacore.com>

* checks.adb:
(In_Subrange_Of): New calling sequence
(Determine_Range): Prepare for new processing using base type

* exp_ch4.adb:
(Compile_Time_Compare): Use new calling sequence

* exp_ch5.adb:
(Compile_Time_Compare): Use new calling sequence

* sem_eval.adb:
(Compile_Time_Compare): New calling sequence allows dealing with
invalid values.
(In_Subrange_Of): Ditto

* sem_eval.ads:
(Compile_Time_Compare): New calling sequence allows dealing with
invalid values.
(In_Subrange_Of): Ditto

From-SVN: r139467

adaint.c: Fix possible race condition on win32_wait().

2008-08-22  Pascal Obry  <obry@adacore.com>

* adaint.c: Fix possible race condition on win32_wait().

From-SVN: r139466

2008-08-22  Ed Schonberg  <schonberg@adacore.com>

* exp_tss.adb:
(Base_Init_Proc): For a protected subtype, use the base type of the
corresponding record to locate the propoer initialization procedure.

From-SVN: r139465

sem_ch5.adb (One_Bound): Fix latent bug involving secondary stack

2008-08-22  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb (One_Bound): Fix latent bug involving secondary stack

From-SVN: r139464

prj.ads: Minor comment update

2008-08-22  Vincent Celier  <celier@adacore.com>

* prj.ads: Minor comment update

From-SVN: r139463

exp_dist.adb: Minor reformatting

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_dist.adb: Minor reformatting

From-SVN: r139462

exp_ch7.ads: Put routines in proper alpha order

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_ch7.ads: Put routines in proper alpha order

From-SVN: r139461

exp_ch7.adb: Minor reformatting

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_ch7.adb: Minor reformatting

From-SVN: r139460

exp_ch6.adb: Minor reformatting

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb: Minor reformatting

From-SVN: r139459

exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.

From-SVN: r139458

sem_ch8.adb (Use_One_Type): Do not emit warning message about redundant use_type_clause in an instance.

2008-08-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): Do not emit warning message about redundant
use_type_clause in an instance.

From-SVN: r139457

bindgen.adb [VMS] (Gen_Adainit_Ada, [...]): Import and call __gnat_set_features.

2008-08-22  Doug Rupp  <rupp@adacore.com>

* bindgen.adb [VMS] (Gen_Adainit_Ada, Gen_Adainit_C): Import and call
__gnat_set_features.

* init.c
(__gnat_set_features): New function.
(__gnat_features_set): New tracking variable.
(__gl_no_malloc_64): New feature global variable

From-SVN: r139456

exp_ch5.adb, [...]: Rename...

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch5.adb, exp_ch7.adb, exp_ch7.ads, exp_util.adb, freeze.adb,
exp_ch4.adb, exp_ch6.ads, exp_ch6.adb, sem_ch6.adb, exp_aggr.adb,
exp_intr.adb, exp_ch3.adb: Rename:
Exp_Ch7.Controlled_Type => Needs_Finalization
Exp_Ch7.CW_Or_Controlled_Type => CW_Or_Has_Controlled_Part
Exp_Ch5.Expand_N_Extended_Return_Statement.Controlled_Type =>
 Has_Controlled_Parts
(Has_Some_Controlled_Component): Fix bug in array case.

From-SVN: r139452

re PR middle-end/36548 (remainder gives the wrong result for wrapping case with unsigned types)

2008-08-22  Richard Guenther  <rguenther@suse.de>

PR middle-end/36548
PR middle-end/37125
* fold-const.c (extract_muldiv_1): Optimize (X * C1) % C2 only
if the multiplication does not overflow.

* gcc.c-torture/execute/pr37125.c: New testcase.

From-SVN: r139450

exp_ch6.ads: Minor comment fix

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch6.ads: Minor comment fix

From-SVN: r139449