2010-10-21  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/s390.md (*xordi3_cc): Mark xgrk as z196 only.

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

2010-10-21  Tristan Gingold  <gingold@adacore.com>

* config/vms/vms-crtl.h (CRTL_NAMES): Add new translations.
* config/vms/vms-crtl-64.h (CRTL_NAMES): Ditto.

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

2010-10-21  Tristan Gingold  <gingold@adacore.com>

* config/alpha/vms-unwind.h (alpha_vms_fallback_frame_state): Set
signal_frame.
* config/alpha/alpha.c (alpha_function_arg): Adjust call.

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

2010-10-21  Tristan Gingold  <gingold@adacore.com>

* config/ia64/vms64.h (TARGET_DEFAULT): Add MASK_FUSED_MADD.
* config/ia64/vms.h (TARGET_DEFAULT): Ditto.

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

2010-10-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/46100
        * expr.c (gfc_check_vardef_context): Treat pointer functions
        as variables.

2010-10-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/46100
        * gfortran.dg/ptr-func-1.f90: New.
        * gfortran.dg/ptr-func-2.f90: New.

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

* basic-block.h (find_fallthru_edge): Define.
* cfgcleanup.c (merge_blocks_move): Use it.
(try_crossjump_bb): Likewise.
* cfglayout.c (fixup_reorder_chains): Likewise.
(fixup_fallthru_exit_predecessor): Likewise.
* cfgrtl.c (rtl_split_edge): Likewise.
(rtl_verify_flow_info): Likewise.
* function.c (thread_prologue_and_epilogue_insns): Likewise.
* gimple-pretty-print.c (dump_implicit_edges): Likewise.
* ifcvt.c (block_fallthru): Likewise.
* reload1.c (fixup_abnormal_edges): Likewise.
* sched-ebb.c (being_schedule_ready): Likewise.
(schedule_ebb): Likwise.
* sched-rgn.c (find_single_block_region): Likewise.
* sel-sched-ir.c (bb_ends_ebb_p): Likewise.
* tree-complex.c (expand_complex_move): Likewise.
* sched-int.h (find_fallthru_edge): Rename to...
(find_fallthru_edge_from): ...this.
* haifa-sched.c (find_fallthru_edge): Rename to...
(find_fallthru_edge_from): ...this.  Use new find_fallthru_edge.
(init_before_recovery): Call find_fallthru_edge_from.
* sel-sched-ir.c (merge_fences): Likewise.
* sel-sched.c (in_fallthru_bb_p): Likewise.
(move_cond_jump): Likewise.

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

* config/pdp11/pdp11.md (various): Fix conditions on a number of
insn to check for target 11/40 or higher.

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

2010-10-20  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libgfortran/46079
* runtime/stop.c (stop_numeric_f08): New function.
(stop_numeric): Restore to previous behavior.
* gfortran.map: Add symbol _gfortran_stop_numeric_f08.

2010-10-20  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/46079
* trans_stmt.c (gfc_trans_stop): Fix whitespace.  Build a call to new
F08 numeric stop function.
* trans.h: Add declaration for gfor_fndecl_stop_numeric_f08.
* trans-decl.c (gfc_build_builtin_function_decls): Build declaration
for stop_numeric_f08.

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

Daily bump.

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

In gcc/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * parser.c (c_parser_objc_method_type): Mark inline.  Return a
        bool instead of a tree.
        (c_parser_objc_method_decl): Added bool argument.  Updated call to
        objc_build_method_signature.
        (c_parser_objc_method_definition): Do not call
        objc_set_method_type.  Updated calls to c_parser_objc_method_type,
        c_parser_objc_method_decl and objc_start_method_definition.
        (c_parser_objc_methodproto): Do not call objc_set_method_type.
        Updated calls to c_parser_objc_method_type,
        c_parser_objc_method_decl and objc_add_method_declaration.

In gcc/c-family/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * c-common.h (objc_set_method_type): Removed.
        (objc_add_method_declaration): Added boolean argument.
        (objc_start_method_definition): Same change.
        (objc_build_method_signature): Same change.
        * stub-objc.c (objc_set_method_type): Removed.
        (objc_add_method_declaration): Added boolean argument.
        (objc_start_method_definition): Same change.
        (objc_build_method_signature): Same change.

In gcc/cp/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * parser.c (cp_parser_objc_method_type): Mark inline.  Return a
        bool instead of calling objc_set_method_type.
        (cp_parser_objc_method_signature): Updated calls to
        cp_parser_objc_method_type and to objc_build_method_signature.
        (cp_parser_objc_method_prototype_list): Updated calls to
        objc_add_method_declaration.  Use token->type to determine if it
        is a class method or not.
        (cp_parser_objc_method_definition_list): Same change.

In gcc/objc/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * objc-act.h (objc_inherit_code): Removed.
        * objc-act.c (objc_inherit_code): Removed.
        (objc_set_method_type): Removed.
        (objc_build_method_signature): Added is_class_method argument.
        Use it instead of the global objc_inherit_code variable.
        (objc_add_method_declaration): Same change.
        (objc_start_method_definition): Same change.
        (objc_generate_cxx_ctor_or_dtor): Updated call to
        objc_start_method_definition.  Do not call objc_set_method_type.
        (adjust_type_for_id_default): Mark as inline.
        (objc_synthesize_getter): Updated call to
        objc_start_method_definition.  Do not set objc_inherit_code.
        (objc_synthesize_setter): Updated call to
        objc_start_method_definition.  Do not set objc_inherit_code.

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

PR tree-optimization/45919
* tree-ssa-ccp.c (fold_nonarray_ctor_reference): Handle flexible
array members.

* gcc.c-torture/compile/pr45919.c: New test.

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

PR tree-optimization/46066
* tree-parloops.c (create_parallel_loop): Use gsi_last_nondebug_bb
instead of gsi_last_bb.

* gcc.dg/autopar/pr46066.c: New test.

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

* config/m32c/m32c.c (m32c_option_override): Always disable
function-cse in 16-bit mode.  Indirect calls are always worse than
direct calls as there is no 16-bit indirect call opcode.
(m32c_override_options_after_change): New, likewise.

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

* ifcvt.c (noce_emit_cmove): If both of the values are SUBREGs, try
emitting the conditional move in the inner mode of the SUBREG.

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

* config/ia64/ia64.h (PREFERRED_RELOAD_CLASS): Remove macros.
* config/ia64/ia64-protos.h (ia64_preferred_reload_class): Remove.
* config/ia64/ia64.c (TARGET_PREFERRED_RELOAD_CLASS): Define.
(ia64_preferred_reload_class): Make static.  Change rclass argument
and result types from enum reg_class to reg_class_t.

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

