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

* exp_ch4.adb (Expand_Allocator_Expression): add check if null
exclusion indicator is present

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

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

* sem_attr.adb: Minor code reorganization (use Nkind_In)
Minor reformatting

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

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

* s-fileio.adb: Minor reformatting

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

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

* g-comlin.ads: Minor reformatting

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

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

* g-comlin.adb: Minor code reorganization
Minor reformatting

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

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

PR tree-optimization/37056
* gimple.h (gimple_assign_rhs_class): New helper function.
* tree-ssa-loop-niter.c (get_val_for): Fix tuplification, handle
unary operations properly.

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

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

* i386.h (ix86_size_cost): Declare.
(ix86_cur_cost): New function macro.
* i386.md (peepholes expanding size and splitters): Predicate by
optimize_insn_for_speed_p.
(peepholes reduce size and splitters): Predicate by
optimize_insn_for_size_p.
* i386.c (ix86_size_cost): Rename from ...
(size_cost): This one.
(override_options): Update.
(decide_alg): Likewise.
(ix86_expand_clear): Use RTL profile.
(ix86_pad_returns): Use RTL profile.

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

* recog.c (split_all_insns): Set RTL profile
(peephole2_optimize): Likewise.
* function.c (thread_prologue_and_epilogue_insns): Likewise.
* combine.c (combine_instructions): Likewise.

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

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

* include/bits/ios_base.h: Undef _IOS_BASE_SEEK_CUR and
_IOS_BASE_SEEK_END at the end of the file.
* include/bits/char_traits.h: Likewise for _CHAR_TRAITS_EOF.

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

* c-common.c (c_common_reswords): Also warn about keyword "bool".

testsuite:
* gcc.dg/Wcxx-compat-2.c: Check for bool/_Bool.

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

Daily bump.

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

* config/xtensa/xtensa.c (xtensa_copy_incoming_a7): Copy incoming value
in a6 after the set_frame_ptr insn.

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

    PR debug/37033
        * gcc.c (cpp_options): Pass along -g*.

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

2008-08-07  Aaron W. LaFramboise  <aaronavay62@aaronwl.com>

* pex-win32.c (argv_to_argc): New function.
(spawn_script): Duplicate argv before calling win32_spawn.

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

2008-08-07  H.J. Lu  <hongjiu.lu@intel.com>

* semantics.c (finish_decltype_type): Initialize type.

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

* config/arm/arm.c (output_move_neon): Update comment describing
big-endian vector layout.
(arm_assemble_integer): Do not handle big-endian NEON vectors
specially.
* config/arm/neon.md (vec_set<mode>_internal, vec_extract<mode>,
neon_vget_lane<mode>_sext_internal,
neon_vget_lane<mode>_zext_internal, neon_vget_lane<mode>): Adjust
element indices for big-endian.

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

    * configure.ac (HAVE_GAS_CFI_PERSONALITY_DIRECTIVE): New.
        * configure, config.in: Rebuild.
        * debug.h (dwarf2out_do_cfi_asm): Declare.
        * c-cppbuiltin.c (c_cpp_builtins): Use it.
        * dwarf2out.c (dwarf2out_do_cfi_asm): New.
        (dwarf2out_cfi_label, add_fde_cfi, output_call_frame_info,
        dwarf2out_begin_prologue, dwarf2out_end_epilogue): Use it.

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

* config/arm/iwmmxt.md (movv8qi_internal, movv4hi_internal,
movv2si_internal): Combine into mov<mode>_internal.
(movv2si_internal_2): Remove.

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

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

* semantics.c (finish_decltype_type): Handle calls to function
pointers and references to functions properly.

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

* g++.dg/cpp0x/decltype12.C: New.

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

* include/tr1_impl/regex (match_results): Add cbegin()/cend() per N2691 WD.

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

PR target/37048
* i386.md (single stringop patterns): Enable unconditionally.

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

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

* testsuite/libjava.lang/StackTrace2.java: Rewrite to prevent
spurious failure when some methods are inlined.

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

gcc/

2008-08-07  H.J. Lu  <hongjiu.lu@intel.com>

PR target/36992
* config/i386/emmintrin.h (_mm_move_epi64): Use
__builtin_ia32_movq128.

