diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-09-22 00:16:28 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-09-22 00:16:28 +0000 |
commit | 2c41dd82e23c296681aa466693bfc726e2d919ce (patch) | |
tree | 57f1a9b2545db1e6555cdbd934f37ff43e6478f6 /gcc | |
parent | 09e18d113b3c3dae896ac1a8ad1e0087adbb153b (diff) | |
download | gcc-2c41dd82e23c296681aa466693bfc726e2d919ce.zip gcc-2c41dd82e23c296681aa466693bfc726e2d919ce.tar.gz gcc-2c41dd82e23c296681aa466693bfc726e2d919ce.tar.bz2 |
Daily bump.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 94 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/ada/ChangeLog | 239 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/fortran/ChangeLog | 28 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 34 |
6 files changed, 401 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index acbbb71..0ff90d1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,97 @@ +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-path.cc (path_range_query::defined_outside_path): + New. + (path_range_query::range_on_path_entry): New. + (path_range_query::internal_range_of_expr): Resolve unknowns + with ranger. + (path_range_query::improve_range_with_equivs): New. + (path_range_query::ssa_range_in_phi): Resolve unknowns with + ranger. + * gimple-range-path.h (class path_range_query): Add + defined_outside_path, range_on_path_entry, and + improve_range_with_equivs. + +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-path.cc (path_range_query::add_to_imports): New. + (path_range_query::add_copies_to_imports): New. + (path_range_query::precompute_ranges): Call + add_copies_to_imports. + * gimple-range-path.h (class path_range_query): Add prototypes + for add_copies_to_imports and add_to_imports. + +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-path.cc (path_range_query::range_defined_in_block): + Remove useless code. + +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-fold.h (class fur_source): Make oracle protected. + * gimple-range-path.cc (path_range_query::path_range_query): Add + resolve argument. Initialize oracle. + (path_range_query::~path_range_query): Delete oracle. + (path_range_query::range_of_stmt): Adapt to use relations. + (path_range_query::precompute_ranges): Pre-compute relations. + (class jt_fur_source): New + (jt_fur_source::jt_fur_source): New. + (jt_fur_source::register_relation): New. + (jt_fur_source::query_relation): New. + (path_range_query::precompute_relations): New. + (path_range_query::precompute_phi_relations): New. + * gimple-range-path.h (path_range_query): Add resolve argument. + Add oracle, precompute_relations, precompute_phi_relations. + * tree-ssa-threadbackward.c (back_threader::back_threader): Pass + resolve argument to solver. + +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-fold.cc (fold_using_range::range_of_range_op): + Rename postfold_gcond_edges to register_outgoing_edges and + adapt. + (fold_using_range::postfold_gcond_edges): Rename... + (fur_source::register_outgoing_edges): ...to this. + * gimple-range-fold.h (postfold_gcond_edges): Rename to + register_outgoing_edges and move to fur_source. + +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-fold.cc (fold_using_range::range_of_phi): Check + dom_info_available_p. + +2021-09-21 Aldy Hernandez <aldyh@redhat.com> + + * gimple-range-cache.cc (non_null_ref::non_null_ref): Use create + and quick_grow_cleared instead of safe_grow_cleared. + +2021-09-21 Thomas Schwinge <thomas@codesourcery.com> + + PR other/102408 + * omp-oacc-neuter-broadcast.cc (oacc_do_neutering): Evaluate + 'random ()' to '0'. + +2021-09-21 Richard Earnshaw <rearnsha@arm.com> + + * configure.ac: Detect when the assembler supports new-style + architecture extensions. + * common/config/arm/arm-common.c (arm_rewrite_mcpu): Return + the full CPU string if the assembler can grok it. + (arm_rewrite_march): Likewise but for the architecture. + * config.in: Regenerate. + * configure: Regenerate. + +2021-09-21 Richard Biener <rguenther@suse.de> + + PR tree-optimization/102421 + * tree-vect-loop.c (vect_dissolve_slp_only_groups): Copy and + adjust alignment info. + +2021-09-21 Kewen Lin <linkw@linux.ibm.com> + + * ipa-fnsummary.c (ipa_fn_summary_write): Remove inconsistent + bitfield stream out. + 2021-09-20 Andrew MacLeod <amacleod@redhat.com> * gimple-range-fold.cc (fold_using_range::range_of_phi): Ignore diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index ed865cb..47a736e 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210921 +20210922 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 56d9baf..7d020f6 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,242 @@ +2021-09-21 Doug Rupp <rupp@adacore.com> + + * init.c (__gnat_error_handler) [LynxOS]: Add a comment about + missing optional args. + +2021-09-21 Yannick Moy <moy@adacore.com> + + * gen_il-gen.adb (Put_Opt_Subtype): Add suffix. + +2021-09-21 Justin Squirek <squirek@adacore.com> + + * sem_util.adb (Accessibility_Level): Remove spurious special + case for protected type components. + * exp_ch4.adb (Generate_Accessibility_Check): Use general + Accessibility_Level instead of the low-level function + Type_Access_Level. + +2021-09-21 Eric Botcazou <ebotcazou@adacore.com> + + * gnat_ugn.texi: Regenerate. + +2021-09-21 Matthieu Eyraud <eyraud@adacore.com> + + * par_sco.adb (Traverse_One): Add support for pragma Invariant / + Type_Invariant. + +2021-09-21 Bob Duff <duff@adacore.com> + + * gen_il-gen.adb (Put_Opt_Subtype): Print out subtypes of the + form: + subtype Opt_N_Declaration is + Node_Id with Predicate => + Opt_N_Declaration = Empty or else + Opt_N_Declaration in N_Declaration_Id; + One for each node or entity type, with the predicate allowing + Empty. + * atree.adb (Parent, Set_Parent): Remove unnecessary "Atree.". + +2021-09-21 Patrick Bernardi <bernardi@adacore.com> + + * bindgen.adb (Gen_Adainit): For targets that suppress the + standard library: set the default stack size global variable if + a value is provided via the -d switch, and generate a call to + __gnat_initialize_stack_limit if stack checking using stack + limits is enabled. + +2021-09-21 Bob Duff <duff@adacore.com> + + * sem_ch13.adb (Stream_Size): Print message about allowed stream + sizes even if other error were already found. This avoids + falling into the 'else', which prints "Stream_Size cannot be + given for...", which is misleading -- the Size COULD be given if + it were correct. + +2021-09-21 Daniel Mercier <mercier@adacore.com> + + * exp_util.adb (Build_Temporary): In case of an external DISCR + symbol, set the related expression for CodePeer so that a more + comprehensible message can be emitted to the user. + +2021-09-21 Eric Botcazou <ebotcazou@adacore.com> + + * libgnat/s-dwalin.adb (Parse_Header): Tweak comments. + (Read_Entry_Format_Array): Tweak exception message. + (Symbolic_Address.Set_Result): Likewise. + +2021-09-21 Ed Schonberg <schonberg@adacore.com> + + * exp_ch7.adb (Make_Init_Call): Add guard to protect against a + missing initialization procedure for a type. + +2021-09-21 Doug Rupp <rupp@adacore.com> + + * Makefile.rtl: Remove unused VxWorks sections. + * libgnarl/s-vxwext__noints.adb: Remove. + * libgnarl/s-vxwext__vthreads.ads: Remove. + * libgnat/a-elchha__vxworks-ppc-full.adb: Remove. + * libgnat/s-osprim__vxworks.adb: Remove. + * libgnat/s-osvers__vxworks-653.ads: Remove. + * libgnat/system-vxworks-e500-vthread.ads: Remove. + * libgnat/system-vxworks-ppc-vthread.ads: Remove. + * libgnat/system-vxworks-x86-vthread.ads: Remove. + +2021-09-21 Bob Duff <duff@adacore.com> + + * uintp.ads, uintp.adb (UI_Is_In_Int_Range): Change the type of + the formal parameter to Valid_Uint. Remove code that preserved + the previous behavior, and replace it with an assertion. The + previous behavior is no longer needed given the recent change to + gigi. + (No, Present): Add comment. + +2021-09-21 Bob Duff <duff@adacore.com> + + * sem_eval.adb (Fold_Shift): Replace an if_expression with an + if_statement. + +2021-09-21 Bob Duff <duff@adacore.com> + + * uintp.ads, uintp.adb: Add assertions. + (Ubool, Opt_Ubool): New "boolean" subtypes. + (UI_Is_In_Int_Range): The parameter should probably be + Valid_Uint, but we don't change that for now, because it causes + failures in gigi. + * sem_util.ads, sem_util.adb (Is_True, Is_False, + Static_Boolean): Use Opt_Ubool subtype. Document the fact that + Is_True (No_Uint) = True. Implement Is_False in terms of + Is_True. We considered changing Static_Boolean to return Uint_1 + in case of error, but that doesn't fit in well with + Static_Integer. + (Has_Compatible_Alignment_Internal): Deal with cases where Offs + is No_Uint. Change one "and" to "and then" to ensure we don't + pass No_Uint to ">", which would violate the new assertions. + * exp_util.adb, freeze.adb, sem_ch13.adb: Avoid violating new + assertions in Uintp. + +2021-09-21 Eric Botcazou <ebotcazou@adacore.com> + + * libgnat/s-dwalin.adb (To_File_Name): Fetch only the last string + from the .debug_line_str section. + (Symbolic_Address.Set_Result): Likewise. + +2021-09-21 Eric Botcazou <ebotcazou@adacore.com> + + * libgnat/s-dwalin.adb (Skip_Form): Fix cases of DW_FORM_addrx + and DW_FORM_implicit_const. Replace Constraint_Error with + Dwarf_Error. + +2021-09-21 Ghjuvan Lacambre <lacambre@adacore.com> + + * exp_pakd.adb (Expand_Packed_Not): Replace expression with + statement. + +2021-09-21 Ghjuvan Lacambre <lacambre@adacore.com> + + * sem_eval.adb (Is_Static_Subtype): Take predicates created + through "predicate" pragma into account. + +2021-09-21 Frederic Konrad <konrad@adacore.com> + + * Makefile.rtl (aarch64-rtems*): Add GNATRTL_128BIT_PAIRS to + the LIBGNAT_TARGET_PAIRS list and also GNATRTL_128BIT_OBJS to + the EXTRA_GNATRTL_NONTASKING_OBJS list. + +2021-09-21 Gary Dismukes <dismukes@adacore.com> + + * sem_ch4.adb (Remove_Abstract_Operations): Add condition to + test for an E_Operator as part of criteria for setting + Abstract_Op on interpretations involving predefined operators. + +2021-09-21 Javier Miranda <miranda@adacore.com> + + * exp_ch6.adb (Expand_Simple_Function_Return): For explicit + dereference of type conversion, enable code that ensures that + the tag of the result is that of the result type. + +2021-09-21 Bob Duff <duff@adacore.com> + + * einfo-utils.adb: Add support (currently disabled) for using + "initial zero" instead of "Uint_0" to represent "unknown". Call + Known_ functions, instead of evilly duplicating their code + inline. + * fe.h (No_Uint_To_0): New function to convert No_Uint to + Uint_0, in order to preserve existing behavior. + (Copy_Esize, Copy_RM_Size): New imports from Einfo.Utils. + * cstand.adb: Set size fields of Standard_Debug_Renaming_Type + and Standard_Exception_Type. + * checks.adb, exp_attr.adb, exp_ch3.adb, exp_ch5.adb, + exp_ch6.adb, exp_pakd.adb, exp_util.adb, freeze.adb, itypes.adb, + layout.adb, repinfo.adb, sem_attr.adb, sem_ch12.adb, + sem_ch13.adb, sem_ch13.ads, sem_ch3.adb, sem_ch7.adb, + sem_util.adb: Protect calls with Known_..., use Copy_... Remove + assumption that Uint_0 represents "unknown". + * types.ads (Nonzero_Int): New subtype. + * gcc-interface/decl.c, gcc-interface/trans.c: Protect calls + with Known_... and use Copy_... as appropriate, to avoid + blowing up in unknown cases. Similarly, call No_Uint_To_0 to + preserve existing behavior. + +2021-09-21 Steve Baird <baird@adacore.com> + + * sem_ch13.adb (Analyze_Aspect_Specifications): Add a new nested + function, Directly_Specified, and then use it in the + implementation of the required check. + +2021-09-21 Steve Baird <baird@adacore.com> + + * libgnat/a-costso.ads, libgnat/a-costso.adb: A new library + unit, Ada.Containers.Stable_Sorting, which exports a pair of + generics (one within the other) which are instantiated by each + of the 5 doubly-linked list container generics to implement + their respective Sort procedures. We use a pair of generics, + rather than a single generic, in order to further reduce code + duplication. The outer generic takes a formal private Node_Ref + type representing a reference to a linked list element. For some + instances, the corresponding actual parameter will be an access + type; for others, it will be the index type for an array. + * Makefile.rtl: Include new Ada.Containers.Stable_Sorting unit. + * libgnat/a-cbdlli.adb, libgnat/a-cdlili.adb, + libgnat/a-cfdlli.adb, libgnat/a-cidlli.adb, libgnat/a-crdlli.adb + (Sort): Replace existing Sort implementation with a call to an + instance of + Ada.Containers.Stable_Sorting.Doubly_Linked_List_Sort. Declare + the (trivial) actual parameters needed to declare that instance. + * libgnat/a-cfdlli.ads: Fix a bug encountered during testing in + the postcondition for M_Elements_Sorted. With a partial + ordering, it is possible for all three of (X < Y), (Y < X), + and (X = Y) to be simultaneously false, so that case needs to + handled correctly. + +2021-09-21 Piotr Trojanek <trojanek@adacore.com> + + * errout.adb (Error_Msg_Internal): Fix references to Sptr and + Optr in comment; fix grammar of "low-level" where it is used as + an adjective. + +2021-09-21 Piotr Trojanek <trojanek@adacore.com> + + * errout.adb (Write_Source_Code_Lines): Use Cur_Loc before + incrementing it, so that we don't need to decrement it. + +2021-09-21 Yannick Moy <moy@adacore.com> + + * errout.adb (Get_Line_End): Do not allow the result to go past + the end of the buffer. + +2021-09-21 Ed Schonberg <schonberg@adacore.com> + + * sem_ch3.adb (Process_Discriminant_Expressions): If the + constraint is for a Component_Definition that appears in a + Component_Declaration, the entity to be used to create the + potentially global symbol is the Defining_Identifier of the + Component_Declaration. + +2021-09-21 Bob Duff <duff@adacore.com> + + * libgnat/a-stbufi.ads, libgnat/a-stbufi.adb: Change all + occurrences of GNAT.OS_Lib to System.OS_Lib. + 2021-09-20 Piotr Trojanek <trojanek@adacore.com> * inline.adb (Has_Excluded_Declaration): Remove redundant guard; diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index d04d84f..a051d62 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2021-09-21 wangpc <pc.wang@linux.alibaba.com> + + * decl.c (start_decl_1): Move verify_type_context to ... + (cp_finish_decl): ... to here. + 2021-09-18 Jakub Jelinek <jakub@redhat.com> * parser.c (cp_parser_omp_clause_order): Parse unconstrained diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 08e7d4c..6a247c6 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,31 @@ +2021-09-21 Tobias Burnus <tobias@codesourcery.com> + + PR fortran/55534 + * cpp.c: Define GCC_C_COMMON_C for #include "options.h" to make + cpp_reason_option_codes available. + (gfc_cpp_register_include_paths): Make static, set pfile's + warn_missing_include_dirs and move before caller. + (gfc_cpp_init_cb): New, cb code moved from ... + (gfc_cpp_init_0): ... here. + (gfc_cpp_post_options): Call gfc_cpp_init_cb. + (cb_cpp_diagnostic_cpp_option): New. As implemented in c-family + to match CppReason flags to -W... names. + (cb_cpp_diagnostic): Use it to replace single special case. + * cpp.h (gfc_cpp_register_include_paths): Remove as now static. + * gfortran.h (gfc_check_include_dirs): New prototype. + (gfc_add_include_path): Add new bool arg. + * options.c (gfc_init_options): Don't set -Wmissing-include-dirs. + (gfc_post_options): Set it here after commandline processing. Call + gfc_add_include_path with defer_warn=false. + (gfc_handle_option): Call it with defer_warn=true. + * scanner.c (gfc_do_check_include_dir, gfc_do_check_include_dirs, + gfc_check_include_dirs): New. Diagnostic moved from ... + (add_path_to_list): ... here, which came before cmdline processing. + Take additional bool defer_warn argument. + (gfc_add_include_path): Take additional defer_warn arg. + * scanner.h (struct gfc_directorylist): Reorder for alignment issues, + add new 'bool warn'. + 2021-09-20 Tobias Burnus <tobias@codesourcery.com> * gfortran.h (gfc_omp_clauses): Add order_unconstrained. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index aca4514..fc9cb6e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,37 @@ +2021-09-21 Richard Biener <rguenther@suse.de> + + PR tree-optimization/102421 + * g++.dg/vect/pr102421.cc: New testcase. + +2021-09-21 Eric Botcazou <ebotcazou@adacore.com> + + * lib/target-supports.exp (no_fsanitize_address): Add missing bits. + * gcc.dg/uninit-pr93100.c: Skip if no_fsanitize_address. + * gcc.dg/pr91441.c: Likewise. + * gcc.dg/pr96260.c: Likewise. + * gcc.dg/pr96307.c: Likewise. + * g++.dg/warn/uninit-pr93100.C: Likewise. + * gnat.dg/asan1.adb: Likewise. + * gcc.dg/Wstringop-overflow-70.c: Adjust for SPARC. + * g++.dg/abi/anon4.C: Likewise. + +2021-09-21 Tobias Burnus <tobias@codesourcery.com> + + * gfortran.dg/include_6.f90: Change dg-error to + dg-warning and update pattern. + * gfortran.dg/include_14.f90: New test. + * gfortran.dg/include_15.f90: New test. + * gfortran.dg/include_16.f90: New test. + * gfortran.dg/include_17.f90: New test. + * gfortran.dg/include_18.f90: New test. + * gfortran.dg/include_19.f90: New test. + * gfortran.dg/include_20.f90: New test. + * gfortran.dg/include_21.f90: New test. + +2021-09-21 wangpc <pc.wang@linux.alibaba.com> + + * g++.target/aarch64/sve/static-var-in-template.C: New test. + 2021-09-20 Andrew MacLeod <amacleod@redhat.com> * gcc.dg/tree-ssa/evrp-ignore.c: New. |