* tree-ssa-ter.c (find_replaceable_in_bb): Allow replacement over
call for single operand expression.

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

2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.  Obvious updates
        to gcc_alloc_xxx calls in hash_init and hash_class_name_enter to
        get it to compile in the current trunk.

        2006-01-27 Fariborz Jahanian <fjahanian@apple.com>

        Radar 4345837
        * objc/objc-act.c (hash_class_name_enter): New.
        (hash_class_name_lookup): New.
        (objc_declare_alias): Enter alias name into hash table.
        (objc_declare_class): Enter class name into hash table.
        (objc_is_class_name): Do a hash look up of class name.
        (hash_init): Initialize the two new hash tables.
        * objc-act.h: Added cls_name_hash_list and als_name_hash_list
        declarations, removed class_chain and alias_chain.

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

fixincludes:
PR c++/46024
* inclhack.def (solaris_sys_va_list): New fix.
* fixincl.x: Regenerate.
* tests/base/sys/va_list.h: New test.

gcc/testsuite:
PR c++/46024
* g++.dg/warn/miss-format-1.C: Enclose dg-error target list in braces.

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

* tree-optimize.c (execute_fixup_cfg): Purge dead abnormal call edges
if there is a call statement to pure or const function in the block.

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

Fix several build errors for pdp11 target.
* config/pdp11/pdp11.md (*cmpdf): Fix tstd operands.
(cbranchdf4): Conditional on TARGET_FPU.
(movdf): Ditto; correct alternatives check.
(movmemhi): Fix predicate and constraint.
* config/pdp11/pdp11.h (HARD_REGNO_MODE_OK): Handle 64 bit mode.

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

* Makefile.def (target_modules): Set lib_path to src/.libs for
libstdc++-v3 module.
* Makefile.tpl: Fix typo in TARGET_LIB_PATH comment.
* Makefile.in: Rebuild.

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

PR c++/46056
* parser.c (cp_convert_range_for): Call cp_finish_decl
instead of finish_expr_stmt.

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

2010-10-20  Richard Guenther  <rguenther@suse.de>

PR lto/45667
* lto-streamer-out.c (output_gimple_stmt): Fix typo.
* tree-cfg.c (verify_gimple_call): Properly get the call fndecl.
(verify_gimple_assign_single): Disable ADDR_EXPR type check
when in LTO.

* g++.dg/lto/20101020-1_0.h: New testcase.
* g++.dg/lto/20101020-1_0.C: Likewise.
* g++.dg/lto/20101020-1_1.C: Likewise.

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

2010-10-20  Vladimir Makarov  <vmakarov@redhat.com>

PR fortran/42169
* ira-emit.c (store_can_be_removed_p): Return false instead of
gcc_unreachable.

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

Add LTO to boot language if it is enabled.

2010-10-20  H.J. Lu  <hongjiu.lu@intel.com>

PR bootstrap/45954
* config-lang.in (boot_language): Set to $enable_lto.

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

2010-10-20  Dmitry Melnik  <dm@ispras.ru>

gcc/
* fold-const.c (fold_binary_loc): New transformation.

gcc/testsuite/
* gcc.dg/20101013-1.c: New test.

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

Correct reduc_splus_v8sf and reduc_splus_v4df.

gcc/

2010-10-20  H.J. Lu  <hongjiu.lu@intel.com>

PR target/46085
* config/i386/sse.md (reduc_splus_v8sf): Updated.
(reduc_splus_v4df): Likewise.

gcc/testsuite/

2010-10-20  H.J. Lu  <hongjiu.lu@intel.com>

PR target/46085
* gcc.target/i386/pr46085-1.c: New.
* gcc.target/i386/pr46085-2.c: Likewise.

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

2010-10-20  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/45860
* tree-ssa-phiopt.c (cond_store_replacement): Do not do
conditional store replacement for non-register type stores.

* gcc.dg/torture/pr45860.c: New testcase.

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

* stor-layout.c (skip_simple_constant_arithmetic): New function.
(self_referential_size): Use it instead of skip_simple_arithmetic.

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

    * config/rs6000/rs6000.c (rs6000_reg_live_or_pic_offset_p):
        If the current function calls eh_return, claim live all registers
        that we need to check for liveness otherwise.

        testsuite/
        * gcc.target/powerpc (ehreturn.c): New test.

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

In gcc/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * c-decl.c (c_write_global_declarations): Call
        objc_write_global_declarations when compiling Objective-C.
        * c-lang.c (finish_file): Removed.

In gcc/c-family/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * c-common.h (finish_file): Removed.
        (objc_write_global_declarations): New.
        * c-opts.c (c_common_parse_file): Do not call finish_file.
        * stub-objc.c (objc_write_global_declarations): New.

In gcc/cp/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * cp-lang.c (finish_file): Removed.
        * decl2.c (cp_write_global_declarations): Call
        objc_write_global_declarations when compiling Objective-C++.

In gcc/objc/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * objc-lang.c (finish_file): Removed.
        * objc-act.c (objc_finish_file): Renamed to
        objc_write_global_declarations.  Do not try to instantiate C++
        templates when compiling Objective-C++ as this is now
        automatically done before this function is called.  Do not check
        for syntax-only run or PCH generation as this is done by the
        callers.
        * objc-act.h (objc_finish_file): Removed.

In gcc/objcp/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        * objcp-lang.c (finish_file): Removed.

In gcc/testsuite/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.  Test adapted to
        not require Foundation and run with the GNU runtime as well.

        2006-03-13  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4439126
        * obj-c++.dg/template-8.mm: New.

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

In gcc/testsuite/:
2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>

        PR objc/23709
        * objc.dg/pr23709.m: New.
        * obj-c++.dg/pr23709.m: New.

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

Daily bump.

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

/cp
2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/46046
* pt.c (add_to_template_args): Check extra_args for error_mark_node.
(coerce_template_parms): Likewise for args.

/testsuite
2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/46046
* g++.dg/template/crash104.C: New.

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

