Daily bump.
This commit is contained in:
GCC Administrator
parent
ed12749a3c
commit
702bd11fa7
15 changed files with 597 additions and 1 deletions
109
gcc/ChangeLog
109
gcc/ChangeLog
|
|
@ -1,3 +1,112 @@
|
|||
2022-05-16 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c/105492
|
||||
* attribs.cc (decl_attributes): Fix broken typedefs here.
|
||||
|
||||
2022-05-16 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/105103
|
||||
* Makefile.in (ANALYZER_OBJS): Add analyzer/varargs.o.
|
||||
* doc/invoke.texi: Add -Wanalyzer-va-arg-type-mismatch,
|
||||
-Wanalyzer-va-list-exhausted, -Wanalyzer-va-list-leak, and
|
||||
-Wanalyzer-va-list-use-after-va-end.
|
||||
|
||||
2022-05-16 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* gimple-match.h (gimple_build): Move code_helper overloads ...
|
||||
* gimple-fold.h (gimple_build): ... here.
|
||||
(gimple_build): Transition to new worker API. Provide
|
||||
overloads from sequence-based API.
|
||||
(gimple_convert): Likewise.
|
||||
(gimple_convert_to_ptrofftype): Likewise.
|
||||
(gimple_build_vector_from_val): Likewise.
|
||||
(gimple_build_vector): Likewise.
|
||||
(gimple_build_round_up): Likewise.
|
||||
* gimple-fold.cc (gimple_build_insert_seq): New helper.
|
||||
(gimple_build): Use it. Transition combined_fn and code_helper
|
||||
API parts.
|
||||
(gimple_convert): Transition to new worker API.
|
||||
(gimple_convert_to_ptrofftype): Likewise.
|
||||
(gimple_build_vector_from_val): Likewise.
|
||||
(gimple_build_vector): Likewise.
|
||||
(gimple_build_round_up): Likewise.
|
||||
|
||||
2022-05-16 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* gimple-match.h (code_helper): Move class ...
|
||||
* tree.h (code_helper): ... here.
|
||||
|
||||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* opts-global.cc (write_langs): Add comment.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* dwarf2out.cc (loc_list_from_tree_1) <TRUTH_NOT_EXPR>: Do a logical
|
||||
instead of a bitwise negation.
|
||||
<COND_EXPR>: Swap the operands if the condition is TRUTH_NOT_EXPR.
|
||||
|
||||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* attribs.cc (diag_attr_exclusions): Use ARRAY_SIZE.
|
||||
(decls_mismatched_attributes): Likewise.
|
||||
* builtins.cc (c_strlen): Likewise.
|
||||
* cfg.cc (DEF_BASIC_BLOCK_FLAG): Likewise.
|
||||
* common/config/aarch64/aarch64-common.cc (aarch64_option_init_struct): Likewise.
|
||||
* config/aarch64/aarch64-builtins.cc (aarch64_lookup_simd_builtin_type): Likewise.
|
||||
(aarch64_init_simd_builtin_types): Likewise.
|
||||
(aarch64_init_builtin_rsqrt): Likewise.
|
||||
* config/aarch64/aarch64.cc (is_madd_op): Likewise.
|
||||
* config/arm/arm-builtins.cc (arm_lookup_simd_builtin_type): Likewise.
|
||||
(arm_init_simd_builtin_types): Likewise.
|
||||
* config/avr/gen-avr-mmcu-texi.cc (mcus[ARRAY_SIZE): Likewise.
|
||||
(c_prefix): Likewise.
|
||||
(main): Likewise.
|
||||
* config/c6x/c6x.cc (N_SAVE_ORDER): Likewise.
|
||||
* config/darwin-c.cc (darwin_register_frameworks): Likewise.
|
||||
* config/gcn/mkoffload.cc (process_obj): Likewise.
|
||||
* config/i386/i386-builtins.cc (get_builtin_code_for_version): Likewise.
|
||||
(fold_builtin_cpu): Likewise.
|
||||
* config/m32c/m32c.cc (PUSHM_N): Likewise.
|
||||
* config/nvptx/mkoffload.cc (process): Likewise.
|
||||
* config/rs6000/driver-rs6000.cc (host_detect_local_cpu): Likewise.
|
||||
* config/s390/s390.cc (NR_C_MODES): Likewise.
|
||||
* config/tilepro/gen-mul-tables.cc (find_sequences): Likewise.
|
||||
(create_insn_code_compression_table): Likewise.
|
||||
* config/vms/vms.cc (NBR_CRTL_NAMES): Likewise.
|
||||
* diagnostic-format-json.cc (json_from_expanded_location): Likewise.
|
||||
* dwarf2out.cc (ARRAY_SIZE): Likewise.
|
||||
* genhooks.cc (emit_documentation): Likewise.
|
||||
(emit_init_macros): Likewise.
|
||||
* gimple-ssa-sprintf.cc (format_floating): Likewise.
|
||||
* gimple-ssa-warn-access.cc (memmodel_name): Likewise.
|
||||
* godump.cc (keyword_hash_init): Likewise.
|
||||
* hash-table.cc (hash_table_higher_prime_index): Likewise.
|
||||
* input.cc (for_each_line_table_case): Likewise.
|
||||
* ipa-free-lang-data.cc (free_lang_data): Likewise.
|
||||
* ipa-inline.cc (sanitize_attrs_match_for_inline_p): Likewise.
|
||||
* optc-save-gen.awk: Likewise.
|
||||
* spellcheck.cc (test_metric_conditions): Likewise.
|
||||
* tree-vect-slp-patterns.cc (sizeof): Likewise.
|
||||
(ARRAY_SIZE): Likewise.
|
||||
* tree.cc (build_common_tree_nodes): Likewise.
|
||||
|
||||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* opts-global.cc (write_langs): Allocate at least one byte.
|
||||
|
||||
2022-05-16 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* match.pd (A cmp B ? A : B -> min/max): New patterns
|
||||
carried over from fold_cond_expr_with_comparison.
|
||||
|
||||
2022-05-16 liuhongt <hongtao.liu@intel.com>
|
||||
|
||||
PR target/105587
|
||||
* config/i386/i386-expand.cc
|
||||
(expand_vec_perm_pslldq_psrldq_por): Fail when (d->perm[i] ==
|
||||
d->perm[i-1] + 1) && d->perm[i] == nelt && start != -1.
|
||||
|
||||
2022-05-15 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
* config/i386/i386.md: Remove constraints when used with
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
20220516
|
||||
20220517
|
||||
|
|
|
|||
|
|
@ -1,3 +1,267 @@
|
|||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_ch7.adb (Inspect_Untagged_Record_Completion): Also move the
|
||||
equality operator on the homonym chain if there is another equality
|
||||
operator in the private part.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_attr.adb (Expand_Loop_Entry_Attribute): Disable value
|
||||
propagation when analysing the constant that holds the
|
||||
Loop_Entry prefix value.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_attr.adb (Address_Checks): Remove call to
|
||||
Kill_Current_Values for subprogram entities, because this
|
||||
routine only does something for object entities.
|
||||
|
||||
2022-05-16 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* exp_ch7.adb (Build_Finalizer): Disable late evaluation of
|
||||
postconditions for functions returning types which where
|
||||
Has_Unconstrained_Elements is true or are unconstrained arrays.
|
||||
|
||||
2022-05-16 Etienne Servais <servais@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Expand_N_Qualified_Expression): Freeze
|
||||
Target_Type.
|
||||
|
||||
2022-05-16 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* libgnat/s-aridou.adb (Double_Divide): Add intermediate
|
||||
assertions.
|
||||
|
||||
2022-05-16 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* lib-writ.adb (Output_CUDA_Symbols): Check for null packages.
|
||||
|
||||
2022-05-16 Joel Brobecker <brobecker@adacore.com>
|
||||
|
||||
* libgnat/g-debpoo.ads: Improve documentation of the
|
||||
Stack_Trace_Depth parameter.
|
||||
|
||||
2022-05-16 Joel Brobecker <brobecker@adacore.com>
|
||||
|
||||
* init.c (__gnat_install_handler) [__QNX__]: Save sigaction's
|
||||
return value in err before checking err's value. Fix incorrect
|
||||
signal names in perror messages.
|
||||
|
||||
2022-05-16 Joel Brobecker <brobecker@adacore.com>
|
||||
|
||||
* init.c (__gnat_install_handler) [__QNX__]: Set
|
||||
act.sa_sigaction rather than act.sa_handler.
|
||||
|
||||
2022-05-16 Joel Brobecker <brobecker@adacore.com>
|
||||
|
||||
* cstreams.c: Add <stdlib.h> #include.
|
||||
|
||||
2022-05-16 Joel Brobecker <brobecker@adacore.com>
|
||||
|
||||
* terminals.c: Remove bzero #define on HP/UX or Solaris
|
||||
platforms.
|
||||
(child_setup_tty): Replace bzero call by equivalent call to
|
||||
memset.
|
||||
|
||||
2022-05-16 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_util.ads (Storage_Model_Support): Revise comments on most
|
||||
operations within this nested package to reflect that they can
|
||||
now be passed either a type that has aspect Storage_Model_Type
|
||||
or an object of such a type. Change the names of the relevant
|
||||
formals to SM_Obj_Or_Type. Also, add more precise semantic
|
||||
descriptions in some cases, and declare the subprograms in a
|
||||
more logical order.
|
||||
* sem_util.adb (Storage_Model_Support.Storage_Model_Object): Add
|
||||
an assertion that the type must specify aspect
|
||||
Designated_Storage_Model, rather than returning Empty when it
|
||||
doesn't specify that aspect.
|
||||
(Storage_Model_Support.Storage_Model_Type): Add an assertion
|
||||
that formal must be an object whose type specifies aspect
|
||||
Storage_Model_Type, rather than returning Empty for when it
|
||||
doesn't have such a type (and test Has_Storage_Model_Type_Aspect
|
||||
rather than Find_Value_Of_Aspect).
|
||||
(Storage_Model_Support.Get_Storage_Model_Type_Entity): Allow
|
||||
both objects and types, and add an assertion that the type (or
|
||||
the type of the object) has a value for aspect
|
||||
Storage_Model_Type.
|
||||
|
||||
2022-05-16 Etienne Servais <servais@adacore.com>
|
||||
|
||||
* checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated):
|
||||
Fix condition to return.
|
||||
|
||||
2022-05-16 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Update comment.
|
||||
|
||||
2022-05-16 Marc Poulhiès <poulhies@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Iterated_Association): Create scope
|
||||
around N_Iterated_Element_Association handling. Analyze a copy
|
||||
of the Loop_Parameter_Specification. Call Analyze instead
|
||||
Analyze_* to be more homogeneous.
|
||||
(Sem_Ch5): Remove now unused package.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_util.adb (Insert_Actions) <N_Iterated_Component_Association>:
|
||||
Climb up out of the node if the actions come from Discrete_Choices.
|
||||
|
||||
2022-05-16 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* sem_disp.adb (Check_Dispatching_Context): When checking to see
|
||||
whether an expression occurs in a class-wide pre/post-condition,
|
||||
also check for the possibility that it occurs in a class-wide
|
||||
preconditions subprogram that was introduced as part of
|
||||
expansion. Without this fix, some legal calls occuring in
|
||||
class-wide preconditions may be incorrectly flagged as violating
|
||||
the "a call to an abstract subprogram must be dispatching" rule.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* inline.adb (Cleanup_Scopes): Test the underlying type.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_util.ads (Is_Entity_Of_Quantified_Expression): Declare.
|
||||
* sem_util.adb (Is_Entity_Of_Quantified_Expression): New
|
||||
predicate.
|
||||
(New_Copy_Tree): Deal with all entities of quantified
|
||||
expressions.
|
||||
* sem_ch13.adb (Build_Predicate_Functions): Get rid of
|
||||
superfluous tree copying and remove obsolete code.
|
||||
* sem_ch6.adb (Fully_Conformant_Expressions): Deal with all
|
||||
entities of quantified expressions.
|
||||
|
||||
2022-05-16 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_ch7.adb (Build_Finalize_Statements): Add Last_POC_Call
|
||||
variable to keep track of the last "early finalization" call
|
||||
generated for type extension's finalization procedure. If
|
||||
non-empty, then this will indicate the point at which to insert
|
||||
the call to the parent type's finalization procedure. Modify
|
||||
nested function Process_Component_List_For_Finalize to set this
|
||||
variable (and avoid setting it during a recursive call). If
|
||||
Last_POC_Call is empty, then insert the parent finalization call
|
||||
before, rather than after, the finalization code for the
|
||||
extension components.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* einfo-utils.adb (Remove_Entity): Fix couple of oversights.
|
||||
* exp_ch3.adb (Is_User_Defined_Equality): Delete.
|
||||
(User_Defined_Eq): Call Get_User_Defined_Equality.
|
||||
(Make_Eq_Body): Likewise.
|
||||
(Predefined_Primitive_Eq_Body): Call Is_User_Defined_Equality.
|
||||
* exp_ch4.adb (Build_Eq_Call): Call Get_User_Defined_Equality.
|
||||
(Is_Equality): Delete.
|
||||
(User_Defined_Primitive_Equality_Op): Likewise.
|
||||
(Find_Aliased_Equality): Call Is_User_Defined_Equality.
|
||||
(Expand_N_Op_Eq): Call Underlying_Type unconditionally.
|
||||
Do not implement AI12-0101 + AI05-0123 here.
|
||||
(Expand_Set_Membership): Call Resolve_Membership_Equality.
|
||||
* exp_ch6.adb (Expand_Call_Helper): Remove obsolete code.
|
||||
* sem_aux.ads (Is_Record_Or_Limited_Type): Delete.
|
||||
* sem_aux.adb (Is_Record_Or_Limited_Type): Likewise.
|
||||
* sem_ch4.ads (Nondispatching_Call_To_Abstract_Operation): Declare.
|
||||
* sem_ch4.adb (Analyze_Call): Call Call_Abstract_Operation.
|
||||
(Analyze_Membership_Op): Call Resolve_Membership_Equality.
|
||||
(Nondispatching_Call_To_Abstract_Operation): New procedure.
|
||||
(Remove_Abstract_Operations): Call it.
|
||||
* sem_ch6.adb (Check_Untagged_Equality): Remove obsolete error and
|
||||
call Is_User_Defined_Equality.
|
||||
* sem_ch7.adb (Inspect_Untagged_Record_Completion): New procedure
|
||||
implementing AI12-0101 + AI05-0123.
|
||||
(Analyze_Package_Specification): Call it.
|
||||
(Declare_Inherited_Private_Subprograms): Minor tweak.
|
||||
(Uninstall_Declarations): Likewise.
|
||||
* sem_disp.adb (Check_Direct_Call): Adjust to new implementation
|
||||
of Is_User_Defined_Equality.
|
||||
* sem_res.ads (Resolve_Membership_Equality): Declare.
|
||||
* sem_res.adb (Resolve): Replace direct error handling with call to
|
||||
Nondispatching_Call_To_Abstract_Operation
|
||||
(Resolve_Call): Likewise.
|
||||
(Resolve_Equality_Op): Likewise. mplement AI12-0413.
|
||||
(Resolve_Membership_Equality): New procedure.
|
||||
(Resolve_Membership_Op): Call Get_User_Defined_Equality.
|
||||
* sem_util.ads (Get_User_Defined_Eq): Rename into...
|
||||
(Get_User_Defined_Equality): ...this.
|
||||
* sem_util.adb (Get_User_Defined_Eq): Rename into...
|
||||
(Get_User_Defined_Equality): ...this. Call Is_User_Defined_Equality.
|
||||
(Is_User_Defined_Equality): Also check the profile but remove tests
|
||||
on Comes_From_Source and Parent.
|
||||
* sinfo.ads (Generic_Parent_Type): Adjust field description.
|
||||
* uintp.ads (Ubool): Invoke user-defined equality in predicate.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch3.adb (User_Defined_Eq): Replace duplicated code with a
|
||||
call to Get_User_Defined_Eq.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Build_Untagged_Equality): Exit early when the
|
||||
outcome of a loop is already known.
|
||||
|
||||
2022-05-16 Olivier Hainque <hainque@adacore.com>
|
||||
|
||||
* Makefile.rtl: Add aarch64 to the list of CPUs for which
|
||||
GNATLIB_SHARED maps to gnatlib-shared-dual for vxworks7r2.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_ch4.adb (Analyze_Negation): Minor tweak.
|
||||
(Analyze_Unary_Op): Likewise.
|
||||
|
||||
2022-05-16 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Build_Assignment): Adjust to the new definition of
|
||||
Incomplete_View field.
|
||||
* sem_ch10.ads (Decorate_Type): Declare.
|
||||
* sem_ch10.adb (Decorate_Type): Move to library level.
|
||||
(Install_Limited_With_Clause): In the already analyzed case, also
|
||||
deal with incomplete type declarations present in the sources and
|
||||
simplify the replacement code.
|
||||
(Build_Shadow_Entity): Deal with swapped views in package body.
|
||||
(Restore_Chain_For_Shadow): Deal with incomplete type declarations
|
||||
present in the sources.
|
||||
* sem_ch3.adb (Analyze_Full_Type_Declaration): Adjust to the new
|
||||
definition of Incomplete_View field.
|
||||
(Build_Incomplete_Type_Declaration): Small consistency tweak.
|
||||
Set the incomplete type as the Incomplete_View of the full type.
|
||||
If the scope is a package with a limited view, build a shadow
|
||||
entity for the incomplete type.
|
||||
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): When replacing
|
||||
the limited view of a CW type as designated type of an anonymous
|
||||
access return type, get to the CW type of the incomplete view of
|
||||
the tagged type, if any.
|
||||
(Collect_Primitive_Operations): Adjust to the new definition of
|
||||
Incomplete_View field.
|
||||
* sinfo.ads (Incomplete_View): Denote the entity itself instead
|
||||
of its declaration.
|
||||
* sem_util.adb: Remove call to Defining_Entity.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Type_Or_Variable_Has_Enabled_Property): Given a
|
||||
subtype recurse into its base type.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Type_Or_Variable_Has_Enabled_Property): Clarify.
|
||||
|
||||
2022-05-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Enabled): Remove; use Is_Enabled_Pragma
|
||||
instead.
|
||||
|
||||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* locales.c (iso_639_1_to_639_3): Use ARRAY_SIZE.
|
||||
(language_name_to_639_3): Likewise.
|
||||
(country_name_to_3166): Likewise.
|
||||
|
||||
2022-05-13 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
* gcc-interface/decl.cc (is_cplusplus_method): Build proper
|
||||
|
|
|
|||
|
|
@ -1,3 +1,83 @@
|
|||
2022-05-16 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/105103
|
||||
* analyzer.cc (make_label_text_n): New.
|
||||
* analyzer.h (class var_arg_region): New forward decl.
|
||||
(make_label_text_n): New decl.
|
||||
* analyzer.opt (Wanalyzer-va-arg-type-mismatch): New option.
|
||||
(Wanalyzer-va-list-exhausted): New option.
|
||||
(Wanalyzer-va-list-leak): New option.
|
||||
(Wanalyzer-va-list-use-after-va-end): New option.
|
||||
* checker-path.cc (call_event::get_desc): Split out decl access
|
||||
into..
|
||||
(call_event::get_caller_fndecl): ...this new function and...
|
||||
(call_event::get_callee_fndecl): ...this new function.
|
||||
* checker-path.h (call_event::get_desc): Drop "FINAL".
|
||||
(call_event::get_caller_fndecl): New decl.
|
||||
(call_event::get_callee_fndecl): New decl.
|
||||
(class call_event): Make fields protected.
|
||||
* diagnostic-manager.cc (null_assignment_sm_context::warn): New
|
||||
overload.
|
||||
(null_assignment_sm_context::get_new_program_state): New.
|
||||
(diagnostic_manager::add_events_for_superedge): Move case
|
||||
SUPEREDGE_CALL to a new pending_diagnostic::add_call_event vfunc.
|
||||
* engine.cc (impl_sm_context::warn): Implement new override.
|
||||
(impl_sm_context::get_new_program_state): New.
|
||||
* pending-diagnostic.cc: Include "analyzer/diagnostic-manager.h",
|
||||
"cpplib.h", "digraph.h", "ordered-hash-map.h", "cfg.h",
|
||||
"basic-block.h", "gimple.h", "gimple-iterator.h", "cgraph.h"
|
||||
"analyzer/supergraph.h", "analyzer/program-state.h",
|
||||
"alloc-pool.h", "fibonacci_heap.h", "shortest-paths.h",
|
||||
"sbitmap.h", "analyzer/exploded-graph.h", "diagnostic-path.h",
|
||||
and "analyzer/checker-path.h".
|
||||
(ht_ident_eq): New.
|
||||
(fixup_location_in_macro_p): New.
|
||||
(pending_diagnostic::fixup_location): New.
|
||||
(pending_diagnostic::add_call_event): New.
|
||||
* pending-diagnostic.h (pending_diagnostic::fixup_location): Drop
|
||||
no-op inline implementation in favor of the more complex
|
||||
implementation above.
|
||||
(pending_diagnostic::add_call_event): New vfunc.
|
||||
* region-model-impl-calls.cc: Include "analyzer/sm.h",
|
||||
"diagnostic-path.h", and "analyzer/pending-diagnostic.h".
|
||||
* region-model-manager.cc
|
||||
(region_model_manager::get_var_arg_region): New.
|
||||
(region_model_manager::log_stats): Log m_var_arg_regions.
|
||||
* region-model.cc (region_model::on_call_pre): Handle IFN_VA_ARG,
|
||||
BUILT_IN_VA_START, and BUILT_IN_VA_COPY.
|
||||
(region_model::on_call_post): Handle BUILT_IN_VA_END.
|
||||
(region_model::get_representative_path_var_1): Handle RK_VAR_ARG.
|
||||
(region_model::push_frame): Push variadic arguments.
|
||||
* region-model.h (region_model_manager::get_var_arg_region): New
|
||||
decl.
|
||||
(region_model_manager::m_var_arg_regions): New field.
|
||||
(region_model::impl_call_va_start): New decl.
|
||||
(region_model::impl_call_va_copy): New decl.
|
||||
(region_model::impl_call_va_arg): New decl.
|
||||
(region_model::impl_call_va_end): New decl.
|
||||
* region.cc (alloca_region::dump_to_pp): Dump the id.
|
||||
(var_arg_region::dump_to_pp): New.
|
||||
(var_arg_region::get_frame_region): New.
|
||||
* region.h (enum region_kind): Add RK_VAR_ARG.
|
||||
(region::dyn_cast_var_arg_region): New.
|
||||
(class var_arg_region): New.
|
||||
(is_a_helper <const var_arg_region *>::test): New.
|
||||
(struct default_hash_traits<var_arg_region::key_t>): New.
|
||||
* sm.cc (make_checkers): Call make_va_list_state_machine.
|
||||
* sm.h (sm_context::warn): New vfunc.
|
||||
(sm_context::get_old_svalue): Drop unused decl.
|
||||
(sm_context::get_new_program_state): New vfunc.
|
||||
(make_va_list_state_machine): New decl.
|
||||
* varargs.cc: New file.
|
||||
|
||||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* engine.cc (exploded_node::get_dot_fillcolor): Use ARRAY_SIZE.
|
||||
* function-set.cc (test_stdio_example): Likewise.
|
||||
* sm-file.cc (get_file_using_fns): Likewise.
|
||||
* sm-malloc.cc (malloc_state_machine::unaffected_by_call_p): Likewise.
|
||||
* sm-signal.cc (get_async_signal_unsafe_fns): Likewise.
|
||||
|
||||
2022-05-13 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* supergraph.cc: Re-order gimple-fold.h include.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,21 @@
|
|||
2022-05-16 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c/105492
|
||||
* c-attribs.cc (handle_mode_attribute): Don't fix broken typedefs
|
||||
here.
|
||||
|
||||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* c-common.cc (ARRAY_SIZE): Use ARRAY_SIZE.
|
||||
(c_common_nodes_and_builtins): Likewise.
|
||||
* c-format.cc (check_tokens): Likewise.
|
||||
(check_plain): Likewise.
|
||||
* c-pragma.cc (c_pp_lookup_pragma): Likewise.
|
||||
(init_pragma): Likewise.
|
||||
* known-headers.cc (get_string_macro_hint): Likewise.
|
||||
(get_stdlib_header_for_name): Likewise.
|
||||
* c-attribs.cc: Likewise.
|
||||
|
||||
2022-05-13 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* c-omp.cc: Remove gimple-fold.h include.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,7 @@
|
|||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* c-decl.cc (match_builtin_function_types): Use ARRAY_SIZE.
|
||||
|
||||
2022-05-12 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
* c-parser.cc (c_parse_init): Register omp_all_memory as keyword
|
||||
|
|
|
|||
|
|
@ -1,3 +1,14 @@
|
|||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* module.cc (depset::entity_kind_name): Use ARRAY_SIZE.
|
||||
* name-lookup.cc (get_std_name_hint): Likewise.
|
||||
* parser.cc (cp_parser_new): Likewise.
|
||||
|
||||
2022-05-16 Marcel Vollweiler <marcel@codesourcery.com>
|
||||
|
||||
* pt.cc (tsubst_omp_clauses): Added OMP_CLAUSE_HAS_DEVICE_ADDR.
|
||||
* semantics.cc (finish_omp_clauses): Added template decl processing.
|
||||
|
||||
2022-05-15 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/100502
|
||||
|
|
|
|||
|
|
@ -1,3 +1,28 @@
|
|||
2022-05-16 Iain Buclaw <ibuclaw@gdcproject.org>
|
||||
|
||||
* dmd/MERGE: Merge upstream dmd 60bfa0ee7.
|
||||
* dmd/VERSION: Update version to v2.100.0.
|
||||
* d-builtins.cc (d_init_versions): Update for new front-end interface.
|
||||
* d-codegen.cc (d_decl_context): Use resolvedLinkage to get
|
||||
declaration linkage.
|
||||
(build_struct_literal): Track offset in bits.
|
||||
* d-gimplify.cc (d_gimplify_modify_expr): Check both operands for a
|
||||
bit-field reference.
|
||||
* d-lang.cc (d_handle_option): Handle -fpreview=bitfields, remove
|
||||
-frevert=markdown and -ftransition=vmarkdown.
|
||||
(d_post_options): Set flag_rtti and flag_exceptions if -fno-druntime
|
||||
was seen on command-line.
|
||||
(d_parse_file): Update for new front-end interface.
|
||||
(d_type_promotes_to): Use resolvedLinkage to get declaration linkage.
|
||||
* decl.cc (make_thunk): Likewise.
|
||||
* expr.cc (ExprVisitor::visit (CatAssignExp *)): Remove lowering for
|
||||
appending of an element or array to another array.
|
||||
* lang.opt (fpreview=bitfields): New option.
|
||||
(frevert=markdown): Remove.
|
||||
(ftransition=vmarkdown): Remove.
|
||||
* types.cc (layout_aggregate_members): Ignore anonymous fields in
|
||||
total count.
|
||||
|
||||
2022-04-28 Iain Buclaw <ibuclaw@gdcproject.org>
|
||||
|
||||
* dmd/MERGE: Merge upstream dmd 313d28b3d.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,10 @@
|
|||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* frontend-passes.cc (gfc_code_walker): Use ARRAY_SIZE.
|
||||
* openmp.cc (gfc_match_omp_context_selector_specification): Likewise.
|
||||
* trans-intrinsic.cc (conv_intrinsic_ieee_builtin): Likewise.
|
||||
* trans-types.cc (gfc_get_array_descr_info): Likewise.
|
||||
|
||||
2022-05-13 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* trans-openmp.cc (gfc_trans_omp_clauses): When mapping nondescriptor
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* jit-builtins.cc (find_builtin_by_name): Use ARRAY_SIZE.
|
||||
(get_string_for_type_id): Likewise.
|
||||
* jit-recording.cc (recording::context::context): Likewise.
|
||||
|
||||
2022-04-14 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* jit-playback.cc (new_bitcast): Cast values returned by tree_to_uhwi
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2022-05-16 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* lto-common.cc (lto_resolution_read): Use ARRAY_SIZE.
|
||||
* lto-lang.cc (lto_init): Likewise.
|
||||
|
||||
2022-03-23 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR middle-end/104285
|
||||
|
|
|
|||
|
|
@ -1,3 +1,29 @@
|
|||
2022-05-16 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/105103
|
||||
* gcc.dg/analyzer/stdarg-1.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-2.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-fmtstring-1.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-lto-1-a.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-lto-1-b.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-lto-1.h: New test.
|
||||
* gcc.dg/analyzer/stdarg-sentinel-1.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-types-1.c: New test.
|
||||
* gcc.dg/analyzer/stdarg-types-2.c: New test.
|
||||
|
||||
2022-05-16 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR rtl-optimization/105577
|
||||
* g++.dg/torture/pr105577.C: New testcase.
|
||||
|
||||
2022-05-16 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* gcc.dg/torture/pr105598.c: New testcase.
|
||||
|
||||
2022-05-16 liuhongt <hongtao.liu@intel.com>
|
||||
|
||||
* gcc.target/i386/pr105587.c: New test.
|
||||
|
||||
2022-05-15 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/100502
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
2022-05-16 Marcel Vollweiler <marcel@codesourcery.com>
|
||||
|
||||
* testsuite/libgomp.c++/target-has-device-addr-7.C: New test.
|
||||
* testsuite/libgomp.c++/target-has-device-addr-8.C: New test.
|
||||
* testsuite/libgomp.c++/target-has-device-addr-9.C: New test.
|
||||
|
||||
2022-05-13 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* testsuite/libgomp.fortran/target-nowait-array-section.f90: New test.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,14 @@
|
|||
2022-05-16 Iain Buclaw <ibuclaw@gdcproject.org>
|
||||
|
||||
* libdruntime/MERGE: Merge upstream druntime 94bd5bcb.
|
||||
* libdruntime/Makefile.am (ALL_DRUNTIME_INSTALL_DSOURCES): Add
|
||||
$(DRUNTIME_DSOURCES_ELF).
|
||||
(ALL_DRUNTIME_SOURCES): Likewise.
|
||||
(DRUNTIME_DSOURCES_ELF): New variable.
|
||||
* libdruntime/Makefile.in: Regenerate.
|
||||
* src/MERGE: Merge upstream phobos 3a1cd9a01.
|
||||
* testsuite/libphobos.init_fini/custom_gc.d: Update test.
|
||||
|
||||
2022-04-28 Iain Buclaw <ibuclaw@gdcproject.org>
|
||||
|
||||
* libdruntime/MERGE: Merge upstream druntime e361d200.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,27 @@
|
|||
2022-05-16 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* doc/xml/manual/prerequisites.xml: Fix attributes for external
|
||||
hyperlink.
|
||||
* doc/html/manual/setup.html: Regenerate.
|
||||
|
||||
2022-05-16 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* doc/xml/manual/status_cxx2023.xml: Update with gcc-12 support.
|
||||
* doc/html/*: Regenerate.
|
||||
|
||||
2022-05-16 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* doc/xml/manual/intro.xml: Include new chapter.
|
||||
* doc/xml/manual/status_cxx2020.xml: Tweak release numbers.
|
||||
* doc/xml/manual/status_cxx2023.xml: New file.
|
||||
* doc/html/*: Regenerate.
|
||||
|
||||
2022-05-16 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* doc/html/manual/status.html: Regenerate.
|
||||
* doc/xml/manual/status_cxx2020.xml: Fix supported version for
|
||||
C++20 bit operations.
|
||||
|
||||
2022-05-13 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/std_thread.h (thread::_State, thread::_State_ptr):
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue