PR tree-optimization/48189
* predict.c (predict_loops): If max is 0, don't call compare_tree_int.
If nitercst is 0, don't predict the exit edge.

* gcc.dg/pr48189.c: New test.

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

* config/pa/pa.h (VAL_U6_BITS_P): Define.
(INT_U6_BITS): Likewise.
* config/pa/predicates.md (uint6_operand): New predicate.
(shift5_operand, shift6_operand): Likewise.
* config/pa/pa.md (lshrsi3, rotrsi3): Use shift5_operand instead of
arith32_operand.
(lshrdi3): Use shift6_operand.
(shrpsi4, shrpdi4): New insn patterns.
(extzv): Delete expander.
(extzvsi, extzvdi): New expanders.  Use uint5_operand and uint6_operand
predicates in unamed zero extract patterns.  Tighten common constraint.
(extv): Delete expander.
(extvsi, extvdi): New expanders.  Use uint5_operand and uint6_operand
predicates in unamed sign extract patterns.  Tighten common constraint.
(insv): Delete expander.
(insvsi, insvdi): New expanders.  Use uint5_operand and uint6_operand
predicates in unamed insert patterns.  Tighten common constraint.
Change uint32_operand predicate to uint6_operand predicate in unamed
DImode pattern to insert constant values of type 1...1xxxx.

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

Daily bump.

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

* config.sub: Merge from config repo.
* config.guess: Dito.

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

* Makefile.def: Merge from binutils.
* Makefile.in: Dito.

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

* doc/xml/manual/status_cxx2011.xml: Document that N3189 is missing.

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

PR libstdc++/55908
* include/std/functional (_Mem_fn::operator()): Fix constraints to
avoid ambiguity.
* testsuite/20_util/function_objects/mem_fn/55908.cc: New.
* testsuite/20_util/bind/ref_neg.cc: Adjust dg-error line numbers.

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

PR tree-optimization/55823
* ipa-prop.c (update_indirect_edges_after_inlining): Fix ordering issue.

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

* gcc.target/i386/pr55845.c (foo): Remove unneeded initialization.

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

PR rtl-optimization/55845
* df-problems.c (can_move_insns_across): Stop scanning at
volatile_insn_p source instruction or give up if
across_from .. across_to range contains any volatile_insn_p
instructions.

* gcc.target/i386/pr55845.c: New test.

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

2013-01-08  Tejas Belagod  <tejas.belagod@arm.com>

* config/aarch64/aarch64-simd.md (vec_init<mode>): New.
* config/aarch64/aarch64-protos.h (aarch64_expand_vector_init): Declare.
* config/aarch64/aarch64.c (aarch64_simd_dup_constant,
aarch64_simd_make_constant, aarch64_expand_vector_init): New.

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

PR fortran/55341
* asan.c (asan_clear_shadow): New function.
(asan_emit_stack_protection): Use it.

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

2013-01-08  Tejas Belagod  <tejas.belagod@arm.com>

* gcc.target/aarch64/vect-mull-compile.c: Explicitly scan for
instructions generated instead of number of occurances.

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

2013-01-08  Tejas Belagod  <tejas.belagod@arm.com>

* config/aarch64/aarch64-simd.md (aarch64_simd_vec_<su>mult_lo_<mode>,
aarch64_simd_vec_<su>mult_hi_<mode>): Separate instruction and operand
with tab instead of space.

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

* config/rl78/rl78.md (mulsi3_g13): Correct values for MDBL and
MDBH registers.

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

* config/rl78/rl78.c (rl78_expand_prologue): Always select
register bank 0 at the start of an interrupt handler.

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

[AARCH64] Add support for floating-point vcond.

gcc/
* config/aarch64/aarch64-simd.md
(aarch64_simd_bsl<mode>_internal): Add floating-point modes.
(aarch64_simd_bsl): Likewise.
(aarch64_vcond_internal<mode>): Likewise.
(vcond<mode><mode>): Likewise.
(aarch64_cm<cmp><mode>): Fix constraints, add new modes.
* config/aarch64/iterators.md (V_cmp_result): Add V2DF.