* doc/tm.texi.in (TARGET_ASM_JUMP_ALIGN_MAX_SKIP): New.
(TARGET_ASM_LABEL_ALIGN_AFTER_BARRIER_MAX_SKIP): Change to hook.
(TARGET_ASM_LOOP_ALIGN_MAX_SKIP): Likewise.
(TARGET_ASM_LABEL_ALIGN_MAX_SKIP): Likewise.
* doc/tm.texi: Regenerate.
* targhooks.h (default_label_align_after_barrier_max_skip,
default_loop_align_max_skip, default_label_align_max_skip,
default_jump_align_max_skip): Declare.
* target.def (label_align_after_barrier_max_skip): New.
(loop_align_max_skip): New.
(label_align_max_skip): New.
(jump_align_max_skip): New.
* system.h (poison): Add those macros to the list.
* final.c (LABEL_ALIGN_MAX_SKIP): Remove.
(LOOP_ALIGN_MAX_SKIP): Remove.
(LABEL_ALIGN_AFTER_BARRIER_MAX_SKIP): Remove.
(JUMP_ALIGN_MAX_SKIP): Remove.
(default_label_align_after_barrier_max_skip): New.
(default_loop_align_max_skip): New.
(default_label_align_max_skip): New.
(default_jump_align_max_skip): New.
(compute_alignments): Use the new hooks.
(shorten_branches): Likewise.

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

Add patterns for FMA3.

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

* lower-subreg.c (resolve_shift_zext): Delete conditional code for
WORDS_BIG_ENDIAN != BYTES_BIG_ENDIAN.

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

Add FMA patterns for ia64.

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

Use sjlj unwind.

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

PR fortran/43414
* dwarf2out.c (add_calling_convention_attribute): Flag main
Fortran subroutine with DW_AT_main_subprogram.

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

2010-10-19  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb, exp_ch4.ads (Expand_Quantified_Expression): New procedure
* exp_util.adb (Insert_Actions): Include Quantified_Expression.
* expander.adb: Call Expand_Qualified_Expression.
* par.adb: New procedure P_Quantified_Expression. Make
P_Loop_Parameter_Specification global for use in quantified expressions.
* par-ch3.adb (P_Subtype_Mark_Resync): Allow "some" as an identifier if
version < Ada2012.
* par-ch4.adb: New procedure P_Quantified_Expression.
* par-ch5.adb: P_Loop_Parameter_Specification is now global.
* scans.adb, scans.ads: Introduce token Some. For now leave as
unreserved.
* scn.adb (Scan_Reserved_Identifier): For earlier versions of Ada,
treat Some as a regular identifier.
* sem.adb: Call Analyze_Quantified_Expression.
* sem_ch4.adb, sem_ch4.ads: New procedure Analyze_Quantified_Expression.
* sem_ch5.adb, sem_ch5.ads: Analyze_Iteration_Scheme is public, for use
in quantified expressions.
* sem_res.adb: New procedure Resolve_Qualified_Expression.
* sinfo.adb, sinfo.ads: New node N_Quantified_Expression
* snames.ads-tmpl: New name Some.
* sprint.adb: Output quantified_expression.

2010-10-19  Robert Dewar  <dewar@adacore.com>

* a-exexda.adb: Minor reformatting
Minor code reorganization.

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

2010-10-19  Richard Guenther  <rguenther@suse.de>

PR testsuite/46081
* gcc.dg/ipa/ipa-pta-10.c: Adjust.

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

2010-10-19  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb: Minor reformatting.

2010-10-19  Tristan Gingold  <gingold@adacore.com>

* exp_ch4.adb (Expand_N_And_Op, Expand_N_Or_Op, Expand_N_Xor_Op): Call
Expand_Intrinsic_Call if the function is intrinsic.
* exp_intr_adb (Expand_Binary_Operator): Handle VMS case for logical
binary operator on the unsigned_quadword record.
* exp_intr.ads (Expand_Intrinsic_Call): Update comments.

2010-10-19  Geert Bosch  <bosch@adacore.com>

* gnat_rm.texi (pragma Float_Representation): Fix typo.

2010-10-19  Arnaud Charlet  <charlet@adacore.com>

* switch-c.adb (Scan_Front_End_Switches): Add handling of -gnateE.
* fe.h (Exception_Extra_Info): Declare.
* usage.adb (usage): Add -gnateE doc.
* checks.adb (Install_Null_Excluding_Check): Use better sloc.
* sem_util.adb (Insert_Explicit_Dereference): Ditto.
* gnat_ugn.texi: Document -gnateE switch.
* a-except.adb (Set_Exception_C_Msg): New parameter Column.
* a-except-2005.adb (Set_Exception_C_Msg): New parameter Column.
(Raise_Constraint_Error_Msg): Ditto.
(Image): New helper function.
(Rcheck_00_Ext, Rcheck_05_Ext, Rcheck_12_Ext): New procedure with more
detailed exception information.
Adjust calls to Set_Exception_C_Msg and Raise_Constraint_Error_Msg.
* a-exexda.adb (Set_Exception_C_Msg): New parameter Column.
* opt.ads (Exception_Extra_Info): New flag.
* gcc-interface/utils.c (gnat_raise_decls_ext): New.
* gcc-interface/utils2.c (build_call_raise_range,
build_call_raise_column): New functions.
* gcc-interface/gigi.h (exception_info_kind, gnat_raise_decls_ext,
build_call_raise_range, build_call_raise_column): Declare.
gcc-interface/trans.c (build_raise_check): New function.
(gigi): Initialize gnat_raise_decls_ext.
(gnat_to_gnu): Add initial support for -gnateE switch.
* gcc-interface/Make-lang.in: Update dependencies.

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

2010-10-19  Geert Bosch  <bosch@adacore.com>

* ttypef.ads: Change VAXDF_Last to be -VAXDF_First, as type is
symmetric.

2010-10-19  Robert Dewar  <dewar@adacore.com>

* atree.h (Field29): Fix incorrect definition.
* einfo.adb (Invariant_Procedure): New attribute
(Has_Invariants): New flag
(Has_Inheritable_Invariants): New flag
(OK_To_Reference): New flag
Minor code reorganization (use Next_Rep_Item function)
* einfo.ads (Invariant_Procedure): New attribute
(Has_Invariants): New flag
(Has_Inheritable_Invariants): New flag
(OK_To_Reference): New flag
* exp_ch3.adb (Expand_N_Object_Declaration): Add check for invariant
* exp_ch4.adb (Expand_N_Type_Conversion): Check invariant on type
conversion.  Minor reformatting.
* exp_util.ads, exp_util.adb (Make_Invariant_Call): New procedure.
* opt.ads (List_Inherited_Aspects): New name for List_Inherited_Pre_Post
* par-prag.adb: Add dummy entry for pragma Invariant.
* sem_ch13.adb (Build_Invariant_Procedure): New procedure
(Analyze_Aspect_Specification): Add support for Invariant aspect
* sem_ch13.ads (Build_Invariant_Procedure): New procedure
* sem_ch3.adb (Build_Derived_Type): Propagate invariant information
(Process_Full_View): Deal with invariants, building invariant procedure
Minor reformatting
* sem_ch6.adb (Process_PPCs): Add processing of invariants
* sem_ch7.adb (Analyze_Package_Specification): Build invariant
procedures.
* sem_prag.adb: Implement pragma Invariant.
* sem_res.adb (Resolve_Entity_Name): Allow type reference if
OK_To_Reference set.
* sem_warn.adb (List_Inherited_Aspects): New name for
List_Inherited_Pre_Post.
* snames.ads-tmpl: Add entries for pragma Invariant.
* treepr.adb (Print_Entity_Information): Add handling of Field29.
* usage.adb: Warning .l/.L applies to invariant as well as pre/post.

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

