gcc.git
7 years agoVector peeling cost model 3/6
Robin Dapp [Tue, 30 May 2017 10:57:53 +0000 (10:57 +0000)]
Vector peeling cost model 3/6

gcc/ChangeLog:

2017-05-30  Robin Dapp  <rdapp@linux.vnet.ibm.com>

* tree-vect-data-refs.c (vect_peeling_hash_choose_best_peeling):
Return peeling info and set costs to zero for unlimited cost
model.
(vect_enhance_data_refs_alignment): Also inspect all datarefs
with unknown misalignment. Compute and costs for unknown
misalignment, compare them to the costs for known misalignment
and choose the cheapest for peeling.

From-SVN: r248677

7 years agoVector peeling cost model 2/6
Robin Dapp [Tue, 30 May 2017 10:56:15 +0000 (10:56 +0000)]
Vector peeling cost model 2/6

gcc/ChangeLog:

2017-05-30  Robin Dapp  <rdapp@linux.vnet.ibm.com>

* tree-vect-data-refs.c (vect_update_misalignment_for_peel): Rename.
(vect_get_peeling_costs_all_drs): Create function.
(vect_peeling_hash_get_lowest_cost):
Use vect_get_peeling_costs_all_drs.
(vect_peeling_supportable): Create function.
(vect_enhance_data_refs_alignment): Use vect_peeling_supportable.

From-SVN: r248676

7 years agoVector peeling cost model 1/6
Robin Dapp [Tue, 30 May 2017 10:53:25 +0000 (10:53 +0000)]
Vector peeling cost model 1/6

gcc/ChangeLog:

2017-05-30  Robin Dapp  <rdapp@linux.vnet.ibm.com>

* tree-vect-data-refs.c (vect_compute_data_ref_alignment): Create
DR_HAS_NEGATIVE_STEP.
(vect_update_misalignment_for_peel): Define DR_MISALIGNMENT.
(vect_enhance_data_refs_alignment): Use.
(vect_duplicate_ssa_name_ptr_info): Use.
* tree-vectorizer.h (dr_misalignment): Use.
(known_alignment_for_access_p): Use.

From-SVN: r248675

