platform/upstream/gcc.git
10 years agosourcebuild.texi (arm_vfp3_ok): Add missing anchor.
Uros Bizjak [Tue, 11 Feb 2014 17:39:50 +0000 (18:39 +0100)]
sourcebuild.texi (arm_vfp3_ok): Add missing anchor.

* doc/sourcebuild.texi (arm_vfp3_ok): Add missing anchor.

From-SVN: r207694

10 years ago[AArch64] Wire up Cortex-A57 rtx costs.
Kyrylo Tkachov [Tue, 11 Feb 2014 16:00:19 +0000 (16:00 +0000)]
[AArch64] Wire up Cortex-A57 rtx costs.

* config/aarch64/aarch64-cores.def (cortex-a57): Use cortexa57
tuning struct.
(cortex-a57.cortex-a53): Likewise.
* config/aarch64/aarch64.c (cortexa57_tunings): New tuning struct.

From-SVN: r207693

10 years ago[ARM] Adjust thumb2_movhi_insn pattern for -mrestrict-it.
Kyrylo Tkachov [Tue, 11 Feb 2014 15:48:08 +0000 (15:48 +0000)]
[ARM] Adjust thumb2_movhi_insn pattern for -mrestrict-it.

* config/arm/thumb2.md (*thumb2_movhi_insn): Add alternatives for
arm_restrict_it.

From-SVN: r207692

10 years agosourcebuild.texi: Document check_effective_target_arm_vfp3_ok and add_options_for_arm...
Renlin Li [Tue, 11 Feb 2014 15:26:46 +0000 (15:26 +0000)]
sourcebuild.texi: Document check_effective_target_arm_vfp3_ok and add_options_for_arm_vfp3.

2014-02-11  Renlin Li  <Renlin.Li@arm.com>

gcc/
* doc/sourcebuild.texi: Document check_effective_target_arm_vfp3_ok and
add_options_for_arm_vfp3.

gcc/testsuite/
* gcc.target/arm/fixed_float_conversion.c: Add arm_vfp3 option.
* lib/target-supports.exp (check_effective_target_arm_vfp3_ok): New.
(add_options_for_arm_vfp3): New.

From-SVN: r207691

