mirror of
https://forge.sourceware.org/marek/gcc.git
synced 2026-02-22 03:47:02 -05:00
Daily bump.
This commit is contained in:
GCC Administrator
181
gcc/ChangeLog
181
gcc/ChangeLog
@@ -1,3 +1,184 @@
|
||||
2025-06-05 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
* config/riscv/riscv.cc (riscv_expand_conditional_move): Avoid
|
||||
zicond in some cases involving sign bit tests.
|
||||
* config/riscv/riscv.md: Split a splat of the sign bit feeding a
|
||||
masking off high bits into a pair of right shifts.
|
||||
|
||||
2025-06-05 Uros Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/120553
|
||||
* config/i386/i386.md (mov<mode>cc): Use "general_operand"
|
||||
predicate for operands 2 and 3 for all modes.
|
||||
|
||||
2025-06-05 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
* doc/invoke.texi: Update a link to c99status.html.
|
||||
* doc/standards.texi: Likewise.
|
||||
|
||||
2025-06-05 Andrew Pinski <quic_apinski@quicinc.com>
|
||||
|
||||
* tree-ssa-ccp.cc (insert_clobber_before_stack_restore): Update the virtual
|
||||
op on the inserted clobber and the stack restore function.
|
||||
(do_ssa_ccp): Don't add TODO_update_ssa to the todo.
|
||||
|
||||
2025-06-05 Andrew Pinski <quic_apinski@quicinc.com>
|
||||
|
||||
* config/aarch64/aarch64-sve-builtins.cc: Include value-range.h and tree-ssanames.h
|
||||
(gimple_folder::convert_and_fold): Use make_ssa_name
|
||||
instead of create_tmp_var for the temporary. Add comment about callback argument.
|
||||
|
||||
2025-06-05 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/120231
|
||||
* range-op.cc (range_op_table::range_op_table): Register op_cast
|
||||
also for FLOAT_EXPR and FIX_TRUNC_EXPR.
|
||||
(RO_III): Adjust comment.
|
||||
(range_op_handler::op1_range): Handle RO_IFI rather than RO_IFF.
|
||||
Don't handle RO_FII.
|
||||
(range_operator::op1_range): Remove overload with
|
||||
irange &, tree, const frange &, const frange &, relation_trio
|
||||
and frange &, tree, const irange &, const irange &, relation_trio
|
||||
arguments. Add overload with
|
||||
irange &, tree, const frange &, const irange &, relation_trio
|
||||
arguments.
|
||||
* range-op-mixed.h (operator_cast::op1_range): Remove overload with
|
||||
irange &, tree, const frange &, const frange &, relation_trio
|
||||
and frange &, tree, const irange &, const irange &, relation_trio
|
||||
arguments. Add overload with
|
||||
irange &, tree, const frange &, const irange &, relation_trio and
|
||||
frange &, tree, const irange &, const frange &, relation_trio
|
||||
arguments.
|
||||
* range-op.h (range_operator::op1_cast): Remove overload with
|
||||
irange &, tree, const frange &, const frange &, relation_trio
|
||||
and frange &, tree, const irange &, const irange &, relation_trio
|
||||
arguments. Add overload with
|
||||
irange &, tree, const frange &, const irange &, relation_trio
|
||||
arguments.
|
||||
* range-op-float.cc (operator_cast::fold_range): Implement
|
||||
float to int and int to float casts.
|
||||
(operator_cast::op1_range): Remove overload with
|
||||
irange &, tree, const frange &, const frange &, relation_trio
|
||||
and frange &, tree, const irange &, const irange &, relation_trio
|
||||
arguments. Add overload with
|
||||
irange &, tree, const frange &, const irange &, relation_trio and
|
||||
frange &, tree, const irange &, const frange &, relation_trio
|
||||
arguments and implement reverse op of float to int and int to float
|
||||
cast there.
|
||||
|
||||
2025-06-05 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* auto-profile.cc (afdo_calculate_branch_prob): Fix typo
|
||||
in previous patch.
|
||||
|
||||
2025-06-05 Kito Cheng <kito.cheng@sifive.com>
|
||||
|
||||
* common/config/riscv/riscv-common.cc: Remove structured binding
|
||||
from the code.
|
||||
|
||||
2025-06-05 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR middle-end/120547
|
||||
* real.cc (real_from_integer): Remove maxbitlen variable, use
|
||||
len instead of that. When shifting right, or in 1 if any of the
|
||||
shifted away bits are non-zero. Formatting fix.
|
||||
|
||||
2025-06-05 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* auto-profile.cc (update_count_by_afdo_count): Fix handling
|
||||
of GUESSED_LOCAL.
|
||||
(afdo_calculate_branch_prob): Preserve static profile for
|
||||
probabilities 0 and 1.
|
||||
|
||||
2025-06-05 Pan Li <pan2.li@intel.com>
|
||||
|
||||
* config/riscv/autovec-opt.md: Leverage vdup_v and v_vdup
|
||||
binary op for different patterns.
|
||||
* config/riscv/vector-iterators.md: Add vdup_v and v_vdup
|
||||
binary op iterators.
|
||||
|
||||
2025-06-05 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
* config/riscv/zicond.md: Add new splitters to select
|
||||
1, -1 or -1, 1 based on a sign bit test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: New extension definition.
|
||||
* config/riscv/riscv-ext.opt: New extension mask.
|
||||
* doc/riscv-ext.texi: Document the new extension.
|
||||
|
||||
2025-06-05 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* tree-vect-data-refs.cc (vect_can_force_dr_alignment_p): Return
|
||||
false if the variable has no symtab node.
|
||||
|
||||
2025-06-05 Spencer Abson <spencer.abson@arm.com>
|
||||
|
||||
* tree-eh.cc (operation_could_trap_helper_p): Cover FIX_TRUNC
|
||||
expressions explicitly.
|
||||
|
||||
2025-06-05 Tobias Burnus <tburnus@baylibre.com>
|
||||
|
||||
* config.gcc (--with-{arch,tune}): Use .def file to validate gcn
|
||||
processor names.
|
||||
* doc/install.texi (amdgcn*-*-*): Update list of devices supported
|
||||
by --with-arch/--with-tune.
|
||||
|
||||
2025-06-05 Hongyu Wang <hongyu.wang@intel.com>
|
||||
|
||||
PR middle-end/112824
|
||||
* tree-sra.cc (sra_get_max_scalarization_size): Use MOVE_MAX
|
||||
instead of UNITS_PER_WORD to define max_scalarization_size.
|
||||
|
||||
2025-06-05 Hu, Lin1 <lin1.hu@intel.com>
|
||||
|
||||
* config/i386/sse.md
|
||||
(avx512f_movddup512<mask_name>): Change sselog1 to ssemov.
|
||||
(avx_movddup256<mask_name>): Ditto.
|
||||
(*vec_dupv2di): Change alternative 4's type attribute from sselog1
|
||||
to ssemov.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* config/riscv/riscv-ext.def: Update declaration.
|
||||
|
||||
2025-06-04 Kugan Vivekanandarajah <kvivekananda@nvidia.com>
|
||||
|
||||
* auto-profile.cc (autofdo_source_profile::read): Dump message
|
||||
|
||||
@@ -1 +1 @@
|
||||
20250605
|
||||
20250606
|
||||
|
||||
@@ -1,3 +1,374 @@
|
||||
2025-06-05 squirek <squirek@adacore.com>
|
||||
|
||||
* sem_warn.adb
|
||||
(Warn_On_Useless_Assignment): Disable out value "overwritten" warning
|
||||
when we are not warning on unread out parameters (e.g. "-gnatw.o").
|
||||
|
||||
2025-06-05 Tonu Naks <naks@adacore.com>
|
||||
|
||||
* libgnat/i-cstrin.adb: null pointer check in Update
|
||||
|
||||
2025-06-05 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* exp_util.adb, rtsfind.adb, rtsfind.ads, sem_prag.adb: Remove
|
||||
references to RO_GH_Big_Integer and
|
||||
Ada_Numerics_Big_Numbers_Big_Integers_Ghost.
|
||||
* libgnat/a-strfix.adb, libgnat/a-strmap.adb,
|
||||
libgnat/a-strsea.adb, libgnat/a-strsup.adb,
|
||||
libgnat/i-c.ads, libgnat/i-c.adb, libgnat/s-aridou.adb,
|
||||
libgnat/s-aridou.ads, libgnat/s-arit128.adb,
|
||||
libgnat/s-arit128.ads, libgnat/s-arit32.adb,
|
||||
libgnat/s-arit32.ads, libgnat/s-arit64.adb,
|
||||
libgnat/s-arit64.ads, libgnat/s-casuti.adb,
|
||||
libgnat/s-exnint.ads, libgnat/s-exnlli.ads,
|
||||
libgnat/s-exnllli.ads, libgnat/s-expint.ads,
|
||||
libgnat/s-explli.ads, libgnat/s-expllli.ads,
|
||||
libgnat/s-explllu.ads, libgnat/s-expllu.ads,
|
||||
libgnat/s-expmod.adb, libgnat/s-expmod.ads,
|
||||
libgnat/s-exponn.adb, libgnat/s-exponn.ads,
|
||||
libgnat/s-expont.adb, libgnat/s-expont.ads,
|
||||
libgnat/s-exponu.adb, libgnat/s-exponu.ads,
|
||||
libgnat/s-imaged.ads, libgnat/s-imaged.adb,
|
||||
libgnat/s-expuns.ads, libgnat/s-imagef.ads,
|
||||
libgnat/s-imagef.adb, libgnat/s-imagei.adb,
|
||||
libgnat/s-imagei.ads, libgnat/s-imageu.adb,
|
||||
libgnat/s-imageu.ads, libgnat/s-imgboo.adb,
|
||||
libgnat/s-imde128.ads, libgnat/s-imde32.ads,
|
||||
libgnat/s-imde64.ads, libgnat/s-imfi128.ads,
|
||||
libgnat/s-imfi32.ads, libgnat/s-imfi64.ads,
|
||||
libgnat/s-imgboo.ads, libgnat/s-imgint.ads,
|
||||
libgnat/s-imglli.ads, libgnat/s-imgllli.ads,
|
||||
libgnat/s-imglllu.ads, libgnat/s-imgllu.ads,
|
||||
libgnat/s-imguns.ads, libgnat/s-valboo.adb,
|
||||
libgnat/s-valboo.ads, libgnat/s-valint.ads,
|
||||
libgnat/s-vallli.ads, libgnat/s-valllli.ads,
|
||||
libgnat/s-vallllu.ads, libgnat/s-valllu.ads,
|
||||
libgnat/s-valuns.ads, libgnat/s-valuti.adb,
|
||||
libgnat/s-valuti.ads, libgnat/s-valuei.adb,
|
||||
libgnat/s-valuei.ads, libgnat/s-valueu.ads,
|
||||
libgnat/s-valueu.adb, libgnat/s-veboop.adb,
|
||||
libgnat/s-veboop.ads, libgnat/s-widint.ads,
|
||||
libgnat/s-widlli.ads, libgnat/s-widllli.ads,
|
||||
libgnat/s-widlllu.ads, libgnat/s-widllu.ads,
|
||||
libgnat/s-widthi.adb, libgnat/s-widthu.adb,
|
||||
libgnat/s-widthu.ads, libgnat/s-widuns.ads: Remove ghost code
|
||||
and SPARK annotations.
|
||||
* libgnat/a-nbnbig.ads, libgnat/a-nbnbig.adb,
|
||||
libgnat/s-spark.ads, libgnat/s-spcuop.adb,
|
||||
libgnat/s-spcuop.ads, libgnat/s-vaispe.adb,
|
||||
libgnat/s-vaispe.ads, libgnat/s-vauspe.adb,
|
||||
libgnat/s-vauspe.ads, libgnat/s-vs_int.ads,
|
||||
libgnat/s-vs_lli.ads, libgnat/s-vs_llu.ads,
|
||||
libgnat/s-vs_uns.ads, libgnat/s-valspe.adb,
|
||||
libgnat/s-valspe.ads, libgnat/s-vsllli.ads,
|
||||
libgnat/s-vslllu.ads: Removed.
|
||||
* Makefile.rtl: Update list of runtime units.
|
||||
* gcc-interface/Make-lang.in: Remove object files.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* fname-uf.adb: Fix documentation comment.
|
||||
(Get_Default_File_Name): Fix indices of default patterns.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* atree.ads (New_Copy, Relocate_Node): Tweak documentation comments.
|
||||
|
||||
2025-06-05 Andres Toom <toom@adacore.com>
|
||||
|
||||
* libgnat/a-nudira.ads: Activate SPARK mode and add missing
|
||||
basic contracts. Mark the unit as always terminating.
|
||||
* libgnat/a-nuflra.ads: Idem.
|
||||
|
||||
2025-06-05 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* exp_ch7.adb (Process_Object_Declaration): Avoid generating
|
||||
duplicate names for master nodes.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* opt.ads: Remove useless variable.
|
||||
* sem_ch9.adb (Analyze_Abort_Statement, Analyze_Accept_Alternative,
|
||||
Analyze_Accept_Statement, Analyze_Asynchronous_Select,
|
||||
Analyze_Conditional_Entry_Call, Analyze_Delay_Alternative,
|
||||
Analyze_Delay_Relative, Analyze_Delay_Until, Analyze_Entry_Body,
|
||||
Analyze_Entry_Body_Formal_Part, Analyze_Entry_Call_Alternative,
|
||||
Analyze_Entry_Declaration, Analyze_Entry_Index_Specification,
|
||||
Analyze_Protected_Body, Analyze_Protected_Definition,
|
||||
Analyze_Protected_Type_Declaration, Analyze_Requeue,
|
||||
Analyze_Selective_Accept, Analyze_Single_Protected_Declaration,
|
||||
Analyze_Single_Task_Declaration, Analyze_Task_Body,
|
||||
Analyze_Task_Definition, Analyze_Task_Type_Declaration,
|
||||
Analyze_Terminate_Alternative, Analyze_Timed_Entry_Call,
|
||||
Analyze_Triggering_Alternative): Remove useless assignments.
|
||||
|
||||
2025-06-05 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_util.adb
|
||||
(Side_Effect_Free_Statements): Return False if the statement list
|
||||
includes an explicit (i.e. Comes_From_Source) raise statement.
|
||||
|
||||
2025-06-05 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* sem_ch6.adb (Analyze_Expression_Function): Add missing check
|
||||
on premature use of incomplete type.
|
||||
|
||||
2025-06-05 Aleksandra Pasek <pasek@adacore.com>
|
||||
|
||||
* libgnat/s-arit32.adb: Add Ghost aspect to Lo.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Tagged_Membership): Fix for protected types.
|
||||
|
||||
2025-06-05 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_eval.adb (Fold_Shift): If the Amount parameter is greater
|
||||
than the size in bits, use the size. For example, if we are
|
||||
shifting an Unsigned_8 value, then Amount => 1_000_001 gives the
|
||||
same result as Amount => 8. This change avoids computing the value
|
||||
of 2**1_000_000, which takes too long and uses too much memory.
|
||||
Note that the computation we're talking about is a compile-time
|
||||
computation. Minor cleanup. DRY.
|
||||
* sem_eval.ads (Fold_Str, Fold_Uint, Fold_Ureal): Fold the
|
||||
comments into one comment, because DRY. Remove useless
|
||||
verbiage.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* exp_attr.adb (Interunit_Ref_OK): Tweak categorization of compilation
|
||||
units.
|
||||
|
||||
2025-06-05 Aleksandra Pasek <pasek@adacore.com>
|
||||
|
||||
* libgnat/s-aridou.adb: Add missing Ghost aspect to
|
||||
Lemma_Not_In_Range_Big2xx64.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* libgnat/s-trasym__dwarf.adb (Init_Module): Add mitigation.
|
||||
|
||||
2025-06-05 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Build_Two_Pass_Aggr_Code): New function containing
|
||||
most of the code initially present in Two_Pass_Aggregate_Expansion.
|
||||
(Two_Pass_Aggregate_Expansion): Remove redundant N parameter.
|
||||
Implement built-in-place expansion for (static) object declarations
|
||||
and allocators, using Build_Two_Pass_Aggr_Code for the main work.
|
||||
(Expand_Array_Aggregate): Adjust Two_Pass_Aggregate_Expansion call.
|
||||
Replace Etype (N) by Typ in a couple of places.
|
||||
* exp_ch3.adb (Expand_Freeze_Array_Type): Remove special case for
|
||||
two-pass array aggregates.
|
||||
(Expand_N_Object_Declaration): Do not adjust the object when it is
|
||||
initialized by a two-pass array aggregate.
|
||||
* exp_ch4.adb (Expand_Allocator_Expression): Apply the processing
|
||||
used for container aggregates to two-pass array aggregates.
|
||||
* exp_ch6.adb (Validate_Subprogram_Calls): Skip calls present in
|
||||
initialization expressions of N_Object_Declaration nodes that have
|
||||
No_Initialization set.
|
||||
* sem_ch3.adb (Analyze_Object_Declaration): Detect the cases of an
|
||||
array originally initialized by an aggregate consistently.
|
||||
|
||||
2025-06-05 Johannes Kliemann <kliemann@adacore.com>
|
||||
|
||||
* libgnat/s-arit32.adb (Lemma_Not_In_Range_Big2xx32): Add missing
|
||||
Ghost aspect.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer): Fix
|
||||
handling of preprocessing dependencies.
|
||||
|
||||
2025-06-05 Viljar Indus <indus@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_attributes.rst: Update the
|
||||
documentation for Valid_Value.
|
||||
* sem_attr.adb (Analyze_Attribute): Reject types where
|
||||
the root type originates from Standard.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
* gnat_ugn.texi: Regenerate.
|
||||
|
||||
2025-06-05 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Two_Pass_Aggregate_Expansion): Change call to Make_Assignment
|
||||
for the indexed aggregate object to call Change_Make_OK_Assignment instead.
|
||||
|
||||
2025-06-05 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_prag.adb
|
||||
(Analyze_Constituent): In the specific case case of a defined-too-late
|
||||
abstract state constituent, generate an additional error message.
|
||||
|
||||
2025-06-05 Viljar Indus <indus@adacore.com>
|
||||
|
||||
* diagnostics-sarif_emitter.adb (Print_Invocations): fix
|
||||
commandLine and executionSuccessful nodes.
|
||||
Fix typo in the name for startLine.
|
||||
* osint.adb (Modified Get_Current_Dir) Fix generation of
|
||||
the current directory.
|
||||
(Relative_Path): Avoid relative paths starting with a
|
||||
path separator.
|
||||
* osint.ads: Update the documentation for Relative_Path.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* libgnat/i-cstrin.adb (New_String): Fix size of allocation.
|
||||
|
||||
2025-06-05 squirek <squirek@adacore.com>
|
||||
|
||||
* sem_ch8.adb (Analyze_Package_Name): Add code to expand use
|
||||
clauses such that they have an implicit with associated with them
|
||||
when extensions are enabled.
|
||||
* sem_ch10.ads (Analyze_With_Clause): New.
|
||||
* sem_ch10.adb (Analyze_With_Clause): Add comes from source check
|
||||
for warning.
|
||||
(Expand_With_Clause): Moved to the spec.
|
||||
* sem_util.adb, sem_util.ads
|
||||
(Is_In_Context_Clause): Moved from sem_prag.
|
||||
* sem_prag.adb (Analyze_Pragma): Update calls to
|
||||
Is_In_Context_Clause.
|
||||
(Is_In_Context_Clause): Moved to sem_util.
|
||||
|
||||
2025-06-05 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* doc/gnat_ugn/platform_specific_information.rst
|
||||
(Setting Stack Size from gnatlink): Improve documentation.
|
||||
* gnat-style.texi: Regenerate.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
* gnat_ugn.texi: Regenerate.
|
||||
|
||||
2025-06-05 squirek <squirek@adacore.com>
|
||||
|
||||
* accessibility.adb (Check_Return_Construct_Accessibility):
|
||||
Disable check generation when we are only checking semantics.
|
||||
* opt.ads: Add new flag for -gnatc mode
|
||||
* switch-c.adb (Scan_Front_End_Switches): Set flag for -gnatc mode
|
||||
|
||||
2025-06-05 Viljar Indus <indus@adacore.com>
|
||||
|
||||
* sem_ch8.adb (Mark_Use_Type): Additionally mark the types
|
||||
of the parameters and return values as used when analyzing an
|
||||
operator.
|
||||
|
||||
2025-06-05 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch9.adb (Build_Dispatching_Requeue): Take 'Tag of the
|
||||
concurrent object instead of doing an unchecked conversion.
|
||||
* exp_pakd.adb (Expand_Packed_Address_Reference): Perform address
|
||||
arithmetic using an operator of System.Storage_Elements.
|
||||
|
||||
2025-06-05 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch6.adb (Expand_Actuals): Remove obsolete comment.
|
||||
(Make_Build_In_Place_Call_In_Anonymous_Context): Always use a proper
|
||||
object declaration initialized with the function call in the cases
|
||||
where a temporary is needed, with Assignment_OK set on it.
|
||||
* sem_util.adb (Entity_Of): Deal with rewritten function call first.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* libgnat/i-cstrin.adb (Position_Of_Nul): Change specification and
|
||||
adjust body accordingly.
|
||||
(New_Char_Array): Fix size of allocation.
|
||||
(To_Chars_Ptr): Adapt to Position_Of_Nul change.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer): Fix
|
||||
oracle generation.
|
||||
|
||||
2025-06-05 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer):
|
||||
Fix when main library item is an instantiation.
|
||||
|
||||
2025-06-05 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_attr.adb (Expand_N_Attribute_Reference): When accessing the
|
||||
maps declared in package Cached_Attribute_Ops, the key value
|
||||
passed to Get or to Set should never be the entity node for a
|
||||
subtype. Use the entity of the corresponding type declaration
|
||||
instead.
|
||||
|
||||
2025-06-05 Viljar Indus <indus@adacore.com>
|
||||
|
||||
* sem_res.adb (Resolve_Declare_Expression): Mark used
|
||||
local variables inside a declare expression as referenced.
|
||||
|
||||
2025-06-05 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* sem.ads: Update reference to renamed subprogram in documentation.
|
||||
* sem_ch3.ads (Preanalyze_Assert_Expression): Renamed.
|
||||
(Preanalyze_Spec_Expression): Renamed.
|
||||
* sem_ch3.adb (Preanalyze_Assert_Expression): Renamed and code cleanup.
|
||||
(Preanalyze_Spec_Expression): Renamed.
|
||||
(Preanalyze_Default_Expression): Renamed.
|
||||
* contracts.adb: Update calls to renamed subprograms.
|
||||
* exp_pakd.adb: Ditto.
|
||||
* exp_util.adb: Ditto.
|
||||
* freeze.adb: Ditto.
|
||||
* sem_ch12.adb: Ditto.
|
||||
* sem_ch13.adb: Ditto.
|
||||
* sem_ch6.adb: Ditto.
|
||||
* sem_prag.adb: Ditto.
|
||||
* sem_res.adb (Preanalyze_And_Resolve): Add to the version without
|
||||
context type the special handling for GNATprove mode provided by
|
||||
the version with context type; required to cleanup the body of
|
||||
Preanalyze_Assert_Expression.
|
||||
|
||||
2025-06-05 squirek <squirek@adacore.com>
|
||||
|
||||
* accessibility.adb
|
||||
(Check_Return_Construct_Accessibility): Disable check generation
|
||||
when we are only checking semantics.
|
||||
|
||||
2025-06-05 Viljar Indus <indus@adacore.com>
|
||||
|
||||
* diagnostics-json_utils.adb: Add new method To_File_Uri to
|
||||
convert any path to the URI standard.
|
||||
* diagnostics-json_utils.ads: Likewise.
|
||||
* diagnostics-sarif_emitter.adb: Converted Artifact_Change
|
||||
types to use the Source_File_Index instead of the file name
|
||||
to store the source file.
|
||||
Removed the body from Destroy (Elem : in out Artifact_Change)
|
||||
since it no longer contained elements with dynamic memory.
|
||||
Updated the implementation of Equals (L, R : Artifact_Change)
|
||||
to take into account the changes for Artifact_Change.
|
||||
Print_Artifact_Location: Use the Source_File_Index as an
|
||||
input argument. Now prints the uriBaseId attribute and a
|
||||
relative path from the uriBaseId to the file in question as
|
||||
the value of the uri attribute.
|
||||
New method Print_Original_Uri_Base_Ids to print the
|
||||
originalUriBaseIds node.
|
||||
Print_Run no prints the originalUriBaseIds node.
|
||||
Use constants instead of strings for all the SARIF attributes.
|
||||
* osint.adb: Add new method Relative_Path to calculate the
|
||||
relative path from a base directory.
|
||||
Add new method Root to calculate the root of each directory.
|
||||
Add new method Get_Current_Dir to get the current working
|
||||
directory for the execution environment.
|
||||
* osint.ads: Likewise.
|
||||
* clean.adb: Use full names for calls to Get_Current_Dir.
|
||||
* gnatls.adb: Likewise.
|
||||
|
||||
2025-06-05 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_res.adb
|
||||
(Set_Mixed_Mode_Operand): If we are about to call Resolve
|
||||
passing in Any_Fixed as the expected type, then instead pass in
|
||||
the fixed point type of the other operand (i.e., B_Typ).
|
||||
|
||||
2025-06-05 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_util.adb (Check_Function_Writable_Actuals): Add handling for
|
||||
N_Iterated_Component_Association and N_Iterated_Element_Association.
|
||||
Fix a typo in an RM reference (6.4.1(20/3) => 6.4.1(6.20/3)).
|
||||
(Collect_Expression_Ids): New procedure factoring code for collecting
|
||||
identifiers from expressions of aggregate associations.
|
||||
(Handle_Association_Choices): New procedure factoring code for handling
|
||||
id collection for expressions of aggregate associations with multiple
|
||||
choices. Removed redundant test of Box_Present from original code.
|
||||
|
||||
2025-05-24 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gcc-interface/Make-lang.in (ACATSDIR): Use acats-2 directory.
|
||||
|
||||
@@ -1,3 +1,16 @@
|
||||
2025-06-05 Robert Dubner <rdubner@symas.com>
|
||||
|
||||
PR cobol/119975
|
||||
* genapi.cc (parser_intrinsic_call_0): Use get_time_nanoseconds().
|
||||
* genutil.cc (get_time_64): Rename to get_time_nanoseconds().
|
||||
(get_time_nanoseconds): Likewise.
|
||||
* genutil.h (get_time_64): Likewise.
|
||||
(get_time_nanoseconds): Likewise.
|
||||
* util.cc (class cbl_timespec): Timing routine uses
|
||||
get_time_nanoseconds().
|
||||
(operator-): Likewise.
|
||||
(parse_file): Likewise.
|
||||
|
||||
2025-06-02 Robert Dubner <rdubner@symas.com>
|
||||
|
||||
PR cobol/119975
|
||||
|
||||
@@ -1,3 +1,37 @@
|
||||
2025-06-05 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/120224
|
||||
* pt.cc (tsubst_function_decl): Return error_mark_node if
|
||||
substituting into the formal parameter list failed.
|
||||
(tsubst_decl) <case PARM_DECL>: Return error_mark_node
|
||||
upon TREE_TYPE substitution failure, when in a SFINAE
|
||||
context. Return error_mark_node upon DECL_CHAIN substitution
|
||||
failure.
|
||||
|
||||
2025-06-05 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/118340
|
||||
* constexpr.cc (maybe_constant_value): First try looking up each
|
||||
operand in the cv_cache and reusing the result.
|
||||
|
||||
2025-06-05 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* coroutines.cc (analyze_fn_parms): Move from free function..
|
||||
(cp_coroutine_transform::analyze_fn_parms):... to method.
|
||||
(cp_coroutine_transform::apply_transforms): Adjust call to
|
||||
analyze_fn_parms.
|
||||
* coroutines.h: Declare analyze_fn_parms.
|
||||
|
||||
2025-06-05 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* coroutines.cc (expand_one_await_expression): Set the
|
||||
initial_await_resume_called flag here.
|
||||
(build_actor_fn): Populate the frame accessor for the
|
||||
initial_await_resume_called flag.
|
||||
(cp_coroutine_transform::wrap_original_function_body): Do
|
||||
not modify the initial_await expression to include the
|
||||
initial_await_resume_called flag here.
|
||||
|
||||
2025-06-04 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/120502
|
||||
|
||||
@@ -1,3 +1,89 @@
|
||||
2025-06-05 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
* gcc.target/riscv/nozicond-3.c: New test.
|
||||
|
||||
2025-06-05 Uros Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/120553
|
||||
* gcc.target/i386/pr120553.c: New test.
|
||||
|
||||
2025-06-05 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/120231
|
||||
* gcc.dg/tree-ssa/pr120231-2.c: New test.
|
||||
* gcc.dg/tree-ssa/pr120231-3.c: New test.
|
||||
* gfortran.dg/inline_matmul_16.f90: Don't expect any _gfortran_matmul
|
||||
strings in optimized dump.
|
||||
* gfortran.dg/inline_matmul_26.f90: New test.
|
||||
* g++.dg/tree-ssa/loop-split-1.C (d): New variable.
|
||||
(main): Use std::log (i + d) instead of std::log (i).
|
||||
|
||||
2025-06-05 Andrew Pinski <quic_apinski@quicinc.com>
|
||||
|
||||
PR tree-optimization/89606
|
||||
* gcc.target/aarch64/vld2-1.c: New test.
|
||||
|
||||
2025-06-05 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/120224
|
||||
* g++.dg/cpp0x/alias-decl-80.C: New test.
|
||||
|
||||
2025-06-05 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR middle-end/120547
|
||||
* gcc.dg/bitint-123.c: New test.
|
||||
|
||||
2025-06-05 Jeff Law <jlaw@ventanamicro.com>
|
||||
|
||||
* gcc.target/riscv/nozicond-1.c: New test.
|
||||
* gcc.target/riscv/nozicond-2.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-ssu64xl.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-sstvecd.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-sstvala.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-sscounterenw.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-ssccptr.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-smrnmi.c: New test.
|
||||
|
||||
2025-06-05 Jiawei <jiawei@iscas.ac.cn>
|
||||
|
||||
* gcc.target/riscv/arch-smcsrind.c: New test.
|
||||
|
||||
2025-06-05 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gnat.dg/specs/opt7.ads: New test.
|
||||
* gnat.dg/specs/opt7_pkg.ads: New helper.
|
||||
* gnat.dg/specs/opt7_pkg.adb: Likewise.
|
||||
|
||||
2025-06-05 Spencer Abson <spencer.abson@arm.com>
|
||||
|
||||
* gcc.target/aarch64/sve/pr96357.c: Change to avoid producing
|
||||
a conditional FIX_TRUNC_EXPR, whilst still reproducing the bug
|
||||
in PR96357.
|
||||
* gcc.dg/tree-ssa/ifcvt-fix-trunc-1.c: New test.
|
||||
* gcc.dg/tree-ssa/ifcvt-fix-trunc-2.c: Likewise.
|
||||
|
||||
2025-06-05 Hongyu Wang <hongyu.wang@intel.com>
|
||||
|
||||
* g++.target/i386/pr112824-2.C: New test.
|
||||
|
||||
2025-06-04 Kugan Vivekanandarajah <kvivekananda@nvidia.com>
|
||||
|
||||
* gcc.dg/tree-prof/clone-merge-1.c: New test.
|
||||
|
||||
@@ -1,3 +1,24 @@
|
||||
2025-06-05 Robert Dubner <rdubner@symas.com>
|
||||
|
||||
PR cobol/119975
|
||||
* configure.ac: AC_CHECK_LIB(rt, clock_gettime).
|
||||
* config.h.in: Likewise.
|
||||
* configure: Likewise.
|
||||
* gfileio.cc: Remove in-line cppcheck-suppress.
|
||||
* intrinsic.cc (timespec_to_string): Use guarded clock_gettime().
|
||||
(__gg__current_date): Likewise.
|
||||
(__gg__seconds_past_midnight): Likewise.
|
||||
(__gg__formatted_current_date): Likewise.
|
||||
(__gg__random): Likewise.
|
||||
(__gg__random_next): Likewise.
|
||||
(__gg__when_compiled): Likewise.
|
||||
* libgcobol.cc (cobol_time): Likewise.
|
||||
(get_time_nanoseconds): Likewise.
|
||||
(__gg__clock_gettime): Likewise.
|
||||
(__gg__get_date_hhmmssff): Likewise.
|
||||
* libgcobol.h (__gg__clock_gettime): Likewise.
|
||||
(struct cbl_timespec): Likewise.
|
||||
|
||||
2025-06-04 Robert Dubner <rdubner@symas.com>
|
||||
|
||||
PR cobol/119323
|
||||
|
||||
@@ -1,3 +1,67 @@
|
||||
2025-06-05 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR libstdc++/120548
|
||||
* include/std/format (__formatter_fp::_M_localize): Do not
|
||||
include a leading sign character in the string to be grouped.
|
||||
* testsuite/std/format/functions/format.cc: Check grouping when
|
||||
sign is present in the output.
|
||||
|
||||
2025-06-05 Tomasz Kamiński <tkaminsk@redhat.com>
|
||||
|
||||
PR libstdc++/119152
|
||||
* src/c++23/std.cc.in (std::indirect, pmr::indirect)
|
||||
[__cpp_lib_indirect]
|
||||
(std::polymorphic, pmr::polymorphic) [__cpp_lib_polymorphic]: Export.
|
||||
|
||||
2025-06-05 Tomasz Kamiński <tkaminsk@redhat.com>
|
||||
|
||||
PR libstdc++/120481
|
||||
* include/bits/chrono_io.h (__format::_S_chars): Reorder so it
|
||||
contains "-{}".
|
||||
(__format::_S_colon, __format::_S_slash, __format::_S_space)
|
||||
(__format::_S_plus_minus): Updated starting indicies.
|
||||
(__format::_S_minus_empty_spec): Define.
|
||||
(__formatter_chrono::_M_C_y_Y, __formatter_chrono::_M_R_T):
|
||||
Rework implementation.
|
||||
(__formatter_chrono::_M_d_e, __formatter_chrono::_M_F)
|
||||
(__formatter_chrono::_M_m, __formatter_chrono::_M_u_w)
|
||||
(__formatter_chrono::_M_H_I, __formatter_chrono::_M_p):
|
||||
Handle multi digits values.
|
||||
(__formatter_chrono::_S_digit): Return string view.
|
||||
(__formatter_chrono::_S_str_d1, __formatter_chrono::_S_str_d2)
|
||||
(__formatter_chrono::_S_fill_two_digits): Define.
|
||||
* testsuite/std/time/format/empty_spec.cc: Update test for
|
||||
year_month_day, that uses '%F'.
|
||||
* testsuite/std/time/format/pr120481.cc: New test.
|
||||
|
||||
2025-06-05 Nathan Myers <ncm@cantrip.org>
|
||||
|
||||
Revert:
|
||||
2025-06-04 Nathan Myers <ncm@cantrip.org>
|
||||
|
||||
PR libstdc++/119741
|
||||
* include/std/sstream: full implementation, really just
|
||||
decls, requires clause and plumbing.
|
||||
* include/bits/version.def, include/bits/version.h:
|
||||
new preprocessor symbol
|
||||
__cpp_lib_sstream_from_string_view.
|
||||
* testsuite/27_io/basic_stringbuf/cons/char/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_istringstream/cons/char/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_ostringstream/cons/char/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_stringstream/cons/char/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_stringbuf/cons/wchar_t/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_istringstream/cons/wchar_t/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_ostringstream/cons/wchar_t/string_view.cc:
|
||||
New tests.
|
||||
* testsuite/27_io/basic_stringstream/cons/wchar_t/string_view.cc:
|
||||
New tests.
|
||||
|
||||
2025-06-04 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* testsuite/std/time/format/empty_spec.cc: Only test time zones
|
||||
|
||||
Reference in New Issue
Block a user