diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 64743bc0642db82cb9021f2154d87f918c9a590b..c41ee4b8abae3605771cbb2699a8e3df420f21a2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,105 @@ +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/94695 + * doc/invoke.texi: Update the -Wrange-loop-construct description. + +2020-11-21 Jan Hubicka <jh@suse.cz> + + * tree-ssa-alias.c (ao_compare::compare_ao_refs, + ao_compare::hash_ao_ref): Use OEP_MATCH_SIDE_EFFECTS. + +2020-11-21 Jan Hubicka <jh@suse.cz> + + * ipa-icf.c (sem_function::equals_wpa): Do not compare ODR type with + -fno-devirtualize. + (sem_item_optimizer::update_hash_by_addr_refs): Hash anonymous ODR + types by TYPE_UID of their main variant. + +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * config/rs6000/rs6000.c (rs6000_option_override_internal): + Enable vector pair memcpy/memmove expansion. + +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * config/rs6000/mma.md (unspec): Add assemble/extract UNSPECs. + (movoi): Change to movoo. + (*movpoi): Change to *movoo. + (movxi): Change to movxo. + (*movpxi): Change to *movxo. + (mma_assemble_pair): Change to OO mode. + (*mma_assemble_pair): New define_insn_and_split. + (mma_disassemble_pair): New define_expand. + (*mma_disassemble_pair): New define_insn_and_split. + (mma_assemble_acc): Change to XO mode. + (*mma_assemble_acc): Change to XO mode. + (mma_disassemble_acc): New define_expand. + (*mma_disassemble_acc): New define_insn_and_split. + (mma_<acc>): Change to XO mode. + (mma_<vv>): Change to XO mode. + (mma_<avv>): Change to XO mode. + (mma_<pv>): Change to OO mode. + (mma_<apv>): Change to XO/OO mode. + (mma_<vvi4i4i8>): Change to XO mode. + (mma_<avvi4i4i8>): Change to XO mode. + (mma_<vvi4i4i2>): Change to XO mode. + (mma_<avvi4i4i2>): Change to XO mode. + (mma_<vvi4i4>): Change to XO mode. + (mma_<avvi4i4>): Change to XO mode. + (mma_<pvi4i2>): Change to XO/OO mode. + (mma_<apvi4i2>): Change to XO/OO mode. + (mma_<vvi4i4i4>): Change to XO mode. + (mma_<avvi4i4i4>): Change to XO mode. + * config/rs6000/predicates.md (input_operand): Allow opaque. + (mma_disassemble_output_operand): New predicate. + * config/rs6000/rs6000-builtin.def: + Changes to disassemble builtins. + * config/rs6000/rs6000-call.c (rs6000_return_in_memory): + Disallow __vector_pair/__vector_quad as return types. + (rs6000_promote_function_mode): Remove function return type + check because we can't test it here any more. + (rs6000_function_arg): Do not allow __vector_pair/__vector_quad + as as function arguments. + (rs6000_gimple_fold_mma_builtin): + Handle mma_disassemble_* builtins. + (rs6000_init_builtins): Create types for XO/OO modes. + * config/rs6000/rs6000-modes.def: DElete OI, XI, + POI, and PXI modes, and create XO and OO modes. + * config/rs6000/rs6000-string.c (expand_block_move): + Update to OO mode. + * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok_uncached): + Update for XO/OO modes. + (rs6000_rtx_costs): Make UNSPEC_MMA_XXSETACCZ cost 0. + (rs6000_modes_tieable_p): Update for XO/OO modes. + (rs6000_debug_reg_global): Update for XO/OO modes. + (rs6000_setup_reg_addr_masks): Update for XO/OO modes. + (rs6000_init_hard_regno_mode_ok): Update for XO/OO modes. + (reg_offset_addressing_ok_p): Update for XO/OO modes. + (rs6000_emit_move): Update for XO/OO modes. + (rs6000_preferred_reload_class): Update for XO/OO modes. + (rs6000_split_multireg_move): Update for XO/OO modes. + (rs6000_mangle_type): Update for opaque types. + (rs6000_invalid_conversion): Update for XO/OO modes. + * config/rs6000/rs6000.h (VECTOR_ALIGNMENT_P): + Update for XO/OO modes. + * config/rs6000/rs6000.md (RELOAD): Update for XO/OO modes. + +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * typeclass.h: Add opaque_type_class. + * builtins.c (type_to_class): Identify opaque type class. + * dwarf2out.c (is_base_type): Handle opaque types. + (gen_type_die_with_usage): Handle opaque types. + * expr.c (count_type_elements): Opaque types should + never have initializers. + * ipa-devirt.c (odr_types_equivalent_p): No type-specific handling + for opaque types is needed as it eventually checks the underlying + mode which is what is important. + * tree-streamer.c (record_common_node): Handle opaque types. + * tree.c (type_contains_placeholder_1): Handle opaque types. + (type_cache_hasher::equal): No additional comparison needed for + opaque types. + 2020-11-20 Michael Meissner <meissner@linux.ibm.com> * config/rs6000/rs6000-call.c (rs6000_expand_builtin): Add missing diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 1867e9391c318d9b83df0870d4ae5c4bca81b3c4..091f0200bdd193badbaced407d66d43617f6b038 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20201121 +20201122 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 0d1445f454ef0a58f9bc3d0121a7942924d337b7..78b0f5de539aceb6d66240048772aada6420bb79 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,10 @@ +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * c-pretty-print.c (c_pretty_printer::simple_type_specifier): + Treat opaque types like other types. + (c_pretty_printer::direct_abstract_declarator): Opaque types are + supported types. + 2020-11-20 Martin Sebor <msebor@redhat.com> * c-warn.c (warn_parm_array_mismatch): Bail on invalid redeclarations diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index c97a9f7c6b445bbb6231c322e3ae59db291509b0..7a3c05f6838095df08284fbd7de2c8c618bffa03 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,7 @@ +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * c-aux-info.c (gen_type): Support opaque types. + 2020-11-20 Martin Sebor <msebor@redhat.com> PR middle-end/97879 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index bc3bbe3b51bd37e0c8aae0e953279f55a8f79ae0..3a93b671cab047849564bb68a7c7e6b4b90a1354 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,45 @@ +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/94695 + * parser.c (warn_for_range_copy): Warn when the loop variable is + initialized with a value of a different type resulting in a copy. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97846 + * constexpr.c (potential_constant_expression_1): Reject + LABEL_EXPRs that use non-artifical LABEL_DECLs. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97881 + * parser.c (warn_about_ambiguous_parse): Only assume "int" if we + actually saw any type-specifiers. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97839 + * parser.c (cp_parser_lambda_declarator_opt): Don't require (). + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97427 + * constexpr.c (cxx_set_object_constness): New function. + (cxx_eval_call_expression): Set new_obj for destructors too. + Call cxx_set_object_constness to set/unset TREE_READONLY of + the object under construction/destruction. + +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * error.c (dump_type): Handle opaque types. + (dump_type_prefix): Handle opaque types. + (dump_type_suffix): Handle opaque types. + (dump_expr): Handle opaque types. + * pt.c (tsubst): Allow opaque types in templates. + (unify): Allow opaque types in templates. + * typeck.c (structural_comptypes): Handle comparison + of opaque types. + 2020-11-20 Jakub Jelinek <jakub@redhat.com> PR other/97911 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index db07b73117c1ec3a19cd31f8da6e04a571bd83d1..b4d804df73d17c9371a31ea39c6fe41b1291c792 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,45 @@ +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/94695 + * g++.dg/warn/Wrange-loop-construct2.C: New test. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97846 + * g++.dg/cpp1y/constexpr-label.C: New test. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97881 + * g++.dg/warn/Wvexing-parse9.C: New test. + +2020-11-21 David Edelsohn <dje.gcc@gmail.com> + + * g++.dg/debug/localclass2.C: Require LTO. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97839 + * g++.dg/cpp2a/lambda-generic8.C: New test. + +2020-11-21 Marek Polacek <polacek@redhat.com> + + PR c++/97427 + * g++.dg/cpp2a/constexpr-dtor10.C: New test. + +2020-11-21 Jan Hubicka <jh@suse.cz> + + * gcc.dg/vect/vect-35-big-array.c: Excpect 2 loops to be vectorized. + * gcc.dg/vect/vect-35.c: Excpect 2 loops to be vectorized. + +2020-11-21 Aaron Sawdey <acsawdey@linux.ibm.com> + + * gcc.target/powerpc/mma-double-test.c (main): Call abort for failure. + * gcc.target/powerpc/mma-single-test.c (main): Call abort for failure. + * gcc.target/powerpc/pr96506.c: Rename to pr96506-1.c. + * gcc.target/powerpc/pr96506-2.c: New test. + * gcc.target/powerpc/pr96506-1.c: New file. + 2020-11-20 Michael Meissner <meissner@linux.ibm.com> * gcc.dg/nextafter-2.c: Include math.h. diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog index a4af74b4caa4e8361139d9d34aeb8e41a5081d1c..0e5841cdcf29d7767691b3c839164cc5233d6267 100644 --- a/libgfortran/ChangeLog +++ b/libgfortran/ChangeLog @@ -1,3 +1,8 @@ +2020-11-21 Iain Sandoe <iain@sandoe.co.uk> + + * intrinsics/execute_command_line.c (environ): Use + _NSGetEnviron to get the environment pointer on Darwin. + 2020-10-30 Harald Anlauf <anlauf@gmx.de> * intrinsics/random.c (SZ_IN_INT_4): Define size of state in int32_t. diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index d49cd25da2d582e898c7e854b9657697bb894fb4..19e7661d8f08b4ed32cac069cc99d8b9f7b9cf1c 100644 --- a/libsanitizer/ChangeLog +++ b/libsanitizer/ChangeLog @@ -1,3 +1,7 @@ +2020-11-21 Iain Sandoe <iain@sandoe.co.uk> + + * configure.tgt: Allow x86_64 Darwin2x. + 2020-11-13 Martin Liska <mliska@suse.cz> * LOCAL_PATCHES: Update to the latest commit. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 9d92483e309f2859854dad9ef26a2458b0b1328c..dde10027b0f00d9d04c0ff2d1c3629e94383b305 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,19 @@ +2020-11-21 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/atomic_base.h (atomic_flag::wait): Use correct + type for __atomic_wait call. + * include/bits/atomic_timed_wait.h (__atomic_wait_until): Check + _GLIBCXX_HAVE_LINUX_FUTEX. + * include/bits/atomic_wait.h (__atomic_notify): Likewise. + * include/bits/semaphore_base.h (_GLIBCXX_HAVE_POSIX_SEMAPHORE): + Only define if SEM_VALUE_MAX or _POSIX_SEM_VALUE_MAX is defined. + * testsuite/29_atomics/atomic/wait_notify/bool.cc: Disable on + non-linux targes. + * testsuite/29_atomics/atomic/wait_notify/generic.cc: Likewise. + * testsuite/29_atomics/atomic/wait_notify/pointers.cc: Likewise. + * testsuite/29_atomics/atomic_flag/wait_notify/1.cc: Likewise. + * testsuite/29_atomics/atomic_float/wait_notify.cc: Likewise. + 2020-11-20 Thomas Rodgers <trodgers@redhat.com> * include/Makefile.am (bits_headers): Add new header.