10 years agore PR middle-end/54041 (-mshort ICE in convert_memory_address_addr_space, at explow...
Jeff Law [Tue, 11 Feb 2014 13:58:46 +0000 (06:58 -0700)]
re PR middle-end/54041 (-mshort ICE in convert_memory_address_addr_space, at explow.c:327)

PR middle-end/54041
* expr.c (expand_expr_addr_expr_1): Handle expand_expr returning an
object with an undesirable mode.

PR middle-end/54041
* gcc.target/m68k/pr54041.c: New test.

From-SVN: r207689

10 years agoOnly assume 4-byte stack alignment on Solaris 9/x86 (PR libgomp/60107)
Rainer Orth [Tue, 11 Feb 2014 12:56:39 +0000 (12:56 +0000)]
Only assume 4-byte stack alignment on Solaris 9/x86 (PR libgomp/60107)

PR libgomp/60107
* config/i386/sol2-9.h: New file.
* config.gcc (i[34567]86-*-solaris2* | x86_64-*-solaris2.1[0-9]*,
*-*-solaris2.9*): Use it.

From-SVN: r207688

10 years agore PR target/59927 (ICE sorry, unimplemented: ms_abi attribute requires -maccumulate...
Jakub Jelinek [Tue, 11 Feb 2014 09:06:37 +0000 (10:06 +0100)]
re PR target/59927 (ICE sorry, unimplemented: ms_abi attribute requires -maccumulate-outgoing-args or subtarget optimization implying it)

PR target/59927
* gcc.target/i386/pr59927.c: New test.

From-SVN: r207686

10 years agoAdded the lwr/swr instructions pattern.
Nagaraju Mekala [Tue, 11 Feb 2014 01:52:54 +0000 (01:52 +0000)]
Added the lwr/swr instructions pattern.

lwr and swr instructions will load/store the data with opposite endianness.

Changelog

2014-02-10  Nagaraju Mekala <nagaraju.mekala@xilinx.com>

 * gcc/config/microblaze/microblaze.md: Add movsi4_rev insn pattern.
 * gcc/config/microblaze/predicates.md: Add reg_or_mem_operand predicate.

From-SVN: r207683

10 years agomicroblaze.c: Extend mcpu version format
Nagaraju Mekala [Tue, 11 Feb 2014 01:34:03 +0000 (01:34 +0000)]
microblaze.c: Extend mcpu version format

2013-11-26  Nagaraju Mekala <nagaraju.mekala@xilinx.com>

 * gcc/config/microblaze/microblaze.c: Extend mcpu version format

From-SVN: r207680

10 years agoFixes warnings like;
David Holsgrove [Tue, 11 Feb 2014 01:28:00 +0000 (01:28 +0000)]
Fixes warnings like;

warning: format '%zX' expects argument of type 'size_t',
but argument 3 has type 'unsigned int' [-Wformat]

2013-03-18  David Holsgrove <david.holsgrove@xilinx.com>

 * gcc/config/microblaze/microblaze.h: Define SIZE_TYPE
   and PTRDIFF_TYPE.

From-SVN: r207678

10 years agore PR target/59927 (ICE sorry, unimplemented: ms_abi attribute requires -maccumulate...
Richard Henderson [Tue, 11 Feb 2014 01:12:38 +0000 (17:12 -0800)]
re PR target/59927 (ICE sorry, unimplemented: ms_abi attribute requires -maccumulate-outgoing-args or subtarget optimization implying it)

PR target/59927

        * calls.c (expand_call): Don't double-push for reg_parm_stack_space.
        * config/i386/i386.c (init_cumulative_args): Remove sorry for 64-bit
        ms-abi vs -mno-accumulate-outgoing-args.
        (ix86_expand_prologue): Unconditionally call ix86_eax_live_at_start_p.
        * config/i386/i386.h (ACCUMULATE_OUTGOING_ARGS): Fix comment with
        respect to ms-abi.

From-SVN: r207677

10 years agoDaily bump.
GCC Administrator [Tue, 11 Feb 2014 00:16:56 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r207676

10 years agopr57741-3.c: Require vect_int.
Richard Sandiford [Mon, 10 Feb 2014 20:30:24 +0000 (20:30 +0000)]
pr57741-3.c: Require vect_int.

gcc/testsuite/
* gcc.dg/vect/pr57741-3.c: Require vect_int.
* gcc.dg/vect/pr60012.c: Likewise.
* gcc.dg/vect/vect-119.c: Likewise.
* gcc.dg/vect/vect-outer-4c-big-array.c: Likewise.
* gcc.dg/vect/vect-outer-4c.c: Likewise.

From-SVN: r207669

10 years agore PR middle-end/60080 (gcc.dg/vect/vect-nop-move.c FAILs)
Bernd Edlinger [Mon, 10 Feb 2014 18:19:01 +0000 (18:19 +0000)]
re PR middle-end/60080 (gcc.dg/vect/vect-nop-move.c FAILs)

2014-02-10  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        PR middle-end/60080
        * cfgexpand.c (expand_asm_operands): Attach source location to
        ASM_INPUT rtx objects.
        * print-rtl.c (print_rtx): Check for UNKNOWN_LOCATION.

From-SVN: r207668

10 years agomn10300.c (popcount): New function.
Nick Clifton [Mon, 10 Feb 2014 17:23:40 +0000 (17:23 +0000)]
mn10300.c (popcount): New function.

* config/mn10300/mn10300.c (popcount): New function.
(mn10300_expand_prologue): Include saved registers in stack usage
count.

From-SVN: r207665

10 years agore PR target/59691 (cilk-plus run failures on non-sse processors)
Balaji V. Iyer [Mon, 10 Feb 2014 16:56:54 +0000 (16:56 +0000)]
re PR target/59691 (cilk-plus run failures on non-sse processors)

Fix for PR target/59691.
+2014-02-10  Balaji V. Iyer  <balaji.v.iyer@intel.com>
+
+       PR target/59691
+       * runtime/config/x86/os-unix-sysdep.c (__builtin_cpu_supports): New
+       function.
+       (restore_x86_fp_state): Added a check if the cpu supports the
+       instruction before emitting it.
+       (sysdep_save_fp_ctrl_state): Likewise.
+

From-SVN: r207664

10 years agoDon't xfail gcc.dg/binop-xor1.c
Rainer Orth [Mon, 10 Feb 2014 16:44:05 +0000 (16:44 +0000)]
Don't xfail gcc.dg/binop-xor1.c

* gcc.dg/binop-xor1.c: Don't xfail scan-tree-dump-times.

From-SVN: r207663

10 years agore PR middle-end/52306 (ICE in cselib_record_set, at cselib.c:2158)
Jeff Law [Mon, 10 Feb 2014 16:25:44 +0000 (09:25 -0700)]
re PR middle-end/52306 (ICE in cselib_record_set, at cselib.c:2158)

PR middle-end/52306
* reload1.c (emit_input_reload_insns): Do not create invalid RTL
when changing the SET_DEST of a prior insn to avoid an input
reload.

PR middle-end-52306
* gcc.c-torture/compile/pr52306.c: New test.

From-SVN: r207662

10 years agoCompile g++.dg/ext/vector26.C with -mmmx
Rainer Orth [Mon, 10 Feb 2014 16:23:38 +0000 (16:23 +0000)]
Compile g++.dg/ext/vector26.C with -mmmx

* g++.dg/ext/vector26.C: Use -mmmx for 32-bit x86.

From-SVN: r207661

10 years agoDon't xfail 22_locale/num_put/put/char/14220.cc etc. on Solaris 9/x86
Rainer Orth [Mon, 10 Feb 2014 16:18:20 +0000 (16:18 +0000)]
Don't xfail 22_locale/num_put/put/char/14220.cc etc. on Solaris 9/x86

* testsuite/22_locale/num_put/put/char/14220.cc: Don't xfail
execution on i?86-*-solaris2.9, remove comment.
* testsuite/22_locale/num_put/put/wchar_t/14220.cc: Likewise.

From-SVN: r207660

10 years agosysv4.h (ENDIAN_SELECT): Do not attempt to enforce big-endian mode for -mcall-aixdesc...
Ulrich Weigand [Mon, 10 Feb 2014 14:46:24 +0000 (14:46 +0000)]
sysv4.h (ENDIAN_SELECT): Do not attempt to enforce big-endian mode for -mcall-aixdesc...

* config/rs6000/sysv4.h (ENDIAN_SELECT): Do not attempt to enforce
big-endian mode for -mcall-aixdesc, -mcall-freebsd, -mcall-netbsd,
-mcall-openbsd, or -mcall-linux.
(CC1_ENDIAN_BIG_SPEC): Remove.
(CC1_ENDIAN_LITTLE_SPEC): Remove.
(CC1_ENDIAN_DEFAULT_SPEC): Remove.
(CC1_SPEC): Remove (always empty) %cc1_endian_... spec.
(SUBTARGET_EXTRA_SPECS): Remove %cc1_endian_big, %cc1_endian_little,
and %cc1_endian_default.
* config/rs6000/sysv4le.h (CC1_ENDIAN_DEFAULT_SPEC): Remove.

From-SVN: r207658

10 years agore PR tree-optimization/60115 (wrong code at -O3 on x86_64-linux-gnu)
Richard Biener [Mon, 10 Feb 2014 13:51:23 +0000 (13:51 +0000)]
re PR tree-optimization/60115 (wrong code at -O3 on x86_64-linux-gnu)

2014-02-10  Richard Biener  <rguenther@suse.de>

PR tree-optimization/60115
* tree-eh.c (tree_could_trap_p): Unify TARGET_MEM_REF and
MEM_REF handling.  Properly verify that the accesses are not
out of the objects bound.

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

From-SVN: r207656

10 years agoaarch64.c (aarch64_override_options): Fix typo from coretex to cortex.
Kyrylo Tkachov [Mon, 10 Feb 2014 11:25:16 +0000 (11:25 +0000)]
aarch64.c (aarch64_override_options): Fix typo from coretex to cortex.

* config/aarch64/aarch64.c (aarch64_override_options): Fix typo from
coretex to cortex.

From-SVN: r207654

10 years agoipa-devirt.c (get_polymorphic_call_info_from_invariant): Return proper constants...
Eric Botcazou [Mon, 10 Feb 2014 11:15:38 +0000 (11:15 +0000)]
ipa-devirt.c (get_polymorphic_call_info_from_invariant): Return proper constants and fix formatting.

* ipa-devirt.c (get_polymorphic_call_info_from_invariant): Return
proper constants and fix formatting.
(possible_polymorphic_call_targets): Fix formatting.

From-SVN: r207653

10 years agopr33426-ivdep-3.cc: Require vect_int_mult as well.
Eric Botcazou [Mon, 10 Feb 2014 11:09:21 +0000 (11:09 +0000)]
pr33426-ivdep-3.cc: Require vect_int_mult as well.

* g++.dg/vect/pr33426-ivdep-3.cc: Require vect_int_mult as well.
* g++.dg/vect/pr33426-ivdep-4.cc: Likewise.

From-SVN: r207652

10 years agoavx512fintrin.h (_mm512_storeu_epi64): Removed.
Kirill Yukhin [Mon, 10 Feb 2014 10:36:59 +0000 (10:36 +0000)]
avx512fintrin.h (_mm512_storeu_epi64): Removed.

gcc/
* config/i386/avx512fintrin.h (_mm512_storeu_epi64): Removed.
(_mm512_loadu_epi32): Renamed into...
(_mm512_loadu_si512): This.
(_mm512_storeu_epi32): Renamed into...
(_mm512_storeu_si512): This.
(_mm512_maskz_ceil_ps): Removed.
(_mm512_maskz_ceil_pd): Ditto.
(_mm512_maskz_floor_ps): Ditto.
(_mm512_maskz_floor_pd): Ditto.
(_mm512_floor_round_ps): Ditto.
(_mm512_floor_round_pd): Ditto.
(_mm512_ceil_round_ps): Ditto.
(_mm512_ceil_round_pd): Ditto.
(_mm512_mask_floor_round_ps): Ditto.
(_mm512_mask_floor_round_pd): Ditto.
(_mm512_mask_ceil_round_ps): Ditto.
(_mm512_mask_ceil_round_pd): Ditto.
(_mm512_maskz_floor_round_ps): Ditto.
(_mm512_maskz_floor_round_pd): Ditto.
(_mm512_maskz_ceil_round_ps): Ditto.
(_mm512_maskz_ceil_round_pd): Ditto.
(_mm512_expand_pd): Ditto.
(_mm512_expand_ps): Ditto.
* config/i386/i386.c (ix86_builtins): Remove
IX86_BUILTIN_EXPANDPD512_NOMASK, IX86_BUILTIN_EXPANDPS512_NOMASK.
(bdesc_args): Ditto.
* config/i386/predicates.md (const1256_operand): New.
(const_1_to_2_operand): Ditto.
* config/i386/sse.md (avx512pf_gatherpf<mode>sf): Change hint value.
(*avx512pf_gatherpf<mode>sf_mask): Ditto.
(*avx512pf_gatherpf<mode>sf): Ditto.
(avx512pf_gatherpf<mode>df): Ditto.
(*avx512pf_gatherpf<mode>df_mask): Ditto.
(*avx512pf_gatherpf<mode>df): Ditto.
(avx512pf_scatterpf<mode>sf): Ditto.
(*avx512pf_scatterpf<mode>sf_mask): Ditto.
(*avx512pf_scatterpf<mode>sf): Ditto.
(avx512pf_scatterpf<mode>df): Ditto.
(*avx512pf_scatterpf<mode>df_mask): Ditto.
(*avx512pf_scatterpf<mode>df): Ditto.
(avx512f_expand<mode>): Removed.
(<shift_insn><mode>3<mask_name>): Change predicate type.

testsuite/gcc/
* gcc.target/i386/avx512f-vexpandpd-1.c: Update intrinsics.
* gcc.target/i386/avx512f-vexpandps-1.c: Ditto.
* gcc.target/i386/avx512f-vexpandpd-2.c: Ditto.
* gcc.target/i386/avx512f-vexpandps-2.c: Ditto.
* gcc.target/i386/avx512f-vmovdqu32-1: Ditto.
* gcc.target/i386/avx512f-vmovdqu32-2: Ditto.
* gcc.target/i386/avx512f-vmovdqu64-1: Ditto.
* gcc.target/i386/avx512f-vmovdqu64-2: Ditto.
* gcc.target/i386/avx512f-vpcmpd-2.c: Ditto.
* gcc.target/i386/avx512f-vpcmpq-2.c: Ditto.
* gcc.target/i386/avx512f-vpcmupd-2.c: Ditto.
* gcc.target/i386/avx512f-vpcmupq-2.c: Ditto.
* gcc.target/i386/avx512f-vrndscalepd-1.c: Ditto.
* gcc.target/i386/avx512f-vrndscaleps-1.c: Ditto.
* gcc.target/i386/avx512f-vrndscalepd-2.c: Ditto.
* gcc.target/i386/avx512f-vrndscaleps-2.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf0dpd-1.c: Update parameters.
* gcc.target/i386/avx512pf-vgatherpf0dps-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf0qpd-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf0qps-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1dpd-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1dps-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1qpd-1.c: Ditto.
* gcc.target/i386/avx512pf-vgatherpf1qps-1.c: Ditto.
* gcc.target/i386/avx512f-vpsrad-2.c: Initialize 64 bits.
* gcc.target/i386/avx512f-vpslld-2.c: Ditto.
* gcc.target/i386/avx512f-vpsrld-2.c: Ditto.

Co-Authored-By: Ilya Tocar <ilya.tocar@intel.com>
From-SVN: r207651

10 years agopr59984.c: Require effective target vect_simd_clones.
Jakub Jelinek [Mon, 10 Feb 2014 10:01:23 +0000 (11:01 +0100)]
pr59984.c: Require effective target vect_simd_clones.

* gcc.dg/vect/pr59984.c: Require effective target
vect_simd_clones.

From-SVN: r207650

10 years agoDaily bump.
GCC Administrator [Mon, 10 Feb 2014 00:16:44 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r207649

10 years agore PR fortran/57522 ([F03] ASSOCIATE construct creates array descriptor with incorrec...
Paul Thomas [Sun, 9 Feb 2014 20:50:21 +0000 (20:50 +0000)]
re PR fortran/57522 ([F03] ASSOCIATE construct creates array descriptor with incorrect stride for derived type array component)

2014-02-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/57522
* resolve.c (resolve_assoc_var): Set the subref_array_pointer
attribute for the 'associate-name' if necessary.
* trans-stmt.c (trans_associate_var): If the 'associate-name'
is a subref_array_pointer, assign the element size of the
associate variable to 'span'.

2014-02-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/57522
* gfortran.dg/associated_target_5.f03 : New test

From-SVN: r207646

10 years agore PR fortran/59026 (ELEMENTAL procedure with VALUE arguments emits wrong code)
Paul Thomas [Sun, 9 Feb 2014 19:45:06 +0000 (19:45 +0000)]
re PR fortran/59026 (ELEMENTAL procedure with VALUE arguments emits wrong code)

2014-02-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/59026
* trans-expr.c (gfc_conv_procedure_call): Pass the value of the
actual argument to a formal argument with the value attribute
in an elemental procedure.

2014-02-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/59026
* gfortran.dg/elemental_by_value_1.f90 : New test

From-SVN: r207645

10 years agobaseline_symbols.txt: New file.
Richard Sandiford [Sun, 9 Feb 2014 14:19:13 +0000 (14:19 +0000)]
baseline_symbols.txt: New file.

libstdc++-v3/
* config/abi/post/mips64-linux-gnu/32/baseline_symbols.txt: New file.
* config/abi/post/mips64-linux-gnu/baseline_symbols.txt: Update.
* config/abi/post/mips64-linux-gnu/64/baseline_symbols.txt: Likewise.

From-SVN: r207643

10 years agoDaily bump.
GCC Administrator [Sun, 9 Feb 2014 00:16:51 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r207641

10 years agore PR fortran/58470 ([OOP] ICE on invalid with FINAL procedure and type extension)
Janus Weil [Sat, 8 Feb 2014 21:32:25 +0000 (22:32 +0100)]
re PR fortran/58470 ([OOP] ICE on invalid with FINAL procedure and type extension)

2014-02-08  Janus Weil  <janus@gcc.gnu.org>
    Mikael Morin <mikael.morin@gcc.gnu.org>

PR fortran/58470
* class.c (generate_finalization_wrapper): Assert that proc_tree has
been set in gfc_resolve_finalizers.
* resolve.c (resolve_fl_derived0): Remove unnecessary call to
gfc_is_finalizable.

2014-02-08  Janus Weil  <janus@gcc.gnu.org>

PR fortran/58470
* gfortran.dg/finalize_22.f90: New.

Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org>
From-SVN: r207636

10 years agore PR fortran/60066 (Bad elemental invocation of non-scalar base object)
Paul Thomas [Sat, 8 Feb 2014 16:22:46 +0000 (16:22 +0000)]
re PR fortran/60066 (Bad elemental invocation of non-scalar base object)

2014-02-08  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/60066
* gfortran.dg/elemental_subroutine_10.f90 : New test. This PR
was fixed by the patch for PR59906.

From-SVN: r207633

10 years agotree-vect-data-refs.c (vect_analyze_data_refs): For clobbers not at the end of datare...
Jakub Jelinek [Sat, 8 Feb 2014 14:52:39 +0000 (15:52 +0100)]
tree-vect-data-refs.c (vect_analyze_data_refs): For clobbers not at the end of datarefs vector use ordered_remove to avoid...

* tree-vect-data-refs.c (vect_analyze_data_refs): For clobbers
not at the end of datarefs vector use ordered_remove to avoid
reordering datarefs vector.

From-SVN: r207632

10 years agore PR translation/52289 (translatable string typo: "must not be have")
Andreas Schwab [Sat, 8 Feb 2014 09:33:24 +0000 (09:33 +0000)]
re PR translation/52289 (translatable string typo: "must not be have")

PR translation/52289
* gfortran.dg/coarray_8.f90: Update dg-error match.

From-SVN: r207630

10 years agore PR c/59984 (OpenMP pragma makes loop incorrect)
Jakub Jelinek [Sat, 8 Feb 2014 09:10:14 +0000 (10:10 +0100)]
re PR c/59984 (OpenMP pragma makes loop incorrect)

PR c/59984
* gimplify.c (gimplify_bind_expr): In ORT_SIMD region
mark local addressable non-static vars as GOVD_PRIVATE
instead of GOVD_LOCAL.
* omp-low.c (lower_omp_for): Move gimple_bind_vars
and BLOCK_VARS of gimple_bind_block to new_stmt rather
than copying them.

* gcc.dg/vect/pr59984.c: New test.

From-SVN: r207629

10 years agore PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment...
Jakub Jelinek [Sat, 8 Feb 2014 09:09:01 +0000 (10:09 +0100)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)

PR middle-end/60092
* tree-ssa-ccp.c (surely_varying_stmt_p): Don't return true
if TYPE_ATTRIBUTES (gimple_call_fntype ()) contain
assume_aligned or alloc_align attributes.
(bit_value_assume_aligned): Add ATTR, PTRVAL and ALLOC_ALIGN
arguments.  Handle also assume_aligned and alloc_align attributes.
(evaluate_stmt): Adjust bit_value_assume_aligned caller.
Handle calls to functions with assume_aligned or alloc_align
attributes.
* doc/extend.texi: Document assume_aligned and alloc_align
attributes.
c-family/
* c-common.c (handle_alloc_size_attribute): Use tree_fits_uhwi_p
and tree_to_uhwi.
(handle_alloc_align_attribute, handle_assume_aligned_attribute): New
functions.
(c_common_attribute_table): Add alloc_align and assume_aligned
attributes.
testsuite/
* gcc.dg/attr-alloc_align-1.c: New test.
* gcc.dg/attr-alloc_align-2.c: New test.
* gcc.dg/attr-alloc_align-3.c: New test.
* gcc.dg/attr-assume_aligned-1.c: New test.
* gcc.dg/attr-assume_aligned-2.c: New test.
* gcc.dg/attr-assume_aligned-3.c: New test.

From-SVN: r207628

10 years agoinvoke.texi: Document ARM -march=armv7e-m.
Terry Guo [Sat, 8 Feb 2014 01:33:54 +0000 (01:33 +0000)]
invoke.texi: Document ARM -march=armv7e-m.

2014-02-08  Terry Guo  <terry.guo@arm.com>

* doc/invoke.texi: Document ARM -march=armv7e-m.

From-SVN: r207627

10 years agoDaily bump.
GCC Administrator [Sat, 8 Feb 2014 00:16:41 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r207626

10 years agocilk-common.c (cilk_init_builtins): Clear TREE_NOTHROW flag on __cilkrts_rethrow...
Jakub Jelinek [Fri, 7 Feb 2014 23:58:29 +0000 (00:58 +0100)]
cilk-common.c (cilk_init_builtins): Clear TREE_NOTHROW flag on __cilkrts_rethrow builtin.

* cilk-common.c (cilk_init_builtins): Clear TREE_NOTHROW
flag on __cilkrts_rethrow builtin.

From-SVN: r207623

10 years agore PR target/60077 (gcc.target/i386/pr35767-5.c FAILs)
Jakub Jelinek [Fri, 7 Feb 2014 23:55:24 +0000 (00:55 +0100)]
re PR target/60077 (gcc.target/i386/pr35767-5.c FAILs)

PR target/60077
* gcc.target/i386/pr60077-1.c: New test.
* gcc.target/i386/pr60077-2.c: New test.

From-SVN: r207622

10 years agore PR ipa/60026 (ICE at -O3 on valid code (with the optimize pragma) on x86_64-linux...
Jakub Jelinek [Fri, 7 Feb 2014 23:54:17 +0000 (00:54 +0100)]
re PR ipa/60026 (ICE at -O3 on valid code (with the optimize pragma) on x86_64-linux-gnu)

PR ipa/60026
* ipa-cp.c (determine_versionability): Fail at -O0
or __attribute__((optimize (0))) or -fno-ipa-cp functions.
* tree-sra.c (ipa_sra_preliminary_function_checks): Similarly.

Revert:
2014-02-04  Jakub Jelinek  <jakub@redhat.com>

PR ipa/60026
* tree-inline.c (copy_forbidden): Fail for
__attribute__((optimize (0))) functions.

From-SVN: r207621

10 years agovarpool.c: Include pointer-set.h.
Jan Hubicka [Fri, 7 Feb 2014 23:49:18 +0000 (00:49 +0100)]
varpool.c: Include pointer-set.h.

* varpool.c: Include pointer-set.h.
(varpool_remove_unreferenced_decls): Variables in other partitions
will not be output; be however careful to not lose information
about partitioning.

From-SVN: r207620

10 years ago* lto.c (unify_scc): Free CONSTRUCTOR_ELTS.
Jan Hubicka [Fri, 7 Feb 2014 23:47:17 +0000 (00:47 +0100)]
* lto.c (unify_scc): Free CONSTRUCTOR_ELTS.

From-SVN: r207619

10 years agogimple-fold.c (gimple_get_virt_method_for_vtable): Do O(1) lookup in the vtable const...
Jan Hubicka [Fri, 7 Feb 2014 23:26:39 +0000 (00:26 +0100)]
gimple-fold.c (gimple_get_virt_method_for_vtable): Do O(1) lookup in the vtable constructor.

* gimple-fold.c (gimple_get_virt_method_for_vtable): Do O(1)
lookup in the vtable constructor.

From-SVN: r207616

10 years agore PR target/40977 (problem with code like this: res = ((uint64_t)resh << 32) | resl;)
Jeff Law [Fri, 7 Feb 2014 22:35:49 +0000 (15:35 -0700)]
re PR target/40977 (problem with code like this: res = ((uint64_t)resh << 32) | resl;)

PR target/40977
* config/m68k/m68k.md (ashldi_extsi): Turn into a
define_insn_and_split.

From-SVN: r207615

10 years agoc-parser.c (c_parser_get_builtin_args): Replace calls to C_EXPR_APPEND by vec_safe_push.
Prathamesh Kulkarni [Fri, 7 Feb 2014 22:09:01 +0000 (22:09 +0000)]
c-parser.c (c_parser_get_builtin_args): Replace calls to C_EXPR_APPEND by vec_safe_push.

* c-parser.c (c_parser_get_builtin_args): Replace calls to
C_EXPR_APPEND by vec_safe_push.
* c-tree.h (C_EXPR_APPEND): Remove.

From-SVN: r207614

10 years agore PR libgcc/58710 (HAVE_GETIPINFO is incorrectly set on Mac OS X 10.4)
Misty De Meo [Fri, 7 Feb 2014 21:10:55 +0000 (21:10 +0000)]
re PR libgcc/58710 (HAVE_GETIPINFO is incorrectly set on Mac OS X 10.4)

PR target/58710
* configure.ac: Use AC_LINK_IFELSE in check for
_Unwind_GetIPInfo.
* configure: Regenerate.

From-SVN: r207612

10 years agore PR translation/52289 (translatable string typo: "must not be have")
Benno Schulenberg [Fri, 7 Feb 2014 17:52:59 +0000 (17:52 +0000)]
re PR translation/52289 (translatable string typo: "must not be have")

        PR translation/52289
        * fortran/resolve.c (resolve_ordinary_assign): Fix typoed word
        in an error message.

From-SVN: r207609

10 years ago* ipa-inline.c (inline_small_functions): Fix typos.
Jeff Law [Fri, 7 Feb 2014 17:29:26 +0000 (10:29 -0700)]
* ipa-inline.c (inline_small_functions): Fix typos.

From-SVN: r207608

10 years agore PR preprocessor/56824 (pragma GCC diagnostic push/pop fail with GCC diagnostic...
Jakub Jelinek [Fri, 7 Feb 2014 16:42:24 +0000 (17:42 +0100)]
re PR preprocessor/56824 (pragma GCC diagnostic push/pop fail with GCC diagnostic ignored "-Waggregate-return")

PR preprocessor/56824
* line-map.c (get_combined_adhoc_loc, linemap_get_expansion_line,
linemap_get_expansion_filename, linemap_location_in_system_header_p,
linemap_location_from_macro_expansion_p,
linemap_macro_loc_to_spelling_point, linemap_macro_loc_to_def_point,
linemap_macro_loc_to_exp_point, linemap_expand_location): Fix
formatting.
(linemap_compare_locations): Look through adhoc locations for both
l0 and l1.

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

From-SVN: r207606

10 years agogcc/
Richard Sandiford [Fri, 7 Feb 2014 14:52:26 +0000 (14:52 +0000)]
gcc/
* config/s390/s390-protos.h (s390_can_use_simple_return_insn)
(s390_can_use_return_insn): Declare.
* config/s390/s390.h (EPILOGUE_USES): Define.
* config/s390/s390.c (s390_mainpool_start): Allow two main_pool
instructions.
(s390_chunkify_start): Handle return JUMP_LABELs.
(s390_early_mach): Emit a main_pool instruction on the entry edge.
(s300_set_up_by_prologue, s390_can_use_simple_return_insn)
(s390_can_use_return_insn): New functions.
(s390_fix_long_loop_prediction): Handle conditional returns.
(TARGET_SET_UP_BY_PROLOGUE): Define.
* config/s390/s390.md (ANY_RETURN): New code iterator.
(*creturn, *csimple_return, return, simple_return): New patterns.

From-SVN: r207605

10 years agos390.c (s390_restore_gprs_from_fprs): Add REG_CFA_RESTORE notes to each restore.
Richard Sandiford [Fri, 7 Feb 2014 14:52:13 +0000 (14:52 +0000)]
s390.c (s390_restore_gprs_from_fprs): Add REG_CFA_RESTORE notes to each restore.

gcc/
* config/s390/s390.c (s390_restore_gprs_from_fprs): Add REG_CFA_RESTORE
notes to each restore.  Also add REG_CFA_DEF_CFA when restoring %r15.
(s390_optimize_prologue): Don't clear RTX_FRAME_RELATED_P.  Update the
REG_CFA_RESTORE list when deciding not to restore a register.

From-SVN: r207604

10 years agos390.c: Include tree-pass.h and context.h.
Richard Sandiford [Fri, 7 Feb 2014 14:50:19 +0000 (14:50 +0000)]
s390.c: Include tree-pass.h and context.h.

gcc/
* config/s390/s390.c: Include tree-pass.h and context.h.
(s390_early_mach): New function, split out from...
(s390_emit_prologue): ...here.
(pass_data_s390_early_mach): New pass structure.
(pass_s390_early_mach): New class.
(s390_option_override): Create and register early_mach pass.
Move to end of file.

From-SVN: r207603

10 years agovar-tracking.c (vt_stack_adjustments): Don't require stack_adjusts to match for the...
Richard Sandiford [Fri, 7 Feb 2014 14:49:12 +0000 (14:49 +0000)]
var-tracking.c (vt_stack_adjustments): Don't require stack_adjusts to match for the exit block.

gcc/
* var-tracking.c (vt_stack_adjustments): Don't require stack_adjusts
to match for the exit block.

From-SVN: r207602

10 years ago2014-02-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
Andreas Krebbel [Fri, 7 Feb 2014 14:22:41 +0000 (14:22 +0000)]
2014-02-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/s390.md ("atomic_load<mode>", "atomic_store<mode>")
("atomic_compare_and_swap<mode>", "atomic_fetch_<atomic><mode>"):
Reject misaligned operands.

From-SVN: r207601

10 years agogcc-have-sync-compare-and-swap.c: Align the 16 byte variable used for atomic operations.
Andreas Krebbel [Fri, 7 Feb 2014 14:21:29 +0000 (14:21 +0000)]
gcc-have-sync-compare-and-swap.c: Align the 16 byte variable used for atomic operations.

2014-02-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* gcc.dg/gcc-have-sync-compare-and-swap.c: Align the 16 byte
variable used for atomic operations.

From-SVN: r207600

10 years agooptabs.c (expand_atomic_compare_and_swap): Allow expander to fail.
Andreas Krebbel [Fri, 7 Feb 2014 14:20:17 +0000 (14:20 +0000)]
optabs.c (expand_atomic_compare_and_swap): Allow expander to fail.

2014-02-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* optabs.c (expand_atomic_compare_and_swap): Allow expander to
fail.

From-SVN: r207599

10 years agore PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment...
Richard Biener [Fri, 7 Feb 2014 13:41:10 +0000 (13:41 +0000)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)

2014-02-07  Richard Biener  <rguenther@suse.de>

PR middle-end/60092
* gimple-low.c (lower_builtin_posix_memalign): New function.
(lower_stmt): Call it to lower posix_memalign in a way
to make alignment info accessible.

* gcc.dg/vect/pr60092-2.c: New testcase.

From-SVN: r207598

10 years agore PR c++/60082 (Certain Cilk keywords executable Hanging for -O1)
Jakub Jelinek [Fri, 7 Feb 2014 10:49:08 +0000 (11:49 +0100)]
re PR c++/60082 (Certain Cilk keywords executable Hanging for -O1)

PR c++/60082
* tree.c (build_common_builtin_nodes): Set ECF_LEAF for
__builtin_setjmp_receiver.

Revert
2014-02-05  Balaji V. Iyer  <balaji.v.iyer@intel.com>

* g++.dg/cilk-plus/CK/catch_exc.cc: Disable test for -O1.
* c-c++-common/cilk-plus/CK/spawner_inline.c: Likewise.

From-SVN: r207597

10 years ago_fixdfdi.c: Throw invalid exception if number cannot be represented.
Andreas Krebbel [Fri, 7 Feb 2014 10:14:24 +0000 (10:14 +0000)]
_fixdfdi.c: Throw invalid exception if number cannot be represented.

2014-02-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/32/_fixdfdi.c: Throw invalid exception if number
cannot be represented.
* config/s390/32/_fixsfdi.c: Likewise.
* config/s390/32/_fixtfdi.c: Likewise.
* config/s390/32/_fixunsdfdi.c: Likewise.
* config/s390/32/_fixunssfdi.c: Likewise.
* config/s390/32/_fixunstfdi.c: Likewise.

2014-02-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* gcc.target/s390/fp2int1.c: New testcase.

From-SVN: r207596

10 years agore PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment...
Richard Biener [Fri, 7 Feb 2014 09:33:23 +0000 (09:33 +0000)]
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)

2014-02-07  Richard Biener  <rguenther@suse.de>

PR middle-end/60092
* builtin-types.def (BT_FN_INT_PTRPTR_SIZE_SIZE): Add.
* builtins.def (BUILT_IN_POSIX_MEMALIGN): Likewise.
* tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
Handle BUILT_IN_POSIX_MEMALIGN.
(find_func_clobbers): Likewise.
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Likewise.
(call_may_clobber_ref_p_1): Likewise.

* gcc.dg/tree-ssa/alias-30.c: New testcase.
* gcc.dg/tree-ssa/alias-31.c: Likewise.

From-SVN: r207595

10 years agoconfigure.ac (libgcc_cv_mips_hard_float): New.
Richard Sandiford [Fri, 7 Feb 2014 07:46:34 +0000 (07:46 +0000)]
configure.ac (libgcc_cv_mips_hard_float): New.

libgcc/
* configure.ac (libgcc_cv_mips_hard_float): New.
* configure: Regenerate.
* config.host (mips*-*-*): Use t-hardfp-sfdf rather than
t-softfp-sfdf for hard-float targets.
* config/mips/t-mips (LIB2_SIDITI_CONV_FUNCS): Reinstate.
(softfp_float_modes, softfp_int_modes, softfp_extensions)
(softfp_truncations, softfp_exclude_libgcc2): New.
* config/t-hardfp: New file.
* config/t-hardfp-sfdf: Likewise.
* config/hardfp.c: Likewise.

From-SVN: r207593

10 years agore PR ipa/59918 (ICE in record_target_from_binfo, at ipa-devirt.c:693)
Jan Hubicka [Fri, 7 Feb 2014 06:01:36 +0000 (07:01 +0100)]
re PR ipa/59918 (ICE in record_target_from_binfo, at ipa-devirt.c:693)

PR ipa/59918
* ipa-devirt.c (record_target_from_binfo): Remove overactive sanity check.
* g++.dg/torture/pr59918.C: New testcase.

From-SVN: r207592

10 years agore PR ipa/59469 (LLVM build failure with gcc LTO)
Jan Hubicka [Fri, 7 Feb 2014 02:28:33 +0000 (02:28 +0000)]
re PR ipa/59469 (LLVM build failure with gcc LTO)

PR ipa/59469
* lto-cgraph.c (lto_output_node): Use
symtab_get_symbol_partitioning_class.
(lto_output_varpool_node): likewise.
(symtab_get_symbol_partitioning_class): Move here from
lto/lto-partition.c
* cgraph.h (symbol_partitioning_class): Likewise.
(symtab_get_symbol_partitioning_class): Declare.

From-SVN: r207591

10 years agore PR ipa/59469 (LLVM build failure with gcc LTO)
Jan Hubicka [Fri, 7 Feb 2014 02:27:37 +0000 (02:27 +0000)]
re PR ipa/59469 (LLVM build failure with gcc LTO)

PR ipa/59469
* lto-cgraph.c (lto_output_node): Use
symtab_get_symbol_partitioning_class.
(lto_output_varpool_node): likewise.
(symtab_get_symbol_partitioning_class): Move here from
lto/lto-partition.c
* cgraph.h (symbol_partitioning_class): Likewise.
(symtab_get_symbol_partitioning_class): Declare.

From-SVN: r207590

10 years agore PR ipa/59469 (LLVM build failure with gcc LTO)
Jan Hubicka [Fri, 7 Feb 2014 02:27:05 +0000 (03:27 +0100)]
re PR ipa/59469 (LLVM build failure with gcc LTO)

PR ipa/59469
* lto-cgraph.c (lto_output_node): Use
symtab_get_symbol_partitioning_class.
(lto_output_varpool_node): likewise.
(symtab_get_symbol_partitioning_class): Move here from
lto/lto-partition.c
* cgraph.h (symbol_partitioning_class): Likewise.
(symtab_get_symbol_partitioning_class): Declare.

* lto-partition.c (symbol_class): Move to cgraph.h
(get_symbol_class): Move to symtab.c
(add_references_to_partition, add_symbol_to_partition_1,
lto_max_map, lto_1_to_1_map, lto_balanced_map,
lto_promote_cross_file_statics): Update.

From-SVN: r207589

10 years agoparser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
Jan Hubicka [Fri, 7 Feb 2014 02:14:58 +0000 (03:14 +0100)]
parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.

* parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
* ggc.h (ggc_internal_cleared_alloc): New macro.
* vec.h (vec_safe_copy): Handle memory stats.
* omp-low.c (simd_clone_struct_alloc): Use ggc_internal_cleared_alloc.
* target-globals.c (save_target_globals): Likewise.

From-SVN: r207588

10 years agore PR target/60077 (gcc.target/i386/pr35767-5.c FAILs)
Jakub Jelinek [Fri, 7 Feb 2014 02:11:27 +0000 (03:11 +0100)]
re PR target/60077 (gcc.target/i386/pr35767-5.c FAILs)

PR target/60077
* expr.c (emit_move_resolve_push): Export; be bit more selective
on when to clear alias set.
* expr.h (emit_move_resolve_push): Declare.
* function.h (struct function): Add tail_call_marked.
* tree-tailcall.c (optimize_tail_call): Set tail_call_marked.
* config/i386/i386-protos.h (ix86_expand_push): Remove.
* config/i386/i386.md (TImode move expander): De not call
ix86_expand_push.
(FP push expanders): Preserve memory attributes.
* config/i386/sse.md (push<mode>1): Remove.
* config/i386/i386.c (ix86_expand_vector_move): Handle push
operation.
(ix86_expand_push): Remove.
* config/i386/mmx.md (push<mode>1): Remove.

From-SVN: r207587

10 years agoDaily bump.
GCC Administrator [Fri, 7 Feb 2014 00:16:57 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r207586

10 years agore PR rtl-optimization/60030 (ICE in simplify_subreg, at simplify-rtx.c:5903)
Jakub Jelinek [Thu, 6 Feb 2014 21:54:21 +0000 (22:54 +0100)]
re PR rtl-optimization/60030 (ICE in simplify_subreg, at simplify-rtx.c:5903)

PR rtl-optimization/60030
* internal-fn.c (ubsan_expand_si_overflow_mul_check): Surround
lopart with paradoxical subreg before shifting it up by hprec.

From-SVN: r207582

10 years ago[ARM] Cortex-A57 rtx costs
Kyrylo Tkachov [Thu, 6 Feb 2014 16:51:03 +0000 (16:51 +0000)]
[ARM] Cortex-A57 rtx costs

* config/arm/aarch-cost-tables.h (cortexa57_extra_costs): New table.
Remove extra newline at end of file.
* config/arm/arm.c (arm_cortex_a57_tune): New tuning struct.
(arm_issue_rate): Handle cortexa57.
* config/arm/arm-cores.def (cortex-a57): Use cortex_a57 tuning.
(cortex-a57.cortex-a53): Likewise.

From-SVN: r207565

10 years agore PR debug/59575 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2239)
Jakub Jelinek [Thu, 6 Feb 2014 15:52:36 +0000 (16:52 +0100)]
re PR debug/59575 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2239)

PR target/59575
* config/arm/arm.c (emit_multi_reg_push): Add dwarf_regs_mask argument,
don't record in REG_FRAME_RELATED_EXPR registers not set in that
bitmask.
(arm_expand_prologue): Adjust all callers.
(arm_unwind_emit_sequence): Allow saved, but not important for unwind
info, registers also at the lowest numbered registers side.  Use
gcc_assert instead of abort, and SET_SRC/SET_DEST macros instead of
XEXP.

* gcc.target/arm/pr59575.c: New test.

From-SVN: r207564

10 years agore PR debug/59575 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2239)
Jakub Jelinek [Thu, 6 Feb 2014 15:52:17 +0000 (16:52 +0100)]
re PR debug/59575 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2239)

PR target/59575
* config/arm/arm.c (emit_multi_reg_push): Add dwarf_regs_mask argument,
don't record in REG_FRAME_RELATED_EXPR registers not set in that
bitmask.
(arm_expand_prologue): Adjust all callers.
(arm_unwind_emit_sequence): Allow saved, but not important for unwind
info, registers also at the lowest numbered registers side.  Use
gcc_assert instead of abort, and SET_SRC/SET_DEST macros instead of
XEXP.

* gcc.target/arm/pr59575.c: New test.

From-SVN: r207563

10 years agore PR debug/59992 (Compilation of insn-recog.c too slow due to var-tracking)
Jakub Jelinek [Thu, 6 Feb 2014 15:47:12 +0000 (16:47 +0100)]
re PR debug/59992 (Compilation of insn-recog.c too slow due to var-tracking)

PR debug/59992
* var-tracking.c (adjust_mems): Before adding a SET
to amd->side_effects, adjust it's SET_SRC using
simplify_replace_fn_rtx.

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

From-SVN: r207562

10 years agoconstexpr-attribute2.C: Restrict to target init_priority.
Marc Glisse [Thu, 6 Feb 2014 15:32:27 +0000 (16:32 +0100)]
constexpr-attribute2.C: Restrict to target init_priority.

2014-02-06  Marc Glisse  <marc.glisse@inria.fr>

* g++.dg/cpp0x/constexpr-attribute2.C: Restrict to target
init_priority. Test alignment of variable instead of function.

From-SVN: r207561

10 years agoCode clean ups.
Arnaud Charlet [Thu, 6 Feb 2014 14:16:52 +0000 (15:16 +0100)]
Code clean ups.

From-SVN: r207560

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 14:15:51 +0000 (15:15 +0100)]
[multiple changes]

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Refined_Pragma): Remove
local variable Pack_Spec. Refinement pragmas may now apply to
bodies of both visible and private subprograms.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb (Expand_Loop_Entry_Attribute):
Minor change (Attr => N) (Expand_Pred_Succ): New name
Expand_Pred_Succ_Attribute (Expand_N_Attribute_Reference, case
Max): Expand into if expression if Modify_Tree_For_C mode.
(Expand_N_Attribute_Reference, case Min): ditto
* sinfo.ads: Modify_Tree_For_C takes care of expanding Min and
Max attributes.

2014-02-06  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): Do not generate
predicate check if this is an internal declaration with
No_Initialization set, as for an expanded aggregate component.

2014-02-06  Doug Rupp  <rupp@adacore.com>

* init.c (__gnat_default_resignal_p) [VMS]: Test for and resignal
conditions with severity of "SUCCESS" or "INFORMATIONAL".

From-SVN: r207559

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 14:13:53 +0000 (15:13 +0100)]
[multiple changes]

2014-02-06  Yannick Moy  <moy@adacore.com>

* sem_prag.adb (Analyze_Pragma): Analyze pragma
Debug rewritten node before rewriting it as a null statement in
GNATprove mode.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb (Min_Max): New procedure.
(Max_Alignment_For_Allocation_Max_Size_In_Storage_Elements): New
procedure.

From-SVN: r207558

10 years ago2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
Arnaud Charlet [Thu, 6 Feb 2014 14:11:59 +0000 (15:11 +0100)]
2014-02-06  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi, vms_data.ads: Add documentation of '-t' option for
gnatmetric/gnatpp.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Abstract_State): Update
all calls to Create_Abstract_State to pass the proper state
"declaration".
(Create_Abstract_State): Add new formal parameter
State_Decl along with comment on usage. Establish a link between
the abstract state entity and the state declaration.

From-SVN: r207557

10 years agosem_attr.adb (Analyze_Attribute, case Max): Check for improper comparison of unordere...
Robert Dewar [Thu, 6 Feb 2014 14:09:36 +0000 (14:09 +0000)]
sem_attr.adb (Analyze_Attribute, case Max): Check for improper comparison of unordered enumeration type.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb (Analyze_Attribute, case Max): Check for improper
comparison of unordered enumeration type.
(Analyze_Attribute, case Max): Check for improper comparison of
unordered enumeration type.
* sem_res.adb (Bad_Unordered_Enumeration_Reference): Moved to
sem_util.adb.
* sem_util.ads, sem_util.adb (Bad_Unordered_Enumeration_Reference):
Moved here from Sem_Res.

From-SVN: r207556

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 14:04:00 +0000 (15:04 +0100)]
[multiple changes]