gcc/testsuite/
* gcc/testsuite/gcc.target/aarch64/vect-fcm-eq-d.c: New.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-eq-f.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-ge-d.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-ge-f.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-gt-d.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-gt-f.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm.x: Likewise.
* gcc/testsuite/lib/target-supports.exp
(check_effective_target_vect_cond): Enable for AArch64.

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

[AARCH64] Fix support for vectorization over sqrt (), sqrtf ().

gcc/
* config/aarch64/aarch64-builtins.c
(aarch64_builtin_vectorized_function): Handle sqrt, sqrtf.

gcc/testsuite/
* gcc.target/aarch64/vsqrt.c (test_square_root_v2sf): Use
endian-safe float pool loading.
(test_square_root_v4sf): Likewise.
(test_square_root_v2df): Likewise.
* lib/target-supports.exp
(check_effective_target_vect_call_sqrtf): Add AArch64.

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

2013-01-08  Martin Jambor  <mjambor@suse.cz>

PR debug/55579
* tree-sra.c (analyze_access_subtree): Return true also after
potentially creating a debug-only replacement.

testsuite/
* gcc.dg/tree-ssa/pr55579.c: New test.

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

statement before variable declaration  in cp_parser_initializer_list.

gcc/cp/ChangeLog:

        * parser.c (cp_parser_initializer_list): Move declaration
        of variable non_const to start of lexical block.

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

Fix g++.dg/debug/dwarf2/pr54508.C on Solaris 9/x86

* g++.dg/debug/dwarf2/pr54508.C: Allow for more whitespace after
asm comments.

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

Restrict -Wa,-nH use to Solaris (PR libstdc++/55594)

PR libstdc++/55594
* acinclude.m4 (GLIBCXX_CHECK_ASSEMBLER_HWCAP): Restrict test to
Solaris targets.
* configure: Regenerate.

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

PR middle-end/55890
* tree-ssa-ccp.c (evaluate_stmt): Use gimple_call_builtin_p.

* gcc.dg/torture/pr55890-3.c: New test.

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

PR tree-optimization/54120
* tree-vrp.c (range_fits_type_p): Don't allow
src_precision < precision from signed vr to unsigned_p
if vr->min or vr->max is negative.
(simplify_float_conversion_using_ranges): Test can_float_p
against CODE_FOR_nothing.

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

PR middle-end/55851
* fold-const.c (int_binop_types_match_p): Allow all INTEGRAL_TYPE_P
types instead of just INTEGER_TYPE types.

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

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

PR sanitizer/55844
* c-c++-common/asan/null-deref-1.c: Add -fno-shrink-wrap to
dg-options.

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

2013-01-08  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55618
* trans-expr.c (gfc_conv_procedure_call): Dereference scalar
character function arguments to elemental procedures in
scalarization loops.

2013-01-08  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55618
* gfortran.dg/elemental_scalar_args_2.f90: New test.

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

Daily bump.

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

libgcc/

* config.host (i[34567]86-*-openbsd* and x86_64-*-openbsd*):
Add to lists of i[34567]86-*-* and x86_64-*-* soft-fp targets.

gcc/

* config/i386/openbsdelf.h (LIBGCC2_HAS_TF_MODE, LIBGCC2_TF_CEXT,
TF_SIZE): Define.

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

2013-01-07  Steve Ellcey  <sellcey@mips.com>

PR target/42661
* config/mips/mips.opt: Change mad to mmad to match documentation.

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

2013-01-07  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/53876
PR fortran/54990
PR fortran/54992
* ChangeLog: Correct format error in revision 194953

2013-01-07  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/53876
PR fortran/54990
PR fortran/54992
* ChangeLog: Correct format error in revision 194953

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

PR target/55897
* doc/extend.texi (AVR Named Address Spaces): __memx goes into
.progmemx.data now.

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

PR target/55897
* config/avr/avr.h (ADDR_SPACE_COUNT): New enum.
(avr_addrspace_t): Add .section_name field.
* config/avr/avr.c (progmem_section): Use ADDR_SPACE_COUNT as
array size.
(avr_addrspace): Same.  Initialize .section_name.  Remove last
NULL entry.  Put __memx into .progmemx.data.
(progmem_section_prefix): Remove.
(avr_asm_init_sections): No need to initialize progmem_section.
(avr_asm_named_section): Use avr_addrspace[].section_name to get
section name prefix.
(avr_asm_select_section): Ditto.  And use get_unnamed_section to
retrieve the progmem section.
* avr-c.c (avr_cpu_cpp_builtins): Use ADDR_SPACE_COUNT as loop
boundary to run over avr_addrspace[].
(avr_register_target_pragmas): Ditto.

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