Minor reformatting.

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

2010-10-19  Javier Miranda  <miranda@adacore.com>

* par-ch4.adb: Update documentation of Ada 2012 syntax rules for
membership test.

2010-10-19  Bob Duff  <duff@adacore.com>

* sem_attr.adb (Eval_Attribute): Implement Max_Alignment_For_Allocation
attribute.
* exp_attr.adb (Expand_N_Attribute_Reference): Add
Attribute_Max_Alignment_For_Allocation to the case statement.
* snames.ads-tmpl (Name_Max_Alignment_For_Allocation,
Attribute_Max_Alignment_For_Allocation): New attribute name.

2010-10-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (OK_For_Limited_Init_In_05): a call to an access to
parameterless function appears syntactically as an explicit dereference.

2010-10-19  Thomas Quinot  <quinot@adacore.com>

* sem_ch8.adb, sem_ch12.adb, opt.ads, sem_ch6.adb, sem_res.adb,
i-cexten.ads, exp_disp.adb, exp_ch4.adb, exp_ch9.adb: Minor reformatting

2010-10-19  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb (Collect_Primitive_Operations): A function with an
anonymous access result designating T is a primitive operation of T.

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

    * config/rx/rx.c (rx_function_value): Small integer types are
        promotes to SImode.
        (rx_promote_function_mode): New function.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.

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

2010-10-19  Tristan Gingold  <gingold@adacore.com>

* init.c: On Alpha/VMS, only adjust PC for HPARITH.

2010-10-19  Tristan Gingold  <gingold@adacore.com>

* sem_attr.adb (Eval_Attribute): Handle Attribute_Ref, which can be
evaluated on VMS.

2010-10-19  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Check_Generic_Child_Unit): Handle properly the case of
an instantiation of a renaming of the implicit generic child that
appears within an instance of its parent.

2010-10-19  Thomas Quinot  <quinot@adacore.com>

* exp_ch9.adb: Minor reformatting.
* einfo.adb, einfo.ads, atree.adb, atree.ads, exp_dist.adb, atree.h:
(Referenced_Object): Remove unused entity attribute.
(Direct_Primitive_Operations): Move to Elist10, this is set for all
tagged types, including synchronous ones, so can't use field15 which is
used as Storage_Size_Variable for task types and Entry_Bodies_Array for
protected types.
(Add_RACW_Primitive_Declarations_And_Bodies): Remove bogus guard
against Concurrent_Types (we must handle the case of a RACW designating
a class-wide private synchronous type).
Use Direct_Primitive_Operations, not Primitive_Operations, since we
really want the former.

2010-10-19  Bob Duff  <duff@adacore.com>

* sem_ch8.adb (Pop_Scope): Change "return;" to "raise Program_Error;".

2010-10-19  Javier Miranda  <miranda@adacore.com>

* exp_ch4.adb (Expand_Set_Membership.Make_Cond): Add missing support
for N_Range nodes.

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

2010-10-19  Thomas Quinot  <quinot@adacore.com>

* einfo.ads, atree.ads: Minor comment fixes.

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

    * config/mep/mep.c (mep_print_operand): Use
        targetm.strip_name_encoding.
        (mep_output_aligned_common): Likewise.

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

2010-10-19  Basile Starynkevitch  <basile@starynkevitch.net>
* line-map.h (source_location): Remove obsolete comment
mentioning location_s.

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

2010-10-19  Basile Starynkevitch  <basile@starynkevitch.net>
* gengtype.c (new_structure): Remove ad-hoc "location_s"
processing.

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

 * simplify-rtx.c (simplify_ternary_operation) [FMA]: Simplify
(fma (neg a) (neg b) c) and (fma a (neg b) c).

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

Simplify FMA4 patterns with FMA rtx code.

Also fix incorrect rtl generation for scalar instructions.

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

2010-10-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* io/io.h: Remove definition of the BT enumerator.
* libgfortran.h: Replace GFC_DTYPE enumerator with BT.
* intrinsics/iso_c_generated_procs.c: Likewise
* intrinsics/date_and_time.c: Likewise.
* intrinsics/iso_c_binding.c: Likewise.
* io/list_read.c: Likewise.
* io/transfer.c: Likewise.
* io/write.c: Likewise.

2010-10-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* gfortran.h: Remove definition of bt enumerator.
* libgfortran.h: Add bt enumerator type alighned with defintion.
Remove the dtype enumerator, no longer used.
previously given in libgfortran/io.h
* trans-types.c: Use new bt enumerator.
* trans-io.c: Likewise.

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

PR rtl-optimization/45966
* combine.c (try_combine): If added_sets_2, deal with the case
where i0 feeds i1 and i1 feeds i2.

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

Daily bump.

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

* ipa.c (cgraph_externally_visible_p): Handle externally visible and
preserve flags before trying to guess on visibility.
(varpool_externally_visible_p): New function.
(function_and_variable_visibility): Use it.

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

In gcc/testsuite/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.

        2006-03-16 Fariborz Jahanian <fjahanian@apple.com>

        Radar 4293709
        * objc.dg/proto-init-mimatch-1.m: New.
        * obj-c++.dg/proto-init-mimatch-1.mm: New.

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

In gcc/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Implemented parsing @synthesize and @dynamic for Objective-C.
        * c-parser.c (c_parser_external_declaration): Recognize
        RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
        (c_parser_objc_at_synthesize_declaration): New.
        (c_parser_objc_at_dynamic_declaration): New.

2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        * c-parser.c (c_parser_objc_class_declaration): After finding an
        error, parse the whole declaration then reset parser->error.

In gcc/cp/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Implemented parsing @synthesize and @dynamic for Objective-C++.
        * parser.c (cp_parser_objc_method_definition_list): Recognize
        RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
        (cp_parser_objc_at_dynamic_declaration): New.
        (cp_parser_objc_at_synthesize_declaration): New.

2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        * parser.c (cp_parser_objc_identifier_list): Check the return
        value of cp_parser_identifier and react if it is error_mark_node.

In gcc/objc/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Implemented parsing @synthesize and @dynamic for
        Objective-C/Objective-C++.
        * objc-act.c (objc_add_synthesize_declaration): New.
        (objc_add_dynamic_declaration): New.

