uros [Thu, 22 Oct 2015 21:37:06 +0000 (21:37 +0000)]
* gcc.target/i386/pr67985-3.c (dg-options): Add -mfpmath=sse.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229199
138bc75d-0d04-0410-961f-
82ee72b054a4
msebor [Thu, 22 Oct 2015 20:57:00 +0000 (20:57 +0000)]
Fix up ChangeLog for rev. 229155.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229195
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Thu, 22 Oct 2015 20:11:29 +0000 (20:11 +0000)]
Proposed doc update for Explicit Reg Vars 3/3
* doc/extend.exp (Global Register Variables): Rewrite.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229188
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Thu, 22 Oct 2015 19:21:39 +0000 (19:21 +0000)]
[PATCH 3/9] ENABLE_CHECKING refactoring: Java and Ada
gcc/java/ChangeLog:
2015-10-05 Mikhail Maltsev <maltsevm@gmail.com>
* decl.c (java_mark_decl_local): Use flag_checking instead of
ENABLE_CHECKING.
gcc/ada/ChangeLog:
2015-10-05 Mikhail Maltsev <maltsevm@gmail.com>
* gcc-interface/decl.c (gnat_to_gnu_entity): Use gcc_checking_assert.
* gcc-interface/trans.c (assoc_to_constructor): Use flag_checking.
* gcc-interface/utils.c (relate_alias_sets): Likewise.
* gcc-interface/utils2.c (build_binary_op, build_unary_op): Use
gcc_checking_assert
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229185
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Thu, 22 Oct 2015 19:18:05 +0000 (19:18 +0000)]
[PATCH] Fix abort in write_eligible_delay
* genattrtab.c (main): If we do not have any annul-true or annul-false
slots, then write out a dummy eligible_for_annul_true or
eligible_for_annul_false as needed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229184
138bc75d-0d04-0410-961f-
82ee72b054a4
nickc [Thu, 22 Oct 2015 16:00:38 +0000 (16:00 +0000)]
* config/msp430/msp430.opt: Add -msilicon-errata and
-msilicon-errata-warn.
* config/msp430/msp430.h (ASM_SPEC): Pass new options on to
assembler.
* doc/invoke.texi: Document new options.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229177
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Thu, 22 Oct 2015 14:55:14 +0000 (14:55 +0000)]
2015-10-22 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/67838
* g++.dg/cpp1y/var-templ46.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229175
138bc75d-0d04-0410-961f-
82ee72b054a4
nickc [Thu, 22 Oct 2015 14:45:44 +0000 (14:45 +0000)]
oops- omitted by accident from the previous delta.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229174
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Thu, 22 Oct 2015 13:36:46 +0000 (13:36 +0000)]
2015-10-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/58497
* tree-vect-generic.c (ssa_uniform_vector_p): New helper.
(expand_vector_operations_1): Use it. Lower operations on
all uniform vectors to scalar operations if the HW supports it.
* gcc.dg/tree-ssa/vector-5.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229173
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Thu, 22 Oct 2015 13:33:17 +0000 (13:33 +0000)]
2015-10-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/19049
PR tree-optimization/65962
* tree-vect-data-refs.c (vect_analyze_group_access_1): Fall back
to strided accesses if single-element interleaving doesn't work.
* gcc.dg/vect/vect-strided-store-pr65962.c: New testcase.
* gcc.dg/vect/vect-63.c: Adjust.
* gcc.dg/vect/vect-70.c: Likewise.
* gcc.dg/vect/vect-strided-u8-i2-gap.c: Likewise.
* gcc.dg/vect/vect-strided-a-u8-i2-gap.c: Likewise.
* gfortran.dg/vect/pr19049.f90: Likewise.
* gfortran.dg/vect/vect-8.f90: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229172
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Thu, 22 Oct 2015 11:44:11 +0000 (11:44 +0000)]
2015-10-22 Richard Biener <rguenther@suse.de>
PR middle-end/68046
PR middle-end/61893
* optabs.c (emit_libcall_block_1): Allow a NULL_RTX equiv.
(expand_binop): For -ftrapv optabs do not record an REG_EQUAL note.
(expand_unop): Likewise.
* gcc.dg/torture/ftrapv-2.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229170
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Thu, 22 Oct 2015 10:16:20 +0000 (10:16 +0000)]
ChangeLog: Fix whitespace.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229169
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Thu, 22 Oct 2015 09:47:17 +0000 (09:47 +0000)]
Fix bootstrap on x86_64-apple-darwin14 after r229119.
libsanitizer/
PR bootstrap/68041
* configure.ac (link_sanitizer_common): Link against librt only if it
contains shm_open, required by sanitizers.
(CXX_ABI_NEEDED): Remove variable.
* configure: Regenerate.
* ubsan/Makefile.am (libubsan_la_LIBADD): Do not add -lc++abi anymore.
* ubsan/Makefile.in: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229168
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Thu, 22 Oct 2015 08:38:15 +0000 (08:38 +0000)]
2015-10-22 Richard Biener <rguenther@suse.de>
* fold-const.c (fold_addr_of_array_ref_difference): Properly
convert operands before folding a MINUS_EXPR.
(fold_binary_loc): Move simplification of MINUS_EXPR on
converted POINTER_PLUS_EXPRs ...
* match.pd: ... here.
c/
* c-typeck.c (c_finish_omp_clauses): Properly convert operands
before folding a MINUS_EXPR.
cp/
* semantics.c (cp_finish_omp_clause_depend_sink): Properly convert
before folding a MINUS_EXPR.
(finish_omp_clauses): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229167
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Thu, 22 Oct 2015 08:32:01 +0000 (08:32 +0000)]
Move tan simplifications to match.pd
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
gcc/
* builtins.c (fold_builtin_tan): Delete.
(fold_builtin_1): Handle constant tan arguments here.
* match.pd: Simplify (tan (atan x)) to x.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229166
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Thu, 22 Oct 2015 08:27:04 +0000 (08:27 +0000)]
Move more cproj simplifications to match.pd
Also make build_complex_cproj available globally and use
it for the existing match.pd rules.
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
gcc/
* builtins.c (fold_builtin_cproj): Delete.
(fold_builtin_1): Handle constant arguments here.
(build_complex_cproj): Move and rename to...
* tree.c: (build_complex_inf): ...this.
* tree.h (build_complex_inf): Declare.
* match.pd: Fold cproj(x)->x if x has no infinity.
Use build_complex_inf for existing cproj rules.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229164
138bc75d-0d04-0410-961f-
82ee72b054a4
krebbel [Thu, 22 Oct 2015 08:24:01 +0000 (08:24 +0000)]
S/390: PR68015 Fix ICE in s390_emit_compare
gcc/ChangeLog:
2015-10-22 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
PR target/68015
* config/s390/s390.md (mov<mode>cc): Emit compare only if we don't
already have a comparison result.
gcc/testsuite/ChangeLog:
2015-10-22 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
PR target/68015
* gcc.target/s390/pr68015.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229163
138bc75d-0d04-0410-961f-
82ee72b054a4
ramana [Thu, 22 Oct 2015 05:12:32 +0000 (05:12 +0000)]
[PATCH][ARM] Fix for testcase after r228661
This patch addresses PR-67948 by changing the xor-and.c test,
initially written for a simplify-rtx pattern, to make it pass post
r228661 (see
https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00676.html). This test
no longer triggered the simplify-rtx pattern it was written for prior
to r228661, though other optimizations did lead to the same assembly
the test checked for. The optimization added with r228661 matches the
pattern used in the test and optimizes it to a better and still valid
sequence. Being unable to easily change the test to trigger the
original simplify-rtx pattern, I chose to change it to pass with the
new produced assembly sequence.
This is correct because the transformation is valid and it yields a
more efficient pattern. However, as I pointed out before this test
doesn't test the optimization it originally was intended for.
Tested by running regression tests for armv6.
Is this OK to commit?
Thanks, Andre
2015-10-22 Andre Vieira <andre.simoesdiasvieira@arm.com>
PR testsuite/67948
* gcc.target/arm/xor-and.c: Adjust test to check for eor
instead of orr.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229161
138bc75d-0d04-0410-961f-
82ee72b054a4
ramana [Thu, 22 Oct 2015 04:26:50 +0000 (04:26 +0000)]
[Patch AArch64 63304] Fix issue with global state.
Jiong pointed out privately that there was a thinko
in the way in which the global state was being
set and reset. I don't like adding such
global state but ....
2015-10-22 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
PR target/63304
* config/aarch64/aarch64.c (aarch64_nopcrelative_literal_loads): New.
(aarch64_expand_mov_immediate): Use aarch64_nopcrelative_literal_loads.
(aarch64_classify_address): Likewise.
(aarch64_secondary_reload): Likewise.
(aarch64_override_options_after_change_1): Adjust.
* config/aarch64/aarch64.md (aarch64_reload_movcp<GPF_TF:mode><P:mode>):
Use aarch64_nopcrelative_literal_loads.
(aarch64_reload_movcp<VALL:mode><P:mode>): Likewise.
* config/aarch64/aarch64-protos.h (aarch64_nopcrelative_literal_loads):
Declare
2015-10-22 Jiong Wang <jiong.wang@arm.com>
Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
PR target/63304
* gcc.target/aarch64/pr63304_1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229160
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Thu, 22 Oct 2015 00:16:11 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229159
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Wed, 21 Oct 2015 22:52:45 +0000 (22:52 +0000)]
/cp
2015-10-21 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/66781
* parser.c (cp_parser_enum_specifier): Upon error_at set
nested_name_specifier to error_mark_node; improve error message.
/testsuite
2015-10-21 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/66781
* g++.dg/parse/enum13.C: New.
/cp
2015-10-21 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/67847
* parser.c (cp_parser_enum_specifier): Reject a nested_name_specifier
which doesn't name a class or namespace.
/testsuite
2015-10-21 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/67847
* g++.dg/parse/enum12.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229156
138bc75d-0d04-0410-961f-
82ee72b054a4
msebor [Wed, 21 Oct 2015 22:24:41 +0000 (22:24 +0000)]
Improve --help output to generate references to option aliases.
gcc/
PR driver/68043
* opts.c (undocumented_msg, use_diagnosed_msg): New globals.
(print_filtered_help): Reference aliased option's name and encourage
readers to use it in preference to the alias if the former is not
documented. Mention when using an option is diagnosed.
* gcc.c (display_help): End each sentence with a period.
* ada/gcc-interface/lang.opt: End each sentence that describes
an option with a period.
* c-family/c.opt: Same.
* common.opt: Same.
* config/aarch64/aarch64.opt: Same.
* config/alpha/alpha.opt: Same.
* config/arc/arc.opt: Same.
* config/arm/arm.opt: Same.
* config/avr/avr.opt: Same.
* config/bfin/bfin.opt: Same.
* config/c6x/c6x.opt: Same.
* config/cr16/cr16.opt: Same.
* config/cris/cris.opt: Same.
* config/cris/linux.opt: Same.
* config/darwin.opt: Same.
* config/epiphany/epiphany.opt: Same.
* config/fr30/fr30.opt: Same.
* config/frv/frv.opt: Same.
* config/ft32/ft32.opt: Same.
* config/g.opt: Same.
* config/h8300/h8300.opt: Same.
* config/i386/cygming.opt: Same.
* config/i386/djgpp.opt: Same.
* config/i386/i386.opt: Same.
* config/i386/interix.opt: Same.
* config/i386/mingw-w64.opt: Same.
* config/i386/mingw.opt: Same.
* config/ia64/ia64.opt: Same.
* config/ia64/ilp32.opt: Same.
* config/iq2000/iq2000.opt: Same.
* config/linux.opt: Same.
* config/lm32/lm32.opt: Same.
* config/lynx.opt: Same.
* config/m32c/m32c.opt: Same.
* config/m32r/m32r.opt: Same.
* config/m68k/ieee.opt: Same.
* config/m68k/m68k.opt: Same.
* config/mcore/mcore.opt: Same.
* config/mep/mep.opt: Same.
* config/microblaze/microblaze.opt: Same.
* config/mips/mips.opt: Same.
* config/mmix/mmix.opt: Same.
* config/mn10300/mn10300.opt: Same.
* config/moxie/moxie.opt: Same.
* config/msp430/msp430.opt: Same.
* config/nios2/elf.opt: Same.
* config/nios2/nios2.opt: Same.
* config/nvptx/nvptx.opt: Same.
* config/pa/pa-hpux.opt: Same.
* config/pa/pa-hpux1010.opt: Same.
* config/pa/pa-hpux1111.opt: Same.
* config/pa/pa-hpux1131.opt: Same.
* config/pa/pa.opt: Same.
* config/pa/pa64-hpux.opt: Same.
* config/pdp11/pdp11.opt: Same.
* config/rl78/rl78.opt: Same.
* config/rs6000/476.opt: Same.
* config/rs6000/aix64.opt: Same.
* config/rs6000/darwin.opt: Same.
* config/rs6000/linux64.opt: Same.
* config/rs6000/rs6000.opt: Same.
* config/rs6000/sysv4.opt: Same.
* config/s390/s390.opt: Same.
* config/s390/tpf.opt: Same.
* config/sh/sh.opt: Same.
* config/sol2.opt: Same.
* config/sparc/long-double-switch.opt: Same.
* config/sparc/sparc.opt: Same.
* config/spu/spu.opt: Same.
* config/stormy16/stormy16.opt: Same.
* config/tilegx/tilegx.opt: Same.
* config/tilepro/tilepro.opt: Same.
* config/v850/v850.opt: Same.
* config/vax/vax.opt: Same.
* config/visium/visium.opt: Same.
* config/vms/vms.opt: Same.
* config/vxworks.opt: Same.
* config/xtensa/xtensa.opt: Same.
* fortran/lang.opt: Same.
testsuite/
PR driver/68043
* gcc.misc-tests/help.exp: Adjust.
* lib/options.exp (check_for_options): Add detail to output.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229155
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Wed, 21 Oct 2015 22:22:03 +0000 (22:22 +0000)]
[PATCH 2/9] ENABLE_CHECKING refactoring: libcpp
* include/line-map.h: Use CHECKING_P instead of ENABLE_CHECKING.
* init.c: Likewise.
* macro.c (struct macro_arg_token_iter, set_arg_token,
macro_arg_token_iter_init, macro_arg_token_iter_forward,
macro_arg_token_iter_get_token, macro_arg_token_iter_get_location,
alloc_expanded_arg_mem, _cpp_backup_tokens): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229154
138bc75d-0d04-0410-961f-
82ee72b054a4
kargl [Wed, 21 Oct 2015 21:40:05 +0000 (21:40 +0000)]
2015-10-21 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/67939
* data.c (create_character_initializer): Deal with zero length string.
2015-10-21 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/67939
* gfortran.dg/pr67939.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229153
138bc75d-0d04-0410-961f-
82ee72b054a4
redi [Wed, 21 Oct 2015 21:20:25 +0000 (21:20 +0000)]
* include/std/type_traits (__cpp_lib_bool_constant): Define.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229152
138bc75d-0d04-0410-961f-
82ee72b054a4
spop [Wed, 21 Oct 2015 21:18:27 +0000 (21:18 +0000)]
a scalar depending on vdefs in the current region is not invariant
When a scalar is defined in function of an array reference in the current scop,
it does variate. Graphite cannot represent the condition in scop-11.c, as a[*]
variates in the current region, and it is not an affine condition:
for (j = 0; j <= 20; j++)
a[j] = b + i;
if (a[12] == 23)
b = 3;
else
b = 1;
for (j = 0; j <= 20; j++)
a[j] = b + i;
* graphite-scop-detection.c (parameter_index_in_region): Update call to
invariant_in_sese_p_rec.
* graphite-sese-to-poly.c (extract_affine): Same.
* sese.c (invariant_in_sese_p_rec): Pass in an extra parameter has_vdefs.
(scalar_evolution_in_region): Return chrec_dont_know when the scalar variable
depends on virtual definitions in the current region.
* sese.h (invariant_in_sese_p_rec): Update declaration.
testsuite/
* gcc.dg/graphite/scop-11.c: Update pattern.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229151
138bc75d-0d04-0410-961f-
82ee72b054a4
spop [Wed, 21 Oct 2015 21:18:17 +0000 (21:18 +0000)]
add an upper limit on the number of array references
* graphite-scop-detection.c (build_scops): Do not handle scops with more
than PARAM_GRAPHITE_MAX_ARRAYS_PER_SCOP arrays.
* params.def (PARAM_GRAPHITE_MAX_ARRAYS_PER_SCOP): New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229150
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Wed, 21 Oct 2015 21:16:31 +0000 (21:16 +0000)]
[PATCH 1/9] ENABLE_CHECKING refactoring
gcc/
* config.in: Regenerate.
* configure: Regenerate.
* configure.ac (CHECKING_P): Define.
* system.h: Use CHECKING_P.
libcpp/
* config.in: Regenerate.
* configure: Regenerate.
* configure.ac (CHECKING_P): Define.
* system.h (fancy_abort): Declare.
(abort): Define.
(gcc_assert): Define. Use CHECKING_P.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229149
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Wed, 21 Oct 2015 21:14:06 +0000 (21:14 +0000)]
PR ipa/67056
* ipa-polymorphic-call.c (possible_placement_new): If cur_offset
is negative we don't know the type.
(check_stmt_for_type_change): Skip constructors of non-polymorphic
types as those won't help devirutalization.
* g++.dg/ipa/pr67056.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229148
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Wed, 21 Oct 2015 21:12:05 +0000 (21:12 +0000)]
* fold-const.c (operand_equal_p): Add code matching empty
constructors.
* gcc.dg/tree-ssa/operand-equal-1.c: Verify that empty constructors
are matched.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229147
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Wed, 21 Oct 2015 21:10:49 +0000 (21:10 +0000)]
* tree.def (CEIL_DIV_EXPR, FLOOR_DIV_EXPR, ROUND_DIV_EXPR): Tweak
comments.
(TRUNC_MOD_EXPR, CEIL_MOD_EXPR, FLOOR_MOD_EXPR, ROUND_MOD_EXPR):
Add comments on sign of the result.
* fold-const.c (tree_binary_nonnegative_warnv_p) <FLOOR_MOD_EXPR>:
Recurse on operand #1 instead of operand #0.
<CEIL_MOD_EXPR>: Do not recurse.
<ROUND_MOD_EXPR>: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229146
138bc75d-0d04-0410-961f-
82ee72b054a4
tbsaunde [Wed, 21 Oct 2015 21:05:02 +0000 (21:05 +0000)]
unconditionally compile most of the delay slot code
gcc/ChangeLog:
2015-10-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
* cfgrtl.c (pass_free_cfg::execute): Adjust.
* final.c (dbr_sequence_length): Always define.
(shorten_branches): Adjust.
* genattr-common.c (main): Always define DELAY_SLOTS.
* genattr.c (main): Unconditionally declare functions and define
macros related to delay slots.
* genattrtab.c (write_eligible_delay): Adjust.
(main): Always write out delay slot functions.
* opts.c (default_options_table): Adjust.
* reorg.c (redirect_with_delay_slots_safe_p): Likewise.
(redirect_with_delay_list_safe_p): Likewise.
(fill_simple_delay_slots): Likewise.
(fill_slots_from_thread): Likewise.
(make_return_insns): Likewise.
(dbr_schedule): Likewise.
(rest_of_handle_delay_slots): Likewise.
(pass_delay_slots::gate): Likewise.
* toplev.c (process_options): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229145
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Wed, 21 Oct 2015 20:48:46 +0000 (20:48 +0000)]
Update documentation for address space hooks
* target.def (addr_space.pointer_mode): Update documentation
of default behavior.
(addr_space.address_mode): Likewise.
* tm.texi: Update.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229144
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Wed, 21 Oct 2015 20:34:47 +0000 (20:34 +0000)]
Relax ADDR_SPACE_GENERIC_P checks for default address space hooks
If all address spaces use the same modes and forms, we would
be forced to replicate these hooks in the backend. Which would
then require the creation of a new hook to replace
target_default_pointer_address_modes_p.
* targhooks.c (default_addr_space_pointer_mode): Remove check
for generic address space.
(default_addr_space_address_mode): Likewise.
(default_addr_space_valid_pointer_mode): Likewise.
(default_addr_space_legitimate_address_p): Likewise.
(default_addr_space_legitimize_address): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229143
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Wed, 21 Oct 2015 20:31:26 +0000 (20:31 +0000)]
Change default of non-overlapping address space conversion
The current default of making all undefined coversions being
set to null is not useful. It has caused all users to lie
and say that spaces are subsets when they are not, just so
that they can override the conversion.
* expr.c (expand_expr_real_2): Use convert_modes on disjoint
address spaces.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229142
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Wed, 21 Oct 2015 20:19:25 +0000 (20:19 +0000)]
Move cabs simplifications to match.pd
The fold code also expanded cabs(x+yi) to fsqrt(x*x+y*y) when optimising
for speed. tree-ssa-math-opts.c has this transformation too, but unlike
the fold code, it first checks whether the target implements the sqrt
optab. The patch simply removes the fold code and keeps the
tree-ssa-math-opts.c logic the same.
gcc.dg/lto/
20110201-1_0.c was relying on us replacing cabs
with fsqrt even on targets where fsqrt is itself a library call.
The discussion leading up to that patch suggested that we only
want to test the fold on targets with a square root instruction,
so it would be OK to skip the test on other targets:
https://gcc.gnu.org/ml/gcc-patches/2011-07/msg01961.html
https://gcc.gnu.org/ml/gcc-patches/2011-07/msg02036.html
The patch does that using the sqrt_insn effective target.
It's possible that removing the tree folds renders the LTO trick
unnecessary, but since the test was originally for an ICE, it seems
better to leave it as-is.
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
20110201-1_0.c passes on all three.
gcc/
* builtins.c (fold_builtin_cabs): Delete.
(fold_builtin_1): Update accordingly. Handle constant arguments here.
* match.pd: Add rules previously handled by fold_builtin_cabs.
gcc/testsuite/
* gcc.dg/lto/
20110201-1_0.c: Restrict to sqrt_insn targets.
Add associated options for arm*-*-*.
(sqrt): Remove dummy definition.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229141
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Wed, 21 Oct 2015 20:16:36 +0000 (20:16 +0000)]
Remove fold_strip_sign_ops
This patch deletes fold_strip_sign_ops in favour of the
gimple-ssa-backprop.c pass.
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
gcc/
* fold-const.h (fold_strip_sign_ops): Delete.
* fold-const.c (fold_strip_sign_ops): Likewise.
(fold_unary_loc, fold_binary_loc): Remove calls to it.
* builtins.c (fold_builtin_cos, fold_builtin_cosh)
(fold_builtin_ccos): Delete.
(fold_builtin_pow): Don't call fold_strip_sign_ops.
(fold_builtin_hypot, fold_builtin_copysign): Likewise.
Remove fndecl argument.
(fold_builtin_1): Update calls accordingly. Handle constant
cos, cosh, ccos and ccosh here.
gcc/testsuite/
* gcc.dg/torture/builtin-symmetric-1.c: Don't run at -O0.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229140
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Wed, 21 Oct 2015 20:11:33 +0000 (20:11 +0000)]
Add a pass to back-propagate use information
This patch adds a pass that collects information that is common to
all uses of an SSA name X and back-propagates that information up
the statements that generate X. The general idea is to use the
information to simplify instructions (rather than a pure DCE) so
I've simply called it gimple-ssa-backprop.c, to go with
tree-ssa-forwprop.c.
At the moment the only use of the pass is to remove unnecessary
sign operations, so that it's effectively a global version of
fold_strip_sign_ops. I'm hoping it could be extended in future
to record which bits of an integer are significant. There are
probably other potential uses too.
A later patch gets rid of fold_strip_sign_ops.
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
gcc/
* doc/invoke.texi (-fdump-tree-backprop, -fssa-backprop): Document.
* Makefile.in (OBJS): Add gimple-ssa-backprop.o.
* common.opt (fssa-backprop): New option.
* fold-const.h (negate_mathfn_p): Declare.
* fold-const.c (negate_mathfn_p): Make public.
* timevar.def (TV_TREE_BACKPROP): New.
* tree-pass.h (make_pass_backprop): Declare.
* passes.def (pass_backprop): Add.
* gimple-ssa-backprop.c: New file.
gcc/testsuite/
* gcc.dg/tree-ssa/backprop-1.c, gcc.dg/tree-ssa/backprop-2.c,
gcc.dg/tree-ssa/backprop-3.c, gcc.dg/tree-ssa/backprop-4.c,
gcc.dg/tree-ssa/backprop-5.c, gcc.dg/tree-ssa/backprop-6.c: New tests.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229139
138bc75d-0d04-0410-961f-
82ee72b054a4
spop [Wed, 21 Oct 2015 18:53:35 +0000 (18:53 +0000)]
avoid generation of empty guards in trivial cases
We used to insert a trivial integer_onep condition around loops we know have
more than an iteration. This patch avoids generating those conditions.
* graphite-isl-ast-to-gimple.c (graphite_create_new_loop_guard): Do not call
create_empty_if_region_on_edge when cond_expr is true.
(translate_isl_ast_node_for): Check whether a guard has been generated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229137
138bc75d-0d04-0410-961f-
82ee72b054a4
spop [Wed, 21 Oct 2015 18:53:26 +0000 (18:53 +0000)]
Refactor graphite-sese-to-poly, sese.h, graphite-poly.h
Now that scop contains a list of all the basic blocks inside, it makes sense to
iterate over only those basic blocks in
graphite-sese-to-poly.c:rewrite_reductions_out_of_ssa,rewrite_cross_bb_scalar_deps_out_of_ssa
Passes regtest and bootstrap.
gcc/ChangeLog:
2015-10-20 Aditya Kumar <hiraditya@msn.com>
* graphite-poly.h (struct dr_info): Added invalid_alias_set number.
(operator=): Removed.
(dr_info): Make alias_set number the last argument with default value of invalid_alias_set.
* graphite-sese-to-poly.c (build_scop_drs): Update constructor of dr_info.
(rewrite_reductions_out_of_ssa): Iterate only through the basic blocks which are inside region.
(rewrite_cross_bb_scalar_deps_out_of_ssa): Same.
* sese.h (struct sese_l): Removed assignment operator.
(split_region_for_bb): Removed dead code.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229136
138bc75d-0d04-0410-961f-
82ee72b054a4
spop [Wed, 21 Oct 2015 18:53:17 +0000 (18:53 +0000)]
Refactoring sese.h and graphite-poly.h
Rename scop->region to scop->scop_info
Removed conversion constructors for sese_l and dr_info.
Removed macros.
No functional changed intended. Passes regtest and bootstrap.
gcc/ChangeLog:
2015-19-10 Aditya Kumar <aditya.k7@samsung.com>
* graphite-poly.h (struct dr_info): Removed conversion constructor.
(struct scop): Renamed scop::region to scop::scop_info
(scop_set_region): Same.
(SCOP_REGION): Removed
(SCOP_CONTEXT): Removed.
(POLY_SCOP_P): Removed.
* graphite-isl-ast-to-gimple.c (translate_isl_ast_node_user):
Rename scop->region to scop->scop_info.
(add_parameters_to_ivs_params): Same.
(graphite_regenerate_ast_isl): Same.
* graphite-poly.c (new_scop): Same.
(free_scop): Same.
(print_scop_params): Same.
* graphite-scop-detection.c (scop_detection::remove_subscops): Same.
(scop_detection::remove_intersecting_scops): Use pointer to sese_l.
(dot_all_scops_1): Rename scop->region to scop->scop_info.
(scop_detection::nb_pbbs_in_loops): Same.
(find_scop_parameters): Same.
(try_generate_gimple_bb): Same.
(gather_bbs::before_dom_children): Same.
(gather_bbs::after_dom_children): Same.
(build_scops): Same.
* graphite-sese-to-poly.c (build_scop_scattering): Same.
(extract_affine_chrec): Same.
(extract_affine): Same.
(set_scop_parameter_dim): Same.
(build_loop_iteration_domains): Same.
(create_pw_aff_from_tree): Same.
(add_param_constraints): Same.
(build_scop_iteration_domain): Same.
(build_scop_drs): Same.
(analyze_drs_in_stmts): Same.
(insert_out_of_ssa_copy_on_edge): Same.
(rewrite_close_phi_out_of_ssa):Same.
(rewrite_reductions_out_of_ssa):Same.
(handle_scalar_deps_crossing_scop_limits):Same.
(rewrite_cross_bb_scalar_deps):Same.
(rewrite_cross_bb_scalar_deps_out_of_ssa):Same.
(build_poly_scop):Same.
(build_alias_set): Use pointer to dr_info.
* graphite.c (print_graphite_scop_statistics):
(graphite_transform_loops):
* sese.h (struct sese_l): Remove conversion constructor.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229135
138bc75d-0d04-0410-961f-
82ee72b054a4
alalaw01 [Wed, 21 Oct 2015 18:41:43 +0000 (18:41 +0000)]
Add --param sra-max-scalarization-size-Ospeed to sra-12.c
* gcc.dg/tree-ssa/sra-12.c: Enable test on all targets; add --param
sra-max-scalarization-size-Ospeed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229134
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Wed, 21 Oct 2015 18:00:30 +0000 (18:00 +0000)]
PR middle-end/67966
* tree.c (verify_type): Verify that TYPE_MODE match
between TYPE_CANONICAL and type.
* expr.c (store_expr_with_bounds): Revert my previous change.
* expmed.c (store_bit_field_1): Revert prevoius change.
* gimple-expr.c (useless_type_conversion_p): Require TYPE_MODE
to match for all types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229132
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Wed, 21 Oct 2015 17:30:20 +0000 (17:30 +0000)]
PR c/68024
* c-decl.c (start_function): Warn about vararg functions without
a prototype.
* gcc.dg/pr68024.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229131
138bc75d-0d04-0410-961f-
82ee72b054a4
nathan [Wed, 21 Oct 2015 16:14:01 +0000 (16:14 +0000)]
gcc/
* omp-low.c (check_omp_nesting_restrictions): Check OpenACC loop
nesting.
testsuite/
* c-c++-common/goacc/clauses-fail.c: Adjust errors.
* c-c++-common/goacc/sb-1.c: Adjust errors.
* c-c++-common/goacc/sb-3.c: Adjust errors.
* c-c++-common/goacc/loop-1.c: Adjust errors.
* c-c++-common/goacc/nesting-1.c: Adjust errors.
* c-c++-common/goacc-gomp/nesting-fail-1.c: Adjust errors.
* c-c++-common/goacc-gomp/nesting-1.c: Adjust errors.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229129
138bc75d-0d04-0410-961f-
82ee72b054a4
ienkovich [Wed, 21 Oct 2015 16:01:43 +0000 (16:01 +0000)]
gcc/
* doc/tm.texi: Regenerated.
* doc/tm.texi.in (TARGET_VECTORIZE_GET_MASK_MODE): New.
* stor-layout.c (layout_type): Use mode to get vector mask size.
* target.def (get_mask_mode): New.
* targhooks.c (default_get_mask_mode): New.
* targhooks.h (default_get_mask_mode): New.
* gcc/tree-vect-stmts.c (get_same_sized_vectype): Add special case
for boolean vector.
* tree.c (MAX_BOOL_CACHED_PREC): New.
(nonstandard_boolean_type_cache): New.
(build_nonstandard_boolean_type): New.
(make_vector_type): Vector mask has no canonical type.
(build_truth_vector_type): New.
(build_same_sized_truth_vector_type): New.
(truth_type_for): Support vector masks.
* tree.h (VECTOR_BOOLEAN_TYPE_P): New.
(build_truth_vector_type): New.
(build_same_sized_truth_vector_type): New.
(build_nonstandard_boolean_type): New.
* tree-cfg.c (verify_gimple_comparison) Require boolean
vector type for vector comparison.
(verify_gimple_assign_ternary): Likewise.
* optabs.c (expand_vec_cond_expr): Accept boolean vector as
condition operand.
* tree-vect-stmts.c (vectorizable_condition): Use boolean
vector type for vector comparison.
* tree-vect-generic.c (elem_op_func): Add new operand to hold
vector type.
(do_unop): Adjust to modified function type.
(do_binop): Likewise.
(do_plus_minus): Likewise.
(do_negate); Likewise.
(expand_vector_piecewise): Likewise.
(do_cond): Likewise.
(do_compare): Use comparison instead of condition.
(expand_vector_divmod): Use boolean vector type for comparison.
(expand_vector_operations_1): Skip scalar mask operations.
gcc/c
* c-typeck.c (build_conditional_expr): Use boolean vector
type for vector comparison.
(build_vec_cmp): New.
(build_binary_op): Use build_vec_cmp for comparison.
gcc/cp
* call.c (build_conditional_expr_1): Use boolean vector
type for vector comparison.
* typeck.c (build_vec_cmp): New.
(cp_build_binary_op): Use build_vec_cmp for comparison.
gcc/testsuite/
* g++.dg/ext/vector22.C: Allow VEC_COND_EXPR.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229128
138bc75d-0d04-0410-961f-
82ee72b054a4
ienkovich [Wed, 21 Oct 2015 15:57:00 +0000 (15:57 +0000)]
gcc/
* omp-low.c (simd_clone_create): Set in_other_partition
for created clones.
gcc/testsuite/
* gcc.dg/lto/simd-function_0.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229127
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Wed, 21 Oct 2015 15:39:08 +0000 (15:39 +0000)]
Proposed doc update for Explicit Reg Vars 2/3
* doc/extend.exp (Local Register Variables): Rewrite.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229124
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Wed, 21 Oct 2015 09:49:13 +0000 (09:49 +0000)]
Add simple sign-stripping cases to match.pd
This patch makes sure that, for every simplification that uses
fold_strip_sign_ops, there are associated match.pd rules for the
leaf sign ops, i.e. abs, negate and copysign. A follow-on patch
will add a pass to handle more complex cases.
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
gcc/
* match.pd: Add rules to simplify ccos, ccosh, hypot, copysign
and x*x in cases where the operands are sign ops. Extend these
rules to handle copysign as a sign op (including for cos, cosh
and pow, which already treated negate and abs as sign ops).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229123
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Wed, 21 Oct 2015 08:43:44 +0000 (08:43 +0000)]
PR target/68018
* config/i386/i386.c (ix86_compute_frame_layout): Realign the stack
for 64-bit MS_ABI targets also when default incoming stack boundary
is overriden.
testsuite/ChangeLog:
PR target/68018
* gcc.target/i386/pr68018.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229120
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Wed, 21 Oct 2015 08:12:15 +0000 (08:12 +0000)]
2015-10-21 Richard Biener <rguenther@suse.de>
* tree-ssa-sccvn.c (cond_stmts_equal_p): Compare two GIMPLE
cond stmts, enhanced and split out from ...
(vn_phi_eq): ... here.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229119
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Wed, 21 Oct 2015 08:08:05 +0000 (08:08 +0000)]
2015-10-21 Richard Biener <rguenther@suse.de>
PR middle-end/68031
* fold-const.c: Include tree-ssa-operands.h and tree-into-ssa.h.
(tree_ssa_name_nonnegative_warnv_p): Fold into ...
(tree_single_nonnegative_warnv_p): ... here. For SSA names
make sure they are not registered for update.
* gcc.dg/torture/pr68031.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229118
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Wed, 21 Oct 2015 07:56:54 +0000 (07:56 +0000)]
2015-10-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/68026
* tree-ssa-ccp.c (get_value_for_expr): Zero-extend mask for
unsigned VARYING values.
* gcc.dg/tree-ssa/ssa-ccp-39.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229117
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Wed, 21 Oct 2015 07:53:22 +0000 (07:53 +0000)]
libsanitizer/
* HOWTO_MERGE: New file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229116
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Wed, 21 Oct 2015 07:51:03 +0000 (07:51 +0000)]
libsanitizer/
* sanitizer_common/sanitizer_stacktrace.cc (GetCanonicFrame): Assume we
compiled code with GCC when extracting the caller PC for ARM if no
valid frame pointer is available.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229115
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Wed, 21 Oct 2015 07:47:54 +0000 (07:47 +0000)]
libsanitizer/
PR bootstrap/63888
Reapply:
2015-02-20 Jakub Jelinek <jakub@redhat.com>
* asan/asan_globals.cc (RegisterGlobal): Disable detect_odr_violation
support until it is rewritten upstream.
* c-c++-common/asan/pr63888.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229114
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Wed, 21 Oct 2015 07:44:35 +0000 (07:44 +0000)]
libsanitizer/
PR sanitizer/63958
Reapply:
2014-10-14 David S. Miller <davem@davemloft.net>
* sanitizer_common/sanitizer_platform_limits_linux.cc (time_t):
Define at __kernel_time_t, as needed for sparc.
(struct __old_kernel_stat): Don't check if __sparc__ is defined.
* libsanitizer/sanitizer_common/sanitizer_platform_limits_posix.h
(__sanitizer): Define struct___old_kernel_stat_sz,
struct_kernel_stat_sz, and struct_kernel_stat64_sz for sparc.
(__sanitizer_ipc_perm): Adjust for sparc targets.
(__sanitizer_shmid_ds): Likewsie.
(__sanitizer_sigaction): Likewise.
(IOC_SIZE): Likewsie.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229113
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Wed, 21 Oct 2015 07:40:54 +0000 (07:40 +0000)]
libsanitizer merge from upstream r250806, compiler part.
gcc/
* asan.c (asan_emit_stack_protection): Don't pass local stack to
asan_stack_malloc_[n] anymore. Check if asan_stack_malloc_[n] returned
NULL and use local stack than.
(asan_finish_file): Insert __asan_version_mismatch_check_v[n] call
in addition to __asan_init.
* sanitizer.def (BUILT_IN_ASAN_INIT): Rename to __asan_init.
(BUILT_IN_ASAN_VERSION_MISMATCH_CHECK): Add new builtin call.
* asan.h (asan_intercepted_p): Handle new string builtins.
* ubsan.c (ubsan_use_new_style_p): New function.
(ubsan_instrument_float_cast): If location is unknown, assign
input_location to loc. Propagate loc to ubsan_create_data if
ubsan_use_new_style_p returned true.
config/
* bootstrap-asan.mk: Replace ASAN_OPTIONS=detect_leaks with
LSAN_OPTIONS=detect_leaks.
gcc/testsuite/
* c-c++-common/ubsan/float-cast-overflow-10.c: Adjust test.
* c-c++-common/ubsan/float-cast-overflow-8.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-9.c: Likewise.
* g++.dg/asan/default-options-1.C: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229112
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Wed, 21 Oct 2015 07:32:45 +0000 (07:32 +0000)]
libsanitizer merge from upstream r250806.
libsanitizer/
2015-10-20 Maxim Ostapenko <m.ostapenko@partner.samsung.com>
* All source files: Merge from upstream r250806.
* configure.ac (link_sanitizer_common): Add -lrt flag.
* configure.tgt: Enable TSAN and LSAN for aarch64-linux targets.
Set CXX_ABI_NEEDED=true for darwin.
* asan/Makefile.am (asan_files): Add new files.
(DEFS): Add DCAN_SANITIZE_UB=0 and remove unused and legacy
DASAN_FLEXIBLE_MAPPING_AND_OFFSET=0.
* asan/Makefile.in: Regenerate.
* ubsan/Makefile.am (ubsan_files): Add new files.
(DEFS): Add DCAN_SANITIZE_UB=1.
(libubsan_la_LIBADD): Add -lc++abi if CXX_ABI_NEEDED is true.
* ubsan/Makefile.in: Regenerate.
* tsan/Makefile.am (tsan_files): Add new files.
(DEFS): Add DCAN_SANITIZE_UB=0.
* tsan/Makefile.in: Regenerate.
* sanitizer_common/Makefile.am (sanitizer_common_files): Add new files.
* sanitizer_common/Makefile.in: Regenerate.
* asan/libtool-version: Bump the libasan SONAME.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229111
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Wed, 21 Oct 2015 05:56:37 +0000 (05:56 +0000)]
[PATCH] Move RTL printing code from sched-vis.c into print-rtl.c
* Makefile.in (OBJS): Remove sched-vis.c
* sched-vis.c: Removed. Code moved into...
* print-rtl.c: Here. Include cfg.h, pretty-print.h and print-rtl.h.
* rtl.h: Remove prototypes for functions now living in print-rtl.c
* print-rtl.h Add prototypes for new functions in print-rtl.c.
* auto-inc-dec.c: Include print-rtl.h
* cfgrtl.c, combine.c, final.c haifa-sched.c: Likewise.
* ira.c, lra-constraints.c, lra.c, sel-sched-dump.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229110
138bc75d-0d04-0410-961f-
82ee72b054a4
law [Wed, 21 Oct 2015 04:57:56 +0000 (04:57 +0000)]
[PATCH]Fix various ports failing due to unused parameter
* varasm.c (handle_vtv_comdat_section): Mark 2nd parameter with
ATTRIBUTE_UNUSED.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229109
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Wed, 21 Oct 2015 02:24:08 +0000 (02:24 +0000)]
PR c++/66583
* init.c (innermost_aggr_scope): New.
(build_field_list): Change uses_unions_p to uses_unions_or_anon_p.
(sort_mem_initializers): Handle initializers for entire anonymous
aggregates.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229108
138bc75d-0d04-0410-961f-
82ee72b054a4
naveenh [Wed, 21 Oct 2015 02:22:04 +0000 (02:22 +0000)]
2015-10-20 Richard Biener <rguenther@suse.de>
Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com>
* fold-const.c (fold_binary_loc) : Move (-A) * (-B) -> A * B
to match.pd.
Move (a * (1 << b)) is (a << b) to match.pd.
Move convert (C1/X)*C2 into (C1*C2)/X to match.pd.
Move ~X & X, (X == 0) & X, and !X & X are zero to match.pd.
Move X & ~X , X & (X == 0), and X & !X are zero to match.pd.
* match.pd (mult:c @0 (convert? (lshift integer_onep@1 @2))):
New simplifier.
(mult (rdiv:s REAL_CST@0 @1) REAL_CST@2): New simplifier.
(bit_and:c (convert? @0) (convert? (bit_not @0))): New simplifier.
(bit_ior (bit_and:s @0 (bit_not:s @1)) (bit_and:s (bit_not:s @0) @1))
: New simplifier.
(mult:c (convert1? (negate @0)) (convert2? negate_expr_p@1)):
New simplifier.
(match (logical_inverted_value @0) (truth_not @0)) : New Predicate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229107
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Wed, 21 Oct 2015 00:16:14 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229106
138bc75d-0d04-0410-961f-
82ee72b054a4
amodra [Tue, 20 Oct 2015 23:42:17 +0000 (23:42 +0000)]
Pass --secure-plt to the linker
* config/rs6000/secureplt.h (LINK_SECURE_PLT_DEFAULT_SPEC): Define.
* config/rs6000/sysv4.h (LINK_SECURE_PLT_SPEC): Define.
(LINK_SPEC): Add %(link_secure_plt).
(SUBTARGET_EXTRA_SPECS): Add "link_secure_plt".
* config/rs6000/linux64.h (LINK_SECURE_PLT_SPEC): Redefine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229102
138bc75d-0d04-0410-961f-
82ee72b054a4
nathan [Tue, 20 Oct 2015 21:09:09 +0000 (21:09 +0000)]
* testsuite/libgomp.oacc-c-c++-common/reduction-5.c: Set sane
vector_length.
* testsuite/libgomp.oacc-fortran/reduction-6.f90: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229100
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Tue, 20 Oct 2015 20:46:45 +0000 (20:46 +0000)]
* array-notation-common.c (is_cilkplus_vector_p): Define.
* c-common.h (is_cilkplus_vector_p): Declare.
* c-parser.c (is_cilkplus_vector_p): Don't define here.
* parser.c (is_cilkplus_vector_p): Don't define here.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229099
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Tue, 20 Oct 2015 20:44:23 +0000 (20:44 +0000)]
compiler: Report errors after evaluating invalid constant.
The fix for golang/go#11541 made the assertion that getting an invalid
Numeric_constant after evaluating an invalid constant must result in
an error in a binary expression. However, a Numeric_constant can be
invalid if it is unset, which occurs when either operand cannot be
converted to the right type. These errors are issued after the
Numeric_constant is lowered.
Fixes golang/go#12615.
Reviewed-on: https://go-review.googlesource.com/14646
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229098
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Tue, 20 Oct 2015 18:14:30 +0000 (18:14 +0000)]
compiler: Report errors for non-integral shift counts.
Fixes golang/go#12618.
Reviewed-on: https://go-review.googlesource.com/14647
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229096
138bc75d-0d04-0410-961f-
82ee72b054a4
nsz [Tue, 20 Oct 2015 18:13:15 +0000 (18:13 +0000)]
musl support for sh
* config/sh/linux.h (MUSL_DYNAMIC_LINKER): Define.
(MUSL_DYNAMIC_LINKER_E, MUSL_DYNAMIC_LINKER_FP): Define.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229095
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Tue, 20 Oct 2015 17:18:24 +0000 (17:18 +0000)]
[AArch64] Add support for 64-bit vector-mode ldp/stp
* config/aarch64/aarch64.c (aarch64_mode_valid_for_sched_fusion_p):
New function.
(fusion_load_store): Use it.
* config/aarch64/aarch64-ldpstp.md: Add new peephole2s for
ldp and stp in VD modes.
* config/aarch64/aarch64-simd.md (load_pair<mode>, VD): New pattern.
(store_pair<mode>, VD): Likewise.
* gcc.target/aarch64/stp_vec_64_1.c: New test.
* gcc.target/aarch64/ldp_vec_64_1.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229094
138bc75d-0d04-0410-961f-
82ee72b054a4
alalaw01 [Tue, 20 Oct 2015 16:56:52 +0000 (16:56 +0000)]
[Testsuite] Turn on 64-bit-vector tests for AArch64.
* lib/target-supports.exp (check_effective_target_vect64): Add AArch64.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229092
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Tue, 20 Oct 2015 16:53:45 +0000 (16:53 +0000)]
PR c/67964
* c-parser.c (c_parser_attributes): Break out of the loop if the
token after an attribute isn't a comma.
* gcc.dg/pr67964.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229091
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Tue, 20 Oct 2015 16:29:28 +0000 (16:29 +0000)]
Add --enable-compressed-debug-sections={all,gas,gold,ld}
This patch removes the gas configure option:
--enable-compressed-debug-sections
and adds a toplevel configure option:
--enable-compressed-debug-sections={all,gas,gold,ld}
to enable compressed debug sections for gas, gold or ld by default. At
the moment, this configure option is ignored by gold and ld. For x86
Linux targets, default to compressing debug sections in gas.
Sync with binutils-gdb:
PR gas/19109
* configure.ac: Add
--enable-compressed-debug-sections={all,gas,gold,ld}.
* configure: Regenerated.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229088
138bc75d-0d04-0410-961f-
82ee72b054a4
vmakarov [Tue, 20 Oct 2015 16:26:05 +0000 (16:26 +0000)]
2015-10-20 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/67609
* lra-splill.c (lra_final_code_change): Don't remove all
sub-registers.
2015-10-20 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/67609
* gcc.target/i386/pr67609.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229087
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Tue, 20 Oct 2015 16:13:29 +0000 (16:13 +0000)]
[simplify-rtx][2/2] Use constants from pool when simplifying binops
* simplify-rtx.c (simplify_binary_operation): If either operand was
a constant pool reference use them if all other simplifications failed.
* gcc.target/aarch64/fmul_fcvt_1.c: Add multiply-by-32 cases.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229086
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Tue, 20 Oct 2015 16:01:53 +0000 (16:01 +0000)]
[AArch64][1/2] Add fmul-by-power-of-2+fcvt optimisation
* config/aarch64/aarch64.md
(*aarch64_fcvt<su_optab><GPF:mode><GPI:mode>2_mult): New pattern.
* config/aarch64/aarch64-simd.md
(*aarch64_fcvt<su_optab><VDQF:mode><fcvt_target>2_mult): Likewise.
* config/aarch64/aarch64.c (aarch64_rtx_costs): Handle above patterns.
(aarch64_fpconst_pow_of_2): New function.
(aarch64_vec_fpconst_pow_of_2): Likewise.
* config/aarch64/aarch64-protos.h (aarch64_fpconst_pow_of_2): Declare
prototype.
(aarch64_vec_fpconst_pow_of_2): Likewise.
* config/aarch64/predicates.md (aarch64_fp_pow2): New predicate.
(aarch64_fp_vec_pow2): Likewise.
* gcc.target/aarch64/fmul_fcvt_1.c: New test.
* gcc.target/aarch64/fmul_fcvt_2.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229085
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Tue, 20 Oct 2015 15:31:07 +0000 (15:31 +0000)]
* config/alpha/alpha.h (HARD_REGNO_NREGS): Use CEIL macro.
(ALPHA_ARG_SIZE): Ditto. Remove unused NAMED argument.
* config/alpha/alpha.c (alpha_function_arg_advance): Update
ALPHA_ARG_SIZE usage.
(alpha_arg_partial_bytes): Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229084
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Tue, 20 Oct 2015 15:20:29 +0000 (15:20 +0000)]
Skip local error_mark_node decls
There is no need to finalize local error_mark_node decls.
gcc/
PR target/66810
* cgraphbuild.c (pass_build_cgraph_edges::execute): Skip local
error_mark_node decls.
gcc/testsuite/
PR target/66810
* gcc.target/i386/pr66810.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229083
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Tue, 20 Oct 2015 15:12:37 +0000 (15:12 +0000)]
Properly handle -miamcu and -march=lakemont
-miamcu specifies how parameters are passed to functions and how value
is returned from a function. Inside function, we can use instructions
supported by -march=XXX. -miamcu -march=haswell can generate x87, SSE
and AVX instructions as long as the IA MCU psABI is followed. But since
Lakemont processor doesn't support x87 instructions, we shouldn't
generate x87 instructions with -march=lakemont. This patch separates
code generation from -miamcu and makes -march=lakemont not to generate
x87 instructions.
gcc/
PR target/67963
PR target/67985
* common/config/i386/i386-common.c (ix86_handle_option): Remove
OPT_miamcu handling.
* config/i386/i386.c (PTA_NO_80387): New macro.
(processor_alias_table): Add PTA_NO_80387 to lakemont.
(ix86_option_override_internal): Update MASK_80387 from
PTA_NO_80387. Don't warn x87/MMX/SSE/AVX for -miamcu. Warn
SSE math only if 80387 is supported. Don't change
MASK_FLOAT_RETURNS.
(ix86_valid_target_attribute_tree): Enable FPMATH_387 only if
80387 is supported.
* config/i386/i386.h (TARGET_FLOAT_RETURNS_IN_80387): True only
if TARGET_80387 is true and TARGET_IAMCU is false.
(TARGET_FLOAT_RETURNS_IN_80387_P): True only if TARGET_80387_P
is true and TARGET_IAMCU_P is false.
gcc/testsuite/
PR target/67963
PR target/67985
* gcc.target/i386/pr67963-1.c: New test.
* gcc.target/i386/pr67963-2.c: Likewise.
* gcc.target/i386/pr67963-3.c: Likewise.
* gcc.target/i386/pr67985-1.c: Likewise.
* gcc.target/i386/pr67985-2.c: Likewise.
* gcc.target/i386/pr67985-3.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229082
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Tue, 20 Oct 2015 14:51:34 +0000 (14:51 +0000)]
* c.opt (std=gnu++11): Do not describe as experimental.
(std=gnu++14): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229081
138bc75d-0d04-0410-961f-
82ee72b054a4
alalaw01 [Tue, 20 Oct 2015 14:46:59 +0000 (14:46 +0000)]
[AArch64] Remove divisions-to-produce-NaN from vdiv_f.c
* gcc.target/aarch64/vdiv_f.c: Use __builtin_nan.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229080
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:42:53 +0000 (12:42 +0000)]
2015-10-20 Yannick Moy <moy@adacore.com>
* fmap.adb, a-cihama.adb, sem_ch5.adb, make.adb, inline.adb,
a-cfhase.adb, scng.adb, sem_ch12.adb, freeze.adb, tempdir.adb,
sem_util.adb, sem_res.adb, s-regexp.adb, a-clrefi.adb: Fix coding
style for marking start of processing of subprograms.
2015-10-20 Yannick Moy <moy@adacore.com>
* lib-xref-spark_specific.adb (Add_SPARK_File): Start traversal
by requesting info from stubs. (Traverse_All_Compilation_Units):
Remove unused procedure.
(Traverse_Declarations_Or_Statements): Handle protected and task units.
* lib-xref.ads (Traverse_All_Compilation_Units): Remove unused
procedure.
* restrict.adb (Check_Restriction): Do not ignore
restrictions in GNATprove_Mode.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229078
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:40:36 +0000 (12:40 +0000)]
2015-10-20 Arnaud Charlet <charlet@adacore.com>
* s-valllu.adb, sem_ch3.adb, layout.adb, a-crbtgo.adb, exp_ch9.adb,
make.adb, g-diopit.adb, s-valuns.adb, sem_ch9.adb, sem_ch10.adb,
sem_ch12.adb, a-tifiio.adb, g-dynhta.adb, uintp.adb,
sem_util.adb, sem_res.adb, s-htable.adb, exp_tss.adb, s-soflin.ads,
exp_ch6.adb, sem_ch6.adb, a-rbtgbo.adb, par-ch12.adb, sem_ch8.adb,
sem_eval.adb, mdll.adb, par-ch5.adb, s-poosiz.adb, sem_ch4.adb,
a-ngelfu.adb, s-taspri-solaris.ads, a-cforse.adb: Fix typos.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229077
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:37:13 +0000 (12:37 +0000)]
2015-10-20 Arnaud Charlet <charlet@adacore.com>
* sem_aggr.adb, mlib-prj.adb, prep.adb, eval_fat.adb, rtsfind.adb,
freeze.adb, sem_util.adb, sem_res.adb, sem_attr.adb, gnatlink.adb,
par-ch6.adb, exp_tss.adb, exp_ch4.adb, s-shasto.adb, exp_fixd.adb,
sem_ch6.adb, clean.adb, sem_ch8.adb, sem_eval.adb, sem_ch9.adb: Fix
typos.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229074
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Tue, 20 Oct 2015 12:34:19 +0000 (12:34 +0000)]
2015-10-20 Richard Biener <rguenther@suse.de>
PR tree-optimization/68017
* tree-tailcall.c (eliminate_tail_call): Remove stmts backwards.
* gcc.dg/torture/pr68017.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229073
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:32:21 +0000 (12:32 +0000)]
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch11.adb (Analyze_Handled_Statements): If the scope is a
postcondition subprogram, do not check for useless assignments
because there are no source references in such a body, and the
call will lose deferred references from the enclosing subprogram.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: nalyze_Attribute_Definition_Clause, case
'Address): If either object is controlled the overlay is
erroneous, but analysis must be completed so that back-end sees
address clause and completes code generation. Improve text
of warning.
2015-10-20 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229072
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:29:00 +0000 (12:29 +0000)]
2015-10-20 Bob Duff <duff@adacore.com>
* s-mudido-affinity.adb (Create): Correct subranges of slices of CPU
arrays.
2015-10-20 Arnaud Charlet <charlet@adacore.com>
* sinfo.ads, g-pehage.adb, par-ch12.adb,
layout.adb, exp_util.adb, sem_aux.adb, make.adb, checks.adb,
sem_ch12.adb, sem_res.adb, sem_attr.adb, a-ngelfu.adb, sem_ch4.adb,
switch-b.adb, sem_ch6.adb, prj-dect.adb, gnatxref.adb, sem_ch13.adb,
lib-xref.adb: Fix typos.
2015-10-20 Tristan Gingold <gingold@adacore.com>
* exp_ch4.adb (Expand_Array_Comparison): Use
generic code if runtime routine is not available.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229071
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:24:52 +0000 (12:24 +0000)]
2015-10-20 Yannick Moy <moy@adacore.com>
* a-sytaco.ads (Ada.Synchronous_Task_Control): Package
now withs System.Task_Identification. The visible part
of the spec has SPARK_Mode. The private part has pragma
SPARK_Mode (Off).
(Set_True): Added Global and Depends aspects
(Set_False): Added Global and Depends aspects (Current_State):
Added Volatile_Function aspect and added external state
Ada.Task_Identification.Tasking_State as a Global input.
(Suspend_Until_True): Added Global and Depends aspects
* a-sytaco.adb (Ada.Synchronous_Task_Control):
Package body has SPARK_Mode => Off
* a-extiin.ads (Ada.Execution_Time.Interrupts):
Package now withs Ada.Real_Time and has SPARK_Mode.
(Clock): Added Volatile_Function aspect and added external state
Ada.Real_Time.Clock_Time as a Global input.
* a-reatim.ads (Ada.Real_Time): The visible part of the spec has
SPARK_Mode. The private part has pragma SPARK_Mode (Off). The package
declares external state Clock_Time with properties Async_Readers and
Async_Writers.
(Clock): Added Volatile_Function aspect and
added external state Clock_Time as a Global input.
* a-reatim.adb (Ada.Real_Time): Package body has SPARK_Mode => Off
* a-exetim-default.ads, a-exetim-mingw.ads (Ada.Execution_Time):
The visible part of the spec has SPARK_Mode. The private part
has pragma SPARK_Mode (Off).
(Clock): Added Volatile_Function
aspect and added external state Clock_Time as a Global input.
(Clock_For_Interrupts): Added Volatile_Function aspect and added
external state Ada.Real_Time.Clock_Time as a Global input.
* a-exetim-mingw.adb (Ada.Execution_Time): Package body has
SPARK_Mode => Off
* a-interr.ads (Ada.Interrupts): Package now
withs Ada.Task_Identification (Is_Reserved): Added
SPARK_Mode, Volatile_Function and external state
Ada.Task_Identification.Tasking_State as a Global input.
(Is_Attached): Added SPARK_Mode, Volatile_Function and external
state Ada.Task_Identification.Tasking_State as a Global input.
(Attach_Handler): Added SPARK_Mode => Off (Exchange_Handler):
Added SPARK_Mode => Off (Detach_Handler): Added SPARK_Mode
and external state Ada.Task_Identification.Tasking_State as a
Global In_Out. (Reference): Added SPARK_Mode => Off
* a-disedf.ads (Get_Deadline): Added SPARK_Mode, Volatile_Function
and external state Ada.Task_Identification.Tasking_State as a
Global input.
* a-taside.ads (Ada.Task_Identification): The visible part of
the spec has SPARK_Mode. The private part has pragma SPARK_Mode
(Off). The package declares external state Tasking_State with
properties Async_Readers and Async_Writers.
(Current_Task): Added
Volatile_Function aspect and added external state Tasking_State
as a Global input.
(Environment_Task): Added SPARK_Mode => Off
(Is_Terminated): Added Volatile_Function aspect and added external
state Tasking_State as a Global input. (Is_Callable): Added
Volatile_Function aspect and added external state Tasking_State as
a Global input.
(Activation_Is_Complete): Added Volatile_Function
aspect and added external state Tasking_State as a Global input.
* a-taside.adb (Ada.Task_Identification): Package body has
SPARK_Mode => Off.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* atree.ads, atree.adb: Enable List38 and List39 on entities.
* einfo.ads, einfo.adb (Class_Wide_Preconds) new attribute defined
on subprograms. Holds the list of class-wide precondition
functions inherited from ancestors. Each such function is an
instantiation of the generic function generated from an explicit
aspect specification for a class-wide precondition. A type is
an ancestor of itself, and therefore a root type has such an
instance on its own list.
(Class_Wide_Postconds): ditto for postconditions.
2015-10-20 Vincent Celier <celier@adacore.com>
* prj-attr.adb: Add packages Prove and GnatTest.
2015-10-20 Steve Baird <baird@adacore.com>
* a-conhel.adb: Add an Annotate pragma to help suppress CodePeer's
analysis of internals of container generic instances. This pragma
has no other effect.
* a-conhel.adb (Generic_Implementation) Add "pragma Annotate
(CodePeer, Skip_Analysis);".
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229070
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:21:37 +0000 (12:21 +0000)]
2015-10-20 Steve Baird <baird@adacore.com>
* pprint.adb: Code clean up.
2015-10-20 Bob Duff <duff@adacore.com>
* a-cfinve.ads, a-coboho.ads: Improve comments.
* a-coboho.adb (Size_In_Storage_Elements): Improve error message
in case of "Size is too big" exception.
2015-10-20 Bob Duff <duff@adacore.com>
* a-contai.ads: Remove check names (moved to snames.ads-tmpl).
* snames.ads-tmpl: Add check names that were previously in
a-contai.ads, so they are now visible in configuration files.
* types.ads: Add checks corresponding to snames.ads-tmpl.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229069
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:20:20 +0000 (12:20 +0000)]
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Loop_Statement): Attach generated loop
identifier to the tree, because it may be the root of a tree
traversal in Pop_Scope when freeze actions are pending.
2015-10-20 Steve Baird <baird@adacore.com>
* pprint.ads (Expression_Image) Add new generic formal flag
Hide_Parameter_Blocks.
* pprint.adb (Expression_Image) If new flag is set, then display
dereferences of parameter block components accordingly.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229068
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:18:09 +0000 (12:18 +0000)]
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb: Code clean up.
2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_N_Extended_Return_Statement): Code cleanup.
(Make_Build_In_Place_Call_In_Object_Declaration): Update the
parameter profile. Code cleanup. Request debug info for the
object renaming declaration.
(Move_Activation_Chain): Add new formal parameter and update the
comment on usage.
* exp_ch6.ads (Make_Build_In_Place_Call_In_Object_Declaration):
Update the parameter profile and comment on usage.
* sem_util.ads, sem_util.adb (Remove_Overloaded_Entity): New routine,
currently unused.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229067
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:16:37 +0000 (12:16 +0000)]
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_One_Aspect, case
Aspect_Disable_Controlled): If expander is not active, pre-analyze
expression anyway for ASIS and other tools use.
* sem_prag.adb (Build_Generic_Class_Condition): Handle properly
anonymous access types in parameter specifications. Make the
formal type a formal derived type of the controlling type of
the subprogram.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229064
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:15:46 +0000 (12:15 +0000)]
2015-10-20 Tristan Gingold <gingold@adacore.com>
* s-rident.ads: No_Task_At_Interrupt_Priority: New restriction.
* sem_prag.adb (Analyze_Pragma): Check the restriction.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause):
Check the restriction (for aspects).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229063
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:14:27 +0000 (12:14 +0000)]
2015-10-20 Gary Dismukes <dismukes@adacore.com>
* sem_prag.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229061
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:13:11 +0000 (12:13 +0000)]
2015-10-20 Tristan Gingold <gingold@adacore.com>
* sem_util.adb (Is_Protected_Self_Reference): Remove reference to
UET_Address in comment.
* sem_attr.adb (Check_Unit_Name): Adjust comment.
(Analyze_Attribute): Remove handling of UET_Address.
* sem_attr.ads (Attribute_Impl_Def): Remove Attribute_UET_Address.
* snames.ads-tmpl Remove Name_UET_Address, Attribute_UET_Address.
* exp_attr.adb (Expand_N_Attribute_Reference): Remove
Attribute_UET_Address.
2015-10-20 Bob Duff <duff@adacore.com>
* a-cbdlli.adb, a-cdlili.adb, a-chtgop.adb, a-cidlli.adb,
* a-cobove.adb, a-coinve.adb, a-convec.adb, a-crbtgo.adb ("="): Avoid
modifying the tampering counts unnecessarily.
(Adjust): Zero tampering counts unconditionally.
2015-10-20 Jerome Lambourg <lambourg@adacore.com>
* init.c: Fix build issue on arm-vx6 when building the RTP
run-time.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): If the expression
is an aggregate and compilation is in -gnatI mode (ignore rep
clauses) do not delay resolution of aggregate, to prevent freeze
actions out of order in the backend.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.ads, sem_prag.adb (Build_Generic_Class_Condition):
New procedure to construct a generic function for a class-wide
precondition, to implement AI12-0113 concerning the new semantics
of class-wide preconditions for overriding uperations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229060
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:10:18 +0000 (12:10 +0000)]
2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Find_Actual): The routine is
now capable of operating on entry calls.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb: Remove redundant check.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229059
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:09:17 +0000 (12:09 +0000)]
2015-10-20 Jerome Lambourg <lambourg@adacore.com>
* init.c (__gnat_vxsim_error_handler): Completely disable on
VxWorks-7 as the VSBs used to build gcc do not support vxsim
architecture.
2015-10-20 Claire Dross <dross@adacore.com>
* a-cfdlli.ads, a-cfinve.ads, a-cofove.ads (Generic_Sorting): Explicit
SPARK_Mode.
* a-cfhase.ads, a-cforse.ads (Generic_Keys): Explicit SPARK_Mode.
2015-10-20 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb (Expand_N_Protected_Type_Declaration):
Check for No_Implicit_Protected_Object_Allocations.
* fe.h (Check_No_Implicit_Task_Alloc,
Check_No_Implicit_Protected_Alloc): Define and declare.
* restrict.ads, restrict.adb (Check_No_Implicit_Task_Alloc,
Check_No_Implicit_Protected_Alloc): New procedures to check the
restrictions.
* s-rident.ads (No_Implicit_Task_Allocations)
(No_Implicit_Protected_Object_Allocations): Declare new
restrictions.
2015-10-20 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Selected_Component): Only set flag
when component is defined in a variant part.
* sem_util.adb,
* sem_util.ads (Is_Declared_Within_Variant): Promote local query
as publicy visible one for use in Resolve_Selected_Component.
2015-10-20 Philippe Gil <gil@adacore.com>
* g-debpoo.adb: allow instrumented System.Memory to use Debug_Pool
from foreign threads.
* g-debpoo.adb (Print_Traceback): NEW print traceback if available
added to support Stack_Trace_Depth = 0.
(Print_Address): NEW print System.Address without no secondary
stack use (Address_Image uses secondary stack)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229058
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:05:48 +0000 (12:05 +0000)]
2015-10-20 Yannick Moy <moy@adacore.com>
* exp_ch9.adb (Expand_Entry_Barrier): Default initialize local variable
Func.
2015-10-20 Jerome Lambourg <lambourg@adacore.com>
* init.c (__gnat_error_handler for vxworks): Force
SPE bit in the MSR when handling signals
2015-10-20 Arnaud Charlet <charlet@adacore.com>
* einfo.ads, sem_ch12.adb, sem_ch6.adb, table.ads, s-stposu.ads,
g-table.ads, g-dyntab.ads, makeutl.ads, a-crdlli.ads: Fix typos.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Loop_Statement): Element iterators
over multidimensional arrays create additional loops during
expansion. For such loops we create a label as a scope
name. Attach this label properly to tree, for use in GNATProve
over such element iterators.
* sem_attr.adb (Analyze_Attribute, case Loop_Entry): The loop to
which the attribute applies comes from source, not from expansion
of an element iterator or a quantified expression.
* exp_attr.adb (Expand_N_Attribute_Reference): Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229057
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 20 Oct 2015 12:02:30 +0000 (12:02 +0000)]
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Expand_Call): Check for a call to a function
declared in a Dimension I/O package, to handle the new Image
function.
2015-10-20 Eric Botcazou <ebotcazou@adacore.com>
* inline.ads: Minor comment fixes.
2015-10-20 Bob Duff <duff@adacore.com>
* a-comutr.ads (Tree_Node_Access): Add No_Strict_Aliasing, because
we're doing unchecked conversions with this pointer.
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* exp_ch9.adb (Next_Protected_Operation): An expression function
used as a completion can be the next protected operation in a
protected body.
2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Is_OK_Volatile_Context): Add a guard when checking a
possible call to an instance of Ada.Unchecked_Conversion to avoid
testing protected function calls. Allow references to protected objects
in prefixed protected calls.
(Is_Protected_Operation_Call): New routine.
2015-10-20 Yannick Moy <moy@adacore.com>
* exp_ch5.adb, exp_ch5.ads (Expand_Iterator_Loop_Over_Array): Make
query public. Remove code handling with iterator loop over array
of the 'in' form, which is not allowed in Ada. * exp_spark.adb
(Expand_SPARK): Expand loop statements that take the form of an
iterator over an array.
* sem_ch5.adb (Analyze_Loop_Statement): Do not analyze loop statements
that take the form of an iterator over an array, so that the rewritten
form gets analyzed instead.
* sem_util.adb, sem_util.ads (Is_Iterator_Over_Array): New query
to recognize iterators over arrays.
2015-10-20 Arnaud Charlet <charlet@adacore.com>
* s-excdeb.ads, s-excdeb.adb (Debug_Raise_Exception): Add
parameter Message.
* a-except.adb (Raise_Current_Excep): Update call to
Debug_Raise_Exception.
* a-except-2005.adb (Complete_Occurrence): Ditto.
* sem_ch12.adb: Whitespace fix.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229056
138bc75d-0d04-0410-961f-
82ee72b054a4