2013-01-07  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * gfortran.h (gfc_check_assign_symbol): Update prototype.
        * decl.c (add_init_expr_to_sym, do_parm): Update call.
        * expr.c (gfc_check_assign_symbol): Handle BT_CLASS and
        improve error location; support components.
        (gfc_check_pointer_assign): Handle component assignments.
        * resolve.c (resolve_fl_derived0): Call gfc_check_assign_symbol.
        (resolve_values): Update call.
        (resolve_structure_cons): Avoid double diagnostic.

2013-01-07  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * gfortran.dg/pointer_init_2.f90: Update dg-error.
        * gfortran.dg/pointer_init_7.f90: New.

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

Remove "-I" from LIBSTDCXX_RAW_CXX_LDFLAGS

config/

* libstdc++-raw-cxx.m4 (GCC_LIBSTDCXX_RAW_CXX_FLAGS): Remove
"-I" from LIBSTDCXX_RAW_CXX_LDFLAGS.

libjava/

* Makefile.am (lib_gnu_awt_xlib_la_LDFLAGS): Replace
LIBSTDCXX_RAW_CXX_LDLAGS with LIBSTDCXX_RAW_CXX_LDFLAGS.
* Makefile.in: Regenerated.

libsanitizer/

* asan/Makefile.am (libasan_la_LIBADD): Replace
LIBSTDCXX_RAW_CXX_LDLAGS with LIBSTDCXX_RAW_CXX_LDFLAGS.
* tsan/Makefile.am (libtsan_la_LIBADD): Likewise.
* Makefile.in: Regenerated.
* configure: Likewise.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.

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

PR c++/55753
* tree.c (build_aggr_init_expr): Do nothing in a template.
* pt.c (tsubst_copy_and_build) [CALL_EXPR]: Strip an ADDR_EXPR off
a FUNCTION_DECL before tsubsting.

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

* varasm.c (output_constant_def_contents): For asan_protect_global
protected strings, adjust DECL_ALIGN if needed, before testing for
anchored symbols.
(place_block_symbol): Adjust size for asan protected STRING_CSTs if
TREE_CONSTANT_POOL_ADDRESS_P.  Increase alignment for asan protected
normal decls.
(output_object_block): For asan protected decls, emit asan padding
after their contents.
* asan.c (asan_protect_global): Don't check TREE_ASM_WRITTEN here.
(asan_finish_file): Test it here instead.

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

Support -fuse-ld=bfd and -fuse-ld=gold

PR driver/55470
* collect2.c (main): Support -fuse-ld=bfd and -fuse-ld=gold.

* common.opt: Add fuse-ld=bfd and fuse-ld=gold.

* gcc.c (LINK_COMMAND_SPEC): Pass -fuse-ld=* to collect2.

* opts.c (comman_handle_option): Ignore -fuse-ld=bfd and
-fuse-ld=gold.

* doc/invoke.texi: Document -fuse-ld=bfd and -fuse-ld=gold.

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

Typo

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

Fix 32-bit gcc.dg/lto/pr55525 with Sun ld

* gcc.dg/lto/pr55525_0.c (s): Size like char *.

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

PR target/PR54461
* doc/install.texi (Cross-Compiler-Specific Options): Document
--with-avrlibc.

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

2013-01-07  Tejas Belagod  <tejas.belagod@arm.com>

        * config/aarch64/arm_neon.h (vmovn_high_is16, vmovn_high_s32,
        vmovn_high_s64, vmovn_high_u16, vmovn_high_u32, vmovn_high_u64,
        vqmovn_high_s16, vqmovn_high_s32, vqmovn_high_s64, vqmovn_high_u16,
        vqmovn_high_u32, vqmovn_high_u64, vqmovun_high_s16, vqmovun_high_s32,
        vqmovun_high_s64): Fix source operand number and update copyright.

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

2013-01-07  Richard Biener  <rguenther@suse.de>