* config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVQ128.
(bdesc_args): Add IX86_BUILTIN_MOVQ128.

* config/i386/sse.md (sse2_movq128): New.

* doc/extend.texi: Document __builtin_ia32_movq128.

gcc/testsuite/

2008-08-07  H.J. Lu  <hongjiu.lu@intel.com>

PR target/36992
* gcc.target/i386/pr36992-1.c: Scan movq.
* gcc.target/i386/pr36992-2.c: Use "-O2 -msse4" instead of
"-O0 -msse2".  Scan movq.

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

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

PR middle-end/37042
* tree-ssa-alias-warnings.c (nonstandard_alias_p): Ref-all
pointers can access anything.

* gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c: New testcase.

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

* optabs.c (emit_unop_insn): Break out to ...
(maybe_emit_unop_insn): ... this one.
(expand_sfix_optab): Use maybe variant.
* optabs.h (maybe_emit_unop_insn): Declare.

* i386.md (mov0 patterns): Enable by default.
(FP conversion expanders): Disable expansion of code expanding
sequences when instruction should be optimized for size.
(single strinop patterns): Enable when optimizing for size.
(string expanders): Disable expanding of code expanding sequences
when optimizning instruction for size.
* i386.c (ix86_expand_vector_move_misalign): Do code size optimization
per BB basis.
(ix86_fp_comparison_sahf_cost): Likewise.
(ix86_expand_branch): Likewise.
(ix86_expand_ashl_const): Likewise.
(ix86_split_ashl): Likewise.
(ix86_expand_strlen): Likewise.
(ix86_emit_fp_unordered_jump): Likewie.

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

2008-08-07  Andreas Krebbel  <krebbel1@de.ibm.com>

  * gcc.c-torture/compile/20080806-1.c: Move testcase ...
* gcc.target/s390/20080806-1.c: ... to here.

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

Daily bump.

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

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

* acinclude.m4 ([GLIBCXX_CHECK_STDIO_MACROS]): New, checks for
common values of EOF, SEEK_CUR, SEEK_END.
* configure.ac: Use it.
* include/bits/ios_base.h: Likewise.
* include/bits/char_traits.h: Likewise.
* config/locale/gnu/ctype_members.cc: Include <cstdio>.
* config/locale/generic/ctype_members.cc: Likewise.
* testsuite/27_io/ios_base/cons/assign_neg.cc: Adjust dg-error lines.
* testsuite/27_io/ios_base/cons/copy_neg.cc: Likewise.
* configure: Regenerate.
* config.h.in: Likewise.

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

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

       PR c++/36460
       * parser.c (cp_parser_template_argument): Don't assume that '>>'
       following a type-id is an error when in C++0x mode.

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

       PR c++/36460
       * g++.dg/cpp0x/bracket3.C: Add another test case for the >>
       warning under -Wc++0x-compat.
       * g++.dg/cpp0x/bracket4.C: Add testcase for PR c++/36460.

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

* matrix-reorg.c (compute_offset): Avoid C++ keywords.

* c-common.c: Fix typo.
(c_common_reswords): Activate more C++ keyword warnings.

testsuite:
* gcc.dg/Wcxx-compat-2.c: Adjust test for more warnings.

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

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

PR 26785
* diagnostic.c (permerror_at): New.
* toplev.h (permerror_at): Declare.
cp/
* decl.c (grokdeclarator): Use explicit location with
        permerror_at.
testsuite/
* g++.dg/warn/pr26785.C: New.

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

2008-08-06  Victor Kaplansky  <victork@il.ibm.com>
            Ira Rosen  <irar@il.ibm.com>

        * tree-vect-transform.c (vect_model_simple_cost): Return
        immediately if stmt is pure SLP.
        (vect_model_store_cost): Ditto.
        (vect_model_load_cost): Ditto.
        (vectorizable_store): Remove PURE_SLP check before call
        to vect_model_store_cost.
        (vect_model_store_cost): When checking whether stmt describe
        strided access, add a check that it is not slp_node.

Testsute

* gcc.dg/vect/costmodel/ppc/costmodel-slp-34.c: New test.

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

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