2014-02-06  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_prag.adb, sem_res.adb, lib-xref.adb: Minor
reformatting.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch6.adb (Process_Formals): Error message reformatting.

From-SVN: r207555

10 years agore PR c/60087 (Incorrect column number for -Wsign-compare)
Marek Polacek [Thu, 6 Feb 2014 13:57:37 +0000 (13:57 +0000)]
re PR c/60087 (Incorrect column number for -Wsign-compare)

PR c/60087
c-family/
* c-common.c (warn_for_sign_compare): Call warning_at with location
instead of warning.
testsuite/
* gcc.dg/pr60087.c: New test.

From-SVN: r207554

10 years agore PR target/60032 (ICE in reload_cse_simplify_operands, at postreload.c:411)
Alan Modra [Thu, 6 Feb 2014 13:25:38 +0000 (23:55 +1030)]
re PR target/60032 (ICE in reload_cse_simplify_operands, at postreload.c:411)

PR target/60032
gcc/
* config/rs6000/rs6000.c (rs6000_secondary_memory_needed_mode): Only
change SDmode to DDmode when lra_in_progress.
gcc/testsuite/
* gcc.target/powerpc/pr60032.c: New.

From-SVN: r207553

10 years agore PR middle-end/59150 (ICE: in expand_one_var, at cfgexpand.c:1242 with -fopenmp)
Jakub Jelinek [Thu, 6 Feb 2014 10:59:30 +0000 (11:59 +0100)]
re PR middle-end/59150 (ICE: in expand_one_var, at cfgexpand.c:1242 with -fopenmp)