PR middle-end/55890
* gimple.h (gimple_call_builtin_p): New overload.
* gimple.c (validate_call): New function.
(gimple_call_builtin_p): Likewise.
* tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
Use gimple_call_builtin_p.
(find_func_clobbers): Likewise.
* tree-ssa-strlen.c (adjust_last_stmt): Likewise.
(strlen_optimize_stmt): Likewise.

* gcc.dg/torture/pr55890-1.c: New testcase.
* gcc.dg/torture/pr55890-2.c: Likewise.

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

[AARCH64] Make argument of ld1 intrinsics const.

gcc/
* config/aarch64/arm_neon.h (vld1_dup_*): Make argument const.
(vld1q_dup_*): Likewise.
(vld1_*): Likewise.
(vld1q_*): Likewise.
(vld1_lane_*): Likewise.
(vld1q_lane_*): Likewise.

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

2013-01-07  Richard Biener  <rguenther@suse.de>

* lto-streamer.h (LTO_minor_version): Bump to 2.

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

[AARCH64] Add support for vector and scalar floating-point immediate loads.

gcc/

* config/aarch64/aarch64-protos.h
(aarch64_const_double_zero_rtx_p): Rename to...
(aarch64_float_const_zero_rtx_p): ...this.
(aarch64_float_const_representable_p): New.
(aarch64_output_simd_mov_immediate): Likewise.
* config/aarch64/aarch64-simd.md (*aarch64_simd_mov<mode>): Refactor
move immediate case.
* config/aarch64/aarch64.c
(aarch64_const_double_zero_rtx_p): Rename to...
(aarch64_float_const_zero_rtx_p): ...this.
(aarch64_print_operand): Allow printing of new constants.
(aarch64_valid_floating_const): New.
(aarch64_legitimate_constant_p): Check for valid floating-point
constants.
(aarch64_simd_valid_immediate): Likewise.
(aarch64_vect_float_const_representable_p): New.
(aarch64_float_const_representable_p): Likewise.
(aarch64_simd_imm_zero_p): Also allow for floating-point 0.0.
(aarch64_output_simd_mov_immediate): New.
* config/aarch64/aarch64.md (*movsf_aarch64): Add new alternative.
(*movdf_aarch64): Likewise.
* config/aarch64/constraints.md (Ufc): New.
(Y): call aarch64_float_const_zero_rtx.
* config/aarch64/predicates.md (aarch64_fp_compare_operand): New.

gcc/testsuite/

* gcc.target/aarch64/fmovd.c: New.
* gcc.target/aarch64/fmovf.c: Likewise.
* gcc.target/aarch64/fmovd-zero.c: Likewise.
* gcc.target/aarch64/fmovf-zero.c: Likewise.
* gcc.target/aarch64/vect-fmovd.c: Likewise.
* gcc.target/aarch64/vect-fmovf.c: Likewise.
* gcc.target/aarch64/vect-fmovd-zero.c: Likewise.
* gcc.target/aarch64/vect-fmovf-zero.c: Likewise.

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

2013-01-07  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55888
PR tree-optimization/55862
* tree-ssa-pre.c (phi_translate_1): Revert previous change.
(valid_in_sets): Check if a NAME has a leader in AVAIL_OUT,
not if it is contained therein.

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

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

* config/avr/t-avr: Typo.

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

PR55243
* config/avr/t-avr: Don't automatically rebuild
$(srcdir)/config/avr/t-multilib
$(srcdir)/config/avr/avr-tables.opt
$(srcdir)/doc/avr-mmcu.texi
(avr-mcus): New phony target to build them on request.
(s-avr-mlib, s-avr-mmcu-texi): Remove.
* avr/avr-mcus.def: Adjust comments.

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

* config/i386/i386.c (DEFAULT_PCC_STRUCT_RETURN): Remove.

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

2013-01-07  Tobias Burnus  <burnus@net-b.de>
            Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR fortran/55852
        * expr.c (gfc_build_intrinsic_call): Avoid clashes
        with user's procedures.
        * gfortran.h (gfc_build_intrinsic_call): Update prototype.
        * simplify.c (gfc_simplify_size): Update call.
        * class.c (finalization_scalarizer, finalization_get_offset,
        finalizer_insert_packed_call, generate_finalization_wrapper):
        Clean up by using gfc_build_intrinsic_call.