2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        * objc-act.c (lookup_and_install_protocols): Return NULL if passed
        error_mark_node.

In gcc/testsuite/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Implemented parsing @synthesize and @dynamic for
        Objective-C/Objective-C++.
        * objc.dg/property/dynamic-1.m: New.
        * objc.dg/property/synthesize-1.m: New.
        * obj-c++.dg/property/dynamic-1.mm: New.
        * obj-c++.dg/property/synthesize-1.mm: New.

2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        * objc.dg/at-class-1.m: New.
        * objc.dg/at-class-1.mm: New.

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

Fix PR 46041

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

2010-10-18  Steve Ellcey  <sje@cup.hp.com>

* gcc.c-torture/compile/920625-1.c: Remove dg-prune-output lines.

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

2010-10-18  Steve Ellcey  <sje@cup.hp.com>

PR target/36898
PR middle-end/43760
* config/ia64/ia64.c (rws_access_regno): Remove predicate check.

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

* config/i386/i386.c (ix86_option_override_internal): Define and
use USE_X86_64_FRAME_POINTER for 64-bit flag_omit_frame_pointer
default.
* config/i386/sol2-10.h (SUBTARGET_OVERRIDE_OPTIONS): Remove.
(USE_IX86_FRAME_POINTER, USE_X86_64_FRAME_POINTER): Define.

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

In gcc/objc/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.

        2006-03-10  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4407151
        * objc/objc-act.c (objc_is_class_name): template parameter is not
        an objective class name.
        (objc_generate_cxx_cdtors): Check for the null
        objc_implementation_context.

In gcc/testsuite/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.

        2006-01-17  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4407151
        * obj-c++.dg/template-7.mm: New.

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

In gcc/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.
        * c-parser.c (c_parser_objc_type_name): Adapted to new parser the
        following Objective-C change:

        2005-10-10  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4301047
        * c-parse.in (objc_quals): Build objc qualifier list same way
        as gcc-3.3

In gcc/testsuite/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        * objc.dg/proto-qual-1.m: Adjust test for GNU runtime to match
        bugfix.

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

* ipa.c (cgraph_externally_visible_p, varpool_externally_visible_p,
function_and_variable_visibility): Revert accidental commit.

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

In gcc/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.
        * c-parser.c (c_parser_typeof_specifier): Adapted to new parser
        the following Objective-C change:

        2005-10-07  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4204796
        * c-parse.in (typespec_nonreserved_nonattr): Remove volatile from
        'volatilized' type used in a typeof operator.

In gcc/c-family/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.

        2005-11-08  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4330422
        * c-common.h (objc_non_volatilized_type): New declaration
        * stub-objc.c (objc_non_volatilized_type): New stub.

In gcc/cp/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from apple/trunk branch on FSF servers.

        2005-03-01 Fariborz Jahanian <fjahanian@apple.com>

        Radar 4451818
        * call.c (standard_conversion, implicit_conversion): Ignore
        'volatile' attribute of artificially volatized type in objc when
        evaluating various conversion weights.

        2005-11-08  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4330422
        * typeck.c (comp_ptr_ttypes_real): Remove the hack. un-volatize the
        artiificially 'volatized' type before doing pointer comparison.

In gcc/objc/:
2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.

        2005-11-08  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4330422
        * objc/objc-act.c (objc_non_volatilized_type): New

        2005-10-07  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4204796
        * objc-act.c (objc_build_volatilized_type): Build 'volatilzed'
        types with proper attribute set and correctly.
        (objc_volatilize_decl): Remove unneeded code.
        (objc_type_quals_match): Use the new attribute to check on
        'volatilzed' type.
        (hash_init): removed unneeded code.

In gcc/testsuite/:
2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>

        Merge from 'apple/trunk' branch on FSF servers.

        2005-03-01 Fariborz Jahanian <fjahanian@apple.com>

        Radar 4451818
        * obj-c++.dg/try-catch-16.mm: New.
        * obj-c++.dg/try-catch-17.mm: New.

        2005-11-08  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4330422
        * obj-c++.dg/try-catch-15.mm: New

        2005-10-07  Fariborz Jahanian <fjahanian@apple.com>

        Radar 4204796
        * obj-c++.dg/try-catch-12.mm: New
        * obj-c++.dg/try-catch-13.mm: New
        * obj-c++.dg/try-catch-14.mm: New
        * objc.dg/try-catch-11.m: New
        * objc.dg/try-catch-12.m: New
        * objc.dg/try-catch-13.m: New

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

    * gcc.target/ia64/20101014.c: Fix double-paste of test case.

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

2010-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/45866
* include/std/ratio (ratio<>::type): Add.
(ratio_add<>::num, ratio_add<>::den,
ratio_subtract<>::num, ratio_subtract<>::den,
ratio_multiply<>::num, ratio_multiply<>::den,
ratio_divide<>::num, ratio_divide<>::den): Likewise.
* testsuite/20_util/ratio/operations/45866.cc: New.

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

* tree-flow.h (gimple_purge_all_dead_abnormal_call_edges): Declare.
* tree-cfg.c (gimple_purge_dead_abnormal_call_edges): Move around and
rewrite modelled on gimple_purge_dead_eh_edges.
(gimple_purge_all_dead_abnormal_call_edges): New function.
* tree-inline.c (expand_call_inline): Call gimple_purge_dead_eh_edges
directly instead of through gimple_purge_dead_abnormal_call_edges.
* tree-ssa-pre.c (need_ab_cleanup): New static variable.
(eliminate): Set bit in need_ab_cleanup for the basic block if we have
removed AB side-effects from one of its statements.
(init_pre): Initialize need_ab_cleanup.
(fini_pre): Purge dead abnormal call edges and clean up the CFG if bits
are set in need_ab_cleanup.  Free need_ab_cleanup afterward.

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

PR c/46015
* c-parser.c (c_parser_statement_after_labels): Call mark_exp_read
on computed goto argument.

* semantics.c (finish_goto_stmt): Call mark_rvalue_use on computed
goto destination.

* c-c++-common/Wunused-var-13.c: New test.

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

2010-10-18  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/45967
* tree-ssa-structalias.c (type_could_have_pointers): Remove.
(could_have_pointers): Likewise.
(handle_rhs_call, handle_const_call, handle_pure_call,
find_func_aliases, intra_create_variable_infos): Remove calls to them.
(struct fieldoff): Add must_have_pointers field.
(type_must_have_pointers): New function.
(field_must_have_pointers): Likewise.
(push_fields_onto_fieldstack): Remove must_have_pointers_p argument.
Adjust field merging.
(create_function_info_for): May-have-pointers of varinfo is
almost always true.
(create_variable_info_for_1): Likewise.