PR middle-end/59150
* tree-vect-data-refs.c (vect_analyze_data_refs): For clobbers, call
free_data_ref on the dr first, and before goto again also set dr
to the next dr.  For simd_lane_access, free old datarefs[i] before
overwriting it.  For get_vectype_for_scalar_type failure, don't
free_data_ref if simd_lane_access.

From-SVN: r207551

10 years ago* Makefile.in (prefix.o, cppbuiltin.o): Depend on $(BASEVER).
Jakub Jelinek [Thu, 6 Feb 2014 10:58:16 +0000 (11:58 +0100)]
* Makefile.in (prefix.o, cppbuiltin.o): Depend on $(BASEVER).

From-SVN: r207550

10 years agore PR target/60062 (wrong code (for code with the optimize attribute) at -O1 and...
Jakub Jelinek [Thu, 6 Feb 2014 10:54:20 +0000 (11:54 +0100)]
re PR target/60062 (wrong code (for code with the optimize attribute) at -O1 and above on x86_64-linux-gnu in 32-bit mode)

PR target/60062
* tree.h (opts_for_fn): New inline function.
(opt_for_fn): Define.
* config/i386/i386.c (ix86_function_regparm): Use
opt_for_fn (decl, optimize) instead of optimize.

* gcc.c-torture/execute/pr60062.c: New test.
* gcc.c-torture/execute/pr60072.c: New test.

From-SVN: r207549

10 years agosem_ch3.adb (Handle_Late_Controlled_Primitive): Add local variable Spec.
Hristian Kirtchev [Thu, 6 Feb 2014 10:26:32 +0000 (10:26 +0000)]
sem_ch3.adb (Handle_Late_Controlled_Primitive): Add local variable Spec.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb (Handle_Late_Controlled_Primitive): Add local
variable Spec. Do not inherit the null indicator from the
subprogram body when generating the spec.

From-SVN: r207548

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 10:23:17 +0000 (11:23 +0100)]
[multiple changes]