2013-01-07  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55852
        * gfortran.dg/intrinsic_size_3.f90: New.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjust
comment about type extension with discriminants.
<E_Record_Subtype>: Remove useless test and reorder conditions.
(elaborate_entity) <E_Record_Subtype>: Likewise.

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

2013-01-04  Richard Biener  <rguenther@suse.de>

PR ada/864
* gcc-interface/Make-lang.in (ada.install-common): Always apply
program_transform_name.

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

2012-01-07  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * resolve.c (resolve_select_type): Reject intrinsic types for
        a non-unlimited-polymorphic selector.

2012-01-07  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * gfortran.dg/select_type_32.f90: New.

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

PR c++/55311 - Cannot specialize alias template with arg of type array of char

Consider this test case:

     1 template <const char *const C, typename T>
     2 struct A
     3 {};
     4
     5 struct B {};
     6
     7 extern constexpr char HELLO_WORLD[] = "hello world";
     8
     9 A<HELLO_WORLD, B> g; // <-- This works fine
    10
    11 template <typename T>
    12 using PartiallySpecialized = A<HELLO_WORLD, T>;  // <-- This fails
    13

At line 12 G++ fails to instantiate the alias template that has a
string variable initialized with a string literal, with the error
message:

    test.cc:12:46: error: ‘"hello world"’ is not a valid template argument of type ‘const char*’ because ‘"hello world"’ is not a variable
     using PartiallySpecialized = A<HELLO_WORLD, T>;  // <-- This fails
                                              ^

Note that instantiating the template A at line 9 with the same
arguments as in the problematic case above works.

This happens in the context of lookup_template_class_1, when it handles
the alias template instantiation A<HELLO_WORLD, T> and thus passes the
VAR_DECL for HELLO_WORLD to convert_nontype_argument.