PR 8715
* c-common.c (warn_for_sign_compare): New. Handle separately the
case that 'constant' is zero.
* c-typeck.c (build_binary_op): Move code to c-common.c
cp/
* typeck.c (cp_build_binary_op): Move code to c-common.c.
testsuite/
* gcc.dg/pr8715.c: New.
* g++.dg/warn/pr8715.C: New.

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

* config/alpha/alpha.c (alpha_preferred_reload_class,
alpha_secondary_reload, alpha_emit_set_const_1, function_value,
alpha_output_mi_thunk_osf): Avoid C++ keywords.
* config/arm/arm.c (output_move_vfp, output_move_neon): Likewise.
* config/arm/arm.md: Likewise.
* config/avr/avr-protos.h (preferred_reload_class,
test_hard_reg_class, avr_simplify_comparison_p,
out_shift_with_cnt, class_max_nregs): Likewise.
* config/avr/avr.c (class_max_nregs, avr_simplify_comparison_p,
output_movqi, output_movhi, output_movsisf, out_shift_with_cnt,
preferred_reload_class, test_hard_reg_class): Likewise.
* config/bfin/bfin.c (legitimize_pic_address, hard_regno_mode_ok,
bfin_memory_move_cost, bfin_secondary_reload,
bfin_output_mi_thunk): Likewise.
* config/crx/crx.c (crx_secondary_reload_class,
crx_memory_move_cost): Likewise.
* config/frv/frv-protos.h (frv_secondary_reload_class,
frv_class_likely_spilled_p, frv_class_max_nregs): Likewise.
* config/frv/frv.c (frv_override_options, frv_alloc_temp_reg,
frv_secondary_reload_class, frv_class_likely_spilled_p,
frv_class_max_nregs): Likewise.
* config/h8300/h8300.c (h8300_classify_operand,
h8300_unary_length, h8300_bitfield_length, h8300_asm_insn_count):
Likewise.
* config/i386/winnt.c (i386_pe_declare_function_type): Likewise.
* config/ia64/ia64.c (ia64_preferred_reload_class,
ia64_secondary_reload_class, ia64_output_mi_thunk): Likewise.
* config/iq2000/iq2000.c (gen_int_relational): Likewise.
* config/m32c/m32c.c (class_can_hold_mode, m32c_output_compare):
Likewise.
* config/m68hc11/m68hc11.c (preferred_reload_class,
m68hc11_memory_move_cost): Likewise.
* config/mcore/mcore.c (mcore_secondary_reload_class,
mcore_reload_class): Likewise.
* config/mips/mips.c (mips_hard_regno_mode_ok_p,
mips_class_max_nregs, mips_cannot_change_mode_class,
mips_preferred_reload_class, mips_secondary_reload_class,
mips_output_mi_thunk): Likewise.
* config/mmix/mmix.c (mmix_preferred_reload_class,
mmix_preferred_output_reload_class, mmix_secondary_reload_class):
Likewise.
* config/mn10300/mn10300.c (mn10300_secondary_reload_class):
Likewise.
* config/pa/pa.c (pa_secondary_reload, pa_combine_instructions,
pa_can_combine_p, pa_cannot_change_mode_class): Likewise.
* config/pa/pa.h (LEGITIMIZE_RELOAD_ADDRESS): Likewise.
* config/rs6000/rs6000.c (paired_expand_vector_init,
rs6000_secondary_reload_class, rs6000_output_mi_thunk,
compare_section_name, rs6000_memory_move_cost): Likewise.
* config/s390/s390.c (s390_emit_compare_and_swap,
s390_preferred_reload_class, s390_secondary_reload,
legitimize_pic_address, legitimize_tls_address,
legitimize_reload_address, s390_expand_cs_hqi, s390_expand_atomic,
s390_class_max_nregs): Likewise.
* config/s390/s390.h (LEGITIMIZE_RELOAD_ADDRESS): Likewise.
* config/s390/s390.md: Likewise.
* config/score/score-protos.h (score_secondary_reload_class,
score_preferred_reload_class): Likewise.
* config/score/score.c (score_preferred_reload_class,
score_secondary_reload_class): Likewise.
* config/score/score3.c (score3_output_mi_thunk,
score3_preferred_reload_class, score3_secondary_reload_class,
score3_hard_regno_mode_ok): Likewise.
* config/score/score3.h (score3_preferred_reload_class,
score3_secondary_reload_class): Likewise.
* config/score/score7.c (score7_output_mi_thunk,
score7_preferred_reload_class, score7_secondary_reload_class,
score7_hard_regno_mode_ok): Likewise.
* config/score/score7.h (score7_preferred_reload_class,
score7_secondary_reload_class): Likewise.
* config/sh/sh.c (prepare_move_operands, output_far_jump,
output_branchy_insn, add_constant, gen_block_redirect,
sh_insn_length_adjustment, sh_cannot_change_mode_class,
sh_output_mi_thunk, replace_n_hard_rtx, sh_secondary_reload):
Likewise.
* config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
* config/stormy16/stormy16.c (xstormy16_output_cbranch_hi,
xstormy16_output_cbranch_si, xstormy16_secondary_reload_class,
xstormy16_preferred_reload_class): Likewise.
* config/xtensa/xtensa.c (xtensa_expand_compare_and_swap,
xtensa_expand_atomic, override_options,
xtensa_preferred_reload_class, xtensa_secondary_reload_class):
Likewise.
* reorg.c (try_merge_delay_insns): Likewise.
* tree.c (merge_dllimport_decl_attributes): Likewise.