* gcc.dg/torture/pr45967.c: New testcase.
* gcc.dg/ipa/ipa-pta-10.c: Adjust.
* gcc.dg/ipa/ipa-pta-13.c: Likewise
* gcc.dg/torture/pr39074-2.c: Likewise
* gcc.dg/torture/pta-escape-1.c: Likewise
* gcc.dg/torture/pta-ptrarith-1.c: Likewise
* gcc.dg/tree-ssa/pta-callused.c: Likewise
* gcc.dg/tree-ssa/pta-escape-1.c: Likewise
* gcc.dg/tree-ssa/pta-escape-2.c: Likewise
* gcc.dg/tree-ssa/pta-escape-3.c: Likewise
* gcc.dg/tree-ssa/ssa-pre-21.c: Likewise

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

PR lto/45638
* Make-lang.in (check-lto): New dummy target.

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

2010-10-18  Bob Duff  <duff@adacore.com>

* sinfo.ads, sinfo.adb: Modify comment about adding fields to be more
correct, and to be in a more convenient order.
(Default_Storage_Pool): New field of N_Compilation_Unit_Aux, for
recording the Default_Storage_Pool for a parent library unit.
* einfo.ads (Etype): Document the case in which Etype can be Empty.
* sem_prag.adb (Pragma_Default_Storage_Pool): Analyze the new
Default_Storage_Pool pragma.
* sem.ads (Save_Default_Storage_Pool): Save area for push/pop scopes.
* gnat_ugn.texi: Document Default_Storage_Pool as a new configuration
pragma.
* freeze.adb (Freeze_Entity): When freezing an access type, take into
account any Default_Storage_Pool pragma that applies. We have to do
this at the freezing point, because up until that point, a Storage_Pool
or Storage_Size clause could occur, which should override the
Default_Storage_Pool.
* par-prag.adb: Add this pragma to the list of pragmas handled entirely
during semantics.
* sem_ch8.adb (Push_Scope, Pop_Scope): Save and restore the
Default_Storage_Pool information.
* opt.ads (Default_Pool, Default_Pool_Config): New globals for recording
currently-applicable Default_Storage_Pool pragmas.
* opt.adb: Save/restore the globals as appropriate.
* snames.ads-tmpl (Name_Default_Storage_Pool,
Pragma_Default_Storage_Pool): New pragma name.

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

* make.adb (Switches_Of): Put the spec and body suffix in canonical
case.

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

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

* sem_ch13.adb (Analyze_Aspect_Specifications): If subprogram is at the
library level, the pre/postconditions must be treated as global
declarations, i.e. placed on the Aux_Decl nodes of the compilation unit.
* freeze.adb (Freeze_Expression): If the expression is at library level
there is no enclosing record to check.

2010-10-18  Javier Miranda  <miranda@adacore.com>

* sem_ch3.ads (Find_Type_Name): Add documentation.
* sem_ch3.adb (Analyze_Full_Type_Declaration): Code cleanup because the
propagation of the class-wide entity is now done by routine
Find_Type_Name to factorize this code.
(Analyze_Private_Extension_Declaration): Handle private type that
completes an incomplete type.
(Tag_Mismatch): Add error message for tag mismatch in a private type
declaration that completes an incomplete type.
(Find_Type_Name): Handle completion of incomplete type by means of
a private declaration. Generate an error if a tagged incomplete type
is completed by an untagged private type.
* sem_ch7.adb (New_Private_Type): Handle private type that completes an
incomplete type.
* einfo.ads (Full_View): Add documentation.

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

* sem_ch12.adb (Analyze_Formal_Package_Declaration): If the package is
a renaming, generate a reference for it before analyzing the renamed
entity, to prevent spurious warnings.

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

2010-10-18  Jose Ruiz  <ruiz@adacore.com>

* adaint.c (__gnat_pthread_setaffinity_np,
__gnat_pthread_attr_setaffinity_np): Remove wrappers, no longer needed.
* s-osinte-linux.ads (pthread_setaffinity_np,
pthread_attr_setaffinity_np): Remove use of wrappers.
* s-taprop-linux.adb (Create_Task, Initialize): Restore check to verify
whether the affinity functionality is available in the OS.
* gcc-interface/utils.c: Set TREE_STATIC on functions only when there
are defined.

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

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

* einfo.ads, einfo.adb: Minor reformatting.
* gnat_ugn.texi, ug_words: Add missing entries, fix typos.

2010-10-18  Emmanuel Briot  <briot@adacore.com>

* g-comlin.adb (Is_In_Config): When the switch accepts either a space
or equal, we output an equal every time.

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

* sem_res.adb (Resolve_Entry_Call): Handle call to an entry family
member when pre/post conditions are present.
* exp_ch9.adb (Build_PPC_Wrapper): The PPC_Wrapper for an entry family
includes an index parameter, and the name of the enclosed entry call is
an indexed component.

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

2010-10-18  Kai Tietz  <kai.tietz@onevision.com>

        * gfortran.dg/bessel_7.f90: Set xfail for mingw targets.

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

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

* einfo.ads, einfo.adb: Minor reformatting.

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

2010-10-18  Tejas Belagod  <tejas.belagod@arm.com>

* config/arm/neon.md (neon_move_hi_quad_<mode>): Fix the order
of operands to vec_concat.

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

2010-10-18  Richard Guenther  <rguenther@suse.de>

PR lto/44950
* tree.c (free_lang_data_in_decl): As we clear TYPE_METHODS
also clear references to entries of it.

* g++.dg/lto/20101015-2_0.C: New testcase.

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

2010-10-18  Jose Ruiz  <ruiz@adacore.com>

* adaint.c (__gnat_pthread_setaffinity_np,
__gnat_pthread_attr_setaffinity_np): Add these wrappers which check the
availability of the underlying OS functionality before calling.
* s-osinte-linux.ads (pthread_setaffinity_np,
pthread_attr_setaffinity_np): Call a wrapper instead of the OS function
to perform a check of its availability.
* s-taprop-linux.adb (Create_Task): Remove the check to verify whether
the affinity functionality is available in the OS. Now done in a wrapper
* gcc-interface/Makefile.in: Remove vmshandler.asm, unused.
* gcc-interface/Make-lang.in: Update dependencies.

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

Updated changelog tense.

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

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

* sinfo.ads, sinfo.adb: Change Has_Pragma_CPU to Flag14 (Flag10 is
standard field).

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

* s-stausa.adb, s-taprop-linux.adb, s-taprop-mingw.adb, s-tassta.ads:
Minor reformatting.

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