Note that from there decay_conversion replaces the the VAR_DECL with
its STRING_CST initializer[1].  Latter on, convert_nontype_argument
checks that the HELLO_WORLD constant it received as argument was
indeed a VAR_DECL:

      else
{
  tree decl;

  decl = ((TREE_CODE (expr) == ADDR_EXPR)
  ? TREE_OPERAND (expr, 0) : expr);
  if (TREE_CODE (decl) != VAR_DECL)
    {
      error ("%qE is not a valid template argument of type %qT "
     "because %qE is not a variable",
     expr, type, decl);
      return NULL_TREE;
    }

But the issue is, that VAR_DECL has been replaced by STRING_CST, so
the last 'if' above fails.

The fix is to teach decay_conversion to return the address of array,
rather than returning its initializer.

Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.

gcc/cp/

PR c++/55311
* pt.c (decay_conversion): Do not return the initializer of an array.

gcc/testsuite/

PR c++/55311
* g++.dg/cpp0x/alias-decl-30.C: New test.
* g++.dg/init/array21.C: New test.

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

PR c++/52343 - error with alias template as template template argument

In the example accompanying this patch, check_instantiated_arg tries
to ensure that a non-type template argument should be a constant if it
has integral or enumeration type.

The problem is that an alias template which type-id is, e.g, an
integer, looks like an argument that has integral/enumeration type:
its TREE_TYPE is an integer type.  So check_instantiated_arg
mistenkaly barks that this integral non-type argument is not a
constant.

Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.

gcc/cp/

PR c++/52343
* pt.c (check_instantiated_arg): Allow type template arguments.

gcc/testsuite/

PR c++/52343
* g++.dg/cpp0x/alias-decl-29.C: New test.

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

PR libstdc++/55847
* src/c++11/shared_ptr.cc (bad_weak_ptr::what()): Correct string.
* testsuite/20_util/shared_ptr/cons/weak_ptr_expired.cc: Verify
string.

PR libstdc++/55728
* include/std/functional (bad_function_call::what()): Declare.
* src/c++11/functional.cc (bad_function_call::what()): Define.
* config/abi/pre/gnu.ver (bad_function_call::what()): Export.
* testsuite/20_util/bad_function_call/what.cc: New.

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

Daily bump.

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

* include/bits/unordered_map.h: Fix typo in comments.
* doc/xml/manual/status_cxx2011.xml: Add implementation-defined bucket
counts for unordered associative containers.

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

2013-01-06  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/PR53876
PR fortran/PR54990
PR fortran/PR54992
* trans-array.c (build_array_ref): Check the TYPE_CANONICAL
to see if it is GFC_CLASS_TYPE_P.
* trans-expr.c (gfc_get_vptr_from_expr): The same.
(gfc_conv_class_to_class): If the types are not the same,
cast parmese->expr to the type of ctree.
* trans-types.c (gfc_get_derived_type): GFC_CLASS_TYPE_P of
CLASS components must be set.

2013-01-06  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/PR53876
PR fortran/PR54990
PR fortran/PR54992
* gfortran.dg/class_array_15.f03: New test.

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

gcc/
* file-find.c, file-find.h, realmpfr.c: Add FSF as copyright holder.

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

* doc/xml/manual/abi.xml: Update library and symbol versions.

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

PR fortran/42769
PR fortran/45836
PR fortran/45900
* module.c (read_module): Don't reuse local symtree if the associated
symbol isn't exactly the one wanted.  Don't reuse local symtree if it is
ambiguous.
* resolve.c (resolve_call): Use symtree's name instead of symbol's to
lookup the symtree.

PR fortran/42769
PR fortran/45836
PR fortran/45900
* gfortran.dg/use_23.f90: New test.
* gfortran.dg/use_24.f90: New test.
* gfortran.dg/use_25.f90: New test.
* gfortran.dg/use_26.f90: New test.
* gfortran.dg/use_27.f90: New test.

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

2013-01-06  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54678
        * intrinsics/env.c (get_environment_variable_i8): Don't use
        uninitialized variable.

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

* gnatvsn.ads (Current_Year): Bump to 2013.

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

* gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized
diagnostic for component size mismatch wrt volatile requirements.
Add a gcc_unreachable() at the end of the checks for size.  Split
the check on volatile for positions into one check on atomic and
a subsequent one on volatile.

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

* gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
pack the field of the record type made for a misaligned type.

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

libstdc++-v3/
* include/ext/pb_ds/detail/splay_tree_/insert_fn_imps.hpp: Fix typo
in copyright years.
* testsuite/22_locale/time_get/get_weekday/wchar_t/3.cc: Likewise.

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

gcc/
* config/tilepro/gen-mul-tables.cc: Put copyright on one line.

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

* gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be prepared
for discriminants inherited from parent record types.

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

Daily bump.

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

    * config/rs6000/aix53.h (LIB_SPEC): Add -lpthreads when compiling
        to generate profiling.
        * config/rs6000/aix64.h (LIB_SPEC): Same.

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

Add PR reference in ChangeLogs

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

2013-01-05  Steven G. Kargl  <kargl@gcc.gnu.org>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/55827
* class.c (gfc_fix_class_refs): Adapt ts initialization for the case
e->symtree == NULL.
* trans-expr.c (gfc_conv_function_expr): Init sym earlier. Use it.

2013-01-05  Steven G. Kargl  <kargl@gcc.gnu.org>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/55827
* gfortran.dg/use_22.f90: New test.

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

2013-01-05  Tobias Burnus  <burnus@net-b.de>

        * class.c (finalize_component): Used passed offset expr.
        (finalization_get_offset): New static function.
        (finalizer_insert_packed_call, generate_finalization_wrapper):
        Use it to handle noncontiguous arrays.

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

Daily bump.

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

2013-01-04  Andrew Pinski  <apinski@cavium.com>

* config/aarch64/aarch64.c (aarch64_fixed_condition_code_regs):
New function.
(TARGET_FIXED_CONDITION_CODE_REGS): Define.

2013-01-04  Andrew Pinski  <apinski@cavium.com>

* gcc.target/aarch64/cmp-1.c: New testcase.

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

2013-01-04  Tobias Burnus  <burnus@net-b.de>

        * trans.c (gfc_build_final_call): New function.
        * trans.h (gfc_build_final_call, gfc_conv_scalar_to_descriptor):
        New function prototypes.
        * trans-expr.c (gfc_conv_scalar_to_descriptor): Renamed from
        conv_scalar_to_descriptor, removed static attribute.
        (gfc_conv_procedure_call): Honor renaming.

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

2013-01-04  Tobias Burnus  <burnus@net-b.de>

        * intrinsic.c (add_functions): New internal intrinsic
        function GFC_PREFIX ("stride").
        * gfortran.h (gfc_isym_id): Add GFC_ISYM_STRIDE.
        * intrinsic.h (gfc_resolve_stride): New prototypes.
        * iresolve.c (gfc_resolve_stride): New function.
        * trans-intrinsic.c (conv_intrinsic_stride): New static
        function.
        (gfc_conv_intrinsic_function): Use it.

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

2013-01-04  Tobias Burnus  <burnus@net-b.de>

        * class.c (gfc_find_intrinsic_vtab): Add _final
        component.

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

2013-01-04  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55172
* match.c (copy_ts_from_selector_to_associate): Remove call to
gfc_resolve_expr and replace it with explicit setting of the
array reference type.
* resolve.c (resolve_select_type): It is an error if the
selector is coindexed.

2013-01-04  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55172
* gfortran.dg/select_type_31.f03: New test.

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

PR other/54800
* simple-object-mach-o.c (simple_object_mach_o_segment): Don't
bother to zero out a buffer we are about to set anyhow.

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

* config/i386/i386.c (ix86_legitimize_address): Call convert_to_mode
unconditionally.
(ix86_expand_move): Ditto.
(ix86_zero_extend_to_Pmode): Ditto.
(ix86_expand_call): Ditto.
(ix86_expand_special_args_builtin): Ditto.
(ix86_expand_builtin): Ditto.

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

PR c++/55877
* decl.c (reset_type_linkage, bt_reset_linkage): New.
(grokdeclarator): Use reset_type_linkage.
* name-lookup.c (binding_table_foreach): Handle null table.
* tree.c (decl_anon_ns_mem_p): Check TYPE_MAIN_DECL, not TYPE_NAME.

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

/libcpp
2013-01-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54526 (again)
* lex.c (_cpp_lex_direct): In C++11 mode, implement 2.5 p3, bullet 2.

/gcc/cp
2013-01-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54526 (again)
* parser.c (cp_parser_template_id): Revert core of previous change
(keep adjusted inform message).

/gcc/testsuite
2013-01-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54526 (again)
* g++.dg/cpp0x/parse2.C: Extend.
* g++.old-deja/g++.other/crash28.C: Adjust.

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

2013-01-04  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55862
* tree-ssa-pre.c (phi_translate_1): Valueize SSA names after
translating them through PHI nodes.

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

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

2013-01-04  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/55755
* tree-sra.c (sra_modify_assign): Do not check that an access has no
children when trying to avoid producing a VIEW_CONVERT_EXPR.

testsuite/
* gcc.dg/torture/pr55755.c: New test.
* gcc.dg/tree-ssa/sra-13.c: Likewise.
* gcc.dg/tree-ssa/pr45144.c: Update.

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

Update Copyright years for files modified in 2011 and/or 2012.

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

PR55859.

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

2013-01-04  Richard Biener  <rguenther@suse.de>

PR middle-end/55863
* fold-const.c (split_tree): Undo -X - 1 to ~X folding for
reassociation.

* gcc.dg/fold-reassoc-2.c: New testcase.

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

* config/v850/lib1funcs.S: Only provide CALLT support functions if
the CALLT instruction is supported.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Clean up order of N_xxx subtypes

2013-01-04  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Check_Target): Allow --autoconf= with no target.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* warnsw.adb: Minor fixes to -gnatw.d handling.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more
fields.

