procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Daily bump.

Browse source
This commit is contained in:
GCC Administrator 2020-07-08 00:16:40 +00:00
parent 36e8db7c2a
commit f60ee68de3
10 changed files with 354 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
contrib/ChangeLog
View file

@ -1,3 +1,10 @@
2020-07-07 Alexandre Oliva <oliva@adacore.com>
Martin Liska <mliska@suse.cz>
* gcc-changelog/git_commit.py: Support CASE and COND.
* gcc-changelog/test_patches.txt: Add test.
* gcc-changelog/test_email.py: Add test.
2020-06-30 Martin Liska <mliska@suse.cz>
* gcc-changelog/git_repository.py: Support older releases of

24
gcc/ChangeLog
View file

@ -1,3 +1,27 @@
2020-07-07 Anton Youdkevitch <anton.youdkevitch@bell-sw.com>
* config/aarch64/aarch64.c (thunderx2t99_regmove_cost,
thunderx2t99_vector_cost): Likewise.
2020-07-07 Richard Biener <rguenther@suse.de>
* tree-vect-data-refs.c (vect_analyze_data_ref_accesses): Fix
group overlap condition to allow negative step DR groups.
* tree-vect-stmts.c (get_group_load_store_type): For
multi element SLP groups force VMAT_STRIDED_SLP when the step
is negative.
2020-07-07 Qian Jianhua <qianjh@cn.fujitsu.com>
* doc/generic.texi: Fix typo.
2020-07-07 Richard Biener <rguenther@suse.de>
* lto-streamer-out.c (cmp_symbol_files): Use the computed
order map to sort symbols from the same sub-file together.
(lto_output): Compute a map of sub-file to an order number
it appears in the symbol output array.
2020-07-06 Richard Biener <rguenther@suse.de>
PR tree-optimization/96075

2
gcc/DATESTAMP
View file

@ -1 +1 @@
20200707
20200708

215
gcc/ada/ChangeLog
View file