* exp_strm.adb (Build_Elementary_Input_Call): Check
No_Default_Stream_Attributes.
(Build_Elementary_Write_Call): Check No_Default_Stream_Attributes
* s-rident.ads: Add restriction No_Default_Stream_Attributes
Put restriction No_Allocators_After_Elaboration in alpha order

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

2010-10-18  Jose Ruiz  <ruiz@adacore.com>

* exp_ch9.adb (Expand_N_Task_Type_Declaration): Add field corresponding
to the affinity when expanding the task declaration.
(Make_Task_Create_Call): Add the affinity parameter to the call to
create task.
* sem_prag.adb (Analyze_Pragma): Add the analysis for pragma CPU,
taking into account the case when it applies to a subprogram (only for
main and with static expression) or to a task.
* par_prag.adb:(Prag): Make pragma CPU a valid one.
* snames.ads-tmpl (Name_uCPU, Name_CPU): Add these new name identifiers
used by the expander for handling the affinity parameter when creating
a task.
(Pragma_Id): Add Pragma_CPU as a valid one.
* rtsfind.ads (RTU_Id): Make System_Multiprocessors accesible.
(RE_Id, RE_Unit_Table): Make the entities RE_CPU_Range and
RE_Unspecified_CPU visible.
* sinfo.ads, sinfo.adb (Has_Pragma_CPU, Set_Has_Pragma_CPU): Add these
two subprograms to set/get the flag indicating whether there is a
pragma CPU which applies to the entity.
* lib.ads, lib.adb (Unit_Record, Default_Main_CPU, Main_CPU,
Set_Main_CPU): Add the field Main_CPU to Unit_Record to store the value
of the affinity associated to the main subprogram (if any).
Default_Main_CPU is used when no affinity is set. Subprograms
Set_Main_CPU and Main_CPU are added to set/get the affinity of the main
subprogram.
* ali.ads, ali.adb (ALIs_Record): Add field Main_CPU to contain the
value of the affinity of the main subprogram.
(Scan_ALI): Get the affinity of the main subprogram (encoded as C=XX in
the M line).
* lib-writ.ads, lib-writ.adb (M_Parameters): Encode the affinity of the
main subprogram in the M (main) line using C=XX.
* lib-load.adb (Create_Dummy_Package_Unit, Load_Main_Source,
Load_Unit): Add new field Main_CPU.
* bindgen.adb (Gen_Adainit_Ada, Gen_Adainit_C): Add the code to pass
the affinity of the main subprogram to the run time.
* s-taskin.ads (Common_ATCB): Add the field Base_CPU to store the
affinity.
(Unspecified_CPU): Add this constant to identify the case when no
affinity is set for tasks.
* s-taskin.adb (Initialize_ATCB): Store the value coming from pragma
CPU in the common part of the ATCB.
(Initialize): Store the value coming from pragma CPU (for the
environment task) in the common part of the ATCB.
* s-tassta.ads, s-tassta.adb (Create_Task): Add the affinity specified
by pragma CPU to the ATCB.
* s-tarest.ads, s-tarest.adb (Create_Restricted_Task): Add the affinity
specified by pragma CPU to the ATCB.
* s-tporft.adb (Register_Foreign_Thread): Add the new affinity
parameter to the call to Initialize_ATCB.
* s-taprop-linux.adb (Create_Task): Change the attributes of the thread
to include the task affinity before creation. Additionally, the
affinity selected with Task_Info is also enforced changing the
attributes at task creation time, instead of changing it after creation.
(Initialize): Change the affinity of the environment task if required
by a pragma CPU.
* s-osinte-linux.ads (pthread_setaffinity_np): Instead of using a
wrapper to check whether the function is available or not, use a weak
symbol.
(pthread_attr_setaffinity_np): Add the import of this function which is
used to change the affinity in the attributes used to create a thread.
* adaint.c (__gnat_pthread_attr_setaffinity_np): Remove this wrapper.
It was used to check whether the pthread function was available or not,
but the use of a weak symbol handles this situation in a cleaner way.
* s-taprop-mingw.adb (Create_Task, Initialize): Change the affinity of
tasks (including the environment task) if required by a pragma CPU.
* s-taprop-solaris.adb (Enter_Task): Change the affinity of tasks
(including the environment task) if required by a pragma CPU.
* s-taprop-vxworks.adb (Create_Task, Initialize): Change the affinity
of tasks (including the environment task) if required by a pragma CPU.
* init.c (__gl_main_cpu): Make this value visible to the run time. It
will pass the affinity of the environment task.

2010-10-18  Javier Miranda  <miranda@adacore.com>

* einfo.adb (Direct_Primitive_Operations): Complete assertion.

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

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

* prj.ads (Source_Data): New Boolean flag In_The_Queue.

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

* s-stausa.ads: Add the Top parameter to Initialize_Analyzer.
* s-stausa.adb: Use the top parameter.  In Fill_Stack, use the
stack top if known.
* s-tassta.adb (Task_Wrapper): Call Initialize_Analyzer after Enter_Task
so that Pri_Stack_Info.Limit can be set and used.

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

* einfo.ads: Minor reformatting.
* sem_res.adb (Resolve_Allocator): Add test for violating
No_Anonymous_Allocators.

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

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

* prj-nmsc.adb, prj.adb, sem_res.adb: Minor reformatting.

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

* sem_util.adb (Insert_Explicit_Dereference): If operand is a selected
component, we generate a reference to the ultimate prefix when it is an
entity name. We must place the reference on the identifier for that
prefix, and not on the operand itself, to prevent spurious extra
references in the ali file.

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

* projects.texi: Add documentation for attribute Ignore_Source_Sub_Dirs

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

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

* einfo.ads, einfo.adb: New attribute PPC_Wrapper for entries and entry
families. Denotes a procedure that performs pre/postcondition checks
and then performs the entry call.
* sem_res.adb (Resolve_Entry_Call): If the entry has
pre/postconditions, replace call with a call to the PPC_Wrapper of the
entry.
* exp_ch9.adb (Build_PPC_Wrapper): new procedure.
(Expand_N_Entry_Declaration, Expand_N_Protected_Type_Declaration): call
Build_PPC_Wrapper for all entries in task and protected definitions.

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

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

* init.c: Add __gnat_set_stack_guard_page and __gnat_set_stack_limit.
Implement stack limitation on VMS.
Minor reformatting.

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

* prj.adb (Is_Compilable): Do not modify Source.Compilable until the
source record has been initialized.

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

* einfo.adb: Minor code reorganization (Primitive_Operations is a
synthesized attribute routine and was in the wrong place).

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

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

* init.c: Indentation, and minor changes to more closely follow GNU
style rules.  Make more variable statics.

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

