]> git.ipfire.org Git - thirdparty/gcc.git/log
thirdparty/gcc.git
6 years agoMake IPA predicate::size a poly_int64
rsandifo [Wed, 7 Aug 2019 13:18:35 +0000 (13:18 +0000)] 
Make IPA predicate::size a poly_int64

This patch changes the IPA predicate::size field from a HOST_WIDE_INT
to a poly_int64.

2019-08-07  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* data-streamer.h (streamer_write_poly_uint64): Declare.
(streamer_read_poly_uint64): Likewise.
* data-streamer-in.c (streamer_read_poly_uint64): New function.
* data-streamer-out.c (streamer_write_poly_uint64): Likewise.
* ipa-predicate.h (condition::size): Turn into a poly_int64.
(add_condition): Take a poly_int64 size.
* ipa-predicate.c (add_condition): Likewise.
* ipa-prop.h (ipa_load_from_parm_agg): Take a poly_int64 size pointer.
* ipa-prop.c (ipa_load_from_parm_agg): Likewise.
(ipcp_modif_dom_walker::before_dom_children): Update accordingly.
* ipa-fnsummary.c (evaluate_conditions_for_known_args): Handle
condition::size as a poly_int64.
(unmodified_parm_1): Take a poly_int64 size pointer.
(unmodified_parm): Likewise.
(unmodified_parm_or_parm_agg_item): Likewise.
(set_cond_stmt_execution_predicate): Update accordingly.
(set_switch_stmt_execution_predicate): Likewise.
(will_be_nonconstant_expr_predicate): Likewise.
(will_be_nonconstant_predicate): Likewise.
(inline_read_section): Stream condition::size as a poly_int.
(ipa_fn_summary_write): Likewise.

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

6 years agoReplace int with boolean in predicate functions.
marxin [Wed, 7 Aug 2019 12:45:57 +0000 (12:45 +0000)] 
Replace int with boolean in predicate functions.

2019-08-07  Martin Liska  <mliska@suse.cz>

* fold-const.c (twoval_comparison_p): Replace int
with bool as a return type.
(simple_operand_p): Likewise.
(operand_equal_p): Replace int with bool as a return type.
* fold-const.h (operand_equal_p): Likewise.

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

6 years agoPR 53796 Make inquire(file=, recl=) conform to F2018
jb [Wed, 7 Aug 2019 07:34:10 +0000 (07:34 +0000)] 
PR 53796 Make inquire(file=, recl=) conform to F2018

In my original patch to fix PR 53796 I forgot to fix the behavior for
unconnected units when inquiring via filename. This patch fixes that.

Regtested on x86_64-pc-linux-gnu, committed as obvious.

libgfortran/ChangeLog:

2019-08-07  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/53796
* io/inquire.c (inquire_via_filename): Set recl to -1 for
unconnected units.

gcc/testsuite/ChangeLog:

2019-08-07  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/53796
* gfortran.dg/inquire_recl_f2018.f90: Test for unconnected unit
with inquire via filename.

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