@ -1,3 +1,218 @@
2020-07-07 Eric Botcazou <ebotcazou@adacore.com>
* freeze.adb (Freeze_Array_Type): Use Ctyp more consistently.
Move code setting the alignment in the non-packed case to...
* layout.adb (Layout_Type): ...here.
2020-07-07 Bob Duff <duff@adacore.com>
* treepr.adb (Print_Node): Add code to test Is_Extension.
2020-07-07 Arnaud Charlet <charlet@adacore.com>
* sem_ch4.adb (Try_Container_Indexing): Add ??? comment. Protect
against malformed tree in case of errors.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* einfo.adb, sem_ch10.adb, sem_ch12.adb, sem_ch8.adb: Use
Is_Generic_Subprogram.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* sem_ch8.adb (Analyze_Use_Package): Replace low-level,
error-prone Ekind_In tests with high-level Is_Generic_Subprogram
and Is_Subprogram.
2020-07-07 Arnaud Charlet <charlet@adacore.com>
* sem_ch6.adb (Check_Formal_Subprogram_Conformance): New
subprogram to handle checking without systematically emitting an
error.
(Check_Conformance): Update call to
Check_Formal_Subprogram_Conformance and fix handling of Conforms
and Errmsg parameters.
2020-07-07 Arnaud Charlet <charlet@adacore.com>
* exp_ch4.adb (Tagged_Membership): Generate a call to
CW_Membership instead of using Build_CW_Membership.
(Expand_N_In): Remove wrong handling of null access types and
corresponding comment.
* exp_intr.adb (Expand_Dispatching_Constructor_Call): Generate a
call to CW_Membership instead of using Build_CW_Membership.
* rtsfind.ads: Add CW_Membership.
* exp_atag.ads, exp_atag.adb (Build_CW_Membership): Removed.
* einfo.ads: Fix typo.
* libgnat/a-tags.ads, libgnat/a-tags.adb (CW_Membership): Moved
back to spec.
2020-07-07 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Build_Access_Subprogram_Wrapper_Body): Create
proper subprogram specification for body, using names in the
subprogram declaration but distinct entities.
* exp_ch6.adb (Expand_Call): If this is an indirect call
involving a subprogram wrapper, insert pointer parameter in list
of actuals with a parameter association, not as a positional
parameter.
2020-07-07 Justin Squirek <squirek@adacore.com>
* exp_ch6.adb (Expand_Branch): Verify the original node is a
conditional expression before recursing further.
(Insert_Level_Assign): Transform assertion into an explicit
raise.
2020-07-07 Steve Baird <baird@adacore.com>
* sem_attr.adb (Eval_Attribute): Generalize static evaluation of
Size attribute references to also handle
Max_Size_In_Storage_Elements references.
2020-07-07 Javier Miranda <miranda@adacore.com>
* sem_util.adb (Is_Potentially_Unevaluated): Code cleanup.
2020-07-07 Eric Botcazou <ebotcazou@adacore.com>
* checks.ads (Expander Routines): Update the description of the
Do_Range_Check mechanism.
* checks.adb (Selected_Range_Checks): Fix typo.
* exp_ch9.adb: Add with and use clause for Checks.
(Actual_Index_Expression): Generate a range check if requested.
(Entry_Index_Expression): Likewise.
* sem_attr.adb (Resolve_Attribute) <Attribute_Count>: Call
Apply_Scalar_Range_Check instead of Apply_Range_Check.
* sem_ch9.adb (Analyze_Accept_Statement): Likewise.
* sem_res.adb (Resolve_Entry): Likewise, after having set the
actual index type on the prefix of the indexed component.
(Resolve_Indexed_Component): Remove useless conditional construct.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* contracts.adb (Analyze_Entry_Or_Subprogram_Contract,
Process_Preconditions_For): Freeze expression that has been
relocated to pragma Precondition, not the expression which is
still in the aspect.
2020-07-07 Arnaud Charlet <charlet@adacore.com>
* sem_ch6.adb (Check_Conformance): Remove unnecessary (and
wrong) code.
* sem_ch8.adb (Check_Null_Exclusion): Post error at proper
location. Introduce new helper Null_Exclusion_Mismatch and fix
implementation wrt formal subprograms used in generic bodies.
(Analyze_Subprogram_Renaming): Fix missing setting of
Error_Msg_Sloc.
(Analyze_Object_Renaming): Replace "in Anonymous_Access_Kind" by
Is_Anonymous_Access_Type.
* sem_util.adb (Has_Null_Exclusion): Fix handling of
N_Parameter_Specification.
* sem_ch12.adb (Instantiate_Object): Replace "in
Anonymous_Access_Kind" by Is_Anonymous_Access_Type.
2020-07-07 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Expr_Types): Freeze the designated type of
the explicit dereference.
2020-07-07 Javier Miranda <miranda@adacore.com>
* sem_util.adb (Is_Potentially_Unevaluated): Protect reading
attribute Etype.
2020-07-07 Bob Duff <duff@adacore.com>
* libgnat/g-catiio.adb (Value, Parse_ISO_8601): Unsuppress
checks, and don't rely on 'Valid.
2020-07-07 Arnaud Charlet <charlet@adacore.com>
* Makefile.rtl: Remove dead code.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Document gnatbind -xdr switch.
* gnat_ugn.texi: Regenerate.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(Validity Checking): Add "p" to the list of switches enabled by
-gnatVa.
* gnat_ugn.texi: Regenerate.
2020-07-07 Ghjuvan Lacambre <lacambre@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Add call
to Check_Restriction_No_Specification_Of_Aspect.
* sem_prag.adb (Analyze_Pragma): Likewise.
* restrict.ads (Check_Restriction_No_Specification_Of_Aspect):
Mention possible new node kinds in documentation.
* restrict.adb (Check_Restriction_No_Specification_Of_Aspect):
Retrieve aspect id from different fields if given node is an
N_Pragma or an N_Attribute_Definition_Clause.
2020-07-07 Gary Dismukes <dismukes@adacore.com>
* contracts.adb (Add_Invariant_And_Predicate_Checks): Relax the
condition for doing invariant checks so that in-mode parameters
of procedures are also checked (required by AI05-0289, and
restricted to procedures by AI12-0044). This is done in a
procedure's nested postconditions procedure.
* exp_ch6.adb (Expand_Actuals): Also perform postcall invariant
checks for in parameters of procedures (but not functions).
Moved invariant-checking code to end of Expand_Actuals
(including the nested function Is_Public_Subp).
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* sem_aggr.adb (Resolve_Delta_Array_Aggregate): Make Index_Type
a constant.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* exp_aggr.adb (Expand_N_Delta_Aggregate): Use type of the delta
base expression for the anonymous object of the delta aggregate.
2020-07-07 Javier Miranda <miranda@adacore.com>
* sem_util.ads (Interval_Lists): Reordering routine.
* sem_util.adb (Interval_Lists): Reordering routines to keep
them alphabetically ordered.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* sem_attr.adb (Resolve_Attribute): Do not call
Check_Non_Static_Context.
2020-07-07 Arnaud Charlet <charlet@adacore.com>
* sem_elab.adb (Is_Guaranteed_ABE): Take into account null
procedures.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* sem_ch5.adb (Analyze_Assignment): Reuse Is_Assignable.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Add scalar
range checks for 'Update on arrays just like for 'Update on
records.
* sem_attr.adb (Analyze_Array_Component_Update): Do not set
range checks for single-dimensional arrays.
(Resolve_Attribute): Do not set range checks for both single-
and multi- dimensional arrays.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* sem.ads (Sem): Fix description.
2020-07-07 Piotr Trojanek <trojanek@adacore.com>
* sem_ch13.adb (Analyze_Relaxed_Parameter): Fix for protected
entries.
2020-07-06 Piotr Trojanek <trojanek@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): Use Is_RTE.

9
gcc/c-family/ChangeLog
View file