* prj.adb (Is_Compilable): On first call for a source, cache value in
component Compilable.
* prj.ads (Source_Data): New component Compilable, to cache the value
returned by function Is_Compilable.

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

* prj-attr.adb: New project level attribute Ignore_Source_Sub_Dirs.
* prj-nmsc.adb (Expand_Subdirectory_Pattern): New string list parameter
Ignore.
(Recursive_Find_Dirs): Do not consider subdirectories listed in Ignore.
(Get_Directories): Call Find_Source_Dirs with the string list
indicated by attribute Ignore_Source_Sub_Dirs.
* snames.ads-tmpl: New standard name Ignore_Source_Sub_Dirs.

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

2010-10-18  Javier Miranda  <miranda@adacore.com>

* einfo.ads, einfo.adb (Primitive_Operations): New synthesized
attribute.
(Direct_Primitive_Operations): Renaming of old Primitive_Operations.
(Set_Direct_Primitive_Operations): Renaming of old
Set_Primitive_Operations. Update documentation
* sem_ch3.adb, exp_util.adb, sem_ch7.adb, sem_ch8.adb, exp_ch3.adb:
Replace occurrences of Set_Primitive_Operations by
Set_Direct_Primitive_Operations.
* sem_cat.adb (Validate_RACW_Primitives): No action needed for tagged
concurrent types.
* exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): Do not
process primitives of concurrent types.
* lib-xref.adb (Generate_Prim_Op_References): Minor code cleanup.

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

2010-10-18  Eric Botcazou  <ebotcazou@adacore.com>

* exp_ch6.adb (Expand_N_Subprogram_Declaration): Use Freeze_Before.
(Expand_Protected_Object_Reference): Likewise.
* sem_attr.adb (Resolve_Attribute): Likewise.
* sem_ch3.adb (Analyze_Subtype_Declaration): Likewise.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.

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

2010-10-18  Arnaud Charlet  <charlet@adacore.com>

* g-comlin.adb (Get_Switches): Prevent dereferencing null Config.

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

* aspects.ads, aspects.adb: Add entries for aspects
Read/Write/Input/Output.
* sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for
handling aspects Read/Write/Input/Output.

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

* sem_util.adb (Note_Possible_Modification): Do not give warning for
use of pragma Unmodified unless we are sure this is a modification.

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

* sysdep.c: Add __gnat_get_stack_bounds.
* s-taprop-mingw.adb Call __gnat_get_stack_bounds to set Pri_Stack_Info.

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

* a-assert.ads: Fix bad name in header.
* sem_ch4.adb, sem_ch6.adb, sem_ch7.adb, sem_ch10.adb: Minor
reformatting.
* exp_aggr.adb: Fix typo in comment.

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

2010-10-18  Javier Miranda  <miranda@adacore.com>

* exp_util.adb (Side_Effect_Free): Code clean up.

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

* sem_ch8.adb (Is_Primitive_Operator_In_Use): Renamed from
Is_Primitive_Operator. When ending the scope of a use package scope, a
primitive operator remains in use if the base type has a current use
(type) clause.

2010-10-18  Javier Miranda  <miranda@adacore.com>

* einfo.ads (Is_Dynamic_Support): Add missing support for limited
private types whose full-view is a task type.
* sem_util.adb (Enclosing_Subprogram): Add missing support for limited
private types whose full-view is a task type.
* exp_ch7.adb (Find_Final_List): Minor code cleanup replacing code by
function Nearest_Dynamic_Scope which provides the needed functionality.

2010-10-18  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb (Set_Exported): Do not generate error when exporting a
variable with an address clause in codepeer mode.

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

Remove gccbug

gcc/

2010-10-18  Andi Kleen  <ak@linux.intel.com>

PR other/43448
* gccbug.in: Remove.
* Makefile.in (GCCBUG_INSTALL_NAME, gccbug): Remove
(doc, distclean, install-common): Remove reference to gccbug.
* configure: Regenerate.
* configure.ac (all_outputs): Remove gccbug.
* doc/configfiles.texi: Remove references to gccbug.
* doc/sourcebuild.texi: Dito.

contrib/

2010-10-18  Andi Kleen  <ak@linux.intel.com>

* gccbug.el: Remove.

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

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

* g-trasym-vms-ia64.adb: Minor reformatting.

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

* sem_type.adb (Covers): If either argument is Standard_Void_Type and
the other isn't, return False early.

2010-10-18  Ed Falis  <falis@adacore.com>

* s-vxwext-rtp.ads, s-vxext-rtp.adb: Adapt for missing APIs for RTPs in
VxWorks Cert.

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

* sem_disp.ads: Minor comment update.

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

* einfo.ads, einfo.adb (Spec_PPC_List): Is now present in Entries
* sem_ch3.adb (Analyze_Declarations): Add processing for delaying
visibility analysis of precondition and postcondition pragmas (and
Pre/Post aspects).
* sem_ch6.adb (Process_PPCs): Add handling of inherited Pre'Class
aspects.
* sem_ch7.adb (Analyze_Package_Specification): Remove special handling
of pre/post conditions (no longer needed).
* sem_disp.adb (Inherit_Subprograms): Deal with interface case.
* sem_prag.adb (Analyze_PPC_In_Decl_Part): Remove analysis of message
argument, since this is now done in the main processing for
pre/postcondition pragmas when they are first seen.
(Chain_PPC): Pre'Class and Post'Class now handled properly
(Chain_PPC): Handle Pre/Post aspects for entries
(Check_Precondition_Postcondition): Handle entry declaration case
(Check_Precondition_Postcondition): Handle delay of visibility analysis
(Check_Precondition_Postcondition): Preanalyze message argument if
present.

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

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

* g-trasym-vms-ia64.adb, prj-nmsc.adb, prj.ads: Minor reformatting.

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

PR middle-end/46019
* fold-const.c (fold_binary_loc): If integer_pow2p has
TREE_INT_CST_LOW zero, look at TREE_INT_CST_HIGH.

* gcc.c-torture/execute/pr46019.c: New test.

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

2010-10-18  Basile Starynkevitch  <basile@starynkevitch.net>
    Jeremie Salvucci  <jeremie.salvucci@free.fr>

* gengtype.c (verbosity_level): Added variable.
(set_gc_used): Count variables for verbosity.
(close_output_files): Backing up files, counting written ones
verbosily.
(write_types): Count emitted functions for verbosity. Added
debug messages.
(write_enum_defn): Count structures for verbosity. Added debug
messages.
(gengtype_long_options): Added "verbose" & "backupdir".
(print_usage): Ditto.
(main): Verbose display of parsed files.

* gengtype.h (verbosity_level): Added declaration.

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