2014-02-06  Robert Dewar  <dewar@adacore.com>

* casing.adb (Determine_Casing): Consider SPARK_Mode to be
mixed case.

2014-02-06  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false
when the function has a foreign convention, but not if only the
limited return type has such a convention.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb (Handle_Late_Controlled_Primitive): Remove local
variable Spec. Comment reformatting. Use Copy_Separate_Tree
rather than New_Copy_Tree when building the corresponding
subprogram declaration.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Global_Item): Remove
the mode-related checks on abstract states with enabled external
properties.
(Property_Error): Removed.

2014-02-06  Javier Miranda  <miranda@adacore.com>

* lib-xref.adb (Generate_Reference): When
generating the reference to the first private entity take care
of handling swapped entities.

From-SVN: r207547

10 years ago2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
Arnaud Charlet [Thu, 6 Feb 2014 10:21:40 +0000 (11:21 +0100)]
2014-02-06  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi, vms_data.ads: Add documentation of -j option for
gnatmetric.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Shift_Left): Handle shift counts greater
than the word size when operating in Modify_Tree_For_C mode.
* sinfo.ads: Add documentation section on Modify_Tree_For_C mode.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* erroutc.adb (Warning_Specifically_Suppressed.Matches):
compare is case insensitive.
* gnat_rm.texi: Document that string compare for Warnings Off
is now case insensitive.