* config/frv/frv.c (frv_print_operand): Change isalpha to ISALPHA.

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

    * Makefile.in (write_entries_to_file): Quote words.
        * gengtype.c: (read_input_line): Skip over leading white-space.

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

libgcc/
        * config.host: Match more processor names for Xtensa.

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

2008-08-06  Marc Gauthier  <marc@tensilica.com>
* config.gcc: Match more processor names for Xtensa.
* configure.ac: Likewise.
* doc/install.texi (Specific): Likewise.
* configure: Regenerate.
testsuite/
* lib/target-supports.exp (check_profiling_available): Match more
processor names for Xtensa.
* g++.old-deja/g++.jason/thunk3.C: Likewise.
* gcc.dg/intmax_t-1.c: Likewise.
* gcc.dg/sibcall-3.c: Likewise.
* gcc.dg/sibcall-4.c: Likewise.
* gcc.c-torture/compile/20001226-1.c: Likewise.

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

* builtins.c (expand_builtin_profile_func): Avoid C++ keywords.
* calls.c (avoid_likely_spilled_reg): Likewise.
* cfgexpand.c (gimple_assign_rhs_to_tree): Likewise.
* cgraph.c (cgraph_clone_edge, cgraph_clone_node): Likewise.
* config/i386/i386.c (ix86_expand_special_args_builtin,
ix86_secondary_reload): Likewise.
* except.c (struct eh_region, gen_eh_region_catch,
remove_unreachable_regions, duplicate_eh_regions,
assign_filter_values, build_post_landing_pads,
sjlj_find_directly_reachable_regions, remove_eh_handler,
reachable_next_level, foreach_reachable_handler,
can_throw_internal_1, can_throw_external_1,
collect_one_action_chain): Likewise.
* expr.c (expand_expr_real_1, vector_mode_valid_p): Likewise.
* fold-const.c (twoval_comparison_p, eval_subst): Likewise.
* function.c (update_temp_slot_address, instantiate_new_reg,
instantiate_virtual_regs_in_rtx,
instantiate_virtual_regs_in_insn): Likewise.
* gimple.c (extract_ops_from_tree, gimple_seq_copy): Likewise.
* gimplify.c (gimplify_call_expr, gimplify_init_constructor,
gimplify_cleanup_point_expr): Likewise.
* ipa-cp.c (ipcp_lattice_changed): Likewise.
* passes.c (next_pass_1): Likewise.
* print-tree.c (print_node_brief, print_node): Likewise.
* profile.c (branch_prob): Likewise.
* tree-dump.c (dump_register): Likewise.
* tree-eh.c (replace_goto_queue_cond_clause, lower_catch):
Likewise.
* tree-inline.c (remap_ssa_name, remap_type_1, remap_blocks,
copy_statement_list, remap_gimple_op_r, copy_tree_body_r,
copy_edges_for_bb, copy_cfg_body, copy_tree_r,
copy_arguments_for_versioning, copy_static_chain): Likewise.
* tree-into-ssa.c (names_replaced_by, add_to_repl_tbl,
add_new_name_mapping, register_new_name_mapping): Likewise.
* tree-mudflap.c (mf_xform_derefs): Likewise.
* tree-predcom.c (struct chain, dump_chain, replace_ref_with,
get_init_expr, combine_chains): Likewise.
* tree-pretty-print.c (dump_generic_node): Likewise.
* tree-ssa-structalias.c (create_variable_info_for): Likewise.
* tree-vrp.c (simplify_cond_using_ranges): Likewise.
* tree.c (substitute_in_expr, iterative_hash_expr): Likewise.
* value-prof.c (gimple_duplicate_stmt_histograms): Likewise.

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

