mirror of
https://github.com/gcc-mirror/gcc.git
synced 2024-11-21 13:40:47 +00:00
Daily bump.
This commit is contained in:
GCC Administrator
parent
52fdf1e7eb
commit
41179a3276
@ -1,3 +1,20 @@
|
|||||||
|
2024-10-08 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
|
* unicode/README: Update glibc git commit hash, replace
|
||||||
|
Unicode 15 or 15.1 versions with 16.
|
||||||
|
* unicode/gen_libstdcxx_unicode_data.py: Use 160000 instead of
|
||||||
|
150100 in _GLIBCXX_GET_UNICODE_DATA test.
|
||||||
|
* unicode/from_glibc/utf8_gen.py: Updated from glibc
|
||||||
|
064c708c78cc2a6b5802dce73108fc0c1c6bfc80 commit.
|
||||||
|
* unicode/DerivedCoreProperties.txt: Updated from Unicode 16.0.
|
||||||
|
* unicode/emoji-data.txt: Likewise.
|
||||||
|
* unicode/PropList.txt: Likewise.
|
||||||
|
* unicode/GraphemeBreakProperty.txt: Likewise.
|
||||||
|
* unicode/DerivedNormalizationProps.txt: Likewise.
|
||||||
|
* unicode/NameAliases.txt: Likewise.
|
||||||
|
* unicode/UnicodeData.txt: Likewise.
|
||||||
|
* unicode/EastAsianWidth.txt: Likewise.
|
||||||
|
|
||||||
2024-09-18 Filip Kastl <fkastl@suse.cz>
|
2024-09-18 Filip Kastl <fkastl@suse.cz>
|
||||||
|
|
||||||
* check-params-in-docs.py: Skip tables of values of a param.
|
* check-params-in-docs.py: Skip tables of values of a param.
|
||||||
|
|||||||
154
gcc/ChangeLog
154
gcc/ChangeLog
@ -1,3 +1,157 @@
|
|||||||
|
2024-10-09 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
PR tree-optimization/116024
|
||||||
|
* match.pd: New transformation around integer comparison.
|
||||||
|
|
||||||
|
2024-10-09 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
PR tree-optimization/116024
|
||||||
|
* match.pd: New transformation around integer comparison.
|
||||||
|
|
||||||
|
2024-10-08 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
PR tree-optimization/116024
|
||||||
|
* match.pd: New transformation around integer comparison.
|
||||||
|
|
||||||
|
2024-10-08 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
PR tree-optimization/116024
|
||||||
|
* match.pd: New transformation around integer comparison.
|
||||||
|
|
||||||
|
2024-10-08 Tsung Chun Lin <tclin914@gmail.com>
|
||||||
|
|
||||||
|
* config/riscv/riscv-c.cc: (riscv_cpu_cpp_builtins):
|
||||||
|
Enable builtin __riscv_mul with Zmmul extension.
|
||||||
|
|
||||||
|
2024-10-08 Tsung Chun Lin <tclin914@gmail.com>
|
||||||
|
|
||||||
|
* common/config/riscv/riscv-common.cc: M implies Zmmul.
|
||||||
|
|
||||||
|
2024-10-08 Yangyu Chen <chenyangyu@isrc.iscas.ac.cn>
|
||||||
|
|
||||||
|
* common/config/riscv/riscv-common.cc (cl_opt_var_ref_t): Add
|
||||||
|
cl_opt_var_ref_t pointer to member of cl_target_option.
|
||||||
|
(struct riscv_ext_flag_table_t): Add new cl_opt_var_ref_t field.
|
||||||
|
(RISCV_EXT_FLAG_ENTRY): New macro to simplify the definition of
|
||||||
|
riscv_ext_flag_table.
|
||||||
|
(riscv_ext_is_subset): New function to check if the callee's ISA
|
||||||
|
is a subset of the caller's.
|
||||||
|
(riscv_x_target_flags_isa_mask): New function to get the mask of
|
||||||
|
ISA extension in x_target_flags of gcc_options.
|
||||||
|
* config/riscv/riscv-subset.h (riscv_ext_is_subset): Declare
|
||||||
|
riscv_ext_is_subset function.
|
||||||
|
(riscv_x_target_flags_isa_mask): Declare
|
||||||
|
riscv_x_target_flags_isa_mask function.
|
||||||
|
* config/riscv/riscv.cc (riscv_can_inline_p): New function.
|
||||||
|
(TARGET_CAN_INLINE_P): Implement TARGET_CAN_INLINE_P.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* config/riscv/riscv-protos.h (riscv_expand_sstrunc): Add new
|
||||||
|
func decl to expand SAT_TRUNC.
|
||||||
|
* config/riscv/riscv.cc (riscv_expand_sstrunc): Add new func
|
||||||
|
impl to expand SAT_TRUNC.
|
||||||
|
* config/riscv/riscv.md (sstrunc<mode><anyi_double_truncated>2):
|
||||||
|
Add new pattern for double truncation.
|
||||||
|
(sstrunc<mode><anyi_quad_truncated>2): Ditto but for quad.
|
||||||
|
(sstrunc<mode><anyi_oct_truncated>2): Ditto but for oct.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* tree-ssa-math-opts.cc (build_saturation_binary_arith_call): Rename
|
||||||
|
to...
|
||||||
|
(build_saturation_binary_arith_call_and_replace): ...this.
|
||||||
|
(build_saturation_binary_arith_call_and_insert): ...this.
|
||||||
|
(match_unsigned_saturation_add): Leverage renamed func.
|
||||||
|
(match_unsigned_saturation_sub): Ditto.
|
||||||
|
(match_saturation_add): Return bool on matched and leverage
|
||||||
|
renamed func.
|
||||||
|
(match_saturation_sub): Ditto.
|
||||||
|
(match_saturation_trunc): Ditto.
|
||||||
|
(math_opts_dom_walker::after_dom_children): Ensure at most one
|
||||||
|
pattern will be matched for each phi node.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* match.pd: Add case 1 matching pattern for signed SAT_TRUNC.
|
||||||
|
* tree-ssa-math-opts.cc (gimple_signed_integer_sat_trunc): Add
|
||||||
|
new decl for signed SAT_TRUNC.
|
||||||
|
(match_saturation_trunc): Add new func impl to try SAT_TRUNC
|
||||||
|
pattern on phi node.
|
||||||
|
(math_opts_dom_walker::after_dom_children): Add
|
||||||
|
match_saturation_trunc for phi node iteration.
|
||||||
|
|
||||||
|
2024-10-08 Jan Beulich <jbeulich@suse.com>
|
||||||
|
|
||||||
|
* config/i386/sse.md (vaesdec_<mode>, vaesdeclast_<mode>,
|
||||||
|
vaesenc_<mode>, vaesenclast_<mode>): Replace which_alternative
|
||||||
|
check by TARGET_AES one.
|
||||||
|
|
||||||
|
2024-10-08 Soumya AR <soumyaa@nvidia.com>
|
||||||
|
|
||||||
|
PR target/109498
|
||||||
|
* config/aarch64/aarch64-sve.md (ctz<mode>2): Added pattern to expand
|
||||||
|
CTZ to RBIT + CLZ for SVE.
|
||||||
|
|
||||||
|
2024-10-08 Palmer Dabbelt <palmer@rivosinc.com>
|
||||||
|
|
||||||
|
PR target/116615
|
||||||
|
* config/riscv/riscv.h (LOGICAL_OP_NON_SHORT_CIRCUIT): Remove.
|
||||||
|
|
||||||
|
2024-10-08 Xi Ruoyao <xry111@xry111.site>
|
||||||
|
|
||||||
|
* config/loongarch/loongarch.opt: Regenerate.
|
||||||
|
* config/loongarch/loongarch.opt.urls: Regenerate.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* match.pd: Add case 3 matching pattern for signed SAT_SUB.
|
||||||
|
|
||||||
|
2024-10-08 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
|
PR middle-end/116896
|
||||||
|
* tree-ssa-math-opts.cc (optimize_spaceship): Handle unordered values
|
||||||
|
other than 2, but they still need to be signed char range possibly
|
||||||
|
converted to the PHI result and can't be in [-1, 1] range. Use
|
||||||
|
last .SPACESHIP argument of 1 for unsigned int comparisons, -1 for
|
||||||
|
signed int, 0 for floating point branches and any other for floating
|
||||||
|
point with that value as unordered.
|
||||||
|
* config/i386/i386-expand.cc (ix86_expand_fp_spaceship): Use op2 rather
|
||||||
|
const2_rtx if op2 is not const0_rtx for unordered result.
|
||||||
|
(ix86_expand_int_spaceship): Change INTVAL (op2) == 1 tests to
|
||||||
|
INTVAL (op2) != -1.
|
||||||
|
* doc/md.texi (spaceship@var{m}4): Document the above changes.
|
||||||
|
|
||||||
|
2024-10-08 Prathamesh Kulkarni <prathameshk@nvidia.com>
|
||||||
|
|
||||||
|
PR ipa/96265
|
||||||
|
* lto-streamer-in.cc (lto_read_tree_1): Set TYPE_MODE and DECL_MODE
|
||||||
|
for vector_type if offloading is enabled.
|
||||||
|
(lto_input_mode_table): Remove handling of vector modes.
|
||||||
|
* tree-streamer-out.cc (pack_ts_decl_common_value_fields): Stream out
|
||||||
|
VOIDmode for vector_type if offloading is enabled.
|
||||||
|
(pack_ts_decl_common_value_fields): Likewise.
|
||||||
|
|
||||||
|
2024-10-08 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
|
||||||
|
|
||||||
|
* diagnostic-color.cc: Conditionally enable terminal processing
|
||||||
|
based on define availability.
|
||||||
|
* pretty-print.cc: Likewise.
|
||||||
|
|
||||||
|
2024-10-08 Xi Ruoyao <xry111@xry111.site>
|
||||||
|
|
||||||
|
* config/loongarch/genopts/loongarch.opt.in
|
||||||
|
(mannotate-tablejump): New option.
|
||||||
|
* config/loongarch/loongarch.opt: Regenerate.
|
||||||
|
* config/loongarch/loongarch.md (tablejump<mode>): Emit
|
||||||
|
additional correlation info between the jump instruction and the
|
||||||
|
jump table, if -mannotate-tablejump.
|
||||||
|
* doc/invoke.texi: Document -mannotate-tablejump.
|
||||||
|
|
||||||
|
2024-10-08 Xiao Zeng <zengxiao@eswincomputing.com>
|
||||||
|
|
||||||
|
* common/config/riscv/riscv-common.cc: zawrs -> zalrsc.
|
||||||
|
|
||||||
2024-10-07 Jeff Law <jlaw@ventanamicro.com>
|
2024-10-07 Jeff Law <jlaw@ventanamicro.com>
|
||||||
|
|
||||||
* config/riscv/iterators.md (scc_0): New code iterator.
|
* config/riscv/iterators.md (scc_0): New code iterator.
|
||||||
|
|||||||
@ -1 +1 @@
|
|||||||
20241008
|
20241009
|
||||||
|
|||||||
@ -1,3 +1,317 @@
|
|||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/116498
|
||||||
|
* gcc-interface/decl.cc (validate_size): Use the size of the default
|
||||||
|
pointer mode as the minimum size for access types and fat pointers.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
* gcc-interface/trans.cc (Raise_Error_to_gnu) <CE_Invalid_Data>:
|
||||||
|
Do not the generate range information if the value is a call to a
|
||||||
|
Rep_To_Pos function.
|
||||||
|
|
||||||
|
2024-10-08 Olivier Hainque <hainque@adacore.com>
|
||||||
|
|
||||||
|
* sigtramp-armdroid.c: Refactor into ...
|
||||||
|
* sigtramp-android.c, sigtramp-android-asm.h: New files.
|
||||||
|
* Makefile.rtl (arm/aarch64-android section): Add
|
||||||
|
sigtramp-android.o to EXTRA_LIBGNAT_OBJS unconditionally. Add
|
||||||
|
sigtramp.h and sigtramp-android-asm.h to EXTRA_LIBGNAT_SRCS.
|
||||||
|
* init.c (android section, __gnat_error_handler): Defer to
|
||||||
|
__gnat_sigramp unconditionally again.
|
||||||
|
* sigtramp.h: Adjust comments to allow neutral signal handling
|
||||||
|
relays, merely forwarding to the underlying handler without any
|
||||||
|
intermediate CFI magic.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/115507
|
||||||
|
* exp_imgv.adb (Expand_Valid_Value_Attribute): Add actual parameter
|
||||||
|
for Is_Wide formal in the call to Valid_Value_Enumeration_NN.
|
||||||
|
(Expand_Value_Attribute): Likewise.
|
||||||
|
* libgnat/s-vaen16.ads (Value_Enumeration_16): Add Is_Wide formal.
|
||||||
|
(Valid_Value_Enumeration_16): Likewise.
|
||||||
|
* libgnat/s-vaen32.ads (Value_Enumeration_32): Likewise.
|
||||||
|
(Valid_Value_Enumeration_32): Likewise.
|
||||||
|
* libgnat/s-vaenu8.ads (Value_Enumeration_8): Likewise.
|
||||||
|
(Valid_Value_Enumeration_8): Likewise.
|
||||||
|
* libgnat/s-valboo.adb (Value_Boolean): Pass True for To_Upper_Case
|
||||||
|
formal parameter in call to Normalize_String.
|
||||||
|
* libgnat/s-valcha.adb (Value_Character): Likewise.
|
||||||
|
* libgnat/s-valuen.ads (Value_Enumeration): Add Is_Wide formal.
|
||||||
|
(Valid_Value_Enumeration): Likewise.
|
||||||
|
* libgnat/s-valuen.adb (Value_Enumeration_Pos): Likewise and pass
|
||||||
|
its negation for To_Upper_Case formal in call to Normalize_String.
|
||||||
|
(Valid_Value_Enumeration): Add Is_Wide formal and forward it in
|
||||||
|
call to Value_Enumeration_Pos.
|
||||||
|
(Value_Enumeration): Likewise.
|
||||||
|
* libgnat/s-valuti.ads (Normalize_String): Add To_Upper_Case formal
|
||||||
|
parameter and adjust post-condition accordingly.
|
||||||
|
* libgnat/s-valuti.adb (Normalize_String): Add To_Upper_Case formal
|
||||||
|
parameter and adjust implementation accordingly.
|
||||||
|
* libgnat/s-valwch.adb (Value_Wide_Wide_Character): Pass False for
|
||||||
|
To_Upper_Case formal parameter in call to Normalize_String.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/114636
|
||||||
|
* sem_ch12.adb (Check_Formal_Package_Instance): For a defaulted
|
||||||
|
formal discrete type, skip the generated implicit base type.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/115535
|
||||||
|
* exp_put_image.adb (Build_Elementary_Put_Image_Call): Use the size
|
||||||
|
of the underlying type to find the support type.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/114640
|
||||||
|
* exp_util.adb (Find_Hook_Context): For a node present within a
|
||||||
|
conditional expression, do not return an N_Elsif_Part node.
|
||||||
|
|
||||||
|
2024-10-08 Viljar Indus <indus@adacore.com>
|
||||||
|
|
||||||
|
* diagnostics-constructors.adb
|
||||||
|
(Make_Mixed_Container_Aggregate_Error): New function for the error
|
||||||
|
message
|
||||||
|
(Record_Mixed_Container_Aggregate_Error): New function for the
|
||||||
|
error message.
|
||||||
|
* diagnostics-constructors.ads: Likewise.
|
||||||
|
* diagnostics-repository.ads: register new diagnostics id
|
||||||
|
* diagnostics.ads: add new diagnostics id
|
||||||
|
* errout.adb (First_And_Last_Node): Detect the span for component
|
||||||
|
associations.
|
||||||
|
* sem_aggr.adb (Resolve_Container_Aggregate): reject container
|
||||||
|
aggregates that have both named and positional elements.
|
||||||
|
|
||||||
|
2024-10-08 Ronan Desplanques <desplanques@adacore.com>
|
||||||
|
|
||||||
|
* snames.ads-tmpl: Add new pragma definition.
|
||||||
|
* par-prag.adb (Prag): Handle new pragma.
|
||||||
|
* sem_prag.adb (Analyze_Pragma): Implement new pragma.
|
||||||
|
|
||||||
|
2024-10-08 Ronan Desplanques <desplanques@adacore.com>
|
||||||
|
|
||||||
|
* snames.ads-tmpl: Tweak position of comment.
|
||||||
|
|
||||||
|
2024-10-08 Tonu Naks <naks@adacore.com>
|
||||||
|
|
||||||
|
* doc/gnat_rm/gnat_language_extensions.rst: replace
|
||||||
|
references to RFC's with appropriate text from the rfc
|
||||||
|
* gnat_rm.texi: Regenerate.
|
||||||
|
* gnat_ugn.texi: Regenerate.
|
||||||
|
|
||||||
|
2024-10-08 Ronan Desplanques <desplanques@adacore.com>
|
||||||
|
|
||||||
|
* lib-writ.ads (Add_Preprocessing_Dependency): Update
|
||||||
|
documentation comment.
|
||||||
|
* sem_ch3.adb (Apply_External_Initialization): Add call to
|
||||||
|
Add_Preprocessing_Dependency.
|
||||||
|
|
||||||
|
2024-10-08 Viljar Indus <indus@adacore.com>
|
||||||
|
|
||||||
|
* exp_aggr.adb (Build_Siz_Exp): Support deriving the size of the
|
||||||
|
container aggregate with multi-dimensional arrays. Make the
|
||||||
|
function return an node of an expression instead of an integer.
|
||||||
|
Additionally calculate the size expression for
|
||||||
|
Component_Associations.
|
||||||
|
(To_Int) make this method available for more functions.
|
||||||
|
(Aggregate_Size) Relocate the calculation of
|
||||||
|
Componenet_Associations to Build_Siz_Exp.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
* exp_tss.ads (Is_Rep_To_Pos): New function declaration.
|
||||||
|
* exp_tss.adb (Is_Rep_To_Pos): New function body.
|
||||||
|
* fe.h (Is_Rep_To_Pos): New macro and extern declaration.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
* exp_imgv.adb (Rewrite_Object_Image): When the prefix is a type
|
||||||
|
conversion to Universal_Integer, use its expression directly. When
|
||||||
|
the prefix is an integer literal with Universal_Integer type, try
|
||||||
|
to compute a narrower type.
|
||||||
|
|
||||||
|
2024-10-08 Raphaël AMIARD <amiard@adacore.com>
|
||||||
|
|
||||||
|
* par-ch11.adb (P_Sequence_Of_Statements): Remove Handled
|
||||||
|
parameter. Always wrap the statements in a block when there are
|
||||||
|
declarations in it.
|
||||||
|
* par-ch5.adb: Adapt call to P_Sequence_Of_Statements Update
|
||||||
|
outdated comment, remove useless `Style_Checks` pragma.
|
||||||
|
(P_Sequence_Of_Statements): Don't emit an error in core extensions
|
||||||
|
mode. Emit an error when a non valid declaration is parsed in
|
||||||
|
sequence of statements.
|
||||||
|
* par.adb: Adapt P_Sequence_Of_Statements' signature
|
||||||
|
* doc/gnat_rm/gnat_language_extensions.rst: Adapt documentation
|
||||||
|
now.
|
||||||
|
* gnat_rm.texi: Regenerate.
|
||||||
|
* gnat_ugn.texi: Regenerate.
|
||||||
|
|
||||||
|
2024-10-08 Ronan Desplanques <desplanques@adacore.com>
|
||||||
|
|
||||||
|
* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer):
|
||||||
|
Fix behavior on child subprograms without specs.
|
||||||
|
|
||||||
|
2024-10-08 Steve Baird <baird@adacore.com>
|
||||||
|
|
||||||
|
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Don't freeze here
|
||||||
|
if Has_Delayed_Freeze returns True.
|
||||||
|
* sem_type.adb (Valid_Equality_Arg): Treat an incomplete type like
|
||||||
|
a limited type because neither has an implicitly-defined equality
|
||||||
|
primitive.
|
||||||
|
(Covers): If either argument is an incomplete type
|
||||||
|
whose full view is available, then look through to the full view.
|
||||||
|
* sem_res.adb (Resolve_Actuals): If the actual parameter type is
|
||||||
|
complete and the formal parameter type is not, then update the
|
||||||
|
formal parameter type to use the complete view.
|
||||||
|
|
||||||
|
2024-10-08 squirek <squirek@adacore.com>
|
||||||
|
|
||||||
|
* sem_ch3.adb (Derived_Type_Declaration): Modify generation of
|
||||||
|
compile time check.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
* libgnat/s-trasym__dwarf.adb (LDAD_Header): New String constant.
|
||||||
|
(Symbolic_Traceback): Print the load address of the executable at
|
||||||
|
the beginning if it is not null.
|
||||||
|
|
||||||
|
2024-10-08 Steve Baird <baird@adacore.com>
|
||||||
|
|
||||||
|
* sem_ch6.adb (Check_Discriminant_Conformance): In testing whether
|
||||||
|
a default expression is permitted for an access discriminant, we
|
||||||
|
need to know whether the discriminated type is immutably limited.
|
||||||
|
Handle another part of this test that cannot easily be handled in
|
||||||
|
Sem_Aux.Is_Immutably_Limited. This involves declaring a new local
|
||||||
|
function, Is_Derived_From_Immutably_Limited_Type.
|
||||||
|
|
||||||
|
2024-10-08 Steve Baird <baird@adacore.com>
|
||||||
|
|
||||||
|
* sem_attr.adb (Resolve_Attribute): When setting the Etype of a
|
||||||
|
universal-integer-valued attribute reference to the subtype
|
||||||
|
determined by its context, use the basetype of that subtype
|
||||||
|
instead of the subtype itself if there is a possibility that the
|
||||||
|
attribute value will not satisfy the constraints of that subtype.
|
||||||
|
Otherwise the compiler is, in effect, assuming something that
|
||||||
|
might not be true. Except use the subtype in the case of a
|
||||||
|
not-from-source 'Pos attribute reference in order to avoid
|
||||||
|
breaking things.
|
||||||
|
|
||||||
|
2024-10-08 Ronan Desplanques <desplanques@adacore.com>
|
||||||
|
|
||||||
|
* comperr.adb (Compiler_Abort): Add call to
|
||||||
|
Generate_Minimal_Reproducer and replace call to Namet.Unlock with
|
||||||
|
call to Unlock_If_Locked.
|
||||||
|
* debug.adb: Document new purpose of -gnatd_m and -gnatd_M.
|
||||||
|
* fname-uf.adb (Instantiate_SFN_Pattern): New procedure.
|
||||||
|
(Get_Default_File_Name): New function.
|
||||||
|
(Get_File_Name): Replace inline code with call to
|
||||||
|
Instantiate_SFN_Pattern.
|
||||||
|
* fname-uf.ads (Get_Default_File_Name): New function.
|
||||||
|
* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer):
|
||||||
|
New procedure.
|
||||||
|
* namet.adb (Unlock_If_Locked): New function.
|
||||||
|
* namet.ads (Unlock_If_Locked): Likewise.
|
||||||
|
* par-prag.adb (Prag): Add special behavior with -gnatd_M.
|
||||||
|
* set_targ.adb: Minor fixes to comments.
|
||||||
|
* gcc-interface/Make-lang.in: Update list of object files.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
* exp_aggr.ads (Is_Two_Pass_Aggregate): New function declaration.
|
||||||
|
* exp_aggr.adb (Is_Two_Pass_Aggregate): New function body.
|
||||||
|
(Expand_Array_Aggregate): Call Is_Two_Pass_Aggregate to detect the
|
||||||
|
aggregates that need the 2-pass expansion.
|
||||||
|
* exp_ch3.adb (Expand_Freeze_Array_Type): In the anonymous array
|
||||||
|
case, build the initialization procedure if the initial value in
|
||||||
|
the object declaration is a 2-pass aggregate.
|
||||||
|
|
||||||
|
2024-10-08 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||||
|
|
||||||
|
* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Fix
|
||||||
|
indentation.
|
||||||
|
|
||||||
|
2024-10-08 Ronan Desplanques <desplanques@adacore.com>
|
||||||
|
|
||||||
|
* aspects.ads: Add entities for External_Initialization.
|
||||||
|
* checks.adb (Selected_Length_Checks): Add support for
|
||||||
|
N_External_Initializer nodes.
|
||||||
|
* doc/gnat_rm/gnat_language_extensions.rst: Add section for the added
|
||||||
|
extension.
|
||||||
|
* exp_util.adb (Insert_Actions): Add support for N_External_Initializer
|
||||||
|
nodes.
|
||||||
|
* fe.h (C_Source_Buffer): New function.
|
||||||
|
* gen_il-fields.ads: Add new field.
|
||||||
|
* gen_il-gen-gen_nodes.adb: Add N_External_Initializer node kind.
|
||||||
|
* gen_il-gen.adb: Add new field type.
|
||||||
|
* gen_il-types.ads: Add new node kind and new field type.
|
||||||
|
* pprint.adb (Expr_Name): Handle new node kind.
|
||||||
|
* sem.adb (Analyze): Add support for N_External_Initializer nodes.
|
||||||
|
* sem_ch13.adb (Analyze_Aspect_Specifications, Check_Aspect_At_Freeze_Point):
|
||||||
|
Add support for External_Initialization aspect.
|
||||||
|
* sem_ch3.adb (Apply_External_Initialization): New subprogram.
|
||||||
|
(Analyze_Object_Declaration): Add support for External_Initialization aspect.
|
||||||
|
* sem_res.adb (Resolve_External_Initializer): New procedure.
|
||||||
|
(Resolve): Add support for N_External_Initializer nodes.
|
||||||
|
(Set_String_Literal_Subtype): Extend to handle N_External_Initializer nodes.
|
||||||
|
* sinfo-utils.adb (Is_In_Union_Id): Adapt to new field addition.
|
||||||
|
* sinfo.ads: Add documentation for new node kind and new field.
|
||||||
|
* sinput.adb, sinput.ads (C_Source_Buffer): Add new C interface function.
|
||||||
|
* snames.ads-tmpl: Add new aspect identifier.
|
||||||
|
* sprint.adb (Sprint_Node_Actual): Add nop handling of N_External_Initializer
|
||||||
|
nodes.
|
||||||
|
* types.ads: Modify type to allow for new C interface.
|
||||||
|
* gcc-interface/trans.cc (gnat_to_gnu): Handle new GNAT node type.
|
||||||
|
* gcc-interface/Make-lang.in: Update list of stage1 run-time library units.
|
||||||
|
* gnat-style.texi: Regenerate.
|
||||||
|
* gnat_rm.texi: Regenerate.
|
||||||
|
* gnat_ugn.texi: Regenerate.
|
||||||
|
|
||||||
|
2024-10-08 Olivier Hainque <hainque@adacore.com>
|
||||||
|
|
||||||
|
* Makefile.rtl (arm/aarch64-android): Associate a-nallfl.ads with
|
||||||
|
libgnat/a-nallfl__wraplf.ads.
|
||||||
|
|
||||||
|
2024-10-08 Olivier Hainque <hainque@adacore.com>
|
||||||
|
|
||||||
|
* libgnarl/s-linux__android-arm.ads: Define SIGSYS.
|
||||||
|
* libgnarl/s-linux__android-aarch64.ads: Define SIGSYS.
|
||||||
|
* libgnarl/s-osinte__android.ads: Expose SIGSYS value.
|
||||||
|
|
||||||
|
2024-10-08 Olivier Hainque <hainque@adacore.com>
|
||||||
|
|
||||||
|
* libgnarl/s-linux__android-arm.ads: New file, renaming of ...
|
||||||
|
* libgnarl/s-linux__android.ads: ... this file.
|
||||||
|
* libgnarl/s-linux__android-aarch64.ads: New file. Based on the
|
||||||
|
-arm variant, with sa_ field positions adjusted.
|
||||||
|
* Makefile.rtl (arm/aarch64-android pairs): Adjust accordingly.
|
||||||
|
* libgnarl/s-osinte__android.ads: Rather than making assumptions
|
||||||
|
on the actual type of the C sigset_t, use
|
||||||
|
Os_Constants.SIZEOF_sigset_t to define an Ada sigset_t type of the
|
||||||
|
proper size. Use C.int instead of unsigned_long for sa_flags.
|
||||||
|
|
||||||
|
2024-10-08 Olivier Hainque <hainque@adacore.com>
|
||||||
|
|
||||||
|
* init.c (__gnat_error_handler): Map signals straight to Ada
|
||||||
|
exceptions, without a local CFI trampoline.
|
||||||
|
(__gnat_adjust_context_for_raise): Guard arm specific code on __arm__
|
||||||
|
compilation. Do nothing otherwise, relying on libgcc's signal
|
||||||
|
frame recognition for PC/RA adjustments.
|
||||||
|
|
||||||
|
2024-10-08 Olivier Hainque <hainque@adacore.com>
|
||||||
|
|
||||||
|
* Makefile.rtl: Extend arm-android section to aarch64, in a similar
|
||||||
|
fashion as other arm/arch64 configurations. Introduce pair
|
||||||
|
selection guards to prevent match of aarch64-linux-android on the
|
||||||
|
regular aarch64-linux% cross as well.
|
||||||
|
|
||||||
|
2024-10-08 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||||
|
|
||||||
|
* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Turn
|
||||||
|
Compile_Time pragmas into null nodes
|
||||||
|
|
||||||
2024-10-05 Eric Botcazou <ebotcazou@adacore.com>
|
2024-10-05 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
PR middle-end/116933
|
PR middle-end/116933
|
||||||
|
|||||||
@ -1,3 +1,13 @@
|
|||||||
|
2024-10-08 Andre Vehreschild <vehre@gcc.gnu.org>
|
||||||
|
|
||||||
|
PR fortran/51815
|
||||||
|
* array.cc (gfc_match_array_ref): Only parse coarray part of
|
||||||
|
ref.
|
||||||
|
* match.h (gfc_match_array_ref): Add flag.
|
||||||
|
* primary.cc (gfc_match_varspec): Request only coarray ref
|
||||||
|
parsing when no regular array is present. Report error on
|
||||||
|
unexpected additional ref.
|
||||||
|
|
||||||
2024-10-07 Thomas Koenig <tkoenig@gcc.gnu.org>
|
2024-10-07 Thomas Koenig <tkoenig@gcc.gnu.org>
|
||||||
|
|
||||||
* check.cc (gfc_check_minloc_maxloc): Handle BT_UNSIGNED.
|
* check.cc (gfc_check_minloc_maxloc): Handle BT_UNSIGNED.
|
||||||
|
|||||||
@ -1,3 +1,116 @@
|
|||||||
|
2024-10-09 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
* gcc.dg/tree-ssa/pr116024-2.c: New test.
|
||||||
|
* gcc.dg/tree-ssa/pr116024-2-fwrapv.c: Ditto.
|
||||||
|
* gcc.target/aarch64/gtu_to_ltu_cmp_1.c: Adjust.
|
||||||
|
|
||||||
|
2024-10-09 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
* gcc.dg/tree-ssa/pr116024-1-fwrapv.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
* gcc.dg/tree-ssa/pr116024-1.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Artemiy Volkov <Artemiy.Volkov@synopsys.com>
|
||||||
|
|
||||||
|
* gcc.dg/tree-ssa/pr116024.c: New test.
|
||||||
|
* gcc.dg/pr67089-6.c: Adjust.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/116190
|
||||||
|
* gnat.dg/aggr31.adb: New test.
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/115535
|
||||||
|
* gnat.dg/put_image1.adb: New test
|
||||||
|
|
||||||
|
2024-10-08 Eric Botcazou <ebotcazou@adacore.com>
|
||||||
|
|
||||||
|
PR ada/114636
|
||||||
|
* gnat.dg/specs/generic_inst1.ads: New test.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* gcc.target/riscv/sat_arith.h: Add test helper macros.
|
||||||
|
* gcc.target/riscv/sat_arith_data.h: Add test data for SAT_TRUNC.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-1-i16-to-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-1-i32-to-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-1-i32-to-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-1-i64-to-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-1-i64-to-i32.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-1-i64-to-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-run-1-i16-to-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-run-1-i32-to-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-run-1-i32-to-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-run-1-i64-to-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-run-1-i64-to-i32.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_trunc-run-1-i64-to-i8.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Soumya AR <soumyaa@nvidia.com>
|
||||||
|
|
||||||
|
PR target/109498
|
||||||
|
* gcc.target/aarch64/sve/ctz.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Co-authored-by: Jeff Law <jlaw@ventanamicro.com>
|
||||||
|
|
||||||
|
PR target/116615
|
||||||
|
* gcc.target/riscv/cset-sext-sfb.c: Skip for -Os.
|
||||||
|
|
||||||
|
2024-10-08 Andre Vehreschild <vehre@gcc.gnu.org>
|
||||||
|
|
||||||
|
* gfortran.dg/pr102532.f90: Fix dg-errors: Add new error.
|
||||||
|
* gfortran.dg/coarray/substring_1.f90: New test.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* gcc.target/riscv/sat_arith.h: Add test helper macros.
|
||||||
|
* gcc.target/riscv/sat_s_sub-4-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-4-i32.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-4-i64.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-4-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-4-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-4-i32.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-4-i64.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-4-i8.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Pan Li <pan2.li@intel.com>
|
||||||
|
|
||||||
|
* gcc.target/riscv/sat_arith.h: Add test helper macros.
|
||||||
|
* gcc.target/riscv/sat_s_sub-3-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-3-i32.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-3-i64.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-3-i8.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-3-i16.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-3-i32.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-3-i64.c: New test.
|
||||||
|
* gcc.target/riscv/sat_s_sub-run-3-i8.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
|
PR middle-end/116896
|
||||||
|
* gcc.target/i386/pr116896.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
|
* c-c++-common/cpp/named-universal-char-escape-1.c: Add tests
|
||||||
|
for some Unicode 16.0 characters, both normal and generated.
|
||||||
|
|
||||||
|
2024-10-08 Andreas Schwab <schwab@suse.de>
|
||||||
|
|
||||||
|
* gfortran.dg/pr95690.f90: Allow matching error message anywhere.
|
||||||
|
|
||||||
|
2024-10-08 Xi Ruoyao <xry111@xry111.site>
|
||||||
|
|
||||||
|
* gcc.target/loongarch/jump-table-annotate.c: New test.
|
||||||
|
|
||||||
|
2024-10-08 Xiao Zeng <zengxiao@eswincomputing.com>
|
||||||
|
|
||||||
|
* gcc.target/riscv/predef-38.c: New test.
|
||||||
|
* gcc.target/riscv/predef-39.c: New test.
|
||||||
|
|
||||||
2024-10-07 Tobias Burnus <tburnus@baylibre.com>
|
2024-10-07 Tobias Burnus <tburnus@baylibre.com>
|
||||||
|
|
||||||
* gfortran.dg/gomp/allocate-static.f90: Move to libgomp/testsuite/.
|
* gfortran.dg/gomp/allocate-static.f90: Move to libgomp/testsuite/.
|
||||||
|
|||||||
@ -1,3 +1,14 @@
|
|||||||
|
2024-10-08 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
|
* makeucnid.cc (write_copyright): Update Unicode Copyright years.
|
||||||
|
* makeuname2c.cc (generated_ranges): Adjust Unicode version from 15.1
|
||||||
|
to 16.0. Add EGYPTIAN HIEROGLYPH- generated range, adjust indexes in
|
||||||
|
following entries.
|
||||||
|
(write_copyright): Update Unicode Copyright years.
|
||||||
|
* generated_cpp_wcwidth.h: Regenerated.
|
||||||
|
* ucnid.h: Regenerated.
|
||||||
|
* uname2c.h: Regenerated.
|
||||||
|
|
||||||
2024-10-07 Jakub Jelinek <jakub@redhat.com>
|
2024-10-07 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
* internal.h (_cpp_trigraph_map_s): New type for C++14 or later.
|
* internal.h (_cpp_trigraph_map_s): New type for C++14 or later.
|
||||||
|
|||||||
@ -1,3 +1,14 @@
|
|||||||
|
2024-10-08 Jakub Jelinek <jakub@redhat.com>
|
||||||
|
|
||||||
|
* include/bits/unicode.h (std::__unicode::__v15_1_0): Rename inline
|
||||||
|
namespace to ...
|
||||||
|
(std::__unicode::__v16_0_0): ... this.
|
||||||
|
(_GLIBCXX_GET_UNICODE_DATA): Change from 150100 to 160000.
|
||||||
|
* include/bits/unicode-data.h: Regenerated.
|
||||||
|
* testsuite/ext/unicode/properties.cc: Check for _Gcb_SpacingMark
|
||||||
|
on U+11F03 rather than U+1D16D as the latter lost SpacingMark property
|
||||||
|
in Unicode 16.0.
|
||||||
|
|
||||||
2024-10-05 Giuseppe D'Angelo <giuseppe.dangelo@kdab.com>
|
2024-10-05 Giuseppe D'Angelo <giuseppe.dangelo@kdab.com>
|
||||||
|
|
||||||
* include/bits/version.def: Added the feature-testing macro.
|
* include/bits/version.def: Added the feature-testing macro.
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user