From-SVN: r207546

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 10:19:06 +0000 (11:19 +0100)]
[multiple changes]

2014-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_rm.texi: Small wording tweak.

2014-02-06  Pascal Obry  <obry@adacore.com>

* prj-attr.adb, projects.texi, snames.ads-tmpl: Add Included_Patterns
and Included_Artifact_Patterns attribute definitions.

2014-02-06  Yannick Moy  <moy@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set
SPARK_Mode pragma component for all subprograms, including stubs.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch10.adb (Analyze_Package_Body_Stub): Maintain
the configuration options of the enclosing context in a
stack-like fasion.
(Analyze_Subprogram_Body_Stub): Maintain the
configuration options of the enclosing context in a stack-like
fashion.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* debug.adb: -gnatd.u sets Modify_Tree_For C
* exp_ch4.adb (Expand_N_Op_Rotate_Left): Expand out
if Modify_Tree_For_C (Expand_N_Op_Rotate_Right): ditto.
(Expand_N_Op_Arithmetic_Right_Shift): ditto.
* exp_intr.adb (Expand_Shift): Call expander so we do
Modify_Tree_For_C expansions.
* gnat1drv.adb (Adjust_Global_Switches): Set Modify_Tree_For_C
if -gnatd.u set.

2014-02-06  Fedor Rybin  <frybin@adacore.com>