7 years agore PR target/78838 (msp430 option -mcode-region=either, -ffunction-sections, and...
Jozef Lawrynowicz [Tue, 30 May 2017 10:49:29 +0000 (10:49 +0000)]
re PR target/78838 (msp430 option -mcode-region=either, -ffunction-sections, and interrupt function attributes cause incorrect section to be created)

PR target/78838
gcc * config/msp430/msp430.c (gen_prefix): Return NULL when section name is
.lowtext.
(has_section_name): New function.

testsuite * gcc.target/msp430/interrupt_fn_placement.c: New test.

From-SVN: r248674

7 years agoFix parenthesis in auto-profile.c (PR other/80909).
Martin Liska [Tue, 30 May 2017 08:02:03 +0000 (10:02 +0200)]
Fix parenthesis in auto-profile.c (PR other/80909).

2017-05-30  Martin Liska  <mliska@suse.cz>

PR other/80909
* auto-profile.c (get_function_decl_from_block): Fix
parenthesis.

From-SVN: r248647

7 years agore PR tree-optimization/80876 (ICE in verify_loop_structure, at cfgloop.c:1644 (error...
Richard Biener [Tue, 30 May 2017 07:49:00 +0000 (07:49 +0000)]
re PR tree-optimization/80876 (ICE in verify_loop_structure, at cfgloop.c:1644 (error: loop 1's latch does not have an edge to its header))

2017-05-30  Richard Biener  <rguenther@suse.de>

PR middle-end/80876
* cfgexpand.c (expand_gimple_cond): Fixup preserving loops again.

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

From-SVN: r248633

7 years agoRemove dump_file_info::dump_file_info and replace it with macro.
Martin Liska [Tue, 30 May 2017 07:35:23 +0000 (09:35 +0200)]
Remove dump_file_info::dump_file_info and replace it with macro.

2017-05-30  Martin Liska  <mliska@suse.cz>

* dumpfile.c: Use newly added macro DUMP_FILE_INFO.
* dumpfile.h (struct dump_file_info): Remove ctors.

From-SVN: r248617

7 years agoCompare predictor values with these defined in predict.def.
Martin Liska [Tue, 30 May 2017 07:16:31 +0000 (09:16 +0200)]
Compare predictor values with these defined in predict.def.

2017-05-30  Martin Liska  <mliska@suse.cz>

* analyze_brprob.py: Add new argument to parse and modify
predict.def file.
* analyze_brprob_spec.py: Likewise.

From-SVN: r248600

7 years agoFix coding style.
Martin Liska [Tue, 30 May 2017 07:16:04 +0000 (09:16 +0200)]
Fix coding style.

2017-05-30  Martin Liska  <mliska@suse.cz>

* predict.def: Fix GNU coding style.

From-SVN: r248599

7 years agoDaily bump.
GCC Administrator [Tue, 30 May 2017 00:16:17 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r248591

7 years agogcc: xtensa: fix unused parameter warning
Max Filippov [Mon, 29 May 2017 23:03:52 +0000 (23:03 +0000)]
gcc: xtensa: fix unused parameter warning

2017-05-28  Max Filippov  <jcmvbkbc@gmail.com>
gcc/
* config/xtensa/xtensa.c (xtensa_initial_elimination_offset):
Mark 'to' argument with ATTRIBUTE_UNUSED.

From-SVN: r248587

7 years agogcc: xtensa: fix fprintf format specifiers
Max Filippov [Mon, 29 May 2017 23:02:36 +0000 (23:02 +0000)]
gcc: xtensa: fix fprintf format specifiers

HOST_WIDE_INT may not be long as assumed in print_operand and
xtensa_emit_call. Use HOST_WIDE_INT_PRINT_DEC/HOST_WIDE_INT_PRINT_HEX
format strings instead of %ld/0x%lx. This fixes incorrect assembly code
generation by the compiler running on armhf host.

2017-05-29  Max Filippov  <jcmvbkbc@gmail.com>
gcc/
* config/xtensa/xtensa.c (xtensa_emit_call): Use
HOST_WIDE_INT_PRINT_HEX instead of 0x%lx format string.
(print_operand): Use HOST_WIDE_INT_PRINT_DEC instead of %ld
format string.

From-SVN: r248586

7 years agoinstall.texi (Options specification): Restore entry of --enable-sjlj-exceptions.
Eric Botcazou [Mon, 29 May 2017 21:08:02 +0000 (21:08 +0000)]
install.texi (Options specification): Restore entry of --enable-sjlj-exceptions.

* doc/install.texi (Options specification): Restore entry of
--enable-sjlj-exceptions.

From-SVN: r248582

7 years ago[libcc1] drop unused field from C++ lang_identifier
Alexandre Oliva [Mon, 29 May 2017 20:23:43 +0000 (20:23 +0000)]
[libcc1] drop unused field from C++ lang_identifier

for  gcc/cp/ChangeLog

* cp-tree.h (lang_identifier): Drop oracle_looked_up, unused.

From-SVN: r248580

7 years agoPR c++/80891 (#1,#5)
Nathan Sidwell [Mon, 29 May 2017 19:45:42 +0000 (19:45 +0000)]
PR c++/80891 (#1,#5)

PR c++/80891 (#1,#5)
* cp-tree.h (lookup_maybe_add): Add DEDUPING argument.
* name-lookup.c (name_lookup): Add deduping field.
(name_lookup::preserve_state, name_lookup::restore_state): Deal
with deduping.
(name_lookup::add_overload): New.
(name_lookup::add_value, name_lookup::add_fns): Call add_overload.
(name_lookup::search_adl): Set deduping.  Don't unmark here.
* pt.c (most_specialized_instantiation): Revert previous change,
Assert not given duplicates.
* tree.c (lookup_mark): Just mark the underlying decls.
(lookup_maybe_add): Dedup using marked decls.

PR c++/80891 (#5)
* g++.dg/lookup/pr80891-5.C: New.

From-SVN: r248578

7 years agore PR fortran/53029 (missed optimization in internal read (without implied-do-loop))
Jerry DeLisle [Mon, 29 May 2017 19:17:57 +0000 (19:17 +0000)]
re PR fortran/53029 (missed optimization in internal read (without implied-do-loop))

2017-05-29  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libgfortran/53029
* list_read.c (list_formatted_read_scala): Set the err return
value to the common.flags error values.

* gfortran.dg/read_5.f90: New test.

From-SVN: r248577

7 years agoPR c++/80891 (#4)
Nathan Sidwell [Mon, 29 May 2017 16:50:41 +0000 (16:50 +0000)]
PR c++/80891 (#4)

PR c++/80891 (#4)
* ptree.c (cxx_print_xnode): Show internal OVERLOAD structure.
* tree.c (ovl_insert, ovl_iterator_remove_node): Fix copying
assert.

PR c++/80891 (#4)
* g++.dg/lookup/pr80891-4.C: New.

From-SVN: r248576

7 years agoStat hack representation
Nathan Sidwell [Mon, 29 May 2017 15:01:20 +0000 (15:01 +0000)]
Stat hack representation

Stat hack representation
* name-lookup.c (STAT_HACK_P, STAT_TYPE, STAT_DECL)
MAYBE_STAT_DECL, MAYBE_STAT_TYPE): New.
(stat_hack): New.
(find_namespace_binding): Replace with ...
(find_namespace_slot): ... this.
(find_namespace_value): New.
(name_lookup::search_namespace_only,
name_lookup::adl_namespace_only): Adjust.
(update_binding): Add SLOT parameter, adjust.
(check_local_shadow): Use find_namespace_value.
(set_local_extern_decl_linkage): Likewise.
(do_pushdecl): Adjust for namespace slot.
(push_local_binding): Assert not a namespace binding.
(check_for_out_of_scope_variable): Use find_namespace_value.
(set_identifier_type_value_with_scope): Likewise.
(get_namespace_binding): Likewise.
(set_namespace_binding): Delete.
(set_global_binding): Directly update the binding.
(finish_namespace_using_decl): Likewise.
(lookup_type_scope_1): Use find_namespace_slot and update.
(do_push_nested_namespace): Use find_namespace_value.

From-SVN: r248574

7 years agoPR c++/80891 (#1)
Nathan Sidwell [Mon, 29 May 2017 14:08:04 +0000 (14:08 +0000)]
PR c++/80891 (#1)

PR c++/80891 (#1)
* pt.c (most_specialized_instantiation): Cope with duplicate
instantiations.

PR c++/80891 (#1)
* g++.dg/lookup/pr80891-1.C: New.

From-SVN: r248573

7 years agoPR c++/80891 (#3)
Nathan Sidwell [Mon, 29 May 2017 12:52:58 +0000 (12:52 +0000)]
PR c++/80891 (#3)

PR c++/80891 (#3)
* cp-tree.h (build_min_nt_call_vec): Declare.
* decl.c (build_offset_ref_call_from_tree): Call it.
* parser.c (cp_parser_postfix_expression): Likewise.
* pt.c (tsubst_copy_and_build): Likewise.
* semantics.c (finish_call_expr): Likewise.
* tree.c (build_min_nt_loc): Keep unresolved lookups.
(build_min): Likewise.
(build_min_non_dep): Likewise.
(build_min_non_dep_call_vec): Likewise.
(build_min_nt_call_vec): New.

PR c++/80891 (#3)
* g++.dg/lookup/pr80891-3.C: New.

From-SVN: r248571

7 years agoPR c++/80891 (#2)
Nathan Sidwell [Mon, 29 May 2017 11:51:13 +0000 (11:51 +0000)]
PR c++/80891 (#2)

PR c++/80891 (#2)
* tree.c (ovl_copy): Adjust assert, copy OVL_LOOKUP.
(ovl_used): New.
(lookup_keep): Call it.

PR c++/80891 (#2)
* g++.dg/lookup/pr80891-2.C: New.

From-SVN: r248570

7 years agocheck_GNU_style_lib.py: Fix trailing whitespace check
Tom de Vries [Mon, 29 May 2017 07:31:11 +0000 (07:31 +0000)]
check_GNU_style_lib.py: Fix trailing whitespace check

2017-05-29  Tom de Vries  <tom@codesourcery.com>

* check_GNU_style_lib.py (TrailingWhitespaceCheck.check): Assert no
trailing eol.
(TrailingWhitespaceTest): New unit test.
(check_GNU_style_file): Remove eol before checking.

From-SVN: r248556

7 years agocheck_GNU_style.py: Read stdin if file argument is '-'
Tom de Vries [Mon, 29 May 2017 07:31:02 +0000 (07:31 +0000)]
check_GNU_style.py: Read stdin if file argument is '-'

2017-05-29  Tom de Vries  <tom@codesourcery.com>

* check_GNU_style_lib.py (check_GNU_style_file): Treat file argument as
file handle.  Add and handle file_encoding argument.
* check_GNU_style.py (main): Handle '-' file argument.  Call
check_GNU_style_file with file handle as argument.

From-SVN: r248555

7 years agocheck_GNU_style_lib.py: Suggest to install all missing pip3 packages at once
Tom de Vries [Mon, 29 May 2017 07:30:47 +0000 (07:30 +0000)]
check_GNU_style_lib.py: Suggest to install all missing pip3 packages at once

Instead of:
...
$ ./contrib/check_GNU_style.py
termcolor module is missing (run: pip3 install termcolor)
$ pip3 install termcolor
$ ./contrib/check_GNU_style.py
unidiff module is missing (run: pip3 install unidiff)
$ pip3 install unidiff
$
...

Do:
...
$ ./contrib/check_GNU_style.py
termcolor and unidiff modules are missing (run: pip3 install termcolor unidiff)
$ pip3 install termcolor unidiff
$
...

2017-05-29  Tom de Vries  <tom@codesourcery.com>

* check_GNU_style_lib.py: Use import_pip3 to import pip3 packages.
(import_pip3): New function.

From-SVN: r248554

7 years agore PR fortran/37131 (inline matmul for small matrix sizes)
Thomas Koenig [Mon, 29 May 2017 06:03:23 +0000 (06:03 +0000)]
re PR fortran/37131 (inline matmul for small matrix sizes)

2017-05-29  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/37131
* frontend-passes.c (check_conjg_transpose_variable):
Add prototype.
(has_dimen_vector_ref):  Likewise
(matmul_temp_args):  New function. Add prototype.
(optimize_namespace):  Call matmul_temp_args.

2017-05-29  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/37131
* gfortran.dg/promotion_2.f90: Add -finline-matmul-limit=0 to
flags.
* gfortran.dg/transpose_optimization_1.f90: Likewise.
* gfortran.dg/inline_matmul_17.f90:  New test.

From-SVN: r248553

7 years agoDaily bump.
GCC Administrator [Mon, 29 May 2017 00:16:23 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r248552

7 years agore PR c++/80737 (variant<any> as class member resulting to compile errors)
Tim Shen [Sun, 28 May 2017 21:27:30 +0000 (21:27 +0000)]
re PR c++/80737 (variant<any> as class member resulting to compile errors)

  PR libstdc++/80737
  * include/std/variant(variant::variant): SFINAE on is_same first.
  * testsuite/20_util/variant/any.cc: test case.

From-SVN: r248548

7 years agoFix libgfortran FMA3/FMA4 tests
Rainer Orth [Sun, 28 May 2017 19:12:45 +0000 (19:12 +0000)]
Fix libgfortran FMA3/FMA4 tests

* acinclude.m4 (LIBGFOR_CHECK_FMA3): Use test from
check_effective_target_fma in gcc.target/i386/i386.exp.
(LIBGFOR_CHECK_FMA4): Use test from check_effective_target_fma4.
* configure: Regenerate.

From-SVN: r248547

7 years agofrontend-passes.c (matmul_lhs_realloc): Correct allocation size for case A1B2.
Thomas Koenig [Sun, 28 May 2017 14:02:57 +0000 (14:02 +0000)]
frontend-passes.c (matmul_lhs_realloc): Correct allocation size for case A1B2.

2017-05-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

* frontend-passes.c (matmul_lhs_realloc):  Correct
allocation size for case A1B2.

2017-05-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

* gfortran.dg/matmul_bounds_12.f90:  New test.

From-SVN: r248546

7 years agoDaily bump.
GCC Administrator [Sun, 28 May 2017 00:16:31 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r248544

7 years agoRevert:
Michael Eager [Sat, 27 May 2017 18:29:40 +0000 (18:29 +0000)]
Revert:

2016-01-21  Ajit Agarwal  <ajitkum@xilinx.com>

See https://gcc.gnu.org/ml/gcc/2017-05/msg00221.html.

* config/microblaze/microblaze.h
(FIXED_REGISTERS): Update in macro.
(CALL_USED_REGISTERS): Update in macro.

From-SVN: r248540

7 years agod-demangle.c (dlang_identifier): Prefix mangled init symbols with `initializer for'.
Iain Buclaw [Sat, 27 May 2017 11:30:22 +0000 (11:30 +0000)]
d-demangle.c (dlang_identifier): Prefix mangled init symbols with `initializer for'.

libiberty/ChangeLog:

* d-demangle.c (dlang_identifier): Prefix mangled init symbols
with `initializer for'.
* testsuite/demangle-expected: Update tests.

From-SVN: r248539

7 years agod-demangle.c (dlang_call_convention_p): Move declaration before dlang_type.
Iain Buclaw [Sat, 27 May 2017 11:29:52 +0000 (11:29 +0000)]
d-demangle.c (dlang_call_convention_p): Move declaration before dlang_type.

libiberty/ChangeLog:

* d-demangle.c (dlang_call_convention_p): Move declaration
before dlang_type.
(dlang_type): Handle function types.
* testsuite/d-demangle-expected: Add tests.

From-SVN: r248538

7 years agod-demangle.c (dlang_parse_real): Remove stack buffer, write the demangled hexadecimal...
Iain Buclaw [Sat, 27 May 2017 11:29:38 +0000 (11:29 +0000)]
d-demangle.c (dlang_parse_real): Remove stack buffer, write the demangled hexadecimal directly to string.

libiberty/ChangeLog:

* d-demangle.c (dlang_parse_real): Remove stack buffer, write
the demangled hexadecimal directly to string.
* testsuite/d-demangle-expected: Add tests.

From-SVN: r248537

7 years agoMAINTAINERS: Update my email address, and remove myself as maintainer in some areas.
Bernd Schmidt [Sat, 27 May 2017 10:50:27 +0000 (10:50 +0000)]
MAINTAINERS: Update my email address, and remove myself as maintainer in some areas.

* MAINTAINERS: Update my email address, and remove myself as
maintainer in some areas.

From-SVN: r248536

7 years ago* doc/install.texi: Add links to macOS binary distributions.
Francois-Xavier Coudert [Sat, 27 May 2017 08:40:18 +0000 (08:40 +0000)]
* doc/install.texi: Add links to macOS binary distributions.

From-SVN: r248535

7 years agoSmall ChangeLog tweak.
Jakub Jelinek [Sat, 27 May 2017 07:48:54 +0000 (09:48 +0200)]
Small ChangeLog tweak.

From-SVN: r248534

7 years agore PR bootstrap/80887 (gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR ...
Jakub Jelinek [Sat, 27 May 2017 07:46:12 +0000 (09:46 +0200)]
re PR bootstrap/80887 (gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access)

PR bootstrap/80887
2017-05-25  Marc Glisse  <marc.glisse@inria.fr>

* match.pd ((A +- CST1) +- CST2): Allow some conversions.

* gcc.dg/tree-ssa/addadd.c: Xfail all scan-tree-dump*.

From-SVN: r248533

7 years agoDaily bump.
GCC Administrator [Sat, 27 May 2017 00:16:32 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r248532

7 years agocompiler: identify array index expressions in lvalue context
Ian Lance Taylor [Fri, 26 May 2017 21:48:49 +0000 (21:48 +0000)]
compiler: identify array index expressions in lvalue context

    Update the Mark_lvalue_varexprs visitor class (used in
    Assignment_statement::do_get_backend) to identify
    Array_index_expression's that appear on the left hand side of
    assignments, then pass this context info on when invoking
    Array_type::get_value_pointer.

    Reviewed-on: https://go-review.googlesource.com/44170

From-SVN: r248528

7 years agore PR libgcc/80037 (Bad .eh_frame data in crtend.o)
Richard Henderson [Fri, 26 May 2017 18:45:59 +0000 (11:45 -0700)]
re PR libgcc/80037 (Bad .eh_frame data in crtend.o)

PR libgcc/80037

 * config/alpha/t-alpha (CRTSTUFF_T_CFLAGS): New.

From-SVN: r248522

7 years agoImplement DR2061
Nathan Sidwell [Fri, 26 May 2017 18:13:53 +0000 (18:13 +0000)]
Implement DR2061

gcc/
Implement DR2061
* name-lookup.c (push_inline_namespaces): New.
(push_namespace): Look inside inline namespaces.

testsuite/
* g++.dg/cpp0x/dr2061.C: New.
* g++.dg/parse/namespace-alias-1.C: Add more test.

From-SVN: r248521

7 years agoInline and using namespace representation change.
Nathan Sidwell [Fri, 26 May 2017 17:19:46 +0000 (17:19 +0000)]
Inline and using namespace representation change.

gcc/cp/
Inline and using namespace representation change.
* cp-tree.h (struct lang_decl_ns): Delete ns_using.  Add usings,
inlinees as vector.
(DECL_NAMESPACE_USING): Adjust.
(DECL_NAMESPACE_INLINEES): New.
* name-lookup.h (struct cp_binding_level): Change usings
representation.
* name-lookup.c (name_lookup::do_queue_usings)
name_lookup::queue_usings): Adjust.
(name_lookup::search_namespace, name_lookup::search_usings)
name_lookup::queue_namespace): Adjust.
(name_lookup::adl_namespace_only): Adjust.
(add_using_namespace, push_namespace): Push onto vector.
(pop_namespace): Add timing logic.

libcc1/
* libcp1plugin.cc (plugin_make_namespace_inline): Push onto linees.
((--This line, and those below, will be ignored--

M    gcc/cp/ChangeLog
M    gcc/cp/cp-tree.h
M    gcc/cp/name-lookup.c
M    gcc/cp/name-lookup.h
M    libcc1/libcp1plugin.cc
M    libcc1/ChangeLog

From-SVN: r248520

7 years agore PR fortran/80889 (Bootstrap broken on all targets due to rev 248472)
Thomas Koenig [Fri, 26 May 2017 17:16:35 +0000 (17:16 +0000)]
re PR fortran/80889 (Bootstrap broken on all targets due to rev 248472)

2017-05-26  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR boostrap/80889
* acinclude.m4: Also set HAVE_AVX128 on the false
branch of LIBGFOR_CHECK_AVX128.
* configure:  Regenerated.

From-SVN: r248519

7 years agocall.c (build_operator_new_call): Do namelookup and ADL here.
Nathan Sidwell [Fri, 26 May 2017 16:34:40 +0000 (16:34 +0000)]
call.c (build_operator_new_call): Do namelookup and ADL here.

gcc/cp/
* call.c (build_operator_new_call): Do namelookup and ADL here.
(build_new_op_1): Likewise.
* name-lookup.h (lookup_function_nonclass): Delete declaration.
(do_using_directive): Likewise.
* name-lookup.c (set_namespace_binding, push_local_binding): Don't
declare early.
(struct scope_binding): Delete.
(EMPTY_SCOPE_BINDING): Delete.
(set_decl_namespace): Use OVL_P.
(finish_local_using_decl): Lose unnecesary checks.
(lookup_function_nonclass): Delete.
(cp_emit_debug_info_for_using): Use MAYBE_BASELINK_P.

libcc1/
* libcp1plugin.cc (plugin_add_using_namespace): Call
finish_namespace_using_directive.

From-SVN: r248518

7 years agocp-tree.h (OVL_CHAIN): Check looking at OVERLOAD.
Nathan Sidwell [Fri, 26 May 2017 15:01:07 +0000 (15:01 +0000)]
cp-tree.h (OVL_CHAIN): Check looking at OVERLOAD.

* cp-tree.h (OVL_CHAIN): Check looking at OVERLOAD.
(ovl_iterator): Add allow_inner field.  Adjust ctor.  Make
unduplicatable.
(ovl_iterator::maybe_push, ovl_iterator::pop): New.
(lkp_iterator): Add outer field.  Adjust ctor.
(lkp_iterator::operator++): New.
(lookup_mark, lookup_maybe_add): Declare.
* name-lookup.c (name_lookup): Delete fn_set member.
(name_lookup::preserve_state, name_lookup::restore_state): Unmark
and mark lookup.
(name_lookup::add_value): Use lookup_add directly.
(name_lookup::add_fns: Use lookup_maybe_add.
(name_lookup::search_adl): Mark and unmark fns.
(pushdecl): Adjust.
* pt.c (check_explicit_specialization): Use lookup_add directly.
* ptree.c (cxx_print_xnode): Show complete overload structure.
* tree.c (lookup_mark, lookup_maybe_add): New.

From-SVN: r248517

7 years agoRenumber TDF_* flags to be contiguous.
Martin Liska [Fri, 26 May 2017 14:49:36 +0000 (16:49 +0200)]
Renumber TDF_* flags to be contiguous.

2017-05-26  Martin Liska  <mliska@suse.cz>

* dumpfile.h (enum dump_kind): Renumber TDF_* flags to be contiguous.

From-SVN: r248515

7 years agoSimplify usage of some TDF_* flags.
Martin Liska [Fri, 26 May 2017 14:45:59 +0000 (16:45 +0200)]
Simplify usage of some TDF_* flags.

2017-05-26  Martin Liska  <mliska@suse.cz>

* cfg.c (check_bb_profile): Do not use TDF_COMMENT and print
always leading ';; '.
(dump_bb_info): Likewise.
(brief_dump_cfg): Likewise.
* cfgrtl.c (print_rtl_with_bb): Do not use TDF_COMMENT.
* dumpfile.c: Remove usage of TDF_VERBOSE.
* dumpfile.h (enum dump_kind): Likewise.
(dump_gimple_bb_header): Do not use TDF_COMMENT.
* print-tree.c (debug_verbose): Remove.
* tree-cfg.c (gimple_dump_cfg): Do not use TDF_COMMENT.
(dump_function_to_file): Remove dumps guarded with TDF_VERBOSE.
* tree-diagnostic.c (default_tree_printer): Replace
TDF_DIAGNOSTIC with TDF_SLIM.

From-SVN: r248514

7 years agotree-vect-loop-manip.c (create_intersect_range_checks_index): Pass in parameter loop...
Bin Cheng [Fri, 26 May 2017 14:21:29 +0000 (14:21 +0000)]
tree-vect-loop-manip.c (create_intersect_range_checks_index): Pass in parameter loop, rather than loop_vinfo.

* tree-vect-loop-manip.c (create_intersect_range_checks_index): Pass
in parameter loop, rather than loop_vinfo.
(create_intersect_range_checks): Ditto.
(vect_create_cond_for_alias_checks): Update call to above functions.

From-SVN: r248513

7 years agore PR middle-end/80815 (wrong code because of broken runtime alias check in vectorizer)
Bin Cheng [Fri, 26 May 2017 14:18:26 +0000 (14:18 +0000)]
re PR middle-end/80815 (wrong code because of broken runtime alias check in vectorizer)

PR tree-optimization/80815
* tree-data-ref.c (prune_runtime_alias_test_list): Simplify condition
for merging runtime alias checks.  Handle negative DR_STEPs.
gcc/testsuite
* gcc.dg/vect/pr80815-1.c: New test.
* gcc.dg/vect/pr80815-2.c: New test.

From-SVN: r248512

7 years agotree-vect-data-refs.c (Operator==, [...]): Move from ...
Bin Cheng [Fri, 26 May 2017 14:10:43 +0000 (14:10 +0000)]
tree-vect-data-refs.c (Operator==, [...]): Move from ...

* tree-vect-data-refs.c (Operator==, comp_dr_with_seg_len_pair):
Move from ...
* tree-data-ref.c (Operator==, comp_dr_with_seg_len_pair): To here.
* tree-vect-data-refs.c (vect_prune_runtime_alias_test_list): Factor
out code pruning runtime alias checks.
* tree-data-ref.c (prune_runtime_alias_test_list): New function
factored out from above.
* tree-vectorizer.h (struct dr_with_seg_len, dr_with_seg_len_pair_t):
Move from ...
* tree-data-ref.h (struct dr_with_seg_len, dr_with_seg_len_pair_t):
... to here.
(prune_runtime_alias_test_list): New decalaration.

From-SVN: r248511

7 years agotree-vect-data-refs.c (compare_tree): Rename and move ...
Bin Cheng [Fri, 26 May 2017 14:04:49 +0000 (14:04 +0000)]
tree-vect-data-refs.c (compare_tree): Rename and move ...

* tree-vect-data-refs.c (compare_tree): Rename and move ...
* tree-data-ref.c (data_ref_compare_tree): ... to here.
* tree-data-ref.h (data_ref_compare_tree): New decalaration.
* tree-vect-data-refs.c (dr_group_sort_cmp): Update uses.
(operator==, comp_dr_with_seg_len_pair): Ditto.
(vect_prune_runtime_alias_test_list): Ditto.

From-SVN: r248510

7 years ago* name-lookup.c (name_lookup::search_adl): ADL OMP UDR type args.
Nathan Sidwell [Fri, 26 May 2017 11:36:39 +0000 (11:36 +0000)]
* name-lookup.c (name_lookup::search_adl): ADL OMP UDR type args.

From-SVN: r248506

7 years agoBound partial-inlining-entry-probability param (PR ipa/80663).
Martin Liska [Fri, 26 May 2017 11:05:52 +0000 (13:05 +0200)]
Bound partial-inlining-entry-probability param (PR ipa/80663).

2017-05-26  Martin Liska  <mliska@suse.cz>

PR ipa/80663
* params.def: Bound partial-inlining-entry-probability param.
2017-05-26  Martin Liska  <mliska@suse.cz>

PR ipa/80663
* g++.dg/ipa/pr80212.C: Remove the test as it does not longer
split at the problematic spot.
* gcc.dg/ipa/pr48195.c: Change 101 to 100 as 101 is no longer
a valid value of the param.

From-SVN: r248489

7 years agore PR sanitizer/80875 (UBSAN: compile time crash in fold_binary_loc at fold-const...
Marek Polacek [Fri, 26 May 2017 09:31:36 +0000 (09:31 +0000)]
re PR sanitizer/80875 (UBSAN: compile time crash in fold_binary_loc at fold-const.c:9817)

PR sanitizer/80875
* fold-const.c (fold_binary_loc) <case MULT_EXPR>: Check if OP1
can be negated.

* c-c++-common/ubsan/pr80875.c: New test.

From-SVN: r248485

7 years agoReplace absolute line numbers in gcc.dg
Tom de Vries [Fri, 26 May 2017 09:25:00 +0000 (09:25 +0000)]
Replace absolute line numbers in gcc.dg

2017-05-26  Tom de Vries  <tom@codesourcery.com>

PR testsuite/80557
* gcc.dg/20011021-1.c: Replace absolute line numbers.
* gcc.dg/Wcxx-compat-8.c: Same.
* gcc.dg/Wobjsize-1.c: Same.
* gcc.dg/Wshadow-local-2.c: Same.
* gcc.dg/Wstrict-aliasing-converted-assigned.c: Same.
* gcc.dg/anon-struct-6.c: Same.
* gcc.dg/asm-wide-1.c: Same.
* gcc.dg/builtin-inf-1.c: Same.
* gcc.dg/builtin-redefine.c: Same.
* gcc.dg/c90-array-lval-6.c: Same.
* gcc.dg/c90-array-lval-7.c: Same.
* gcc.dg/c90-fordecl-1.c: Same.
* gcc.dg/c99-fordecl-2.c: Same.
* gcc.dg/cast-lvalue-1.c: Same.
* gcc.dg/cast-lvalue-2.c: Same.
* gcc.dg/compound-lvalue-1.c: Same.
* gcc.dg/cond-lvalue-1.c: Same.
* gcc.dg/cpp/20000419-1.c: Same.
* gcc.dg/cpp/backslash.c: Same.
* gcc.dg/cpp/backslash2.c: Same.
* gcc.dg/cpp/macspace1.c: Same.
* gcc.dg/cpp/macspace2.c: Same.
* gcc.dg/cpp/multiline-2.c: Same.
* gcc.dg/cpp/pr27777.c: Same.
* gcc.dg/cpp/pr30786.c: Same.
* gcc.dg/cpp/pr34602.c: Same.
* gcc.dg/cpp/redef1.c: Same.
* gcc.dg/cpp/tr-warn1.c: Same.
* gcc.dg/cpp/tr-warn3.c: Same.
* gcc.dg/cpp/tr-warn6.c: Same.
* gcc.dg/cpp/trad/hash.c: Same.
* gcc.dg/cpp/trad/redef1.c: Same.
* gcc.dg/cpp/ucs.c: Same.
* gcc.dg/declspec-10.c: Same.
* gcc.dg/declspec-11.c: Same.
* gcc.dg/declspec-18.c: Same.
* gcc.dg/format/c99-strftime-1.c: Same.
* gcc.dg/format/ext-3.c: Same.
* gcc.dg/format/pr72858.c: Same.
* gcc.dg/gomp/appendix-a/a.24.1.c: Same.
* gcc.dg/init-string-1.c: Same.
* gcc.dg/label-decl-3.c: Same.
* gcc.dg/m-un-2.c: Same.
* gcc.dg/nofixed-point-2.c: Same.
* gcc.dg/noncompile/20020213-1.c: Same.
* gcc.dg/pch/counter-2.c: Same.
* gcc.dg/plugin/diagnostic-test-string-literals-2.c: Same.
* gcc.dg/pr27528.c: Same.
* gcc.dg/pr27953.c: Same.
* gcc.dg/pr35899.c: Same.
* gcc.dg/pr37561.c: Same.
* gcc.dg/pr45461.c: Same.
* gcc.dg/pr45750.c: Same.
* gcc.dg/pr53196-2.c: Same.
* gcc.dg/pr53265.c: Same.
* gcc.dg/redecl-1.c: Same.
* gcc.dg/tls/thr-init-1.c: Same.
* gcc.dg/torture/pr51106-1.c: Same.
* gcc.dg/torture/pr51106-2.c: Same.
* gcc.dg/uninit-19.c: Same.
* gcc.dg/uninit-pr20644.c: Same.

From-SVN: r248484

7 years agocp-tree.h (struct lang_decl_decomp): New type.
Jakub Jelinek [Fri, 26 May 2017 09:17:54 +0000 (11:17 +0200)]
cp-tree.h (struct lang_decl_decomp): New type.

* cp-tree.h (struct lang_decl_decomp): New type.
(struct lang_decl): Add u.decomp.
(LANG_DECL_DECOMP_CHECK): Define.
(DECL_DECOMPOSITION_P): Note it is set also on the vars
for user identifiers.
(DECL_DECOMP_BASE): Define.
(retrofit_lang_decl): Add extra int = 0 argument.
* lex.c (retrofit_lang_decl): Add SEL argument, if non-zero
use it to influence the selector choices and for selector
0 to non-zero transition copy old content.
(cxx_dup_lang_specific_decl): Handle DECL_DECOMPOSITION_P.
* decl.c (poplevel): For DECL_DECOMPOSITION_P, check
!DECL_DECOMP_BASE instead of !DECL_VALUE_EXPR.  Adjust warning
wording if decl is a structured binding.
(cp_finish_decomp): Pass 4 as the new argument to retrofit_lang_decl.
Set DECL_DECOMP_BASE.  Ignore DECL_READ_P sets from initialization
of individual variables for tuple structured bindings.
(grokdeclarator): Pass 4 as the new argument to retrofit_lang_decl.
Clear DECL_DECOMP_BASE.
* decl2.c (mark_used): Mark DECL_DECOMP_BASE TREE_USED as well.
* pt.c (tsubst_decomp_names): Assert DECL_DECOMP_BASE matches what
is expected.
* expr.c (mark_exp_read): Recurse on DECL_DECOMP_BASE instead of
DECL_VALUE_EXPR.

* g++.dg/cpp1z/decomp29.C (p): New variable.
(main): Add further tests.

From-SVN: r248483

7 years agore PR tree-optimization/80842 (ICE at -O3 on x86_64-linux-gnu in "set_lattice_value")
Richard Biener [Fri, 26 May 2017 07:19:00 +0000 (07:19 +0000)]
re PR tree-optimization/80842 (ICE at -O3 on x86_64-linux-gnu in "set_lattice_value")

2017-05-26  Richard Biener  <rguenther@suse.de>

PR tree-optimization/80842
* tree-ssa-ccp.c (set_lattice_value): Always meet with the old
value.

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

From-SVN: r248482

7 years agore PR tree-optimization/80844 (OpenMP SIMD doesn't know how to efficiently zero a...
Richard Biener [Fri, 26 May 2017 07:14:52 +0000 (07:14 +0000)]
re PR tree-optimization/80844 (OpenMP SIMD doesn't know how to efficiently zero a vector (its stores zeros and reloads))

2017-05-26  Richard Biener  <rguenther@suse.de>

PR tree-optimization/80844
* tree-vectorizer.c (adjust_simduid_builtins): Propagate
results.

From-SVN: r248481

7 years agoDaily bump.
GCC Administrator [Fri, 26 May 2017 00:16:18 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r248479

7 years agoMAINTAINERS: Add self to Write After Approval
Eric Gallager [Thu, 25 May 2017 23:38:05 +0000 (23:38 +0000)]
MAINTAINERS: Add self to Write After Approval

2017-05-25  Eric Gallager  <egall@gwmail.gwu.edu>

* MAINTAINERS: Add self to Write After Approval

From-SVN: r248475

7 years agore PR c++/79652 (ICE on invalid c++ code in warn_extern_redeclared_static in cp/decl...
Paolo Carlini [Thu, 25 May 2017 22:29:40 +0000 (22:29 +0000)]
re PR c++/79652 (ICE on invalid c++ code in warn_extern_redeclared_static in cp/decl.c:1231)

2017-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/79652
* g++.dg/cpp0x/pr79652.C: New.

From-SVN: r248474

7 years agore PR c++/71451 (ICE on invalid C++11 code on x86_64-linux-gnu: in dependent_type_p...
Paolo Carlini [Thu, 25 May 2017 22:28:54 +0000 (22:28 +0000)]
re PR c++/71451 (ICE on invalid C++11 code on x86_64-linux-gnu: in dependent_type_p, at cp/pt.c:22599)

2017-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/71451
* g++.dg/cpp0x/variadic170.C: New.

From-SVN: r248473

7 years agore PR libfortran/78379 (Processor-specific versions for matmul)
Thomas Koenig [Thu, 25 May 2017 21:51:27 +0000 (21:51 +0000)]
re PR libfortran/78379 (Processor-specific versions for matmul)

2017-05-25  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libfortran/78379
* Makefile.am: Add generated/matmulavx128_*.c files.
Handle them for compiling and setting the right flags.
* acinclude.m4: Add tests for FMA3, FMA4 and AVX128.
* configure.ac: Call them.
* Makefile.in: Regenerated.
* config.h.in: Regenerated.
* configure: Regenerated.
* m4/matmul.m4:  Handle AMD chips by calling 128-bit AVX
versions which use FMA3 or FMA4.
* m4/matmulavx128.m4: New file.
        * generated/matmul_c10.c: Regenerated.
        * generated/matmul_c16.c: Regenerated.
        * generated/matmul_c4.c: Regenerated.
        * generated/matmul_c8.c: Regenerated.
        * generated/matmul_i1.c: Regenerated.
        * generated/matmul_i16.c: Regenerated.
        * generated/matmul_i2.c: Regenerated.
        * generated/matmul_i4.c: Regenerated.
        * generated/matmul_i8.c: Regenerated.
        * generated/matmul_r10.c: Regenerated.
        * generated/matmul_r16.c: Regenerated.
        * generated/matmul_r4.c: Regenerated.
        * generated/matmul_r8.c: Regenerated.
        * generated/matmulavx128_c10.c: New file.
        * generated/matmulavx128_c16.c: New file.
        * generated/matmulavx128_c4.c: New file.
        * generated/matmulavx128_c8.c: New file.
        * generated/matmulavx128_i1.c: New file.
        * generated/matmulavx128_i16.c: New file.
        * generated/matmulavx128_i2.c: New file.
        * generated/matmulavx128_i4.c: New file.
        * generated/matmulavx128_i8.c: New file.
        * generated/matmulavx128_r10.c: New file.
        * generated/matmulavx128_r16.c: New file.
        * generated/matmulavx128_r4.c: New file.
        * generated/matmulavx128_r8.c: New file.

From-SVN: r248472

7 years ago* g++.dg/cpp1z/nontype-auto11.C: Move from pr79583.C.
Jason Merrill [Thu, 25 May 2017 21:24:48 +0000 (17:24 -0400)]
* g++.dg/cpp1z/nontype-auto11.C: Move from pr79583.C.

From-SVN: r248471

7 years agoPR c++/80605 - __is_standard_layout and zero-length array
Jason Merrill [Thu, 25 May 2017 21:24:36 +0000 (17:24 -0400)]
PR c++/80605 - __is_standard_layout and zero-length array

* class.c (check_bases): Use DECL_FIELD_IS_BASE.

From-SVN: r248470

7 years agoKill OVL_CURRENT, OVL_NEXT.
Nathan Sidwell [Thu, 25 May 2017 20:55:07 +0000 (20:55 +0000)]
Kill OVL_CURRENT, OVL_NEXT.

* cp-tree.h (OVL_CURRENT, OVL_NEXT): Delete.
* name-lookup.c (set_decl_namespace): Use ovl_iterator.
(consider_binding_level): Use OVL_FIRST.
(cp_emit_debug_info_for_using): Use lkp_iterator.
* pt.c (check_explicit_specialization): Use ovl_iterator.

From-SVN: r248469

7 years agomd.texi (Machine Constraints): Update x86 family machine constraints section to match...
Sebastian Peryt [Thu, 25 May 2017 19:41:29 +0000 (21:41 +0200)]
md.texi (Machine Constraints): Update x86 family machine constraints section to match 'config/i386/constraints.md'.

* doc/md.texi (Machine Constraints): Update x86 family
machine constraints section to match 'config/i386/constraints.md'.

From-SVN: r248468

7 years agoKill DECL_NAMESPACE_USERS, DECL_NAMESPACE_ASSOCIATIONS.
Nathan Sidwell [Thu, 25 May 2017 18:52:47 +0000 (18:52 +0000)]
Kill DECL_NAMESPACE_USERS, DECL_NAMESPACE_ASSOCIATIONS.

gcc/cp/
Kill DECL_NAMESPACE_USERS, DECL_NAMESPACE_ASSOCIATIONS.
* cp-tree.h (lang_decl_ns): Remove ns_users field.
(DECL_NAMESPACE_USERS, DECL_NAMESPACE_ASSOCIATIONS): Delete.
(TREE_INDIRECT_USING): Delete.
* name-lookup.h (is_associated_namespace): Delete.
* name-lookup.c (name_lookup::search_usings
name_lookup::do_queue_usings): Usings are always direct.
(is_associated_namespace): Delete.
(handle_namespace_attrs): Use DECL_NAMESPACE_INLINE_P.
(namespace_ancestor_1, namespace_ancestor): Delete.
(push_using_directive_1, push_using_directive): Delete.
(add_using_namespace_1): Delete.
(add_using_namespace): Reimplement.
(emit_debug_info_using_namespace): New.
(finish_namespace_using_directive, finish_local_using_directive
push_namespace): Adjust.
* tree.c (cp_free_lang_data): Remove DECL_NAMESPACE_USERS
handling.

libcc1/
* libcp1plugin.cc (plugin_make_namespace_inline): Check and set
DECL_NAMESPACE_INLINE_P.

gcc/testsuite/
* g++.dg/lookup/using56.C: New.
* g++.dg/lookup/using57.C: New.
* g++.dg/lookup/using58.C: New.
* g++.dg/lookup/using59.C: New.

From-SVN: r248467

7 years agoinvoke.texi (-Wcatch-value=): Document new warning option.
Volker Reichelt [Thu, 25 May 2017 17:05:07 +0000 (17:05 +0000)]
invoke.texi (-Wcatch-value=): Document new warning option.

        * doc/invoke.texi (-Wcatch-value=): Document new warning option.

        * c.opt (Wcatch-value=): New C++ warning flag.

        * semantics.c (finish_handler_parms): Warn about non-reference
        * type
        catch handlers.

        * g++.dg/warn/Wcatch-value-1.C: New test.
        * g++.dg/warn/Wcatch-value-2.C: New test.
        * g++.dg/warn/Wcatch-value-3.C: New test.

From-SVN: r248466

7 years agoReimplement unqualified namespace lookup.
Nathan Sidwell [Thu, 25 May 2017 16:55:43 +0000 (16:55 +0000)]
Reimplement unqualified namespace lookup.

gcc/cp/
Reimplement unqualified namespace lookup.
* name-lookup.c (name_lookup::using_pair)
name_lookup::using_queue): New typedefs.
(name_lookup::queue_namespace, name_lookup::do_queue_usings,
name_lookup::queue_usings): New.
(name_lookup::search_unqualified): New.
(merge_functions, same_entity_p, ambiguous_decl)
unqualified_namespace_lookup_1, unqualified_namespace_lookup,
lookup_using_namespace): Delete.
(lookup_name_real_1): Adjust.

gcc/testsuite/
* g++.dg/lookup/using17.C: Adjust diagnostics.

From-SVN: r248465

7 years agooverflow-warn-9.c: Adjust expected warnings to avoid false positives on ILP32.
Martin Sebor [Thu, 25 May 2017 16:51:24 +0000 (16:51 +0000)]
overflow-warn-9.c: Adjust expected warnings to avoid false positives on ILP32.

gcc/testsuite/ChangeLog:
* gcc.dg/overflow-warn-9.c: Adjust expected warnings to avoid false
positives on ILP32.
* gcc.dg/pr59963-2.c: Replace tabs with spaces, adjust expected
column numbers.
* gcc.dg/pr60114.c: Same.

From-SVN: r248464

7 years agoReimplement qualified namespace lookup.
Nathan Sidwell [Thu, 25 May 2017 15:12:38 +0000 (15:12 +0000)]
Reimplement qualified namespace lookup.

* name-lookup.c (name_lookup::flags): New member.  Adjust ctor.
(name_lookup::ambiguous, name_lookup::add_value)
name_lookup::add_type, name_lookup::process_binding): New.
(name_lookup::search_namespace_only)
name_lookup::search_namespace, name_lookup::search_usings): New.
(name_lookup::search_qualified): New.
(do_nonmember_using_decl, suggest_alternatives_for)
lookup_qualified_name): Adjust.
(tree_vec_contains): Delete.
(qualified_lookup_using_namespace): Rename to ...
(qualified_namespace_lookup): ... here.  Reimplement.
(((--This line, and those below, will be ignored--

M    cp/name-lookup.c
M    cp/ChangeLog

From-SVN: r248462

7 years ago* gfortran.dg/pr48636.f90: Fix template better.
Jan Hubicka [Thu, 25 May 2017 14:49:43 +0000 (16:49 +0200)]
* gfortran.dg/pr48636.f90: Fix template better.

From-SVN: r248460

7 years agoFix bootstrap failure in Ada FE due to -Werror=ignored-qualifiers
Jonathan Wakely [Thu, 25 May 2017 13:24:46 +0000 (14:24 +0100)]
Fix bootstrap failure in Ada FE due to -Werror=ignored-qualifiers

* gcc-interface/utils2.c (compare_elmt_bitpos): Remove redundant
const qualifiers that cause -Wignored-qualifiers warnings.

From-SVN: r248458

7 years agocp-tree.h (LOOKUP_SEEN_P, [...]): New.
Nathan Sidwell [Thu, 25 May 2017 12:51:30 +0000 (12:51 +0000)]
cp-tree.h (LOOKUP_SEEN_P, [...]): New.

gcc/cp/
* cp-tree.h (LOOKUP_SEEN_P, LOOKUP_FOUND_P): New.
* name-lookup.h (lookup_arg_dependent): Return plain tree.
* name-lookup.c (arg_lookup, arg_assoc, arg_assoc_args)
arg_assoc_args_vec, arg_assoc_type, add_function,
arg_assoc_namespace, arg_assoc_class_only, arg_assoc_bases,
arg_assoc_class, arg_assoc_template_arg, arg_assoc,
lookup_arg_dependent_1): Delete.
(name_lookup): New lookup object.
(name_lookup::preserve_state, name_lookup::restore_state)
name_lookup::mark_seen, name_lookup::find_and_mark,
name_lookup::add_fns, name_lookup::adl_namespace_only,
name_lookup::adl_namespace, name_lookup::adl_class_only,
name_lookup::adl_bases, name_lookup::adl_class,
name_lookup::adl_expr, name_lookup::adl_type,
name_lookup::adl_template_arg, name_lookup::search_adl): New.
(lookup_arg_dependent): Return a plain tree.  Adjust.
(is_associated_namespace): Move later.
gcc/cp/
* g++.dg/lookup/koenig14.C: New.

From-SVN: r248457

7 years agodump-parse-tree.c (show_expr): Also replace with dumpfile for showing values for...
Thomas Koenig [Thu, 25 May 2017 12:21:22 +0000 (12:21 +0000)]
dump-parse-tree.c (show_expr): Also replace with dumpfile for showing values for forgotten case.

2017-05-25  Thomas Koenig  <tkoenig@gcc.gnu.org>

* dump-parse-tree.c (show_expr):  Also replace
with dumpfile for showing values for forgotten
case.

From-SVN: r248456

7 years agoconfigure.ac: Add --enable-languages=default to mean default and make --enable-langua...
Nathan Sidwell [Thu, 25 May 2017 11:05:38 +0000 (11:05 +0000)]
configure.ac: Add --enable-languages=default to mean default and make --enable-languages=all...

* configure.ac: Add --enable-languages=default to mean default and
make --enable-languages=all mean all supported languages.
* configure: Regenerated.
gcc/
* doc/invoke.texi (--enable-languages): Update documentation.

From-SVN: r248454

7 years agoAdd -fdump*-folding suboption.
Martin Liska [Thu, 25 May 2017 10:08:02 +0000 (12:08 +0200)]
Add -fdump*-folding suboption.

2017-05-25  Martin Liska  <mliska@suse.cz>

* dumpfile.c: Add TDF_FOLDING.
* dumpfile.h (enum dump_kind): Likewise.
* genmatch.c (dt_simplify::gen_1): Use it.

From-SVN: r248452

7 years agore PR c++/79583 (ICE (internal compiler error) upon instantiation of class template...
Paolo Carlini [Thu, 25 May 2017 09:32:46 +0000 (09:32 +0000)]
re PR c++/79583 (ICE (internal compiler error) upon instantiation of class template with `auto` template parameter containing inner class template)

2017-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/79583
* g++.dg/cpp0x/pr79583.C: New.

From-SVN: r248451

7 years agore PR c++/68578 (ICE on invalid template declaration and instantiation)
Paolo Carlini [Thu, 25 May 2017 09:32:06 +0000 (09:32 +0000)]
re PR c++/68578 (ICE on invalid template declaration and instantiation)

2017-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/68578
* g++.dg/cpp1y/pr68578.C: New.

From-SVN: r248450

7 years agoRelax VIEW_CONVERT_EXPR - CONVERT_EXPR combination
Marc Glisse [Thu, 25 May 2017 08:50:54 +0000 (10:50 +0200)]
Relax VIEW_CONVERT_EXPR - CONVERT_EXPR combination

2017-05-25  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* match.pd (view_convert (convert@0 @1)): Handle zero-extension.

gcc/testsuite/
* gcc.dg/tree-ssa/vce-1.c: New file.

From-SVN: r248449

7 years agoAllow some NOP conversions in (X+CST1)+CST2 in match.pd
Marc Glisse [Thu, 25 May 2017 08:45:48 +0000 (10:45 +0200)]
Allow some NOP conversions in (X+CST1)+CST2 in match.pd

2017-05-25  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* match.pd ((A +- CST1) +- CST2): Allow some conversions.
* tree.c (drop_tree_overflow): Handle COMPLEX_CST and VECTOR_CST.

gcc/testsuite/
* gcc.dg/tree-ssa/addadd.c: New file.

From-SVN: r248448

7 years agoMove "(A & C) == D is false when D & ~C != 0" to match.pd
Marc Glisse [Thu, 25 May 2017 08:39:37 +0000 (10:39 +0200)]
Move "(A & C) == D is false when D & ~C != 0" to match.pd

2017-05-25  Marc Glisse  <marc.glisse@inria.fr>

* fold-const.c (fold_binary_loc) [(A & C) == D]: Remove transformation.
* match.pd (X == C): Rewrite it here.
(with_possible_nonzero_bits, with_possible_nonzero_bits2,
with_certain_nonzero_bits2): New predicates.
* tree-ssanames.c (get_nonzero_bits): Handle INTEGER_CST.

From-SVN: r248447

7 years agolto-streamer-in.c (lto_input_data_block): Adjust T const cast to avoid warning.
Nathan Sidwell [Thu, 25 May 2017 01:21:01 +0000 (01:21 +0000)]
lto-streamer-in.c (lto_input_data_block): Adjust T const cast to avoid warning.

* lto-streamer-in.c (lto_input_data_block): Adjust T const cast to
avoid warning.

From-SVN: r248445

7 years agoauto-profile.c (afdo_propagate): Adjust T const cast to avoid warning.
Nathan Sidwell [Thu, 25 May 2017 01:12:29 +0000 (01:12 +0000)]
auto-profile.c (afdo_propagate): Adjust T const cast to avoid warning.

* auto-profile.c (afdo_propagate): Adjust T const cast to avoid
warning.

From-SVN: r248444

7 years agoc=common.c (field_decl_cmp, [...]): Adjust T const casts to avoid warning.
Nathan Sidwell [Thu, 25 May 2017 00:55:10 +0000 (00:55 +0000)]
c=common.c (field_decl_cmp, [...]): Adjust T const casts to avoid warning.

* c=common.c (field_decl_cmp, resort_field_decl_cmp): Adjust T
const casts to avoid warning.

From-SVN: r248443

7 years ago* libiberty.h (ASTRDUP): Adjust cast to avoid warning.
Nathan Sidwell [Thu, 25 May 2017 00:33:48 +0000 (00:33 +0000)]
* libiberty.h (ASTRDUP): Adjust cast to avoid warning.

From-SVN: r248442

7 years agoDaily bump.
GCC Administrator [Thu, 25 May 2017 00:16:20 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r248441

7 years agofriend.c (do_friend): Remove check for existing decl.
Nathan Sidwell [Wed, 24 May 2017 23:18:58 +0000 (23:18 +0000)]
friend.c (do_friend): Remove check for existing decl.

cp/
* friend.c (do_friend): Remove check for existing decl.
* name-lookup.h (lookup_name_innermost_nonclass_level): Delete.
* name-lookup.c (push_local_binding): Directly look for binding.
(lookup_name_innermost_nonclass_level_1): Delete.
(lookup_name_innermost_nonclass_level): Delete.

testsuite/
* g++.dg/lookup/friend12.C: Adjust diagnostics.
* g++.dg/lookup/friend19.C: New.
* g++.dg/lookup/friend20.C: New.

From-SVN: r248435

7 years ago* Make-lang.in (CXX_AND_OBJCXX_OBJS): Alphabetize.
Nathan Sidwell [Wed, 24 May 2017 23:13:01 +0000 (23:13 +0000)]
* Make-lang.in (CXX_AND_OBJCXX_OBJS): Alphabetize.

From-SVN: r248434

7 years agocp-tree.h (cp_free_lang_data): Add extern.
Nathan Sidwell [Wed, 24 May 2017 23:08:17 +0000 (23:08 +0000)]
cp-tree.h (cp_free_lang_data): Add extern.

* cp-tree.h (cp_free_lang_data): Add extern.
(ovl_skip_hidden, is_overloaded_fn, really_overloaded_fn): Add
ATTRIBUTE_PURE.
(type_unknown_p): Return bool, make inline, lose TREE_LIST check.
* typeck.c (type_unknown_p): Delete.
* tree.c (is_overloaded_fn): Use MAYBE_BASELINE_FUNCTIONS, adjust
overload management.
(dependent_name): Likewise.
(decl_anon_ns_mem_p): Simplify.

From-SVN: r248433

7 years agoPR c++/80544 strip cv-quals from cast results
Jonathan Wakely [Wed, 24 May 2017 22:16:59 +0000 (23:16 +0100)]
PR c++/80544 strip cv-quals from cast results

gcc/cp:

PR c++/80544
* tree.c (reshape_init): Use unqualified type for direct enum init.
* typeck.c (maybe_warn_about_cast_ignoring_quals): New.
(build_static_cast_1, build_reinterpret_cast_1): Strip cv-quals from
non-class destination types.
(build_const_cast_1): Strip cv-quals from destination types.
(build_static_cast, build_reinterpret_cast, build_const_cast)
(cp_build_c_cast): Add calls to maybe_warn_about_cast_ignoring_quals.

gcc/testsuite:

PR c++/80544
* g++.dg/expr/cast11.C: New test.

From-SVN: r248432

7 years agoPR c/80731 - poor -Woverflow warnings
Martin Sebor [Wed, 24 May 2017 22:07:21 +0000 (22:07 +0000)]
PR c/80731 - poor -Woverflow warnings

gcc/c-family/ChangeLog:

PR c/80731
* c-common.h (unsafe_conversion_p): Add a function argument.
* c-common.c (unsafe_conversion_p): Same.
Add type names and values to diagnostics.
(scalar_to_vector): Adjust.
* c-warn.c (constant_expression_error): Add a function argument.
Add type names and values to diagnostics.
(conversion_warning): Add a function argument.
Add type names and values to diagnostics.
(warnings_for_convert_and_check): Same.

gcc/c/ChangeLog:

PR c/80731
* c-fold.c (c_fully_fold_internal): Adjust.
* c-typeck.c (parser_build_unary_op): Adjust.

gcc/cp/ChangeLog:

PR c/80731
* call.c (fully_fold_internal): Adjust.

gcc/testsuite/ChangeLog:

PR c/80731
* c-c++-common/Wfloat-conversion.c: Adjust.
* c-c++-common/dfp/convert-int-saturate.c: Same.
* c-c++-common/pr68657-1.c: Same.
* g++.dg/ext/utf-cvt.C: Same.
* g++.dg/ext/utf16-4.C: Same.
* g++.dg/warn/Wconversion-real-integer-3.C: Same.
* g++.dg/warn/Wconversion-real-integer2.C: Same.
* g++.dg/warn/Wconversion3.C: Same.
* g++.dg/warn/Wconversion4.C: Same.
* g++.dg/warn/Wsign-conversion.C: Same.
* g++.dg/warn/overflow-warn-1.C: Same.
* g++.dg/warn/overflow-warn-3.C: Same.
* g++.dg/warn/overflow-warn-4.C: Same.
* g++.dg/warn/pr35635.C: Same.
* g++.old-deja/g++.mike/enum1.C: Same.
* gcc.dg/Wconversion-3.c: Same.
* gcc.dg/Wconversion-5.c: Same.
* gcc.dg/Wconversion-complex-c99.c: Same.
* gcc.dg/Wconversion-complex-gnu.c: Same.
* gcc.dg/Wconversion-integer.c: Same.
* gcc.dg/Wsign-conversion.c: Same.
* gcc.dg/bitfld-2.c: Same.
* gcc.dg/c90-const-expr-11.c: Same.
* gcc.dg/c90-const-expr-7.c: Same.
* gcc.dg/c99-const-expr-7.c: Same.
* gcc.dg/overflow-warn-1.c: Same.
* gcc.dg/overflow-warn-2.c: Same.
* gcc.dg/overflow-warn-3.c: Same.
* gcc.dg/overflow-warn-4.c: Same.
* gcc.dg/overflow-warn-5.c: Same.
* gcc.dg/overflow-warn-8.c: Same.
* gcc.dg/overflow-warn-9.c: New test.
* gcc.dg/pr35635.c: Adjust.
* gcc.dg/pr59940.c: Same.
* gcc.dg/pr59963-2.c: Same.
* gcc.dg/pr60114.c: Same.
* gcc.dg/switch-warn-2.c: Same.
* gcc.dg/utf-cvt.c: Same.
* gcc.dg/utf16-4.c: Same.

From-SVN: r248431

7 years agowaitpid.c (wait): Define as a macro that calls _cwait, so that this function works...
Eli Zaretskii [Wed, 24 May 2017 21:35:59 +0000 (21:35 +0000)]
waitpid.c (wait): Define as a macro that calls _cwait, so that this function works on MinGW.

2017-05-24  Eli Zaretskii  <eliz@gnu.org>
* libiberty/waitpid.c (wait) [__MINGW32__]: Define as a macro
that calls _cwait, so that this function works on MinGW.

From-SVN: r248430

7 years agoSplit off powerpcspe from rs6000 port
Segher Boessenkool [Wed, 24 May 2017 19:35:49 +0000 (21:35 +0200)]
Split off powerpcspe from rs6000 port

* config/powerpcspe: New port.  Files are copied from the rs6000
port, with "rs6000" in filenames replaced by "powerpcspe".

* config.gcc (powerpc*-*-*spe*): New.
(powerpc-*-eabispe*): Use ${cpu_type} instead of hardcoded pathnames.
(powerpc-*-rtems*spe*): New.
(powerpc*-*-linux*spe*): New.
(powerpc-wrs-vxworksspe): New.
(powerpc*-*-*, rs6000-*-*): Use ${cpu_type}.
(misc flags) [powerpc*-*-*, rs6000-*-*): Use ${cpu_type}.
* config.host (powerpc*-*-*spe*): New.

From-SVN: r248429

7 years agoUse CHAR_BIT instead of assuming 8 bits
Jonathan Wakely [Wed, 24 May 2017 19:27:28 +0000 (20:27 +0100)]
Use CHAR_BIT instead of assuming 8 bits

* src/c++11/random.cc (random_device::_M_getentropy): Use __CHAR_BIT__
instead of fixed number of bits.

From-SVN: r248428

7 years agointeger-pack2.C: Require int32 effective target.
Jakub Jelinek [Wed, 24 May 2017 19:11:01 +0000 (21:11 +0200)]
integer-pack2.C: Require int32 effective target.

* g++.dg/ext/integer-pack2.C: Require int32 effective target.
Don't include limits.h.
(w): Conditionalize on long long wider than int.  Use
1LL << (__SIZEOF_INT__ * __CHAR_BIT__) instead of
-9223372036854775808.
(x): Use __INT_MAX__ instead of INT_MAX.

From-SVN: r248427

7 years agodump-parse-tree.c (show_expr): Replace stdout with dumpfile for showing values.
Thomas Koenig [Wed, 24 May 2017 19:00:47 +0000 (19:00 +0000)]
dump-parse-tree.c (show_expr): Replace stdout with dumpfile for showing values.

2017-05-24  Thomas Koenig  <tkoenig@gcc.gnu.org>

* dump-parse-tree.c (show_expr):  Replace stdout
with dumpfile for showing values.

From-SVN: r248426

7 years agore PR fortran/66094 (Handle transpose(A) in inline matmul)
Thomas Koenig [Wed, 24 May 2017 18:44:35 +0000 (18:44 +0000)]
re PR fortran/66094 (Handle transpose(A) in inline matmul)

2017-05-24  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/66094
* frontend-passes.c (matrix_case):  Add A2TB2.
(inline_limit_check):  Handle MATMUL(TRANSPOSE(A),B)
(inline_matmul_assign):  Likewise.

2017-05-24  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/66094
* gfortran.dg/inline_matmul_16.f90:  New test.

From-SVN: r248425