From: Steve Baird
There was an earlier bug in determining the accumulator subtype for a
reduction expression in the case where the reducer subprogram is overloaded.
The fix for that bug introduced a recently-discovered
regression. Redo accumulator subtype computation in order to address
this
https://gcc.gnu.org/g:a9714dce8245f87c937a8fdef52db15ca6571525
commit r15-461-ga9714dce8245f87c937a8fdef52db15ca6571525
Author: Gary Dismukes
Date: Mon Feb 12 20:18:36 2024 +
ada: Compiler crash or errors on if_expression in container aggregate
The compiler may either crash
https://gcc.gnu.org/g:3f079f2244f088e5563d77da1430f804c38863b5
commit r15-453-g3f079f2244f088e5563d77da1430f804c38863b5
Author: Javier Miranda
Date: Sun Feb 11 16:22:28 2024 +
ada: Missing support for consistent assertion policy
Add missing support for RM 10.2/5: the region
From: Javier Miranda
Add missing support for RM 10.2/5: the region for a pragma
Assertion_Policy given as a configuration pragma is the
declarative region for the entire compilation unit (or units)
to which it applies.
gcc/ada/
* sem_ch10.adb (Install_Inherited_Policy_Pragmas): New
From: Eric Botcazou
The call to Build_Allocate_Deallocate_Proc must occur before the special
accessibility check for class-wide allocation is generated, because this
check comes with cleanup code.
gcc/ada/
* exp_ch4.adb (Expand_Allocator_Expression): Move the first call to
From: Yannick Moy
The Ghost assertion policy relevant for analyzing a generic instantiation
is the Ghost policy at the point of instantiation, not the one applicable
for the generic itself.
gcc/ada/
* ghost.adb (Mark_And_Set_Ghost_Instantiation): Fix the current
Ghost policy
From: Justin Squirek
This patch fixes an error in the compiler whereby a selected component on the
left hand side of an assignment statement may not get marked as referenced -
leading to spurious unreferenced warnings on such objects.
gcc/ada/
* sem_util.adb (Set_Referenced_Modified):
https://gcc.gnu.org/g:0b7673ae72286ba1a8939320580f6e9002980e73
commit r15-458-g0b7673ae72286ba1a8939320580f6e9002980e73
Author: Steve Baird
Date: Thu Dec 21 13:58:51 2023 -0800
ada: Reduce generated code duplication for streaming and Put_Image
subprograms
In the case of an
From: Eric Botcazou
The profile of the procedure built for an allocation on the secondary stack
now includes the alignment parameter, so the parameter can just be forwarded
in the call to Allocate_Any_Controlled.
gcc/ada/
* exp_util.adb (Build_Allocate_Deallocate_Proc): Pass the
https://gcc.gnu.org/g:416e572edb0cbc84081de5a1932be7a2138a529a
commit r15-456-g416e572edb0cbc84081de5a1932be7a2138a529a
Author: Justin Squirek
Date: Mon Feb 12 15:50:24 2024 +
ada: Spurious unreferenced warning on selected component
This patch fixes an error in the compiler
From: Philippe Gil
The parameters should be swapped to fit Fileapi.h documentation.
BOOL LocalFileTimeToFileTime(
[in] const FILETIME *lpLocalFileTime,
[out] LPFILETIME lpFileTime
);
gcc/ada/
* libgnat/s-win32.ads (LocalFileTimeToFileTime): Swap parameters.
Tested
From: Yannick Moy
Update checking of ghost code after a small change in SPARK RM
rules 6.9(15) and 6.9(20), so that the Ghost assertion policy
that matters when checking the validity of a reference to a ghost entity
in an assertion expression is the Ghost assertion policy at the point
of
From: Eric Botcazou
As written down in a comment, "There is a *huge* amount of code duplication"
in the implementation of default initializaion for objects in the front-end,
between the (static) declaration case and the dynamic allocation case.
This change factors out the implementation of the
https://gcc.gnu.org/g:a252022d9a1f285e471d8b3b37fe645244919ab5
commit r15-474-ga252022d9a1f285e471d8b3b37fe645244919ab5
Author: Eric Botcazou
Date: Fri Feb 16 10:30:17 2024 +0100
ada: Fix small inaccuracy in previous change
The call to Build_Allocate_Deallocate_Proc must occur
https://gcc.gnu.org/g:59c4d2e5a7169d5afa49facd0329bc2f9fe91b1a
commit r15-452-g59c4d2e5a7169d5afa49facd0329bc2f9fe91b1a
Author: Eric Botcazou
Date: Sat Feb 10 00:03:42 2024 +0100
ada: Fix double finalization for dependent expression of case expression
The recent fix to
https://gcc.gnu.org/g:151d1533f2b5d1742ab08f99fcc67affae9587f5
commit r15-472-g151d1533f2b5d1742ab08f99fcc67affae9587f5
Author: Eric Botcazou
Date: Thu Feb 15 16:02:51 2024 +0100
ada: Decouple attachment from dynamic allocation for controlled objects
This decouples the attachment
https://gcc.gnu.org/g:ad510c7c8b72cfe43ec0c0c94d650cdff91cc6a6
commit r15-467-gad510c7c8b72cfe43ec0c0c94d650cdff91cc6a6
Author: Ronan Desplanques
Date: Wed Feb 14 10:34:32 2024 +0100
ada: Fix warning indicators in usage string
Before this patch, the default status of -gnatw.i and
https://gcc.gnu.org/g:34aba1547d277eb8c7fa5db7f58e35b1726693df
commit r15-464-g34aba1547d277eb8c7fa5db7f58e35b1726693df
Author: Ronan Desplanques
Date: Tue Feb 13 11:04:00 2024 +0100
ada: Fix crash with -gnatdJ and -gnatw.w
This patch fixes a crash when -gnatdJ is enabled and a
https://gcc.gnu.org/g:062626502fd5d56cd19c5e20c19f2d7cc2c03986
commit r15-463-g062626502fd5d56cd19c5e20c19f2d7cc2c03986
Author: Eric Botcazou
Date: Mon Feb 12 15:23:41 2024 +0100
ada: Restore default size for dynamic allocations of discriminated type
The allocation strategy for
https://gcc.gnu.org/g:fb48b0aa2faf88897fb0110026e80dfa1a59056f
commit r15-460-gfb48b0aa2faf88897fb0110026e80dfa1a59056f
Author: Steve Baird
Date: Mon Feb 12 13:39:45 2024 -0800
ada: Replace "not Present" tests with "No".
Fix constructs that were flagged by CodePeer.
From: Eric Botcazou
The recent fix to Default_Initialize_Object, which has ensured that the
No_Initialization flag set on an object declaration, for example for the
temporary created by Expand_N_Case_Expression, is honored in all cases,
has also uncovered a latent issue in the machinery
https://gcc.gnu.org/g:d9f3a1d612eacc35027bc5ca42b0ee29b554306a
commit r15-451-gd9f3a1d612eacc35027bc5ca42b0ee29b554306a
Author: Steve Baird
Date: Wed Feb 7 13:52:58 2024 -0800
ada: Error in determining accumulator subtype for a reduction expression
There was an earlier bug in
From: Eric Botcazou
Unlike what is assumed in other parts of the front-end, some objects created
with No_Initialization set on their declaration may end up being initialized
with a default value.
gcc/ada/
* exp_ch3.adb (Default_Initialize_Object): Return immediately when
either
https://gcc.gnu.org/g:cad2744cb385413d4762057a19f972fcb74233d6
commit r15-449-gcad2744cb385413d4762057a19f972fcb74233d6
Author: Eric Botcazou
Date: Tue Feb 6 19:31:09 2024 +0100
ada: Factor out implementation of default initialization for objects
As written down in a comment,
https://gcc.gnu.org/g:4dd6f75e35065f2f0732c4cfbaf412b50c51e26e
commit r15-447-g4dd6f75e35065f2f0732c4cfbaf412b50c51e26e
Author: Eric Botcazou
Date: Thu Feb 8 15:45:11 2024 +0100
ada: Small fix to printing of raise statements
The Name is optional on these nodes and a superflous
From: Ronan Desplanques
The crash this patch fixes happened because calling the Errout.Error_Msg
procedures that don't have an N parameter is not allowed when not
parsing and -gnatdJ is on. And -gnatyB style checks are not emitted during
parsing but during semantic analysis.
This commit moves
From: Eric Botcazou
The Name is optional on these nodes and a superflous space is printed if
it is not present on them.
gcc/ada/
* sprint.adb (Sprint_Node_Actual) : Be prepared
for an empty Name.
: Likewise.
Tested on x86_64-pc-linux-gnu, committed on master.
---
https://gcc.gnu.org/g:b2453909f68aa3e6810e4995bdcb0a555aab3902
commit r15-450-gb2453909f68aa3e6810e4995bdcb0a555aab3902
Author: Steve Baird
Date: Wed Feb 7 11:47:22 2024 -0800
ada: Rtsfind should not trash state used in analyzing instantiations.
During analysis of an
https://gcc.gnu.org/g:821772478bdc8cb52249aa561975e4ff6aa7792f
commit r15-448-g821772478bdc8cb52249aa561975e4ff6aa7792f
Author: Ronan Desplanques
Date: Fri Feb 2 18:08:57 2024 +0100
ada: Fix crash with -gnatyB and -gnatdJ
The crash this patch fixes happened because calling the
https://gcc.gnu.org/g:df48963b9553a51023c0d115bdf6205309e04bfe
commit r15-446-gdf48963b9553a51023c0d115bdf6205309e04bfe
Author: Yannick Moy
Date: Fri Feb 2 18:20:06 2024 +0100
ada: Update of SPARK RM legality rules on ghost code
Update checking of ghost code after a small change
https://gcc.gnu.org/g:20dfaae2d1ba4749db13792105a32c5d8ef422e3
commit r15-445-g20dfaae2d1ba4749db13792105a32c5d8ef422e3
Author: Yannick Moy
Date: Thu Feb 8 11:47:20 2024 +0100
ada: Fix ghost policy in use for generic instantiation
The Ghost assertion policy relevant for analyzing
https://gcc.gnu.org/g:324b37fa94b600d7b8d15108e2bdaf9f9ccc
commit r15-444-g324b37fa94b600d7b8d15108e2bdaf9f9ccc
Author: Eric Botcazou
Date: Sun Feb 4 11:16:18 2024 +0100
ada: Small fix to Default_Initialize_Object
Unlike what is assumed in other parts of the front-end,
Hi
On Tue, May 14, 2024 at 8:35 AM Peter Xu wrote:
>
> Hey, Marc-Andre,
>
> On Mon, May 13, 2024 at 11:19:04AM +0400, marcandre.lur...@redhat.com wrote:
> > diff --git a/hw/display/virtio-gpu.c b/hw/display/virtio-gpu.c
> > index ae831b6b3e..7f9fb5eacc 100644
> >
Le 13/05/2024 à 23:48, Richard Kimberly Heck a écrit :
Hi, all,
Tarballs for 2.4.0 are here:
http://ftp.lyx.org/pub/lyx/devel/lyx-2.4/
Please test. Please let me know if I forgot to do or include anything.
Hold off on binaries for now.
Thanks Riki, it works well in C++11 mode on
> > Is there a best practice for enabling 2fa with roundcube?
>
> There are probably other methods, but one that you could try is this
> plugin:
>
> https://github.com/alexandregz/twofactor_gauthenticator
>
> It enables 2fa using RFC 6238 6 digit codes as generated from google
> authenticator.
I see the same failure od fflas_ffpack on macOS 14.1.
- Marc
On Monday, May 13, 2024 at 5:53:22 AM UTC-5 david@gmail.com wrote:
> I’m unable to compile on macOS 12.7.4 on a fresh clone (and fresh shell).
>
> The compilation of fflas_ffpack-2.5.0 is failing. See attached log.
>
n the user base of millions who use
LibreOffice at the end of the video.
Marc
--
Marc Paré
m...@marcpare.com
https://www.parEntreprise.com
parEntreprise.com Supports OpenDocument Formats (ODF)
parEntreprise.com Supports http://www.LibreOffice.org
LibreOffice Office Suite - 200 million users and gro
Hi Fiona
On Mon, May 13, 2024 at 4:56 PM Fiona Ebner wrote:
>
> Hi,
>
> Am 13.05.24 um 09:19 schrieb marcandre.lur...@redhat.com:
> > From: Marc-André Lureau
> >
> > Hi,
> >
> > The aforementioned patch breaks virtio-gpu device migrations f
be bespoke, and/or you might get to become the
missing library author.
Marc
On Mon, 13 May 2024 at 12:12, Jared Leendertz
wrote:
> Understood, thanks for the explanation. Unfortunately, this makes protobuf
> not suitable. Any suggestions for open-source libraries that would help
>
to add my own Python libraries, bio, and interests to my
personal page on the wiki.
Thanks for considering my request.
Best,
Ali
___
pydotorg-www mailing list
pydotorg-www@python.org
https://mail.python.org/mailman/listinfo/pydotorg-www
--
Marc
From: Piotr Trojanek
Recognize references to attributes Put_Image and Object_Size as
language-defined in Ada 2022 and implementation-defined in earlier
versions of Ada. Other attributes listed in Ada 2022 RM, K.2 and
currently implemented in GNAT are correctly categorized.
This change only
From: Bob Duff
If a pragma Compile_Time_Warning triggers, and the pragma
is later removed because it is dead code, then the compiler
can return a bad exit code. This causes gprbuild to report
"*** compilation phase failed".
This is because Total_Errors_Detected, which is declared as Nat,
goes
From: Piotr Trojanek
Code cleanup; semantics is unaffected.
gcc/ada/
* sem_util.adb (Has_No_Output): Iteration with
First_Formal/Next_Formal involves Entity_Ids.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_util.adb | 2 +-
1 file changed, 1
From: Piotr Trojanek
The removed code is no longer needed (and causes assertion failures).
Most likely it should have been using the Split_PPC flag.
gcc/ada/
* sem_util.adb (Is_Potentially_Unevaluated): Remove code for
recovering the original structure of expressions with AND
From: Piotr Trojanek
Recent change for attribute Object_Size caused spurious errors when
restriction No_Implementation_Attributes is active and attribute
Object_Size is introduced by expansion of dispatching operations.
Temporarily revert that change for a further investigation.
gcc/ada/
From: Piotr Trojanek
Code cleanup following a fix for aspect Exclusive_Functions; semantics
is unaffected.
gcc/ada/
* exp_ch9.adb (Build_Protected_Subprogram_Body,
Build_Protected_Subprogram_Call_Cleanup): Reuse refactored
routine.
* sem_util.adb
From: Eric Botcazou
The former can easily be removed while the latter cannot.
gcc/ada/
* libgnat/s-imaged.ads (System.Image_D): Add Uns formal parameter.
* libgnat/s-imaged.adb: Add with clauses for System.Image_I,
System.Value_I_Spec and System.Value_U_Spec.
From: Piotr Trojanek
When iterating over Aspect_Specifications, we can use First/Next
directly even if the Aspect_Specifications returns a No_List or
the list has no items.
Code cleanup.
gcc/ada/
* aspects.adb (Copy_Aspects): Style fix.
* contracts.adb (Analyze_Contracts):
From: Piotr Trojanek
Flag Is_Expanded_Contract was introduced together with N_Contract field
(when implementing freezing of contracts), but was never actually used.
gcc/ada/
* gen_il-fields.ads (Opt_Field_Enum):
Remove Is_Expanded_Contract from the list of flags.
*
From: Eric Botcazou
This makes it possible to remove clauses from the Accessibility package.
gcc/ada/
* accessibility.adb: Remove clauses for Exp_Ch3.
* exp_ch3.ads (Init_Proc_Level_Formal): Move declaration to...
* exp_ch3.adb (Init_Proc_Level_Formal): Move body to...
From: Piotr Trojanek
We split expressions of pre/post aspects into individual conjuncts and
emit messages with their precise location when they fail at runtime.
This was done when processing the aspects and caused inefficiency when
the original expression had to be recovered to detects uses of
On 07/05/2024 19:03, Kalle Valo wrote:
> Thanks. Please check that my modifications in the pending branch are
> correct:
>
> https://git.kernel.org/pub/scm/linux/kernel/git/kvalo/ath.git/commit/?h=pending=3aec20a8e797b28d32e75291cc070d5913bf6dab
>
>
From: Piotr Trojanek
Extend implementation of RM 9.5.1(7/4), which now applies also to
protected function if the protected type has aspect Exclusive_Functions.
gcc/ada/
* exp_ch9.adb (Build_Protected_Subprogram_Call_Cleanup): If
aspect Exclusive_Functions is present then the
From: Piotr Trojanek
Remove flag Split_PPC and all its uses.
gcc/ada/
* contracts.adb (Append_Enabled_Item): Remove use of Split_PPC;
simplify.
* gen_il-fields.ads (Opt_Field_Enum): Remove flag definition.
* gen_il-gen-gen_nodes.adb (N_Aspect_Specification,
From: Piotr Trojanek
Fix crash on ACATS test B38003B introduced by a recent cleanup of
per-object constraints.
gcc/ada/
* sem_util.adb (Get_Index_Bounds): Guard against missing Entity,
which happens on illegal constrained type declaration.
Tested on x86_64-pc-linux-gnu,
https://gcc.gnu.org/g:51b84f23b551d12e237290d3fe6311ffbe7bdc0c
commit r15-423-g51b84f23b551d12e237290d3fe6311ffbe7bdc0c
Author: Piotr Trojanek
Date: Mon Feb 5 13:18:50 2024 +0100
ada: Remove code that expected pre/post being split into conjuncts
The removed code is no longer
From: Piotr Trojanek
Code cleanup.
gcc/ada/
* contracts.adb (Inherit_Subprogram_Contract): Fix style.
* sem_ch5.adb (Analyze_Iterator_Specification): Likewise.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/contracts.adb | 2 +-
gcc/ada/sem_ch5.adb | 2 +-
From: Eric Botcazou
The coupling came from the build-in-place protocol but is now unnecessary
because the storage pool reference is always passed along with the master
reference in this protocol. No functional changes.
gcc/ada/
* exp_ch3.adb (Build_Heap_Or_Pool_Allocator): Use the
From: Eric Botcazou
Now that what was previously called "finalization master" has been renamed
into "finalization collection" in the front-end, we can also rename what was
initially called "finalization scope master" into "finalization master".
These entities indeed drive the finalization of
https://gcc.gnu.org/g:5de075393402281c0fd9d0081a9d753c8793891e
commit r15-424-g5de075393402281c0fd9d0081a9d753c8793891e
Author: Eric Botcazou
Date: Mon Feb 5 16:26:04 2024 +0100
ada: Move Init_Proc_Level_Formal from Exp_Ch3 to Exp_Util
This makes it possible to remove clauses
https://gcc.gnu.org/g:a0041595dc66c739eb02ab426692500847788739
commit r15-422-ga0041595dc66c739eb02ab426692500847788739
Author: Piotr Trojanek
Date: Fri Feb 2 13:24:45 2024 +0100
ada: Revert recent change for Put_Image and Object_Size attributes
Recent change for attribute
From: Eric Botcazou
This change replaces finalization masters with finalization collections in
most cases, that is to say, when they implement a list of objects created
by allocators of a given access type; indeed the moniker is overloaded in
the front-end, e.g. Sem_Util.Is_Master determines if
From: Eric Botcazou
The resolution made some time ago had been that a dynamic allocation for
a limited type that needs finalization with a function call as expression
always needs to be done in the called function, even if the limited type
has a known size. But the fix implementing this
https://gcc.gnu.org/g:a9c07b8efacfd347fa1f8a258006089f45899ebc
commit r15-420-ga9c07b8efacfd347fa1f8a258006089f45899ebc
Author: Eric Botcazou
Date: Thu Feb 1 14:38:47 2024 +0100
ada: Remove dynamic frame in System.Image_D and document it in
System.Image_F
The former can easily
https://gcc.gnu.org/g:3aa99be0991d10c6c86a83c9d9891e58b84e69cb
commit r15-415-g3aa99be0991d10c6c86a83c9d9891e58b84e69cb
Author: Piotr Trojanek
Date: Tue Jan 30 16:12:16 2024 +0100
ada: Move splitting of pre/post aspect expressions to expansion
We split expressions of pre/post
From: Eric Botcazou
This replaces a few remaining references to "master" by "collection" and
makes a couple of additional tweaks in comments.
gcc/ada/
* libgnat/s-finpri.adb (Finalize): Replace "master" by "collection"
in comments and add a comment about the form of the loop.
https://gcc.gnu.org/g:1de93edbdecc68503b66652b810213492d69ba7b
commit r15-414-g1de93edbdecc68503b66652b810213492d69ba7b
Author: Piotr Trojanek
Date: Tue Jan 30 01:05:28 2024 +0100
ada: Fix style in comments
Code cleanup.
gcc/ada/
* contracts.adb
From: Ashley Gay
The VxWorks 7 API to use hardware interrupts is the VxBus subsystem.
GNAT API still provides bindings for the deprecated (VxWorks 6) routines.
A direct consequence of this change is that Attach_Handler cannot be
used anymore (the VxBus subsystem should be used instead).
This
https://gcc.gnu.org/g:6d13384e64213e0c80bf0a768db061ef64cc9854
commit r15-421-g6d13384e64213e0c80bf0a768db061ef64cc9854
Author: Eric Botcazou
Date: Thu Feb 1 15:30:28 2024 +0100
ada: Rename finalization scope masters into finalization masters
Now that what was previously called
https://gcc.gnu.org/g:32fe73ee9d96bb861014526326c94ef4e23bdace
commit r15-412-g32fe73ee9d96bb861014526326c94ef4e23bdace
Author: Piotr Trojanek
Date: Fri Jan 26 17:47:34 2024 +0100
ada: Recognize pragma Lock_Free as specific to GNAT
Pramga Lock_Free must be recognized as
https://gcc.gnu.org/g:b3eef3b124d1eee9cd261fb072d6e1667cd2501a
commit r15-417-gb3eef3b124d1eee9cd261fb072d6e1667cd2501a
Author: Bob Duff
Date: Wed Jan 31 09:30:06 2024 -0500
ada: Fix crash on Compile_Time_Warning in dead code
If a pragma Compile_Time_Warning triggers, and the
https://gcc.gnu.org/g:4768f3dd68e3f19cb54cadfda6f830deb960
commit r15-411-g4768f3dd68e3f19cb54cadfda6f830deb960
Author: Piotr Trojanek
Date: Fri Jan 26 18:25:09 2024 +0100
ada: Deconstruct unused flag Is_Expanded_Contract
Flag Is_Expanded_Contract was introduced together
From: Eric Botcazou
The pragma is consistenly rejected for the alignment of array types because
Eval_Attribute does not evaluate it even if it is known.
gcc/ada/
* sem_attr.adb (Eval_Attribute): Treat Alignment like Component_Size
for array types.
Tested on
https://gcc.gnu.org/g:f7e1ddec5c5286d45352be86bd74c4f064a79db9
commit r15-416-gf7e1ddec5c5286d45352be86bd74c4f064a79db9
Author: Piotr Trojanek
Date: Wed Jan 31 14:07:22 2024 +0100
ada: Deconstruct flag Split_PPC since splitting now is done in expansion
Remove flag Split_PPC and
https://gcc.gnu.org/g:7e348a40db285d451652ed8f7f022ca4c9022da7
commit r15-419-g7e348a40db285d451652ed8f7f022ca4c9022da7
Author: Piotr Trojanek
Date: Thu Feb 1 13:15:27 2024 +0100
ada: Attributes Put_Image and Object_Size are defined by Ada 2022
Recognize references to attributes
https://gcc.gnu.org/g:da8847559413c15fb6da1455eb1184f7aa928678
commit r15-413-gda8847559413c15fb6da1455eb1184f7aa928678
Author: Piotr Trojanek
Date: Mon Jan 29 16:32:19 2024 +0100
ada: Refine type of a local variable
Code cleanup; semantics is unaffected.
gcc/ada/
From: Piotr Trojanek
Pramga Lock_Free must be recognized as implementation-defined.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): When processing pragma
Lock_Free, check if restriction No_Implementation_Pragmas is
enabled.
Tested on x86_64-pc-linux-gnu, committed on
https://gcc.gnu.org/g:7f1289651145ed5590c883e9a531e3bcc11b1130
commit r15-410-g7f1289651145ed5590c883e9a531e3bcc11b1130
Author: Piotr Trojanek
Date: Fri Jan 26 12:14:48 2024 +0100
ada: Refactor repeated code for querying Boolean-valued aspects
Code cleanup following a fix for
https://gcc.gnu.org/g:65c0029fd969b30794ee0778ddb08e60ee45d770
commit r15-409-g65c0029fd969b30794ee0778ddb08e60ee45d770
Author: Piotr Trojanek
Date: Thu Jan 25 19:09:01 2024 +0100
ada: Complete implementation of Ada 2022 aspect Exclusive_Functions
Extend implementation of RM
https://gcc.gnu.org/g:c1ece0ca7d31f191c97ff0bdc72e0f0416e72774
commit r15-418-gc1ece0ca7d31f191c97ff0bdc72e0f0416e72774
Author: Piotr Trojanek
Date: Wed Jan 31 15:32:22 2024 +0100
ada: Remove guards against traversal of empty list of aspects
When iterating over
https://gcc.gnu.org/g:c52bfe61b2f103d1be6065242f145ec49d13cce7
commit r15-407-gc52bfe61b2f103d1be6065242f145ec49d13cce7
Author: Eric Botcazou
Date: Thu Jan 25 12:47:43 2024 +0100
ada: Couple of comment tweaks to latest change
This replaces a few remaining references to "master"
https://gcc.gnu.org/g:eff0e268f4b1c4d8783f1da4e8a54028a3e28a1a
commit r15-405-geff0e268f4b1c4d8783f1da4e8a54028a3e28a1a
Author: Ashley Gay
Date: Fri Nov 17 11:50:03 2023 +0100
ada: Remove deprecated VxWorks interrupt connection API
The VxWorks 7 API to use hardware interrupts is
From: Bob Duff
This patch rewrites Append_Entity_Name, both for maintainability and to
improve user messages. The main issue was that the recursion stopped
when the enclosing scope is the wrapper created in case of
postconditions with 'Old. This caused different results depending
on the
From: Piotr Trojanek
Code cleanup; behavior is unaffected.
gcc/ada/
* libgnat/a-direct.adb (Start_Search_Internal): Combine subtype
and object declaration.
* libgnat/g-dirope.adb (Read): Replace convoluted unchecked
conversion with an overlay.
Tested on
https://gcc.gnu.org/g:105bba84b10625848ca39a26a42deaa1b2783d71
commit r15-396-g105bba84b10625848ca39a26a42deaa1b2783d71
Author: Piotr Trojanek
Date: Tue Jun 14 13:08:38 2022 +0200
ada: Refactor GNAT.Directory_Operations.Read to minimise runtime checks
Array assignments are likely
https://gcc.gnu.org/g:c8e01e79224ff2ebd2e488ecb4243874b6ff3d6b
commit r15-406-gc8e01e79224ff2ebd2e488ecb4243874b6ff3d6b
Author: Eric Botcazou
Date: Tue Jan 23 12:54:52 2024 +0100
ada: Replace finalization masters with finalization collections
This change replaces finalization
From: Steve Baird
Move case statement pattern matching out of the curated language extension
set and into the extended set.
gcc/ada/
* sem_case.adb: Replace all tests of Core_Extensions_Allowed with
corresponding tests of All_Extensions_Allowed.
* sem_ch5.adb: Likewise.
https://gcc.gnu.org/g:2fc8ea4af4ad63a9675aef812f746fa91ecfabc8
commit r15-400-g2fc8ea4af4ad63a9675aef812f746fa91ecfabc8
Author: Eric Botcazou
Date: Fri Jan 19 11:46:16 2024 +0100
ada: Fix pragma Compile_Time_Error for alignment of array types
The pragma is consistenly rejected
https://gcc.gnu.org/g:56e781f6b83ddf26ae42309e682dc22ce4db3f82
commit r15-404-g56e781f6b83ddf26ae42309e682dc22ce4db3f82
Author: Eric Botcazou
Date: Tue Jan 23 08:44:38 2024 +0100
ada: Decouple finalization masters from storage pools
The coupling came from the build-in-place
From: Eric Botcazou
This occurs with an instantiation of Ada.Containers.Vectors in a nested
package on an access-to-class-wide type declared with the Put_Image aspect
because of too late a freezing for the internal renaming generated for the
Put_Image procedure.
The change freezes this renaming
https://gcc.gnu.org/g:8d6c7fccd04944804f7ca0f7ba7b4a3a7f1082dd
commit r15-402-g8d6c7fccd04944804f7ca0f7ba7b4a3a7f1082dd
Author: Eric Botcazou
Date: Sun Jan 21 00:29:45 2024 +0100
ada: Restore fix for controlled dynamic allocation with BIP function call
The resolution made some
https://gcc.gnu.org/g:8e76c189f10ee3b766cfde6b1ccb59b49342b0e5
commit r15-401-g8e76c189f10ee3b766cfde6b1ccb59b49342b0e5
Author: Piotr Trojanek
Date: Sun Jan 21 23:29:52 2024 +0100
ada: Avoid crash on illegal constrained type declarations
Fix crash on ACATS test B38003B introduced
https://gcc.gnu.org/g:c573c56bfa31d61ec13331c7a785d5fdc60cc8b0
commit r15-399-gc573c56bfa31d61ec13331c7a785d5fdc60cc8b0
Author: Steve Baird
Date: Wed Jan 17 17:12:35 2024 -0800
ada: Enable casing on composite via -X0 instead of -X
Move case statement pattern matching out of the
From: Eric Botcazou
This avoids creating Null nodes when they are not used in the end and makes
the implementation of Add_Finalization_Master_Actual_To_Build_In_Place_Call
more consistent with that of its sibling routines. No functional changes.
gcc/ada/
* exp_ch6.adb
https://gcc.gnu.org/g:0533acf60438aec7858b18b0b52706ca6f1b3564
commit r15-408-g0533acf60438aec7858b18b0b52706ca6f1b3564
Author: Bob Duff
Date: Thu Jan 25 08:38:08 2024 -0500
ada: Rewrite Append_Entity_Name; skip irrelevant names
This patch rewrites Append_Entity_Name, both for
From: Gary Dismukes
The compiler was crashing on container aggregates for the List type
coming from an instantiation of Ada.Containers.Doubly_Linked_Lists
when the aggregate has more than one iterated_element_association
with nonstatic range bounds. As part of addressing this, it was
noticed
https://gcc.gnu.org/g:c1b33f8cf2b40d78d0413a328e3faed384f7e0f4
commit r15-403-gc1b33f8cf2b40d78d0413a328e3faed384f7e0f4
Author: Eric Botcazou
Date: Mon Jan 22 18:19:26 2024 +0100
ada: Small cleanup in the BIP machinery
This avoids creating Null nodes when they are not used in the
From: Piotr Trojanek
Array assignments are likely more efficient than element-by-element
copying; in particular, they avoid constraints checks in every iteration
of a loop (when the runtime is compiled with checks enabled).
A cleanup and improvement opportunity spotted while working on improved
https://gcc.gnu.org/g:5270bfc6e8c85e99c966a696664dcc6878b8c590
commit r15-398-g5270bfc6e8c85e99c966a696664dcc6878b8c590
Author: Eric Botcazou
Date: Thu Jan 18 16:25:06 2024 +0100
ada: Fix internal error with Put_Image aspect on access-to-class-wide type
This occurs with an
https://gcc.gnu.org/g:a14dc3e9b0e4300b58f03d9c5ea83758f912e909
commit r15-397-ga14dc3e9b0e4300b58f03d9c5ea83758f912e909
Author: Piotr Trojanek
Date: Wed Jun 15 17:41:00 2022 +0200
ada: Simplify uses of readdir_gnat with object overlay
Code cleanup; behavior is unaffected.
901 - 1000 of 363174 matches
Mail list logo