gcc/

2008-08-06  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/37010
* calls.c (expand_call): Use the biggest preferred stack
boundary.

gcc/testsuite/

2008-08-06  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/37010
* gcc.dg/torture/stackalign/push-1.c: New.

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

    PR target/36613

        * reload.c (push_reload): Merge in,out,in_reg,out_reg members
        for reused reload, instead of overwriting them.

        * gcc.target/i386/pr36613.c: New testcase.

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

gcc/

2008-08-06  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/37009
* cfgexpand.c (expand_stack_alignment): Check parm_stack_boundary
for incoming stack boundary.

* function.c (assign_parm_find_entry_rtl): Update
parm_stack_boundary.

* function.h (rtl_data): Add parm_stack_boundary.

* config/i386/i386.c (ix86_finalize_stack_realign_flags): Check
parm_stack_boundary for incoming stack boundary.

gcc/testsuite/

2008-08-06  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/37009
* gcc.dg/torture/stackalign/alloca-2.c: New.
* gcc.dg/torture/stackalign/alloca-3.c: Likewise.
* gcc.dg/torture/stackalign/alloca-4.c: Likewise.
* gcc.dg/torture/stackalign/vararg-3.c: Likewise.
* gcc.target/i386/incoming-1.c: Likewise.
* gcc.target/i386/incoming-2.c: Likewise.
* gcc.target/i386/incoming-3.c: Likewise.
* gcc.target/i386/incoming-4.c: Likewise.
* gcc.target/i386/incoming-5.c: Likewise.

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

* jump.c (rtx_renumbered_equal_p): Do not call subreg_regno_offset
for unrepresentable subregs or treat them as equal to other regs
or subregs with the same register number.

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

gcc/ada/
* gcc-interface/Make-lang.in: Use GCC_FOR_TARGET when dealing
with s-oscons-tmplt.i.

    libada/
* Makefile.in: Pass FLAGS_TO_PASS to sub-make for target
oscons.

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

gcc/ada/
* gcc-interface/Make-lang.in (OSCONS_CPPFLAGS): Remove.

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

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

* acinclude.m4 ([GLIBCXX_CHECK_INT64_T]): Also check whether int64_t
is actually a typedef to long or long long.
* include/bits/postypes.h: If int64_t is actually a typedef for
long or long long don't include <stdint.h> unnecessarily.
* configure: Regenerate.
* config.h.in: Likewise.

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

    PR middle-end/35432
        * gimplify.c (gimplify_modify_expr): Do not optimize zero-sized types
        if want_value.
 testsuite/
        * gcc.c-torture/compile/pr35432.c: New file.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* gcc-interface/Makefile.in,
g-socthi-vxworks.adb, g-socthi-mingw.adb, g-sttsne-vxworks.adb,
g-socthi.adb, g-socket.adb, g-socket.ads, g-sothco.ads,
g-soccon-linux-x86.ads, g-soccon-vxworks.ads, g-soccon-mingw.ads,
g-soccon-hpux-ia64.ads, g-soccon-irix.ads, g-soccon-linux-64.ads,
g-soccon-aix.ads, g-soccon-solaris.ads, g-soccon-lynxos.ads,
g-soccon-vms.ads, g-soccon.ads, g-soccon-freebsd.ads,
g-soccon-linux-ppc.ads, g-soccon-tru64.ads, g-soccon-hpux.ads,
g-soccon-solaris-64.ads, gen-oscons.c, g-soccon-darwin.ads,
g-soccon-mingw-64.ads, g-soccon-linux-mips.ads, g-soccon-rtems.ads:
Remove GNAT.Sockets.Constants. This internal package is replaced by
System.OS_Constants.

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

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