@ -1,3 +1,12 @@
2020-07-07 Nathan Sidwell <nathan@acm.org>
* c-opts.c (c_common_post_options): Add 'injecting' arg to
cpp_read_main_file.
(c_finish_options): Add linemap_line_start calls for builtin and cmd
maps. Force token position to line_table's highest line.
* c-ppoutput.c (print_line_1): Refactor, print line zero.
(cb_define): Always increment source line.
2020-07-06 Martin Sebor <msebor@redhat.com>
PR c++/95984

5
gcc/c/ChangeLog
View file

@ -1,3 +1,8 @@
2020-07-07 Kaipeng Zhou <zhoukaipeng3@huawei.com>
* c-parser.c (c_parser_statement_after_labels): Pass correct
parameters to c_parser_do_statement.
2020-06-16 Jakub Jelinek <jakub@redhat.com>
* c-parser.c (c_parser_expr_no_commas): Save, clear and restore

13
gcc/cp/ChangeLog
View file

@ -1,3 +1,16 @@
2020-07-07 Patrick Palka <ppalka@redhat.com>
PR c++/95303
* cxx-pretty-print.c (pp_cxx_unqualified_id): Check
PRIMARY_TEMPLATE_P before printing the innermost template
arguments.
2020-07-07 Martin Sebor <msebor@redhat.com>
PR c++/96063
* parser.c (class_decl_loc_t::diag_mismatched_tags): Print notes only
if warning_at returns nonzero.
2020-07-06 Martin Sebor <msebor@redhat.com>
PR c++/95984

38
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,41 @@
2020-07-07 Marek Polacek <polacek@redhat.com>
PR c++/92427
* g++.dg/ext/flexary37.C: New test.
2020-07-07 Patrick Palka <ppalka@redhat.com>
PR c++/95303
* g++.dg/concepts/diagnostic14.C: New test.
2020-07-07 Aaron Sawdey <acsawdey@linux.ibm.com>
* lib/target-supports.exp (check_power10_hw_available):
Return 0 for passing test.
2020-07-07 Nathan Sidwell <nathan@acm.org>
* c-c++-common/cpp/pragma-eof.c: New
2020-07-07 Nathan Sidwell <nathan@acm.org>
* c-c++-common/cpp/line-2.c: New.
* c-c++-common/cpp/line-2.h: New.
* c-c++-common/cpp/line-3.c: New.
* c-c++-common/cpp/line-4.c: New.
* c-c++-common/cpp/line-4.h: New.
2020-07-07 Martin Sebor <msebor@redhat.com>
PR c++/96063
* g++.dg/warn/Wmismatched-tags-7.C: New test.
* g++.dg/warn/Wmismatched-tags-8.C: New test.
2020-07-07 Richard Biener <rguenther@suse.de>
* gcc.dg/vect/slp-47.c: New testcase.
* gcc.dg/vect/slp-48.c: Likewise.
2020-07-06 Martin Sebor <msebor@redhat.com>
PR c++/95984

11
libcpp/ChangeLog
View file

@ -1,3 +1,14 @@
2020-07-07 Nathan Sidwell <nathan@acm.org>
* directives.c (do_linemarker): Optimize rewinding to line zero.
* files.c (_cpp_stack_file): Start on line zero when about to inject
headers.
(cpp_push_include, cpp_push_default_include): Use highest_line as
the location.
* include/cpplib.h (cpp_read_main_file): Add injecting parm.
* init.c (cpp_read_main_file): Likewise, inform _cpp_stack_file.
* internal.h (enum include_type): Add IT_MAIN_INJECT.
2020-05-29 H.J. Lu <hjl.tools@gmail.com>
PR bootstrap/95413

31
libstdc++-v3/ChangeLog
View file

@ -1,3 +1,34 @@
2020-07-07 Jonathan Wakely <jwakely@redhat.com>
* include/std/limits: Whitespace changes.
2020-07-07 Jonathan Wakely <jwakely@redhat.com>
* include/Makefile.am: Remove bits/int_limits.h.
* include/Makefile.in: Regenerate.
* include/bits/int_limits.h: Removed.
* include/bits/parse_numbers.h (_Select_int_base): Replace
__int_limits with __int_traits.
* include/bits/range_access.h (_SSize::operator()): Likewise.
* include/ext/numeric_traits.h (__numeric_traits_integer): Add
static assertion.
(__int_traits): New alias template.
* include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
(__countr_zero, __countr_one, __popcount, __bit_ceil)
(__bit_floor, __bit_width) Replace __int_limits with
__int_traits.
* include/std/charconv (__to_chars_8, __from_chars_binary)
(__from_chars_alpha_to_num, from_chars): Likewise.
* include/std/memory_resource (polymorphic_allocator::allocate)
(polymorphic_allocator::allocate_object): Likewise.
* include/std/string_view (basic_string_view::_S_compare):
Likewise.
* include/std/utility (cmp_equal, cmp_less, in_range): Likewise.
2020-07-07 Jonathan Wakely <jwakely@redhat.com>
* include/std/limits: Whitespace changes.
2020-07-06 Jonathan Wakely <jwakely@redhat.com>
* include/std/optional (_Optional_payload_base, _Optional_base)