* prj-proc.ads (Tree_Loaded_Callback): new type Callback used
after the phase 1 of the processing of each aggregated project
to get access to project trees of aggregated projects.
(Process_Project_Tree_Phase_1): new parameter On_New_Tree_Loaded
If specified, On_New_Tree_Loaded is called after each aggregated
project has been processed succesfully.
(Process): new parameter On_New_Tree_Loaded.
* prj-proc.adb (Process_Aggregated_Projects): On_New_Tree_Loaded
callback added after processing of each aggregated project.
(Recursive_Process): new parameter On_New_Tree_Loaded.
(Process): new parameter On_New_Tree_Loaded.
(Process_Project_Tree_Phase_1): new parameter On_New_Tree_Loaded.
* prj-conf.ads (Parse_Project_And_Apply_Config): new parameter
On_New_Tree_Loaded.
* prj-conf.adb (Parse_Project_And_Apply_Config): new parameter
On_New_Tree_Loaded.

2014-02-06  Bob Duff  <duff@adacore.com>

* gnat_ugn.texi: Implement --insert-blank-lines and
--preserve-blank-lines switches.

From-SVN: r207545

10 years ago[AArch64] Fix SYMBOL_REF symbol classification.
Marcus Shawcroft [Thu, 6 Feb 2014 10:17:18 +0000 (10:17 +0000)]
[AArch64] Fix SYMBOL_REF symbol classification.

