+2023-05-22 Ronan Desplanques <desplanques@adacore.com>
+
+ * cstand.adb: Use more idiomatic procedure.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * errout.adb (First_Loc): Avoid repeated calls.
+ (Last_Loc): Likewise.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * inline.adb (Cleanup_Scopes): Do not propagate the Uses_Sec_Stack
+ flag from original to rewritten protected subprograms here...
+ * exp_ch9.adb (Expand_N_Protected_Body) <N_Subprogram_Body>:
+ ...but here instead. Add local variables and remove a useless
+ test.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Expand_N_Package_Body): Call Defining_Entity to get
+ the entity of the body.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_attr.adb (Expand_Loop_Entry_Attribute): Use location of the
+ attribute reference, not of the loop statement.
+
+2023-05-22 Ronan Desplanques <desplanques@adacore.com>
+
+ * par-ch3.adb: Add missing word in comment.
+
+2023-05-22 Justin Squirek <squirek@adacore.com>
+
+ * checks.adb (Install_Null_Excluding_Check): Avoid non-null
+ optimizations when assertions are enabled.
+
+2023-05-22 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_aggr.adb (Process_Transient_Component): Reset Analyzed flag
+ for the copy of the initialization expression.
+ * sem_attr.adb (Validate_Non_Static_Attribute_Function_Call): Skip
+ error emission during Pre_Analyze.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Process_Package_Body): New procedure taken from...
+ (Build_Finalizer.Process_Declarations): ...here. Call the above
+ procedure to deal with both package bodies and package body stubs.
+
+2023-05-22 Ronan Desplanques <desplanques@adacore.com>
+
+ * atree.ads: Remove outdated part of comment.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Build_Finalizer): Reverse the test comparing the
+ instantiation and declaration nodes of a package instance, and
+ therefore bail out only when they are equal. Adjust comments.
+ (Expand_N_Package_Declaration): Do not clear the Finalizer field.
+ * lib-writ.adb: Add with and use clauses for Sem_Util.
+ (Write_Unit_Information): Look at unit nodes to find finalizers.
+ * sem_ch12.adb (Analyze_Package_Instantiation): Beef up the comment
+ about the rewriting of the instantiation node into a declaration.
+
+2023-05-22 Bob Duff <duff@adacore.com>
+
+ * cstand.adb (Is_Past_Self_Hiding_Point): Rename to be
+ Is_Not_Self_Hidden.
+ * einfo.ads: Likewise.
+ * exp_aggr.adb: Likewise.
+ * gen_il-fields.ads: Likewise.
+ * gen_il-gen-gen_entities.adb: Likewise.
+ * sem.adb: Likewise.
+ * sem_aggr.adb: Likewise.
+ * sem_ch11.adb: Likewise.
+ * sem_ch12.adb: Likewise.
+ * sem_ch5.adb: Likewise.
+ * sem_ch6.adb: Likewise.
+ * sem_ch7.adb: Likewise.
+ * sem_prag.adb: Likewise.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch3.adb (Make_Controlling_Function_Wrappers): Create the body
+ as the expanded body of an expression function.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * pprint.adb (Expression_Image): Handle several previously unsupported
+ constructs.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_res.adb (Resolve_Entity_Name): Combine two IF statements that
+ execute code only for references that come from source.
+
+2023-05-22 Bob Duff <duff@adacore.com>
+
+ * einfo.ads (Is_Past_Self_Hiding_Point): Document.
+ * gen_il-fields.ads (Is_Past_Self_Hiding_Point): Add to list of
+ fields.
+ * gen_il-gen-gen_entities.adb (Is_Past_Self_Hiding_Point): Declare
+ in all entities.
+ * exp_aggr.adb: Set Is_Past_Self_Hiding_Point as appropriate.
+ * sem.adb: Likewise.
+ * sem_aggr.adb: Likewise.
+ * sem_ch11.adb: Likewise.
+ * sem_ch12.adb: Likewise.
+ * sem_ch5.adb: Likewise.
+ * sem_ch7.adb: Likewise.
+ * sem_prag.adb: Likewise.
+ * sem_ch6.adb: Likewise.
+ (Set_Formal_Mode): Minor cleanup: Move from spec.
+ * sem_ch6.ads:
+ (Set_Formal_Mode): Minor cleanup: Move to body.
+ * cstand.adb: Call Set_Is_Past_Self_Hiding_Point on all entities
+ as soon as they are created.
+ * comperr.adb (Compiler_Abort): Minor cleanup -- use 'in' instead
+ of 'or else'.
+ * debug.adb: Minor comment cleanups.
+
+2023-05-22 Steve Baird <baird@adacore.com>
+
+ * sem_ch4.adb (Analyze_Expression_With_Actions.Check_Action_Ok):
+ Accept an executable pragma occuring in a declare expression as
+ per AI22-0045. This means Assert and Inspection_Point pragmas as
+ well as any implementation-defined pragmas that the implementation
+ chooses to categorize as executable. Currently Assume and Debug
+ are the only such pragmas.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb
+ (Check_Postcondition_Use_In_Inlined_Subprogram): Mention
+ Subprogram_Variant in the comment.
+ (Analyze_Subprogram_Variant_In_Decl_Part): Warn when contract is
+ ignored because of pragma Inline_Always and frontend inlining.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram): Only
+ emit warning when frontend inlining is enabled.
+
+2023-05-22 Arnaud Charlet <charlet@adacore.com>
+
+ * par-ch3.adb, sem_ch4.adb (P_Discrete_Range, Analyze_Logical_Op,
+ Analyze_Short_Circuit): Add calls to Check_Xtra_Parentheses.
+ * par-ch5.adb (P_Condition): Move logic to Check_Xtra_Parentheses.
+ * style.ads, styleg.adb, styleg.ads (Check_Xtra_Parens): Move logic
+ related to expressions requiring parentheses here.
+
+2023-05-22 Arnaud Charlet <charlet@adacore.com>
+
+ * ali-util.adb, par-endh.adb, par-prag.adb, par-ch2.adb,
+ checks.adb, fmap.adb, libgnat/a-nbnbig.ads, libgnat/g-dynhta.adb,
+ libgnat/s-carun8.adb, libgnat/s-strcom.adb, libgnat/a-dhfina.adb,
+ libgnat/a-direct.adb, libgnat/a-rbtgbo.adb, libgnat/a-strsea.adb,
+ libgnat/a-ststio.adb, libgnat/a-suenco.adb, libgnat/a-costso.adb,
+ libgnat/a-strmap.adb, libgnat/g-alleve.adb,
+ libgnat/g-debpoo.adb, libgnat/g-sercom__linux.adb,
+ libgnat/s-genbig.adb, libgnat/s-mmap.adb, libgnat/s-regpat.adb,
+ par-ch5.adb, sem_case.adb, sem_ch12.adb, sem_ch13.adb,
+ sem_ch8.adb, sem_eval.adb, sem_prag.adb, sem_type.adb,
+ exp_ch11.adb, exp_ch2.adb, exp_ch3.adb, exp_ch4.adb, exp_ch5.adb,
+ exp_ch6.adb, exp_ch9.adb, exp_put_image.adb, freeze.adb, live.adb,
+ sem_aggr.adb, sem_cat.adb, sem_ch10.adb, sem_ch3.adb, sem_ch6.adb,
+ sem_ch9.adb, sem_disp.adb, sem_elab.adb, sem_res.adb,
+ sem_util.adb, sinput.adb, uintp.adb, bcheck.adb, binde.adb,
+ binderr.adb, einfo-utils.adb, clean.adb, sem_ch4.adb, gnatls.adb,
+ gprep.adb, sem_ch11.adb: Remove extra parentheses.
+
+2023-05-22 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_aggr.adb (Get_Value): Use ?? instead of ?.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_aggr.adb (Aggregate_Size): Remove redundant calls to
+ Present.
+ * exp_ch5.adb (Expand_N_If_Statement): Likewise.
+ * sem_prag.adb (Analyze_Pragma): Likewise.
+ * sem_warn.adb (Find_Var): Likewise.
+
+2023-05-22 Claire Dross <dross@adacore.com>
+
+ * sem_util.adb (Find_Actual): On calls through dereferences,
+ return the corresponding formal in the designated subprogram
+ profile.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.ads (Is_Actual_Tagged_Parameter): Remove spec.
+ * sem_util.adb (Is_Actual_Tagged_Parameter): Remove body.
+
+2023-05-22 Joffrey Huguet <huguet@adacore.com>
+
+ * libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads
+ (To_Unbounded_String): Add postcondition. Add aspect SPARK_Mode
+ Off on the version that takes a Natural as parameter.
+ (To_String): Complete postcondition.
+ (Set_Unbounded_String): Add postcondition.
+ (Element): Likewise.
+ ("="): Likewise.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch3.adb (Freeze_Type): Do not associate the Finalize_Address
+ routine for a class-wide type if restriction No_Dispatching_Calls
+ is in effect.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-genbig.ads (From_Bignum): New overloaded declarations.
+ * libgnat/s-genbig.adb (LLLI): New subtype.
+ (LLLI_Is_128): New boolean constant.
+ (From_Bignum): Change the return type of the signed implementation
+ to Long_Long_Long_Integer and add support for the case where its
+ size is 128 bits. Add a wrapper around it for Long_Long_Integer.
+ Add an unsigned implementation returning Unsigned_128 and a wrapper
+ around it for Unsigned_64.
+ (To_Bignum): Test LLLI_Is_128 instead of its size.
+ (To_String.Image): Add qualification to calls to From_Bignum.
+ * libgnat/a-nbnbin.adb (To_Big_Integer): Likewise.
+ (Signed_Conversions.From_Big_Integer): Likewise.
+ (Unsigned_Conversions): Likewise.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * freeze.adb (Wrap_Imported_Subprogram): Use Copy_Subprogram_Spec
+ to copy the spec from the subprogram to the generated subprogram
+ body.
+ (Freeze_Entity): Do not wrap imported subprograms inside generics.
+
+2023-05-22 Steve Baird <baird@adacore.com>
+
+ * sem_ch4.adb (Analyze_Expression_With_Actions.Check_Action_Ok):
+ If Comes_From_Source (A) is False, then look at Original_Node (A)
+ instead of A. In particular, if an (illegal) expression function
+ is transformed into a "vanilla" function, we don't want to allow
+ it just because Comes_From_Source is now False.
+
+2023-05-22 Steve Baird <baird@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): In Check_No_Return, call
+ Error_Msg_Ada_2022_Feature in the case of a function. Remove code
+ outside of Check_No_Return that was querying Ada_Version.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Expression_With_Actions.Process_Action): Do
+ not look into nested blocks.
+
+2023-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Find_Type_Of_Object): In a spec expression, also set
+ the Scope of the type, and call Constrain_Array for array subtypes.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * pprint.adb (Expression_Image): Reduce scope of local variables; inline
+ local uncommented constant From_Source; concatenate string with a single
+ character, as it is likely to execute faster; add missing cases to
+ traversal for the rightmost node and assertion to demonstrate that the
+ ??? comment is no longer relevant.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * pprint.adb (Expr_Name): Qualify CASE expression with N_Subexpr; add
+ missing alternative for N_Raise_Storage_Error; remove dead alternatives;
+ explicitly list unsupported alternatives.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * pprint.adb (Expr_Name): Exclude DEL from printable range.
+
+2023-05-22 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.ads (New_Copy_Tree): Update comment.
+ * sem_util.adb (New_Copy_Tree): Update Controlling_Argument, very
+ much like we update the First/Next_Named_Association.
+
+2023-05-22 Bob Duff <duff@adacore.com>
+
+ * fe.h: Remove Ada_With_Extensions and add commentary.
+ * opt.ads: Rearrange code and add commentary.
+
+2023-05-22 Bob Duff <duff@adacore.com>
+
+ * sem_util.adb (Process_Type): Stop the recursion.
+ * exp_aggr.adb (Build_Record_Aggr_Code): Add assertion.
+
2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
* gcc-interface/decl.cc (gnat_to_gnu_entity): Use _P defines
+2023-05-22 Uros Bizjak <ubizjak@gmail.com>
+
+ * gcc.target/i386/sse2-shiftqihi-constant-1.c: Remove XFAILs.
+
+2023-05-22 Georg-Johann Lay <avr@gjlay.de>
+
+ PR testsuite/52641
+ * gcc.c-torture/compile/pr108892.c: Require int32.
+ * gcc.c-torture/compile/pr98199.c: Require int32plus.
+ * gcc.dg/analyzer/call-summaries-pr107072.c: Same.
+ * gcc.dg/analyzer/null-deref-pr105755.c: Same.
+ * gcc.dg/tree-ssa/pr102232.c: Same.
+ * gcc.dg/tree-ssa/pr105860.c: Same.
+ * gcc.dg/tree-ssa/pr96730.c: Same.
+ * gcc.dg/tree-ssa/pr96779-disabled.c: Same.
+ * gcc.dg/tree-ssa/pr96779.c: Same.
+ * gcc.dg/tree-ssa/pr98513.c: Same.
+ * gcc.dg/tree-ssa/ssa-sink-18.c
+ * gcc.dg/analyzer/coreutils-cksum-pr108664.c: Require int32plus,
+ size24plus.
+ * gcc.dg/analyzer/doom-s_sound-pr108867.c: Require size32plus.
+ * gcc.dg/analyzer/malloc-CWE-590-examples.c: Same.
+ * gcc.dg/debug/btf/btf-bitfields-4.c: Same.
+ * gcc.dg/tree-ssa/pr93435.c: Same.
+ * gcc.dg/analyzer/null-deref-pr102671-1.c: Require ptr_eq_long:
+ * gcc.dg/analyzer/null-deref-pr102671-2.c: Same.
+ * gcc.dg/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early-O2.c:
+ Same.
+ * gcc.dg/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c:
+ Same.
+ * gcc.dg/tree-ssa/pr103345.c: Use uint32_t.
+ * gcc.dg/tree-ssa/ssa-ccp-41.c [sizeof(int)==2]: Same.
+ * gcc.dg/tree-ssa/pr109031-1.c: Use uint16_t, uint32_t.
+ * gcc.dg/tree-ssa/pr109031-2.c: Same.
+ * gcc.dg/Warray-bounds-49.c (dg-warning): Discriminate int != short.
+ * gcc.dg/Warray-bounds-52.c (dg-warning): Discriminate avr.
+ * gcc.dg/Warray-bounds-33.c: Skip target avr.
+ * gcc.dg/analyzer/fd-access-mode-target-headers.c: Same.
+ * gcc.dg/analyzer/flex-with-call-summaries.c: Same.
+ * gcc.dg/analyzer/isatty-1.c: Same.
+ * gcc.dg/analyzer/pipe-glibc.c: Same.
+
+2023-05-22 Georg-Johann Lay <avr@gjlay.de>
+
+ PR testsuite/52641
+ * c-c++-common/pr19807-2.c: Use __SIZEOF_INT__ instead of 4.
+ * gcc.c-torture/compile/pr103813.c: Require size32plus.
+ * gcc.c-torture/execute/pr108498-2.c: Same.
+ * gcc.c-torture/compile/pr96426.c: Condition on
+ __SIZEOF_LONG_LONG__ == __SIZEOF_DOUBLE__.
+ * gcc.c-torture/execute/pr103417.c: Require int32plus.
+ * gcc.dg/pr104198.c: Same.
+ * gcc.dg/pr21137.c: Same.
+ * gcc.dg/pr88905.c: Same.
+ * gcc.dg/pr90838.c: Same.
+ * gcc.dg/pr97317.c: Same.
+ * gcc.dg/pr100292.c: Require int32.
+ * gcc.dg/pr101008.c: Same.
+ * gcc.dg/pr96542.c: Same.
+ * gcc.dg/pr96674.c: Same.
+ * gcc.dg/pr97750.c: Require ptr_eq_long.
+
+2023-05-22 Georg-Johann Lay <avr@gjlay.de>
+
+ * lib/target-supports.exp (check_effective_target_lra) [avr]: Return 0.
+ * gcc.dg/pr19402-2.c: Skip for avr.
+ * gcc.dg/pr86124.c: Same.
+ * gcc.dg/pr94291.c: Same.
+ * gcc.dg/torture/builtin-complex-1.c: Same.
+ * gcc.dg/torture/fp-int-convert-float32x-timode.c: Same.
+ * gcc.dg/torture/fp-int-convert-float32x.c: Same.
+ * gcc.dg/torture/fp-int-convert-float64-timode.c: Same.
+ * gcc.dg/torture/fp-int-convert-float64.c: Same.
+ * gcc.dg/torture/fp-int-convert-long-double.c: Same.
+ * gcc.dg/torture/fp-int-convert-timode.c: Same.
+ * c-c++-common/torture/builtin-convertvector-1.c: Same.
+ * c-c++-common/torture/complex-sign-add.c: Same.
+ * c-c++-common/torture/complex-sign-mixed-add.c: Same.
+ * c-c++-common/torture/complex-sign-mixed-div.c: Same.
+ * c-c++-common/torture/complex-sign-mixed-mul.c: Same.
+ * c-c++-common/torture/complex-sign-mixed-sub.c: Same.
+ * c-c++-common/torture/complex-sign-mul-minus-one.c: Same.
+ * c-c++-common/torture/complex-sign-mul-one.c: Same.
+ * c-c++-common/torture/complex-sign-mul.c: Same.
+ * c-c++-common/torture/complex-sign-sub.c: Same.
+
+2023-05-22 Juzhe-Zhong <juzhe.zhong@rivai.ai>
+
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-2.h: Fix
+ typo
+
+2023-05-22 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
+
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-1.c: New
+ test.
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-1.h: New
+ test.
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-2.c: New
+ test.
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-2.h: New
+ test.
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup_run-1.c:
+ New test.
+ * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup_run-2.c:
+ New test.
+
2023-05-21 Roger Sayle <roger@nextmovesoftware.com>
* gcc.target/nvptx/brev-1.c: New 32-bit test case.
git://gcc.gnu.org / gcc.git / commitdiff