* gnat_ugn.texi: Clarify -gnato documentation

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

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

* sem_ch3.adb (Analyze_Component_Declaration): Protect against misuse
of incomplete type.

* sem_ch8.adb (Analyze_Object_Renaming): Diagnose properly a renaming
of a formal parameter of an incomplete type. Improve error message for
other improper uses of incomplete types.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* Makefile.in: Now generate s-oscons-$(THREAD_KIND).

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in:
Remove obsolete targets referencing gen-soccon
When generating s-oscons.ads, use a file name that includes the
THREAD_KIND, to ensure that the (potentially different) version from a
previous build with a different threads flavour does not get reused.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in:
Remove obsolete targets referencing gen-soccon
When generating s-oscons.ads, use a file name that includes the
THREAD_KIND, to ensure that the (potentially different) version from a
previous build with a different threads flavour does not get reused.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* s-fileio.adb (Open): When file open operation fails, raise Name_Error
only when the operating system reports a non-existing file or directory
(ENOENT), otherwise raise Name_Error.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* exp_ch11.adb: Minor reformatting

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

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

* sem_ch3.adb (Access_Subprogram_Declaration): If the return type is
incomplete, add the access_to_subprogram type to the list of private
dependents only if the incomplete type will be completed in the current
scope.
(Build_Discriminant_Constraints): If the type of the discriminant is
access_to_variable, reject a constraint that is access_to_constant.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Minor reformatting

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

New tests.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* g-socket-dummy.adb, g-socket-dummy.ads, g-sothco-dummy.adb,
g-sothco-dummy.ads, g-socthi-dummy.adb, g-socthi-dummy.ads,
g-sttsne-dummy.ads: New files.

* gcc-interface/Makefile.in, Makefile.rtl: Use placeholder sources
with pragma Unimplemented_Unit for sockets packages on Nucleus.

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

2008-08-06  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Set_Command_Line): Now that aliases can contain
parameters, always specify the expected separator.

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

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

* sem_res.adb (Resolve_Call): Use base type to determine whether a
dereference is needed because a subtype of an access_to_subprogram is
simply an access-subtype

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

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

* exp_disp (Expand_Interface_Actuals): Adds missing support for
expansion of calls to subprograms using selected components.

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

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

* adaint.c: Another fix for ACL support on Windows.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb: Minor reformatting

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

2008-08-06  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Define_Switch, Get_Switches): New.
(Can_Have_Parameter, Require_Parameter, Actual_Switch): New, used when
ungrouping switches.
(For_Each_Simple_Switch): Allow more control over parameters handling.
This generic method now allows ungrouping of switches with parameters
and switches with more than one letter after the prefix.
(Set_Command_Line): Take care of switches that are prefixed with a
switch handling parameters without delimiter (-gnatya and -gnaty3 for
example).
(Add_Switch, Remove_Switch): Handle parameters possibly present inside
a group, as in gnaty3aM80 (3 and 80 are parameters). Report status of
the operation.
(Start, Alias_Switches, Group_Switches): Take care of parameters
possibly present inside a group.

* g-comlin.ads (Define_Switch): New method used to define a list of
expected switches, that are necessary for correctly ungrouping switches
with more that one character after the prefix.
(Get_Switches): Method that builds a getopt string from the list of
switches as set previously by Define_Switch.
(Add_Switch, Remove_Switch): New versions of the methods, reporting the
status of the operation. Also allow the removal of switches with
parameters only.
(Command_Line_Configuration_Record): Maintain a list of expected
switches.

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* sem.adb: Minor rewording (comment)

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

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

* sem_ch3.adb (Find_Type_Name): protect against duplicate incomplete
declaration for the same type.

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

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

* g-awk.adb (Finalize): Do not use directly objects of the type in the
finalization routine to prevent elaboration order anomalies in new
finalization scheme.

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

2008-08-06  Quentin Ochem  <ochem@adacore.com>

* s-stausa.adb (Fill_Stack): Fixed pragma assert and top pattern mark
in the case of an empty pattern size.
(Compute_Result): Do not do any computation in the case of an empty
pattern size.
(Report_Result): Fixed computation of the overflow guard.

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

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