2013-01-04  Joel Brobecker  <brobecker@adacore.com brobecker>

* gnat_ugn.texi: Fix typo.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document alignment choice for subtypes.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* validsw.ads: Minor fix to comment.

2013-01-04  Doug Rupp  <rupp@adacore.com>

* Makefile.rtl (GNATRTL_NONTASKING_OBJS,
GNATRTL_ALTIVEC_OBJS): Factor g-al* objects.
* gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources.
(GNATRTL_ALTIVEC_OBJS): Override to null for VMS.
Rename leon vxworks toolchain as leon-wrs-vxworks.
* gcc-interface/Make-lang.in: Update dependencies

2013-01-04  Pascal Obry  <obry@adacore.com>

* prj.ads (For_Each_Source): Add Locally_Removed parameter.
(Source_Iterator): Add Locally_Removed field.
* prj.adb (For_Each_Source): Ignore Locally_Removed files if needed.
(Next): Likewise.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb: Minor reformatting.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* checks.adb (Insert_Valid_Check): Fix handling of renamed
packed array element.
* exp_ch4.adb (Expand_Concatenate): Fix some missing parent
fields in generated code.
* exp_util.adb (Side_Effect_Free): Improve detection of cases
needing renaming.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Clean up order of N_xxx subtypes

2013-01-04  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Check_Target): Allow --autoconf= with no target.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* par-ch6.adb (P_Subprogram): Better handling of missing IS
after expression function.
* par-util.adb (No_Constraint): Improve handling to avoid bad warnings.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_util.ads, exp_util.adb (Insert_Actions): In expression with
actions case, new actions are appended to the sequence rather than
prepended.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode).
* usage.adb: Add lines for -gnatw.d/w.D switches.
* warnsw.adb: Minor fixes (some missing cases of setting
Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* exp_util.adb (Remove_Side_Effects): Make sure scope suppress
is restored on exit.

2013-01-04  Robert Dewar  <dewar@adacore.com>

* usage.adb: Document -gnateF (check overflow for predefined Float).

2013-01-04  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): Remove incorrect
prevention of call to Apply_Type_Conversion_Checks, which resulted
in missing check flags in formal mode.