6 years ago * tree-core.h (enum omp_clause_code): Adjust OMP_CLAUSE_USE_DEVICE_PTR
jakub [Wed, 7 Aug 2019 07:27:10 +0000 (07:27 +0000)] 
* tree-core.h (enum omp_clause_code): Adjust OMP_CLAUSE_USE_DEVICE_PTR
OpenMP description.  Add OMP_CLAUSE_USE_DEVICE_ADDR clause.
* tree.c (omp_clause_num_ops, omp_clause_code_name): Add entries
for OMP_CLAUSE_USE_DEVICE_ADDR clause.
(walk_tree_1): Handle OMP_CLAUSE_USE_DEVICE_ADDR.
* tree-pretty-print.c (dump_omp_clause): Likewise.
* tree-nested.c (convert_nonlocal_omp_clauses,
convert_local_omp_clauses): Likewise.
* gimplify.c (gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses):
Likewise.
* omp-low.c (scan_sharing_clauses, lower_omp_target): Likewise.
Treat OMP_CLAUSE_USE_DEVICE_ADDR like OMP_CLAUSE_USE_DEVICE_PTR
clause with array or reference to array types, no matter what type
except for reference it has.
gcc/c-family/
* c-pragma.h (enum pragma_omp_clause): Add
PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.  Set PRAGMA_OACC_CLAUSE_USE_DEVICE
equal to PRAGMA_OMP_CLAUSE_USE_DEVICE_PTR instead of being a separate
enumeration value.
gcc/c/
* c-parser.c (c_parser_omp_clause_name): Parse use_device_addr clause.
(c_parser_omp_clause_use_device_addr): New function.
(c_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(OMP_TARGET_DATA_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(c_parser_omp_target_data): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR
like PRAGMA_OMP_CLAUSE_USE_DEVICE_PTR, adjust diagnostics about no
map or use_device_* clauses.
* c-typeck.c (c_finish_omp_clauses): For OMP_CLAUSE_USE_DEVICE_PTR
in OpenMP, require pointer type rather than pointer or array type.
Handle OMP_CLAUSE_USE_DEVICE_ADDR.
gcc/cp/
* parser.c (cp_parser_omp_clause_name): Parse use_device_addr clause.
(cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(OMP_TARGET_DATA_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR.
(cp_parser_omp_target_data): Handle PRAGMA_OMP_CLAUSE_USE_DEVICE_ADDR
like PRAGMA_OMP_CLAUSE_USE_DEVICE_PTR, adjust diagnostics about no
map or use_device_* clauses.
* semantics.c (finish_omp_clauses): For OMP_CLAUSE_USE_DEVICE_PTR
in OpenMP, require pointer or reference to pointer type rather than
pointer or array or reference to pointer or array type. Handle
OMP_CLAUSE_USE_DEVICE_ADDR.
* pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_USE_DEVICE_ADDR.
gcc/testsuite/
* c-c++-common/gomp/target-data-1.c (foo): Use use_device_addr clause
instead of use_device_ptr clause where required by OpenMP 5.0, add
further tests for both use_device_ptr and use_device_addr clauses.
libgomp/
* testsuite/libgomp.c/target-18.c (struct S): New type.
(foo): Use use_device_addr clause instead of use_device_ptr clause
where required by OpenMP 5.0, add further tests for both use_device_ptr
and use_device_addr clauses.
* testsuite/libgomp.c++/target-9.C (struct S): New type.
(foo): Use use_device_addr clause instead of use_device_ptr clause
where required by OpenMP 5.0, add further tests for both use_device_ptr
and use_device_addr clauses.  Add t and u arguments.
(main): Adjust caller.

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

6 years agors6000: support vector int type rotatert
linkw [Wed, 7 Aug 2019 07:11:14 +0000 (07:11 +0000)] 
rs6000: support vector int type rotatert

gcc/ChangeLog

2019-08-07  Kewen Lin  <linkw@gcc.gnu.org>

    * config/rs6000/vector.md (vrotr<mode>3): New define_expand.

gcc/testsuite/ChangeLog

2019-08-07  Kewen Lin  <linkw@gcc.gnu.org>

    * gcc.target/powerpc/vec_rotate-1.c: New test.
    * gcc.target/powerpc/vec_rotate-2.c: New test.
    * gcc.target/powerpc/vec_rotate-3.c: New test.
    * gcc.target/powerpc/vec_rotate-4.c: New test.

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

6 years agowrap math.h for M_PI et al in target/i386 tests
aoliva [Wed, 7 Aug 2019 06:35:39 +0000 (06:35 +0000)] 
wrap math.h for M_PI et al in target/i386 tests

Most but not all of the tests that expect M_PI, M_PI_2 and/or M_PI_4
to be defined in math.h explicitly exclude one target system that does
not satisfy this non-standard assumption.

This patch introduces a wrapper header that includes math.h and then
conditionally supplies the missing non-standard macro definitions.
With that, we can drop the dg-skip-if "no M_PI" exclusions.

for  gcc/testsuite/ChangeLog

* gcc.target/i386/math_m_pi.h: New.
* gcc.target/i386/sse4_1-round.h: Use it.
* gcc.target/i386/pr73350.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmpd-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmps-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmsd-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmss-2.c: Likewise.
* gcc.target/i386/avx512f-vfixupimmss-2.c: Likewise.
* gcc.target/i386/avx-ceil-sfix-2-vec.c: Likewise.  Drop
dg-skip-if "no M_PI".
* gcc.target/i386/avx-cvt-2-vec.c: Likewise.
* gcc.target/i386/avx-floor-sfix-2-vec.c: Likewise.
* gcc.target/i386/avx-rint-sfix-2-vec.c: Likewise.
* gcc.target/i386/avx-round-sfix-2-vec.c: Likewise.
* gcc.target/i386/avx512f-ceil-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-ceil-vec-1.c: Likewise.
* gcc.target/i386/avx512f-ceilf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-ceilf-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floor-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floor-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floorf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-floorf-vec-1.c: Likewise.
* gcc.target/i386/avx512f-rint-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-rintf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-round-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-roundf-sfix-vec-1.c: Likewise.
* gcc.target/i386/avx512f-trunc-vec-1.c: Likewise.
* gcc.target/i386/avx512f-truncf-vec-1.c: Likewise.
* gcc.target/i386/sse2-cvt-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceil-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceil-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceilf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-ceilf-vec.c: Likewise.
* gcc.target/i386/sse4_1-floor-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-floor-vec.c: Likewise.
* gcc.target/i386/sse4_1-floorf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-floorf-vec.c: Likewise.
* gcc.target/i386/sse4_1-rint-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-rint-vec.c: Likewise.
* gcc.target/i386/sse4_1-rintf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-rintf-vec.c: Likewise.
* gcc.target/i386/sse4_1-round-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-round-vec.c: Likewise.
* gcc.target/i386/sse4_1-roundf-sfix-vec.c: Likewise.
* gcc.target/i386/sse4_1-roundf-vec.c: Likewise.
* gcc.target/i386/sse4_1-roundsd-4.c: Likewise.
* gcc.target/i386/sse4_1-roundss-4.c: Likewise.
* gcc.target/i386/sse4_1-trunc-vec.c: Likewise.
* gcc.target/i386/sse4_1-truncf-vec.c: Likewise.

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

6 years agoRISC-V: Handle g extension in multilib-generator
kito [Wed, 7 Aug 2019 03:12:34 +0000 (03:12 +0000)] 
RISC-V: Handle g extension in multilib-generator

gcc/ChangeLog

* gcc/config/riscv/multilib-generator: (canonical_order): Add 'g'.
(arch_canonicalize): Support rv32g and rv64g and fix error
handling.

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

6 years agoDaily bump.
gccadmin [Wed, 7 Aug 2019 00:16:44 +0000 (00:16 +0000)] 
Daily bump.

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

6 years ago2019-08-06 Steven G. Kargl <kargl@gcc.gnu.org>
kargl [Tue, 6 Aug 2019 21:32:09 +0000 (21:32 +0000)] 
2019-08-06  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/91359
* trans-decl.c (gfc_generate_return): Ensure something is returned
from a function.

2019-08-06  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/91359
* gfortran.dg/pr91359_1.f: New test.
* gfortran.dg/pr91359_2.f: Ditto.

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

6 years ago2019-08-01 Steven G. Kargl <kargl@gcc.gnu.org>
kargl [Tue, 6 Aug 2019 19:46:29 +0000 (19:46 +0000)] 
2019-08-01  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/42546
* check.c(gfc_check_allocated): Add comment pointing to ...
* intrinsic.c(sort_actual): ... the checking done here.

2019-08-01  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/42546
* gfortran.dg/allocated_1.f90: New test.
* gfortran.dg/allocated_2.f90: Ditto.

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

6 years agoP1651R0 bind_front should not unwrap reference_wrapper
redi [Tue, 6 Aug 2019 15:57:55 +0000 (15:57 +0000)] 
P1651R0 bind_front should not unwrap reference_wrapper

P1651R0 bind_front should not unwrap reference_wrapper
* include/std/functional (bind_front): Don't unwrap reference_wrapper.
* include/std/version (__cpp_lib_bind_front): Update value.
* testsuite/20_util/function_objects/bind_front/1.cc: Fix test for
feature test macro.
* testsuite/20_util/function_objects/bind_front/2.cc: New test.

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

6 years agoSpecialize std::numbers constants for __float128
redi [Tue, 6 Aug 2019 15:57:51 +0000 (15:57 +0000)] 
Specialize std::numbers constants for __float128

* include/std/numbers [!__STRICT_ANSI__ && _GLIBCXX_USE_FLOAT128]
(e_v, log2e_v, log10e_v, pi_v, inv_pi_v, inv_sqrtpi_v, ln2_v, ln10_v)
(sqrt2_v, sqrt3_v, inv_sqrt3, egamma_v, phi_v): Add explicit
specializations for __float128.
* testsuite/26_numerics/numbers/float128.cc: New test.

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

6 years agoFix gcc.target/i386/avx512vp2intersect-2intersect-1b.c etc. execution tests
ro [Tue, 6 Aug 2019 14:53:24 +0000 (14:53 +0000)] 
Fix gcc.target/i386/avx512vp2intersect-2intersect-1b.c etc. execution tests

gcc/testsuite:
* gcc.target/i386/avx512vp2intersect-2intersect-1b.c (AVX512F):
Remove.
(AVX512VP2INTERSECT): Define.
* gcc.target/i386/avx512vp2intersect-2intersectvl-1b.c (AVX512F):
Remove.
(AVX512VP2INTERSECT): Define.

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

6 years ago PR c++/91378 - ICE with noexcept and auto return type.
jason [Tue, 6 Aug 2019 14:07:59 +0000 (14:07 +0000)] 
PR c++/91378 - ICE with noexcept and auto return type.

Here, since the call to g is not type-dependent, we call mark_used on it to
determine its return type.  This also wants to instantiate the
noexcept-expression.  But since nothing in maybe_instantiate_noexcept was
calling push_to_top_level, we substituted b.i with processing_template_decl
set, so we left it unresolved for later access checking.  As a result, the
type of C::g<int> remained instantiation-dependent, leading to an ICE in
type_dependent_expression_p on the assert that the type of a function
template with no dependent template arguments must be non-dependent.

* pt.c (maybe_instantiate_noexcept): push_to_top_level.

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

6 years ago/cp
paolo [Tue, 6 Aug 2019 09:56:44 +0000 (09:56 +0000)] 
/cp
2019-08-06  Paolo Carlini  <paolo.carlini@oracle.com>

* decl.c (check_array_designated_initializer): Use
cp_expr_loc_or_input_loc in one place.

/testsuite
2019-08-06  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/desig1.C: Check location too.

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

6 years agoAdd operator new/delete to cgraph_node::dump.
marxin [Tue, 6 Aug 2019 07:38:16 +0000 (07:38 +0000)] 
Add operator new/delete to cgraph_node::dump.

2019-08-06  Martin Liska  <mliska@suse.cz>

* cgraph.c (cgraph_node::dump): Dump DECL_IS_OPERATOR_NEW_P
and DECL_IS_OPERATOR_DELETE_P.

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

6 years ago * tree.h (OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV): Rename to ...
jakub [Tue, 6 Aug 2019 07:26:32 +0000 (07:26 +0000)] 
* tree.h (OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV): Rename to ...
(OMP_CLAUSE_LASTPRIVATE_LOOP_IV): ... this.  Adjust comment.
* gimplify.c (gimple_add_tmp_var): In SIMD contexts, turn addressable
new vars into GOVD_PRIVATE rather than GOVD_LOCAL.
(gimplify_omp_for): Don't do C++ random access iterator clause
adjustments on combined constructs from OMP_LOOP.  For OMP_LOOP,
don't predetermine the artificial iterator in case of C++ random
access iterators as lastprivate, but private.  For OMP_LOOP, force
bind expr around simd body and force for_pre_body before the
construct.  Use OMP_CLAUSE_LASTPRIVATE_LOOP_IV instead of
OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV.
(gimplify_omp_loop): Add firstprivate clauses on OMP_PARALLEL for
diff var of C++ random access iterators.  Handle
OMP_CLAUSE_FIRSTPRIVATE.  For OMP_CLAUSE_LASTPRIVATE_LOOP_IV, if
not outermost also add OMP_CLAUSE_FIRSTPRIVATE, and in both cases
clear OMP_CLAUSE_LASTPRIVATE_LOOP_IV on the lastprivate clause
on the OMP_FOR and OMP_DISTRIBUTE constructs if any.
* omp-low.c (lower_rec_input_clauses): For
OMP_CLAUSE_LASTPRIVATE_LOOP_IV on simd copy construct the private
variables instead of default constructing them.
(lower_lastprivate_clauses): Use OMP_CLAUSE_LASTPRIVATE_LOOP_IV
instead of OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV and move the
is_taskloop_ctx check from the assert to the guarding condition.
gcc/cp/
* parser.c (cp_parser_omp_for_loop): For OMP_LOOP, ignore parallel
clauses and predetermine iterator as lastprivate.
* semantics.c (handle_omp_for_class_iterator): Use
OMP_CLAUSE_LASTPRIVATE_LOOP_IV instead of
OMP_CLAUSE_LASTPRIVATE_TASKLOOP_IV, set it for lastprivate also
on OMP_LOOP construct.  If a clause is missing for class iterator
on OMP_LOOP, add firstprivate clause, and if there is private
clause, turn it into firstprivate too.
(finish_omp_for): Formatting fix.  For OMP_LOOP, adjust
OMP_CLAUSE_LASTPRIVATE_LOOP_IV clause CP_CLAUSE_INFO, so that it
uses copy ctor instead of default ctor.
* cp-gimplify.c (cp_gimplify_expr): Handle OMP_LOOP like
OMP_DISTRIBUTE etc.
(cp_fold_r): Likewise.
(cp_genericize_r): Likewise.
(cxx_omp_finish_clause): Also finish lastprivate clause with
OMP_CLAUSE_LASTPRIVATE_LOOP_IV flag.
* pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_BIND.
(tsubst_omp_for_iterator): For OMP_LOOP, ignore parallel
clauses and predetermine iterator as lastprivate.
* constexpr.c (potential_constant_expression_1): Handle OMP_LOOP
like OMP_DISTRIBUTE etc.
libgomp/
* testsuite/libgomp.c++/loop-13.C: New test.
* testsuite/libgomp.c++/loop-14.C: New test.
* testsuite/libgomp.c++/loop-15.C: New test.

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

6 years agoRISC-V: Handle extensions combination correctly in multilib-generator.
kito [Tue, 6 Aug 2019 03:16:40 +0000 (03:16 +0000)] 
RISC-V: Handle extensions combination correctly in multilib-generator.

Input string consist of four parts:
  <primary arch>-<abi>-<additional arches>-<extensions>

and generator doing combination with <extensions> part, but it just
append the extension at the end of arch string, it might generate
invalid arch.

For example, without this patch `./multilib-generator rv32imafc-ilp32--d`
will generate:

MULTILIB_OPTIONS = march=rv32imafc/march=rv32imafcd mabi=ilp32
                                         ^^^^^^^^^^

and rv32imafcd is not in canonical order.

Tested with python 2.7 and python 3.6/3.7.

gcc/ChangeLog

* gcc/config/riscv/multilib-generator: (canonical_order): New.
(arch_canonicalize): Dito.
Apply arch_canonicalize for alts.

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

6 years ago DR 2413 - typename in conversion-function-ids.
mpolacek [Tue, 6 Aug 2019 02:23:43 +0000 (02:23 +0000)] 
DR 2413 - typename in conversion-function-ids.
* parser.c (cp_parser_conversion_type_id): Call
cp_parser_type_specifier_seq with CP_PARSER_FLAGS_TYPENAME_OPTIONAL
instead of CP_PARSER_FLAGS_NONE.

* g++.dg/cpp2a/typename17.C: New test.

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

6 years agoPR middle-end/50476 - Warn of pointer set to object whose lifetime is limited
msebor [Tue, 6 Aug 2019 00:30:02 +0000 (00:30 +0000)] 
PR middle-end/50476 - Warn of pointer set to object whose lifetime is limited

gcc/testsuite/ChangeLog:
* gcc.dg/uninit-pr50476.c: New test.

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

6 years agoDaily bump.
gccadmin [Tue, 6 Aug 2019 00:16:25 +0000 (00:16 +0000)] 
Daily bump.

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

6 years agoPR c++/60517 - warning/error for taking address of member of a temporary object
msebor [Tue, 6 Aug 2019 00:08:45 +0000 (00:08 +0000)] 
PR c++/60517 - warning/error for taking address of member of a temporary object

testsuite/ChangeLog:
* g++.dg/pr60517.C: New test.

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

6 years agoAdd missing ChangeLog entry.
meissner [Mon, 5 Aug 2019 23:07:31 +0000 (23:07 +0000)] 
Add missing ChangeLog entry.

2019-08-02  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/future.md: New file.
* config/rs6000/rs6000.md: Include future.md.
* config/rs6000/t-rs6000 (MD_INCLUDES): Add future.md.

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

6 years agogcc/ChangeLog:
msebor [Mon, 5 Aug 2019 22:40:49 +0000 (22:40 +0000)] 
gcc/ChangeLog:

* doc/extend.texi (Common Variable Attributes): Document alias
attribute.

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

6 years ago2019-08-05 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Mon, 5 Aug 2019 20:04:22 +0000 (20:04 +0000)] 
2019-08-05  Paolo Carlini  <paolo.carlini@oracle.com>

* cp-tree.h (cp_expr_loc_or_input_loc): New.
(cxx_incomplete_type_diagnostic): Use it.
* call.c (build_converted_constant_expr_internal, convert_like_real,
convert_arg_to_ellipsis, convert_for_arg_passing, build_over_call,
build_cxx_call, perform_implicit_conversion_flags,
initialize_reference): Likewise.
* constexpr.c (cxx_eval_internal_function, cxx_eval_call_expression,
eval_and_check_array_index, cxx_eval_store_expression,
cxx_eval_statement_list, cxx_eval_loop_expr,
cxx_eval_constant_expression, potential_constant_expression_1):
Likewise.
* constraint.cc (check_for_logical_overloads,
satisfy_predicate_constraint): Likewise.
* cp-gimplify.c (cp_gimplify_expr): Likewise.
* cvt.c (cp_convert_to_pointer, convert_to_reference,
cp_convert_and_check, ocp_convert, maybe_warn_nodiscard): Likewise.
* decl.c (pop_switch): Likewise.
* decl2.c (delete_sanity): Likewise.
* error.c (location_of): Likewise.
* init.c (maybe_warn_list_ctor, build_aggr_init,
warn_placement_new_too_small, build_new_1, build_vec_init): Likewise.
* lex.c (unqualified_name_lookup_error): Likewise.
* parser.c (cp_parser_initializer_list, cp_parser_omp_for_cond):
Likewise.
* pt.c (check_for_bare_parameter_packs, check_valid_ptrmem_cst_expr,
unify_arg_conversion, convert_nontype_argument,
tsubst_copy_and_build, resolve_typename_type): Likewise.
* semantics.c (maybe_convert_cond, finish_call_expr,
cp_build_vec_convert): Likewise.
* typeck.c (decay_conversion, rationalize_conditional_expr,
cp_build_unary_op, build_x_compound_expr_from_list,
maybe_warn_about_returning_address_of_local,
maybe_warn_pessimizing_move): Likewise.
* typeck2.c (check_narrowing, digest_init_r,
process_init_constructor_array): Likewise.

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

6 years agoPR c++/88095, CTAD for literal operator templates per P0732
jason [Mon, 5 Aug 2019 19:34:23 +0000 (19:34 +0000)] 
PR c++/88095, CTAD for literal operator templates per P0732

This patch fixes PR c++/88095: class nontype template parameter UDL string
literals doesn't accepts deduction placeholder

It also addresses a latent issue; literal operator templates with template
parameter packs of literal class type were previously accepted.  The patch
corrects this and adds a test (udlit-class-nttp-neg.C).

This fix is needed for one of the char8_t remediation approaches documented
in P1423, and may be helpful for existing code bases impacted by the char8_t
changes adopted via P0482 for C++20.

gcc/cp/ChangeLog:

2019-08-02  Tom Honermann  <tom@honermann.net>

        * parser.c (cp_parser_template_declaration_after_parameters): Enable
        class template argument deduction for non-type template parameters
        in literal operator templates.

gcc/testsuite/ChangeLog:

2019-08-02  Tom Honermann  <tom@honermann.net>

        PR c++/88095
        * g++.dg/cpp2a/udlit-class-nttp-ctad.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-ctad-neg.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-ctad-neg2.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-neg.C: New test.
        * g++.dg/cpp2a/udlit-class-nttp-neg2.C: New test.

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

6 years ago2019-08-05 Steven g. Kargl <kargl@gcc.gnu.org>
kargl [Mon, 5 Aug 2019 19:24:31 +0000 (19:24 +0000)] 
2019-08-05  Steven g. Kargl  <kargl@gcc.gnu.org>

PR fortran/91372
* decl.c (gfc_match_data): Allow an implied do-loop to nestle against
DATA.

2019-08-05  Steven g. Kargl  <kargl@gcc.gnu.org>

PR fortran/91372
* gfortran.dg/pr91372.f90: New test.

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

6 years ago PR c++/91338 - Implement P1161R3: Deprecate a[b,c].
mpolacek [Mon, 5 Aug 2019 19:01:15 +0000 (19:01 +0000)] 
PR c++/91338 - Implement P1161R3: Deprecate a[b,c].
* c-opts.c (c_common_post_options): Enable -Wcomma-subscript by
default for C++2a, unless -Wno-deprecated.
* c.opt (Wcomma-subscript): New warning.

* parser.c (cp_parser_postfix_open_square_expression): Warn about uses
of a comma operator within a subscripting expression.
(cp_parser_skip_to_closing_square_bracket_1): New function, made out
of...
(cp_parser_skip_to_closing_square_bracket): ...this.

* doc/invoke.texi: Document -Wcomma-subscript.

* g++.dg/cpp2a/comma1.C: New test.
* g++.dg/cpp2a/comma2.C: New test.
* g++.dg/cpp2a/comma3.C: New test.
* g++.dg/cpp2a/comma4.C: New test.

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

6 years ago * semantics.c (force_paren_expr): Preserve location.
jason [Mon, 5 Aug 2019 17:38:18 +0000 (17:38 +0000)] 
* semantics.c (force_paren_expr): Preserve location.

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

6 years agoMake function_code a 32-bit field
rsandifo [Mon, 5 Aug 2019 16:47:04 +0000 (16:47 +0000)] 
Make function_code a 32-bit field

Adding SVE intrinsics on top of the existing AArch64 intrinsics blows
the 12-bit function_code in tree_function_decl.  That bitfield has no
spare bits, but it comes at the end of the structure and is preceded
by a pointer, so on LP64 hosts there's currently a 32-bit hole at end.

This patch therefore makes function_code an independent field and
moves the bitfield to the 32-bit hole.

I wondered about instead making function_code 16 bits, so that the
patch leaves 28 spare bits instead of just 12.  That seemed a bit
short-term though; I can't guarantee that we won't blow 16 bits once
the SVE2 functions are added...

If we run out of bits again, we can start chomping from the top
of the enum.  E.g. 24 bits should surely be enough, but there's
no point paying the overhead of the masking until we need it.

2019-08-05  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* tree-core.h (tree_function_decl): Make function_code an
independent field.  Group the remaining bitfields into bytes
and move decl_type so that it contines to be at a byte boundary.
Leave 12 bits for future expansion.

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

6 years agoFold MASK_LOAD/STORE with an all-true mask
rsandifo [Mon, 5 Aug 2019 16:46:58 +0000 (16:46 +0000)] 
Fold MASK_LOAD/STORE with an all-true mask

This patch folds IFN_MASK_LOAD and IFN_MASK_STOREs to normal accesses
if the mask is all-true.  This can happen for fully-masked loops that
didn't actually need to be (which could be handled by the vectoriser
instead), or for unrolled fully-masked loops whose first iteration is
guaranteed to operate on a full vector.  It's also useful when the
accesses are generated directly by intrinsics (to follow for SVE).

2019-08-05  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* gimple-fold.c (gimple_fold_mask_load_store_mem_ref)
(gimple_fold_mask_load, gimple_fold_mask_store): New functions.
(gimple_fold_call): Use them to fold IFN_MASK_LOAD and
IFN_MASK_STORE.

gcc/testsuite/
* gcc.target/aarch64/sve/mask_load_1.c: New test.

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

6 years agoAdd a gimple_move_vops helper function
rsandifo [Mon, 5 Aug 2019 16:46:48 +0000 (16:46 +0000)] 
Add a gimple_move_vops helper function

I needed to add another instance of this idiom, so thought it'd
be worth having a helper function.

2019-08-05  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* gimple.h (gimple_move_vops): Declare.
* gimple.c (gimple_move_vops): New function
* gimple-fold.c (replace_call_with_call_and_fold)
(gimple_fold_builtin_memory_op, gimple_fold_builtin_memset)
(gimple_fold_builtin_stpcpy, fold_builtin_atomic_compare_exchange)
(gimple_fold_call): Use it.
* ipa-param-manipulation.c (ipa_modify_call_arguments): Likewise.
* tree-call-cdce.c (use_internal_fn): Likewise.
* tree-if-conv.c (predicate_load_or_store): Likewise.
* tree-ssa-ccp.c (optimize_atomic_bit_test_and): Likewise.
* tree-ssa-math-opts.c (pass_cse_reciprocals::execute): Likewise.
* tree-ssa-propagate.c (finish_update_gimple_call): Likewise.
(update_call_from_tree): Likewise.
* tree-vect-stmts.c (vectorizable_load): Likewise.
* tree-vectorizer.c (adjust_simduid_builtins): Likewise.

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

6 years ago2019-08-05 Jozef Lawrynowicz <jozef.l@mittosystems.com>
jozefl [Mon, 5 Aug 2019 14:02:35 +0000 (14:02 +0000)] 
2019-08-05  Jozef Lawrynowicz  <jozef.l@mittosystems.com>

* gcc.target/msp430/pr80993.c: Add cleanup-saved-temps to final
actions.

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

6 years agoHandle new operators with no arguments in DCE.
marxin [Mon, 5 Aug 2019 12:53:01 +0000 (12:53 +0000)] 
Handle new operators with no arguments in DCE.

2019-08-05  Martin Liska  <mliska@suse.cz>

PR c++/91334
* tree-ssa-dce.c (propagate_necessity): Handle new operators
with not arguments.
(eliminate_unnecessary_stmts): Likewise.
2019-08-05  Martin Liska  <mliska@suse.cz>

PR c++/91334
* g++.dg/torture/pr91334.C: New test.

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

6 years ago2019-08-05 Richard Biener <rguenther@suse.de>
rguenth [Mon, 5 Aug 2019 12:30:49 +0000 (12:30 +0000)] 
2019-08-05  Richard Biener  <rguenther@suse.de>

PR middle-end/91169
* fold-const.c (get_array_ctor_element_at_index): Create
offset_ints according to the sign of the index type and treat
that as signed if it is obviously so.

* gnat.dg/array37.adb: New testcase.

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

6 years ago PR target/91341
jakub [Mon, 5 Aug 2019 08:00:30 +0000 (08:00 +0000)] 
PR target/91341
* config/i386/avxintrin.h (_mm256_loadu2_m128, _mm256_storeu2_m128,
_mm256_loadu2_m128d, _mm256_storeu2_m128d, _mm256_loadu2_m128i,
_mm256_storeu2_m128i): New function.

* gcc.target/i386/avx-loadu2-m128-1.c: New test.
* gcc.target/i386/avx-loadu2-m128-2.c: New test.
* gcc.target/i386/avx-loadu2-m128d-1.c: New test.
* gcc.target/i386/avx-loadu2-m128d-2.c: New test.
* gcc.target/i386/avx-loadu2-m128i-1.c: New test.
* gcc.target/i386/avx-loadu2-m128i-2.c: New test.
* gcc.target/i386/avx-storeu2-m128-1.c: New test.
* gcc.target/i386/avx-storeu2-m128-2.c: New test.
* gcc.target/i386/avx-storeu2-m128d-1.c: New test.
* gcc.target/i386/avx-storeu2-m128d-2.c: New test.
* gcc.target/i386/avx-storeu2-m128i-1.c: New test.
* gcc.target/i386/avx-storeu2-m128i-2.c: New test.

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

6 years agoRISC-V: Promote type correctly for libcalls
kito [Mon, 5 Aug 2019 03:32:38 +0000 (03:32 +0000)] 
RISC-V: Promote type correctly for libcalls

 - argument and return value for libcall won't promote at
   default_promote_function_mode_always_promote, however we expect it
   should sign-extend as normal function.

 - Witout this patch, this test case will fail at -march=rv64i -mabi=lp64.

 - The implementation of riscv_promote_function_mode is borrowed from MIPS.

gcc/ChangeLog

* config/riscv/riscv.c (riscv_promote_function_mode): New.
(TARGET_PROMOTE_FUNCTION_MODE): Use riscv_promote_function_mode.

gcc/testsuite/ChangeLog

* gcc.target/riscv/promote-type-for-libcall.c: New.

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

6 years agoPR91349, powerpc64*-*-freebsd* defines _GNU_SOURCE
amodra [Mon, 5 Aug 2019 01:52:33 +0000 (01:52 +0000)] 
PR91349, powerpc64*-*-freebsd* defines _GNU_SOURCE

rev 266496 (git ab6b1bb456) undefined some macros in rs6000/freebsd.h
but missed doing the same in rs6000/freebsd64.h.

PR target/91349
* config/rs6000/freebsd64.h (CPLUSPLUS_CPP_SPEC),
(LINK_GCC_C_SEQUENCE_SPEC): Undef.

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

6 years agoDaily bump.
gccadmin [Mon, 5 Aug 2019 00:16:23 +0000 (00:16 +0000)] 
Daily bump.

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

6 years ago * update_web_docs_svn: Proceed even if the invocation of
gerald [Sun, 4 Aug 2019 22:31:54 +0000 (22:31 +0000)] 
* update_web_docs_svn: Proceed even if the invocation of
sphinx fails.

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

6 years ago2019-08-04 Steven G. Kargl <kargl@gcc.gnu.org>
kargl [Sun, 4 Aug 2019 15:52:55 +0000 (15:52 +0000)] 
2019-08-04  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/88227
* check.c (oct2bin):  New function.  Convert octal string to binary.
(hex2bin): New function.  Convert hexidecimal string to binary.
(bin2real): New function.  Convert binary string to REAL.  Use
oct2bin and hex2bin.
(gfc_boz2real):  Use fallback conversion bin2real.

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

6 years ago * doc/xml/manual/documentation_hacking.xml: doxygen.org is now
gerald [Sun, 4 Aug 2019 13:20:32 +0000 (13:20 +0000)] 
* doc/xml/manual/documentation_hacking.xml: doxygen.org is now
doxygen.nl.

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

6 years ago * doc/install.texi (Prerequisites): Remove reference to Tcl 8.6
gerald [Sun, 4 Aug 2019 13:01:01 +0000 (13:01 +0000)] 
* doc/install.texi (Prerequisites): Remove reference to Tcl 8.6
bug that was fixed in Tcl 8.6.1.

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

6 years agoDaily bump.
gccadmin [Sun, 4 Aug 2019 00:16:16 +0000 (00:16 +0000)] 
Daily bump.

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

6 years agoDaily bump.
gccadmin [Sat, 3 Aug 2019 00:16:23 +0000 (00:16 +0000)] 
Daily bump.

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

6 years ago2019-08-02 Steven G. Kargl <kargl@gcc.gnu.org>
kargl [Fri, 2 Aug 2019 23:48:36 +0000 (23:48 +0000)] 
2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/90985
* decl.c (gfc_match_data): In free-form code, DATA be followed by
whitespace.

2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/90985
* gfortran.dg/pr90985.f90: New test.

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

6 years agoCorrect the PR number for 90297 to 90986.
kargl [Fri, 2 Aug 2019 21:39:52 +0000 (21:39 +0000)] 
Correct the PR number for 90297 to 90986.

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

6 years ago2019-08-02 Steven G. Kargl <kargl@gcc.gnu.org>
kargl [Fri, 2 Aug 2019 21:28:58 +0000 (21:28 +0000)] 
2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/90297
* match.c (gfc_match_equivalence): Check that EQUIVALENCE is followed
by '('.

2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/90297
* gfortran.dg/equiv_10.f90: New test.

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

6 years agoAdd future.md.
meissner [Fri, 2 Aug 2019 21:03:20 +0000 (21:03 +0000)] 
Add future.md.

2019-08-02  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/future.md: New file.
* config/rs6000/rs6000.md: Include future.md.
* config/rs6000/t-rs6000 (MD_INCLUDES): Add future.md.

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

6 years agorework Ada EH Machine_Occurrence deallocation
aoliva [Fri, 2 Aug 2019 18:46:51 +0000 (18:46 +0000)] 
rework Ada EH Machine_Occurrence deallocation

Introduce exception handler ABI #1 to ensure single release, no access
after release of reraised Machine_Occurrences, and no failure to
re-reraise a Machine_Occurrence.

Unlike Ada exceptions, foreign exceptions do not get a new
Machine_Occurrence upon reraise, but each handler would delete the
exception upon completion, normal or exceptional, save for the case of
a 'raise;' statement within the handler, that avoided the delete by
clearing the exception pointer that the cleanup would use to release
it.  The cleared exception pointer might then be used by a subsequent
reraise within the same handler.  Get_Current_Excep.all would also
expose the Machine_Occurrence to reuse by Reraise_Occurrence, even for
native exceptions.

Under ABI #1, Begin_Handler_v1 claims responsibility for releasing an
exception by saving its cleanup and setting it to Claimed_Cleanup.
End_Handler_v1 restores the cleanup and runs it, as long as it isn't
still Claimed_Cleanup (which indicates an enclosing handler has
already claimed responsibility for releasing it), and as long as the
same exception is not being propagated up (the next handler of the
propagating exception will then claim responsibility for releasing
it), so reraise no longer needs to clear the exception pointer, and it
can just propagate the exception, just like Reraise_Occurrence.

ABI #1 is fully interoperable with ABI #0, i.e., exception handlers
that call the #0 primitives can be linked together with ones that call
the #1 primitives, and they will not misbehave.  When a #1 handler
claims responsibility for releasing an exception, even #0 reraises
dynamically nested within it will refrain from releasing it.  However,
when a #0 handler is a handler of a foreign exception that would have
been responsible for releasing it with #1, a Reraise_Occurrence of
that foreign or other Machine_Occurrence-carrying exception may still
cause the exception to be released multiple times, and to be used
after it is first released, even if other handlers of the foreign
exception use #1.

for  gcc/ada/ChangeLog

* libgnat/a-exexpr.adb (Begin_Handler_v1, End_Handler_v1): New.
(Claimed_Cleanup): New.
(Begin_Handler, End_Handler): Document.
* gcc-interface/trans.c (gigi): Switch to exception handler
ABI #1.
(Exception_Handler_to_gnu_gcc): Save the original cleanup
returned by begin handler, pass it to end handler, and use
EH_ELSE_EXPR to pass a propagating exception to end handler.
(gnat_to_gnu): Leave the exception pointer alone for reraise.
(add_cleanup): Handle EH_ELSE_EXPR, require it by itself.

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

6 years ago PR c++/56428
mpolacek [Fri, 2 Aug 2019 18:17:20 +0000 (18:17 +0000)] 
PR c++/56428
* g++.dg/cpp0x/nontype4.C: New test.

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

6 years ago PR c++/53009
mpolacek [Fri, 2 Aug 2019 17:51:53 +0000 (17:51 +0000)] 
PR c++/53009
* g++.dg/cpp0x/nontype3.C: New test.

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

6 years ago2019-08-02 Bernd Edlinger <bernd.edlinger@hotmail.de>
edlinger [Fri, 2 Aug 2019 17:28:27 +0000 (17:28 +0000)] 
2019-08-02  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * function.c (assign_parm_adjust_stack_rtl): Revise STRICT_ALIGNMENT
        check to use targetm.slow_unaligned_access instead.

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

6 years ago PR c++/77575
mpolacek [Fri, 2 Aug 2019 17:26:02 +0000 (17:26 +0000)] 
PR c++/77575
* g++.dg/cpp0x/nontype2.C: New test.

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

6 years ago2019-08-02 Bernd Edlinger <bernd.edlinger@hotmail.de>
edlinger [Fri, 2 Aug 2019 17:16:22 +0000 (17:16 +0000)] 
2019-08-02  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * function.c (assign_param_data_one): Remove unused data members.

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

6 years ago2019-08-02 Steve Ellcey <sellcey@marvell.com>
sje [Fri, 2 Aug 2019 16:04:14 +0000 (16:04 +0000)] 
2019-08-02  Steve Ellcey  <sellcey@marvell.com>

* gcc.target/aarch64/simd_pcs_attribute.c: New test.
* gcc.target/aarch64/simd_pcs_attribute-2.c: Ditto.
* gcc.target/aarch64/simd_pcs_attribute-3.c: Ditto.

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

6 years ago2019-08-02 Steve Ellcey <sellcey@marvell.com>
sje [Fri, 2 Aug 2019 16:01:15 +0000 (16:01 +0000)] 
2019-08-02  Steve Ellcey  <sellcey@marvell.com>

* omp-simd-clone.c (simd_clone_adjust_return_type): Remove call to
build_distinct_type_copy.
(simd_clone_adjust_argument_types): Ditto.
(simd_clone_adjust): Call build_distinct_type_copy here.
(expand_simd_clones): Ditto.

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

6 years ago PR target/91201
uros [Fri, 2 Aug 2019 15:46:02 +0000 (15:46 +0000)] 
PR target/91201
* config/i386/sse.md (*vec_extractv16qi_zext): New insn pattern.

testsuite/ChangeLog:

PR target/91201
* gcc.target/i386/sse4_1-pr91201.c: New test.

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

6 years agotree-ssa-loop-im: simplify casts in comparators
amonakov [Fri, 2 Aug 2019 13:44:58 +0000 (13:44 +0000)] 
tree-ssa-loop-im: simplify casts in comparators

* tree-ssa-loop-im.c (sort_bbs_in_loop_postorder_cmp): Simplify casts
from 'const void *'.
(sort_locs_in_loop_postorder_cmp): Likewise.

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

6 years ago PR c++/91230 - wrong error with __PRETTY_FUNCTION__ and generic lambda.
mpolacek [Fri, 2 Aug 2019 13:26:06 +0000 (13:26 +0000)] 
PR c++/91230 - wrong error with __PRETTY_FUNCTION__ and generic lambda.
* pt.c (value_dependent_expression_p): Consider __PRETTY_FUNCTION__
inside a template function value-dependent.

* g++.dg/cpp1y/lambda-generic-pretty1.C: New test.

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

6 years ago * gcc.dg/torture/pr91323.c: Also check comparison results.
uros [Fri, 2 Aug 2019 12:21:40 +0000 (12:21 +0000)] 
* gcc.dg/torture/pr91323.c: Also check comparison results.

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

6 years ago * doc/invoke.texi (hot-bb-count-fraction): Rework description.
ebotcazou [Fri, 2 Aug 2019 10:09:04 +0000 (10:09 +0000)] 
* doc/invoke.texi (hot-bb-count-fraction): Rework description.
(hot-bb-count-ws-permille): Likewise.
(hot-bb-frequency-fraction): Likewise.
(unlikely-bb-count-fraction): Likewise.
* params.def (hot-bb-count-fraction): Rework description.
(hot-bb-count-ws-permille): Likewise.
(hot-bb-frequency-fraction): Likewise.
(unlikely-bb-count-fraction): Likewise.  Remove min and max values.
* predict.c (get_hot_bb_threshold): Deal with 0 HOT_BB_COUNT_FRACTION.

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

6 years ago PR target/91323
uros [Fri, 2 Aug 2019 09:58:04 +0000 (09:58 +0000)] 
PR target/91323
* config/i386/i386-expand.c (ix86_unordered_fp_compare) <case LTGT>:
Return false.

testsuite/ChangeLog:

PR target/91323
* gcc.dg/torture/pr91323.c: New test.

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

6 years ago2019-08-02 Richard Biener <rguenther@suse.de>
rguenth [Fri, 2 Aug 2019 09:31:34 +0000 (09:31 +0000)] 
2019-08-02  Richard Biener  <rguenther@suse.de>

* vec.h (vec::sort): Add gcc_qsort_r support.
(vec::bsearch): Add an overload with gcc_qsort_r style callbacks.
* tree-ssa-loop-im.c (sort_bbs_in_loop_postorder_cmp): Adjust
to gcc_qsort_r style callback.
(sort_locs_in_loop_postorder_cmp): Likewise.
(analyze_memory_references): Use gcc_sort_r interfaces.
(find_ref_loc_in_loop_cmp): Use new bsearch overload.

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

6 years agoProperly detect working jobserver in gcc driver.
marxin [Fri, 2 Aug 2019 09:23:56 +0000 (09:23 +0000)] 
Properly detect working jobserver in gcc driver.

2019-08-02  Martin Liska  <mliska@suse.cz>

PR lto/91313
* gcc.c (driver::maybe_run_linker): Call detect_jobserver
to detect working job server.
(driver::detect_jobserver): Test whether jobserver
is active from GCC driver. That will prevent situation where
GCC is invoked from a LD plugin and the linker already uses
file descriptors suggested by make.  That leads to a wrong
detection.
* gcc.h (driver): Add detect_jobserver.
* lto-wrapper.c (jobserver_active_p): Simplify sscanf by
not scanning for --jobserver-auth prefix.

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

6 years ago/cp
paolo [Fri, 2 Aug 2019 08:52:42 +0000 (08:52 +0000)] 
/cp
2019-08-02  Paolo Carlini  <paolo.carlini@oracle.com>

* tree.c (handle_nodiscard_attribute): Do not warn about nodiscard
applied to a constructor.

/testsuite
2019-08-02  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp1z/nodiscard6.C: New.

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

6 years agoFix gcc.dg/torture/ssa-fre-{5,7}.c failure for avr
saaadhu [Fri, 2 Aug 2019 08:47:04 +0000 (08:47 +0000)] 
Fix gcc.dg/torture/ssa-fre-{5,7}.c failure for avr

The test assumes 32 bit integers (and pointers), and therefore
fails for the avr target, which has 16 bit integers.

Fix failure for avr by adding dg-require-effective-target int32.

gcc/testsuite/ChangeLog:

2019-08-02  Senthil Kumar Selvaraj  <senthilkumar.selvaraj@microchip.com>

* gcc.dg/torture/ssa-fre-5.c: Add dg-require-effective-target int32.
* gcc.dg/torture/ssa-fre-7.c: Likewise.

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

6 years ago * gcc.c-torture/pr88140.c: Move to ...
uros [Fri, 2 Aug 2019 08:39:09 +0000 (08:39 +0000)] 
* gcc.c-torture/pr88140.c: Move to ...
* gcc.c-torture/compile/pr88140.c: ... here.

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

6 years ago PR tree-optimization/91201
jakub [Fri, 2 Aug 2019 08:28:31 +0000 (08:28 +0000)] 
PR tree-optimization/91201
* config/i386/i386-expand.c (ix86_expand_vector_extract): For elt == 0
V16QImode extraction without sse4.1 try to use V4SImode lowpart
extraction.

* gcc.target/i386/sse2-pr91201-3.c: New test.
* gcc.target/i386/sse2-pr91201-4.c: New test.
* gcc.target/i386/sse2-pr91201-5.c: New test.
* gcc.target/i386/sse2-pr91201-6.c: New test.

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

6 years ago * quadmath.h (M_Eq, M_LOG2Eq, M_LOG10Eq, M_LN2q, M_LN10q, M_PIq,
jakub [Fri, 2 Aug 2019 07:59:19 +0000 (07:59 +0000)] 
* quadmath.h (M_Eq, M_LOG2Eq, M_LOG10Eq, M_LN2q, M_LN10q, M_PIq,
M_PI_2q, M_PI_4q, M_1_PIq, M_2_PIq, M_2_SQRTPIq, M_SQRT2q,
M_SQRT1_2q): Use two more decimal places.

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

6 years agoMark DECL_SET_IS_OPERATOR_DELETE for user-provided delete operators.
marxin [Fri, 2 Aug 2019 06:07:15 +0000 (06:07 +0000)] 
Mark DECL_SET_IS_OPERATOR_DELETE for user-provided delete operators.

2019-08-02  Martin Liska  <mliska@suse.cz>

* decl.c (grok_op_properties):
Mark DECL_SET_IS_OPERATOR_DELETE for user-provided delete operators.
2019-08-02  Martin Liska  <mliska@suse.cz>

* g++.dg/cpp1y/new2.C: New test.

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

6 years agoFix gcc.dg/torture/ssa-fre-6.c failure for avr
saaadhu [Fri, 2 Aug 2019 05:27:15 +0000 (05:27 +0000)] 
Fix gcc.dg/torture/ssa-fre-6.c failure for avr

The test assumes 32 bit integers (and pointers), and therefore
fails for the avr target, which has 16 bit integers.

Fix failure for avr by adding dg-require-effective-target int32.

gcc/testsuite/ChangeLog

2019-08-02  Senthil Kumar Selvaraj  <senthilkumar.selvaraj@microchip.com>

* gcc.dg/torture/ssa-fre-6.c: Add dg-require-effective-target int32.

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

6 years agoCheck -shared is available for pr87906_0.C
kito [Fri, 2 Aug 2019 03:15:44 +0000 (03:15 +0000)] 
Check -shared is available for pr87906_0.C

gcc/testsuite/ChangeLog:

* g++.dg/lto/pr87906_0.C: Add dg-require-effective-target shared check.

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

6 years agoDaily bump.
gccadmin [Fri, 2 Aug 2019 00:16:15 +0000 (00:16 +0000)] 
Daily bump.

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

6 years agoPR c++/90947 - Simple lookup table of array of strings is miscompiled
msebor [Thu, 1 Aug 2019 23:45:36 +0000 (23:45 +0000)] 
PR c++/90947 - Simple lookup table of array of strings is miscompiled

gcc/cp/ChangeLog:

PR c++/90947
* decl.c (reshape_init_array_1): Avoid truncating initializer
lists containing string literals.

gcc/testsuite/ChangeLog:

PR c++/90947
* c-c++-common/array-1.c: New test.
* g++.dg/abi/mangle73.C: New test.
* g++.dg/cpp2a/nontype-class23.C: New test.
* g++.dg/init/array53.C: New test.

gcc/ChangeLog:

PR c++/90947
* tree.c (type_initializer_zero_p): Define.
* tree.h (type_initializer_zero_p): New function.

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

6 years ago * cfgrtl.c (relink_block_chain): Add line returns in dump file.
ebotcazou [Thu, 1 Aug 2019 21:02:17 +0000 (21:02 +0000)] 
* cfgrtl.c (relink_block_chain): Add line returns in dump file.

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

6 years ago * cgraph.h (cgraph_edge::maybe_hot_p): Tweak comment.
ebotcazou [Thu, 1 Aug 2019 20:15:19 +0000 (20:15 +0000)] 
* cgraph.h (cgraph_edge::maybe_hot_p): Tweak comment.
* cgraph.c (cgraph_edge::maybe_hot_p): Likewise.  Remove useless test.
* predict.c (maybe_hot_count_p): Likewise.
(maybe_hot_bb_p): Tweak comment.
(maybe_hot_edge_p): Likewise.
(probably_never_executed): Likewise.  Minor tweak.
(probably_never_executed_bb_p): Likewise.
(unlikely_executed_edge_p): Likewise.
(probably_never_executed_edge_p): Likewise.
(optimize_function_for_size_p): Likewise.
(optimize_function_for_speed_p): Likewise.
(function_optimization_type): Likewise.
(optimize_bb_for_size_p): Likewise.
(optimize_bb_for_speed_p): Likewise.
(bb_optimization_type): Likewise.
(optimize_edge_for_size_p): Likewise.
(optimize_edge_for_speed_p): Likewise.
(optimize_insn_for_size_p): Likewise.
(optimize_insn_for_speed_p): Likewise.
(optimize_loop_for_size_p): Likewise.
(optimize_loop_for_speed_p): Likewise.
(optimize_loop_nest_for_speed_p): Likewise.
(optimize_loop_nest_for_size_p): Likewise.
(predictable_edge_p): Likewise.
(handle_missing_profiles): Minor tweak.

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

6 years agoFix comment about use of @pcrel@got.
meissner [Thu, 1 Aug 2019 18:35:49 +0000 (18:35 +0000)] 
Fix comment about use of @pcrel@got.

2019-08-01  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/predicates.md (pcrel_external_address): Update
comment.

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

6 years ago PR target/85693
uros [Thu, 1 Aug 2019 18:07:19 +0000 (18:07 +0000)] 
PR target/85693
* config/i386/mmx.md (usadv8qi): New expander.

testsuite/ChangeLog:

PR target/85693
* gcc.target/i386/pr85693-1.c: New test.

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

6 years agoPR c++/90590
mbelivea [Thu, 1 Aug 2019 18:04:23 +0000 (18:04 +0000)] 
PR c++/90590

* c-warn.c (c_do_switch_warnings): Suppress warning for enumerators
with reserved names that are in a system header.

* c-c++-common/pr90590-1.c: New test.
* c-c++-common/pr90590-1.h: New test.
* c-c++-common/pr90590-2.c: New test.
* c-c++-common/pr90590-2.h: New test.

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

6 years ago * config/i386/mmx.md (vec_extractv2si_0): Add (r,x) alternative.
uros [Thu, 1 Aug 2019 17:32:13 +0000 (17:32 +0000)] 
* config/i386/mmx.md (vec_extractv2si_0): Add (r,x) alternative.
(*vec_extractv2si_0_zext_sse4): New insn pattern.
(*vec_extractv2si_0_zext): Ditto.
(*vec_extractv2si_1): Add (rm,x) alternative.
(*vec_extractv2si_1_zext): New insn pattern.
(*vec_extractv2si_zext_mem): Add "TARGET_MMX || TARGET_MMX_WITH_SSE"
insn constraint.

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

6 years agodomwalk: use gcc_sort_r
amonakov [Thu, 1 Aug 2019 17:16:48 +0000 (17:16 +0000)] 
domwalk: use gcc_sort_r

2019-08-01  Richard Biener  <rguenther@suse.de>

* domwalk.c (bb_postorder): Remove static variable.
(cmp_bb_postorder): Adjust.
(sort_bbs_postorder): Adjust and use gcc_sort_r.
(dom_walker::walk): Adjust.

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

6 years agosort.cc: introduce gcc_sort_r
amonakov [Thu, 1 Aug 2019 17:14:53 +0000 (17:14 +0000)] 
sort.cc: introduce gcc_sort_r

* sort.cc (sort_r_ctx): New struct.
(reorder23): Make templated on context type.
(reorder45): Ditto.
(cmp1): Ditto.  Adjust signature.
(netsort): Ditto.
(mergesort): Ditto.
[CHECKING_P] (cmp2to3): New static function.  Use it...
(gcc_qsort) [CHECKING_P]: ...here.
(gcc_sort_r): New function.
* system.h (sort_r_cmp_fn): New function typedef.
(qsort_chk): Adjust signature.
(gcc_sort_r): Declare.
* vec.c (qsort_chk_error): Adjust.
(qsort_chk): Adjust.

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

6 years ago PR c++/90805 - detect narrowing in case values.
mpolacek [Thu, 1 Aug 2019 16:27:04 +0000 (16:27 +0000)] 
PR c++/90805 - detect narrowing in case values.
* decl.c (case_conversion): Detect narrowing in case values.

* c-c++-common/pr89888.c: Update expected dg-error.
* g++.dg/cpp0x/Wnarrowing17.C: New test.
* g++.dg/cpp0x/enum28.C: Update expected dg-error.

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

6 years ago2019-08-01 Edward Smith-Rowland <3dw4rd@verizon.net>
emsr [Thu, 1 Aug 2019 15:25:42 +0000 (15:25 +0000)] 
2019-08-01  Edward Smith-Rowland  <3dw4rd@verizon.net>

Implement C++20 p0202 - Add Constexpr Modifiers to Functions
in <algorithm> and <utility> Headers.
Implement C++20 p1023 - constexpr comparison operators for std::array.
* include/bits/algorithmfwd.h (all_of, any_of, binary_search, copy,
copy_backward, copy_if, copy_n, equal_range, fill, find_end,
find_if_not, includes, is_heap, is_heap_until, is_partitioned,
is_permutation, is_sorted, is_sorted_until, iter_swap, lower_bound,
none_of, partition_copy, partition_point, remove, remove_if,
remove_copy, remove_copy_if, replace_copy, replace_copy_if,
reverse_copy, rotate_copy, uunique, upper_bound, adjacent_find, count,
count_if, equal, find, find_first_of, find_if, for_each, generate,
generate_n, lexicographical_compare, merge, mismatch, replace,
replace_if, search, search_n, set_difference, set_intersection,
set_symmetric_difference, set_union, transform, unique_copy):
Mark constexpr.
* include/bits/cpp_type_traits.h (__miter_base): Mark constexpr.
* include/bits/predefined_ops.h (_Iter_less_val::operator(),
_Val_less_iter::operator(), _Iter_equal_to_iter::operator(),
_Iter_equal_to_val::operator(), _Iter_equals_val::operator()):
 Use const ref instead of ref arg;
(_Iter_less_val, __iter_less_val, _Val_less_iter, __val_less_iter,
__iter_equal_to_iter, __iter_equal_to_val, __iter_comp_val,
_Iter_comp_val, _Val_comp_iter, __val_comp_iter, __iter_equals_val,
_Iter_equals_iter, __iter_comp_iter, _Iter_pred, __pred_iter,
_Iter_comp_to_val, __iter_comp_val, _Iter_comp_to_iter,
__iter_comp_iter): Mark constexpr.
* include/bits/stl_algo.h (__find_if, __find_if_not, __find_if_not_n,
__search, __search_n_aux, __search_n, __find_end, find_end, all_of,
none_of, any_of, find_if_not, is_partitioned, partition_point,
__remove_copy_if, remove_copy, remove_copy_if, copy_if, __copy_n,
copy_n, partition_copy, __remove_if, remove, remove_if, __adjacent_find,
__unique, unique, __unique_copy, reverse_copy, rotate_copy,
__unguarded_linear_insert, __insertion_sort, __unguarded_insertion_sort,
__final_insertion_sort, lower_bound, __upper_bound, upper_bound,
__equal_range, equal_range, binary_search, __includes, includes,
__next_permutation, __prev_permutation, __replace_copy_if, replace_copy,
replace_copy_if, __count_if, is_sorted, __is_sorted_until,
is_sorted_until, __is_permutation, is_permutation, for_each, find,
find_if, find_first_of, adjacent_find, count, count_if, search,
search_n, transform, replace, replace_if, generate, generate_n,
unique_copy, __merge, merge, __set_union, set_union, __set_intersection,
set_intersection, __set_difference, set_difference,
__set_symmetric_difference, set_symmetric_difference):  Mark constexpr.
* include/bits/stl_algobase.h (__memmove, __memcmp): New maybe constexpr
wrappers around __builtin_memmove and __builtin_memcmp
respectively;
(__niter_base, __niter_wrap, __copy_m, __copy_move_a, __copy_move_a2,
copy, move, __copy_move_b, __copy_move_backward_a,
__copy_move_backward_a2, copy_backward, move_backward, __fill_a, fill,
__fill_n_a, fill_n, equal, __lc_rai::__newlast1, __lc_rai::__cnd2,
__lexicographical_compare_impl, __lexicographical_compare,
__lexicographical_compare<true>::__lc, __lexicographical_compare_aux,
__lower_bound, lower_bound, equal, __equal4, lexicographical_compare,
__mismatch, mismatch, __is_heap_until, __is_heap, is_heap_until,
is_heap): Mark constexpr.
* include/bits/stl_heap.h (__is_heap_until, __is_heap, is_heap_until,
is_heap): Mark constexpr.
* include/bits/stl_iterator.h (__niter_base, __miter_base): Mark constexpr.
* include/std/array: Make comparison ops constexpr.
* include/std/utility: Make exchange constexpr.
* include/std/version (__cpp_lib_constexpr_algorithms): New macro.
* testsuite/23_containers/array/tuple_interface/get_neg.cc: Adjust.
* testsuite/23_containers/array/tuple_interface/
tuple_element_neg.cc: Adjust.
* testsuite/20_util/exchange/constexpr.cc: New.
* testsuite/23_containers/array/comparison_operators/constexpr.cc: New.
* testsuite/25_algorithms/constexpr_macro.cc: New.
* testsuite/25_algorithms/adjacent_find/constexpr.cc: New.
* testsuite/25_algorithms/all_of/constexpr.cc: New.
* testsuite/25_algorithms/any_of/constexpr.cc: New.
* testsuite/25_algorithms/binary_search/constexpr.cc: New.
* testsuite/25_algorithms/copy/constexpr.cc: New.
* testsuite/25_algorithms/copy_backward/constexpr.cc: New.
* testsuite/25_algorithms/copy_if/constexpr.cc: New.
* testsuite/25_algorithms/copy_n/constexpr.cc: New.
* testsuite/25_algorithms/count/constexpr.cc: New.
* testsuite/25_algorithms/count_if/constexpr.cc: New.
* testsuite/25_algorithms/equal/constexpr.cc: New.
* testsuite/25_algorithms/equal_range/constexpr.cc: New.
* testsuite/25_algorithms/fill/constexpr.cc: New.
* testsuite/25_algorithms/fill_n/constexpr.cc: New.
* testsuite/25_algorithms/find/constexpr.cc: New.
* testsuite/25_algorithms/find_end/constexpr.cc: New.
* testsuite/25_algorithms/find_first_of/constexpr.cc: New.
* testsuite/25_algorithms/find_if/constexpr.cc: New.
* testsuite/25_algorithms/find_if_not/constexpr.cc: New.
* testsuite/25_algorithms/for_each/constexpr.cc: New.
* testsuite/25_algorithms/generate/constexpr.cc: New.
* testsuite/25_algorithms/generate_n/constexpr.cc: New.
* testsuite/25_algorithms/is_heap/constexpr.cc: New.
* testsuite/25_algorithms/is_heap_until/constexpr.cc: New.
* testsuite/25_algorithms/is_partitioned/constexpr.cc: New.
* testsuite/25_algorithms/is_permutation/constexpr.cc: New.
* testsuite/25_algorithms/is_sorted/constexpr.cc: New.
* testsuite/25_algorithms/is_sorted_until/constexpr.cc: New.
* testsuite/25_algorithms/lexicographical_compare/constexpr.cc: New.
* testsuite/25_algorithms/lower_bound/constexpr.cc: New.
* testsuite/25_algorithms/merge/constexpr.cc: New.
* testsuite/25_algorithms/mismatch/constexpr.cc: New.
* testsuite/25_algorithms/none_of/constexpr.cc: New.
* testsuite/25_algorithms/partition_copy/constexpr.cc: New.
* testsuite/25_algorithms/partition_point/constexpr.cc: New.
* testsuite/25_algorithms/remove/constexpr.cc: New.
* testsuite/25_algorithms/remove_copy/constexpr.cc: New.
* testsuite/25_algorithms/remove_copy_if/constexpr.cc: New.
* testsuite/25_algorithms/remove_if/constexpr.cc: New.
* testsuite/25_algorithms/replace_copy/constexpr.cc: New.
* testsuite/25_algorithms/replace_copy_if/constexpr.cc: New.
* testsuite/25_algorithms/replace_if/constexpr.cc: New.
* testsuite/25_algorithms/reverse_copy/constexpr.cc: New.
* testsuite/25_algorithms/rotate_copy/constexpr.cc: New.
* testsuite/25_algorithms/search/constexpr.cc: New.
* testsuite/25_algorithms/search_n/constexpr.cc: New.
* testsuite/25_algorithms/set_difference/constexpr.cc: New.
* testsuite/25_algorithms/set_intersection/constexpr.cc: New.
* testsuite/25_algorithms/set_symmetric_difference/constexpr.cc: New.
* testsuite/25_algorithms/set_union/constexpr.cc: New.
* testsuite/25_algorithms/transform/constexpr.cc: New.
* testsuite/25_algorithms/unique/constexpr.cc: New.
* testsuite/25_algorithms/unique_copy/constexpr.cc: New.
* testsuite/25_algorithms/upper_bound/constexpr.cc: New.

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

6 years agoFix pr89330_0.C test
wilco [Thu, 1 Aug 2019 12:54:23 +0000 (12:54 +0000)] 
Fix pr89330_0.C test

Fix pr89330_0.C test by adding missing effective target shared.
Committed as obvious.

   testsuite/
* gcc/testsuite/g++.dg/lto/pr89330_0.C: Add effective-target shared.

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

6 years ago2019-08-01 Richard Biener <rguenther@suse.de>
rguenth [Thu, 1 Aug 2019 11:37:22 +0000 (11:37 +0000)] 
2019-08-01  Richard Biener  <rguenther@suse.de>

* tree-ssa-pre.c (has_abnormal_preds): Remove global var.
(compute_antic): Localize it here.

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

6 years ago2019-08-01 Bernd Edlinger <bernd.edlinger@hotmail.de>
edlinger [Thu, 1 Aug 2019 08:45:29 +0000 (08:45 +0000)] 
2019-08-01  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * Make-lang.in (lto.install-common): Remove unnecessary slash
        between $(DESTDIR) and $(bindir).

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

6 years agoRISC-V: Fix testcase on rv64
kito [Thu, 1 Aug 2019 06:33:48 +0000 (06:33 +0000)] 
RISC-V: Fix testcase on rv64

gcc/testsuite/ChangeLog:

* gcc.target/riscv/attribute-10.c: Fix testcase on rv64.

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

6 years agoDaily bump.
gccadmin [Thu, 1 Aug 2019 00:16:17 +0000 (00:16 +0000)] 
Daily bump.

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

6 years ago/cp
paolo [Wed, 31 Jul 2019 21:50:04 +0000 (21:50 +0000)] 
/cp
2019-07-31  Paolo Carlini  <paolo.carlini@oracle.com>

* decl2.c (delete_sanity): Improve diagnostic locations, use
cp_expr_loc_or_loc in four places.

/testsuite
2019-07-31  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/diagnostic/delete1.C: New.

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

6 years agoRISC-V: Raise error on unexpected ISA string at end.
wilson [Wed, 31 Jul 2019 21:36:41 +0000 (21:36 +0000)] 
RISC-V: Raise error on unexpected ISA string at end.

2019-07-31  Maxim Blinov  <maxim.blinov@embecosm.com>
gcc/
* common/config/riscv/riscv-common.c: Check -march string ends
with null.
gcc/testsuite/
* gcc.target/riscv/attribute-10.c: New test.

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

6 years agoQualify call to prevent ADL
redi [Wed, 31 Jul 2019 19:08:56 +0000 (19:08 +0000)] 
Qualify call to prevent ADL

* include/std/memory (make_obj_using_allocator): Qualify call to
uses_allocator_construction_args.

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

6 years ago PR c++/90538 - multiple expansions of capture packs
jason [Wed, 31 Jul 2019 18:50:00 +0000 (18:50 +0000)] 
PR c++/90538 - multiple expansions of capture packs

Previously, with init-capture the type of the closure field was a
DECLTYPE_TYPE of the initializer.  But since each time we tsubst a lambda we
get a different lambda, that meant that if the initializer is a lambda, we'd
end up with different closure types in the field and initializer after
substitution (PR 87322).  We dealt with this by remembering the lambda
instantiation within each pack expansion element, using
local_specialization_stack to separate the elements.  But that broke this
testcase, because it lost lambda capture proxies that also use
local_specializations.

So, this patch removes the local_specializations changes from that patch and
fixes 87322 differently, by giving init-capture fields 'auto' type and doing
deduction later.  There's a bit of a kludge to get the right number of
fields by pretending that 'auto...' uses the parameter packs from the
initializer, but it does the trick.

* cp-tree.h (DECLTYPE_FOR_INIT_CAPTURE): Remove.
* lambda.c (add_capture): Copy parameter packs from init.
(lambda_capture_field_type): Always use auto for init-capture.
* pt.c (uses_parameter_packs): Return tree.
(tsubst) [DECLTYPE_TYPE]: Remove init-capture handling.
(gen_elem_of_pack_expansion_instantiation): Don't push
local_specialization_stack.
(prepend_one_capture): New.
(tsubst_lambda_expr): Use it.  Don't touch local_specializations.
(do_auto_deduction): Avoid redundant error.

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

6 years ago Fix copy_node of TEMPLATE_INFO.
jason [Wed, 31 Jul 2019 18:49:28 +0000 (18:49 +0000)] 
Fix copy_node of TEMPLATE_INFO.

build_clone uses copy_node to duplicate the TEMPLATE_INFO for a clone, but
this clears TREE_CHAIN, which was TI_ARGS in a TEMPLATE_INFO.

* cp-tree.h (struct tree_template_info): Use tree_base instead of
tree_common.  Add tmpl and args fields.
(TI_TEMPLATE, TI_ARGS): Adjust.

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

6 years agoipa-devirt: make qsort helpers static
amonakov [Wed, 31 Jul 2019 17:55:04 +0000 (17:55 +0000)] 
ipa-devirt: make qsort helpers static

* ipa-devirt.c (type_warning_cmp): Make static.
(decl_warning_cmp): Ditto.

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

6 years ago PR target/91050
bergner [Wed, 31 Jul 2019 17:18:40 +0000 (17:18 +0000)] 
PR target/91050
* config/rs6000/rs6000.opt (mdejagnu-cpu=): Delete option.
* config/rs6000/rs6000.c (rs6000_option_override_internal): Remove
use of deleted rs6000_dejagnu_cpu_index variable.
* config/rs6000/rs6000.h (DRIVER_SELF_SPECS): Define.
(SUBTARGET_DRIVER_SELF_SPECS): Likewise.
* config/darwin.h (DRIVER_SELF_SPECS): Rename from this ...
(SUBTARGET_DRIVER_SELF_SPECS): ...to this.
* config/i386/i386.h (DRIVER_SELF_SPECS): Define.
(SUBTARGET_DRIVER_SELF_SPECS): Likewise.

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

6 years agoImplement "P0631R4 Math Constants" for C++20
redi [Wed, 31 Jul 2019 16:40:39 +0000 (16:40 +0000)] 
Implement "P0631R4 Math Constants" for C++20

The values of the constants are taken from Glibc where the equivalent
constant exists, or by rounding the actual constant to the same number
of digits as the Glibc constants have.

P0631R4 Math Constants
* include/Makefile.am: Add new header.
* include/Makefile.in: Regenerate.
* include/precompiled/stdc++.h: Include new header.
* include/std/numbers: New header.
* include/std/version (__cpp_lib_math_constants): Define.
* testsuite/26_numerics/numbers/1.cc: New test.
* testsuite/26_numerics/numbers/2.cc: New test.
* testsuite/26_numerics/numbers/3.cc: New test.
* testsuite/26_numerics/numbers/nonfloat_neg.cc: New test.

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

6 years agoAdd Doxygen comments to <bit> header
redi [Wed, 31 Jul 2019 14:38:50 +0000 (14:38 +0000)] 
Add Doxygen comments to <bit> header

* include/std/bit: Add Doxygen comments.

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

6 years agoPR libstdc++/91308 fix constraints on unique_ptr assignment
redi [Wed, 31 Jul 2019 14:38:26 +0000 (14:38 +0000)] 
PR libstdc++/91308 fix constraints on unique_ptr assignment

PR libstdc++/91308
* include/bits/unique_ptr.h (unique_ptr::__safe_conversion_up): Remove
constraints on deleter that should only apply to the constructor.
(unique_ptr<T[], D>::__safe_conversion_up): Likewise.
(unique_ptr<T[], D>::unique_ptr(unique_ptr<U, D>&&)): Restore
constraints on deleter here.
* testsuite/20_util/unique_ptr/assign/91308.cc: New test.

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