* gnat_ugn.texi: Document compiler switch -gnateG

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

2008-08-06  Thomas Quinot  <quinot@adacore.com>

* xnmake.adb: Use new XUtil package for platform independent text
output.

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

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

* gcc-interface/decl.c (gnat_to_gnu_param): Force 32bit descriptor if
TARGET_MALLOC64 clear.

* gcc-interface/utils2.c (build_call_alloc_dealloc): Force 32bit malloc
if TARGET_MALLOC64 clear.

* gcc-interface/gigi.h (TARGET_ABI_OPEN_VMS): Move here from utils2.c
(TARGET_MALLC64): New macro. Default to clear.

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

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

* gcc-interface/utils2.c (snames.h) Include
(TARGET_ABI_OPEN_VMS): Initialize.
(build_call_alloc_dealloc); [TARGET_ABI_OPEN_VMS] Allocate on 32bit heap
for Convention C.

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

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

* exp_disp (Expand_Interface_Conversion): Freeze the entity associated
with the target interface before expanding the code of the interface
conversion.

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

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

* sem_ch3.adb (Process_Discriminants): diagnose redundant or improper
null exclusion in a discriminant declaration

* sem_ch8.adb (Analyze_Object_Renaming): diagnose null exclusion
indicators when type is not an access type.

* sem_ch12.adb (Formal_Object_Declaration): diagnose null exclusion
indicators when type is not an access type.

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

* predict.c (maybe_hot_frequency_p): When profile is absent, all
frequencies might be hot.

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

2008-08-06  Andreas Krebbel  <krebbel1@de.ibm.com>

* reload.c (find_reloads): Force constants into literal pool
also if they are wrapped in a SUBREG.

2008-08-06  Andreas Krebbel  <krebbel1@de.ibm.com>

  * gcc.c-torture/compile/20080806-1.c: New testcase.

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

PR target/35659
* haifa-sched.c (sched_insn_is_legitimate_for_speculation_p): Move ...
* sched-deps.c (sched_insn_is_legitimate_for_speculation_p): ... here.
Don't allow predicated instructions for data speculation.
* sched-int.h (sched_insn_is_legitimate_for_speculation_p): Move
declaration.

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

* haifa-sched.c (extend_global): Split to extend_global_data and
extend_region_data.  Update all uses.
(extend_all): Rename to extend_block_data.

* gcc.target/ia64/20080802-1.c: New test.

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

* sched-rgn.c (new_ready): Check if instruction can be
speculatively scheduled before attempting speculation.
(debug_rgn_dependencies): Remove wrongful assert.

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

    PR c++/37016
        * decl.c (build_ptrmemfunc_type): Don't require structural
        comparison of PMF types.
        * tree.c (cp_build_qualified_type_real): Don't clear
        a valid TYPE_PTRMEMFUNC_TYPE.
        * typeck.c (cp_build_unary_op): Still do build_ptrmemfunc in
        templates.

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

Daily bump.

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

* config/xtensa/t-xtensa: Remove dependency for gt-xtensa.h.

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

* config/xtensa/xtensa.c (xtensa_va_start): Unshare valist.
(xtensa_gimplify_va_arg_expr): Unshare valist, orig_ndx, ndx, array,
va_size, and type_size.

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

    PR c++/37016
        * tree-ssa.c (useless_type_conversion_p_1): Call langhook
        if TYPE_STRUCTURAL_EQUALITY_P is true for both types.

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

    * configure.ac (HAVE_GAS_CFI_DIRECTIVE): Check .cfi_personality.
        * configure: Rebuild.

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

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