2013-01-04  Vincent Celier  <celier@adacore.com>

* makeutl.ads (Db_Switch_Args): New table used by gprbuild.
* prj-conf.adb (Check_Builder_Switches): Check for switches
--config= (Get_Db_Switches): New procedure to get the --db
switches so that they are used when invoking gprconfig in
auto-configuration.
(Do_Autoconf): When invoking gprconfig, use the --db switches, if any.

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

2013-01-04  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Minor reformatting.

2013-01-04  Vincent Celier  <celier@adacore.com>

* makeutl.ads (Root_Environment): New variable, moved rom
gprbuild (Load_Standard_Base): New Boolean variable, moved
from gprbuild.
* prj-conf.adb (Check_Builder_Switches): New procedure to check
for switch --RTS in package Builder. If a runtime specified
by --RTS is a relative path name, but not a base name, then
find the path on the Project Search Path.
(Do_Autoconf): Call Check_Builder_Switches.
(Locate_Runtime): New procedure, moved from gprbuild, to get the
absolute paths of runtimes when they are not specified as a base name.
* prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild.

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

2013-01-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Build_Private_Derived_Type): Set
Has_Private_Ancestor on type derived from an untagged private
type whose full view has discriminants
* sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension
aggregate for untagged record type with private ancestor.

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

2013-01-04  Thomas Quinot  <quinot@adacore.com>

* sem_elab.adb, sem_ch3.adb: Minor reformatting.

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

2013-01-04  Robert Dewar  <dewar@adacore.com>

* table.adb: Minor reformatting.

2013-01-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
not come from source does not generate a warning for redundant
with_clauses.

2013-01-04  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
* par-prag.adb: Add pragma Global to the list of pragmas that
do not need special processing by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
Global into a pragma without any form of legality checks. The
work is done by Analyze_Pragma. The aspect and pragma are both
marked as needing delayed processing.  Insert the corresponding
pragma of aspect Abstract_State in the visible declarations of the
related package.
(Check_Aspect_At_Freeze_Point): Aspect Global
does not need processing even though it is marked as delayed.
Alphabetize the list on aspect names.
* sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
(Analyze_Pragma): Add ??? comment about the grammar of pragma
Abstract_State.  Move the error location from the pragma to the
state to improve the quality of error placement.  Add legality
checks for pragma Global.
* snames.ads-tmpl Add the following specially recognized names

2013-01-04  Eric Botcazou  <ebotcazou@adacore.com>

* sem_ch3.adb: Fix minor typo.

2013-01-04  Ed Schonberg  <schonberg@adacore.com>

* par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
accept an aspect name followed by a comma, indicating a defaulted
boolean aspect.

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