The symbol classification logic in correctly classifies all
SYMBOL_REF's as SYMBOL_FORCE_TO_MEM, the intention of the code is to
catch only the large memory model case.

From-SVN: r207544

10 years ago2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
Arnaud Charlet [Thu, 6 Feb 2014 10:13:42 +0000 (11:13 +0100)]
2014-02-06  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi, vms_data.ads: Add documentation of -j option for
gnatelim.

2014-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_rm.texi (Pragma Optimize_Alignment): Document the effect
of the pragma on individual objects.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* einfo.adb Node29 is now used as BIP_Initialization_Call.
(BIP_Initialization_Call): New routine.
(Set_BIP_Initialization_Call): New routine.
(Write_Field29_Name): Add an entry for constants and variables.
* einfo.ads Add new attribute BIP_Initialization_Call and update
its usage in nodes.
(BIP_Initialization_Call): New routine along with pragma Inline.
(Set_BIP_Initialization_Call): New routine along with pragma Inline.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Add local declaration Res_Decl. Capture the build-in-place
initialization call when the related object declaration has
created a transient block.
* exp_ch7.adb (Process_Transient_Objects): Add local variable
Fin_Insrt. Recognize a scenario where an object declaration acts
as a transient context and is initialized by a build-in-place
function call.

From-SVN: r207543

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 10:11:07 +0000 (11:11 +0100)]
[multiple changes]

2014-02-06  Pascal Obry  <obry@adacore.com>

* prj-util.adb (For_Interface_Sources): Fix handling of required
bodies for aggregate libs.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* nlists.ads: Minor comment clarifications.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set Modify_Tree_For_C
if gnatd.V set.
* opt.ads (Modify_Tree_For_C): New flag.
* output.ads, output.adb (Last_Char): New function.

2014-02-06  Pascal Obry  <obry@adacore.com>

* projects.texi, prj-env.adb (Initialize_Default_Project_Path): Add
share/gpr for cross-builds.

From-SVN: r207542

10 years agoFix pr59597.c test to work with PIC variants too
Ian Bolton [Thu, 6 Feb 2014 10:10:41 +0000 (10:10 +0000)]
Fix pr59597.c test to work with PIC variants too

From-SVN: r207541

10 years agoexp_util.ads, [...]: Minor reformatting and code clean ups.
Robert Dewar [Thu, 6 Feb 2014 10:08:16 +0000 (10:08 +0000)]
exp_util.ads, [...]: Minor reformatting and code clean ups.

2014-02-06  Robert Dewar  <dewar@adacore.com>

* exp_util.ads, checks.adb, sem_prag.adb, prj-util.adb, sem_ch13.adb:
Minor reformatting and code clean ups.

From-SVN: r207540

10 years agoaarch64-cores.def (cortex-a53): Specify CRC32 and crypto support.
Kyrylo Tkachov [Thu, 6 Feb 2014 10:08:12 +0000 (10:08 +0000)]
aarch64-cores.def (cortex-a53): Specify CRC32 and crypto support.

2014-02-06  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

* config/aarch64/aarch64-cores.def (cortex-a53): Specify CRC32
and crypto support.
(cortex-a57): Likewise.
(cortex-a57.cortex-a53): Likewise.

From-SVN: r207539

10 years agoprj-util.adb (For_Interface_Sources): Skip non compilable languages.
Pascal Obry [Thu, 6 Feb 2014 10:06:38 +0000 (10:06 +0000)]
prj-util.adb (For_Interface_Sources): Skip non compilable languages.

2014-02-06  Pascal Obry  <obry@adacore.com>

* prj-util.adb (For_Interface_Sources): Skip non compilable languages.
* prj.ads: Minor typo fix in comment.

From-SVN: r207538

10 years ago[multiple changes]
Arnaud Charlet [Thu, 6 Feb 2014 10:04:39 +0000 (11:04 +0100)]
[multiple changes]

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Depends_In_Decl_Part): Add
local variable Expr. Flag clauses with extra parenthesis as this
is not allowed by the syntax of the pragma. Code reformatting.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference): Alphabetize
variables. Rename variabme Tnn to Temp. Do not create a temporary
if assertions are disabled. Find enclosing routine _Postconditions
and insert the temporary that captures the value of the prefix
before the routine.
* exp_ch6.adb (Build_Postconditions_Procedure):
Insert the generated _Postconditions routine
before the first source declaration of the related
subprogram.
(Insert_After_Last_Declaration): Removed.
(Insert_Before_First_Source_Declaration): New routine.

2014-02-06  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb, exp_util.ads (Within_Internal_Subprogram):
Utility to determine whether current expansion is for the body
of a predefined primitive operation.
(Make_Predicate_Check): Use Within_Internal_Subpgram
* checks.adb (Apply_Predicate_Check): Use
Within_Internal_Subprogram
* sem_ch13.adb (Freeze_Entity_Checks): Ditto.

2014-02-06  Pascal Obry  <obry@adacore.com>

* prj.ads, prj-util.adb: Minor reformatting.

From-SVN: r207537