* testsuite/util/testsuite_api.h (diamond_derivation<>::test):
Expect ambiguity together with the standard exception classes.
* testsuite/27_io/ios_base/failure/cons_virtual_derivation.cc: Remove
xfail.
* testsuite/19_diagnostics/logic_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/19_diagnostics/runtime_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/19_diagnostics/system_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/18_support/bad_alloc/cons_virtual_derivation.cc: Likewise.
* testsuite/18_support/bad_cast/cons_virtual_derivation.cc: Likewise.
* testsuite/18_support/bad_exception/cons_virtual_derivation.cc:
Likewise.
* testsuite/18_support/bad_typeid/cons_virtual_derivation.cc:
Likewise.
* testsuite/ext/concurrence_lock_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/ext/forced_exception_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/ext/concurrence_unlock_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/20_util/bad_function_call/cons_virtual_derivation.cc:
Likewise.

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

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

        PR tree-opt/37024
        * tree-tailcall.c (process_assignment): Use gimple_assign_cast_p
        instead of IS_CONVERT_EXPR_CODE_P for seeing if the assignment
        is a conversion.

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

        PR tree-opt/37024
        * gcc.dg/tree-ssa/tailcall-4.c: New testcase.

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

    * Makefile.in (c-cppbuiltin.o): Depend on debug.h.
        * c-cppbuiltin.c (c_cpp_builtins): Define __GCC_HAVE_DWARF2_CFI_ASM.
        * doc/cpp.texi (__GCC_HAVE_DWARF2_CFI_ASM): Document it.
        * common.opt (fdwarf2-cfi-asm): New.
        * configure.ac (HAVE_GAS_CFI_DIRECTIVE): New.
        * config.in, configure: Rebuild.
        * dwarf2asm.c (dw2_asm_output_data_raw): New.
        (dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_sleb128_raw): New.
        (dw2_force_const_mem): Externalize.
        * dwarf2asm.h: Update.
        * dwarf2out.c (dwarf2out_cfi_label): If flag_dwarf2_cfi_asm, don't
        generate a real label.
        (output_cfi_directive): New.
        (add_fde_cfi): If flag_dwarf2_cfi_asm, use it.
        (output_call_frame_info): Do nothing if flag_dwarf2_cfi_asm.
        (dwarf2out_begin_prologue): Emit .cfi_startproc, .cfi_personality,
        and .cfi_lsda.
        (dwarf2out_end_epilogue): Emit .cfi_endproc.
        (output_loc_operands_raw, output_loc_sequence_raw): New.
        (output_cfa_loc_raw): New.

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

2008-08-05  Matthias Klose  <doko@ubuntu.com>

        * HACKING: Update instructions how to build gcj/javaprims.h.

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

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

* sem_ch3.adb (Process_Subtype): An allocator is a valid construct that
can carry a null exclusion indicator, and on which an error may be
posted if the indicator is redundant.

* sem_ch8.adb (Analyze_Object_Renaming): Verify that a null exclusion
does not apply to a subtype mark that already excludes null.

* sem_ch12.adb (Formal_Object_Declaration): Verify that a null
exclusion does not apply to a subtype mark that already excludes null.

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

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

* vms_data.ads: Translation for /POINTER_SIZE qualifier.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* Makefile.rtl: Compile s-oscons.ads as part of the runtime library.

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

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

* freeze.adb:
(Freeze_Entity): A deferred constant does not violate the restriction
No_Default_Initialization,

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

Remove test, premature.

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

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

* sem_ch5.adb (Analyze_Assignment_Statement): Apply conversion to
right-hand side when it is an anonymous access_to_subprogram, to force
static accessibility check when needed.

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

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

* sem_attr.adb:
(Analyze_Attribute, case 'Result): handle properly the case where some
operand of the expression in a post-condition generates a transient
block.

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

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

* adaint.c: Remove support for readable attribute on vxworks and nucleus

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* gsocket.h: Make this file includable in a Nucleus environment, which
does not support sockets.

* socket.c: Remove Nucleus-specific hack.

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

* gnat.dg/post_block.adb: New test.

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

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

gcc/
* doc/invoke.texi: Document new ARM -mfpu= and -mcpu= options.
* config/arm/arm.c (all_fpus): Add vfpv3 and vfpv3-d16.
(fp_model_for_fpu): Add entry for FPUTYPE_VFP3D16.
(arm_file_start): Add FPUTYPE_VFP3D16.  Rename vfp3 to vfpv3.
* config/arm/arm.h (TARGET_VFPD32): Define.
(TARGET_VFP3): Use TARGET_VFPD32.
(fputype): Add FPUTYPE_VFP3D16.
(LAST_VFP_REGNUM): Use TARGET_VFPD32.
* config/arm/constraints.md ("w"): Use TARGET_VFPD32.
* config/arm/arm-cores.def: Add cortex-r4f.
* config/arm/arm-tune.md: Regenerate.

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