From: Piotr Trojanek
Code cleanup; semantics is unaffected.
gcc/ada/
* sem_ch13.adb (Analyze_Aspect_Specification): Consistently
reuse existing constant where possible.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_ch13.adb | 10 +-
1 file
From: Piotr Trojanek
Fix various inconsistencies in documentation and comments of
Boolean-valued aspects.
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Fix
documentation.
* sem_prag.adb: Fix comments.
* gnat_rm.texi: Regenerate.
Tested on
From: Piotr Trojanek
Error messages should not start with a capital letter.
gcc/ada/
* gnat_cuda.adb (Remove_CUDA_Device_Entities): Fix casing
(this primarily fixes a style, because the capitalization will
not be preserved by the error-reporting machinery anyway).
https://gcc.gnu.org/g:f72988ac5ecfd56229374cbe76d867177ec5431d
commit r15-569-gf72988ac5ecfd56229374cbe76d867177ec5431d
Author: Marc Poulhiès
Date: Tue Feb 27 13:47:27 2024 +0100
ada: Reset scope of top level object declaration during unnesting
When unnesting, the compiler
https://gcc.gnu.org/g:584ade0b82339d95463bc91c9fdd77579b16426a
commit r15-568-g584ade0b82339d95463bc91c9fdd77579b16426a
Author: Steve Baird
Date: Tue Feb 27 12:11:47 2024 -0800
ada: Redundant validity checks
In some cases with validity checking enabled via the -gnatVa option,
https://gcc.gnu.org/g:bff532827515b23335e315141e37475a142c6932
commit r15-570-gbff532827515b23335e315141e37475a142c6932
Author: Eric Botcazou
Date: Thu Feb 29 15:52:45 2024 +0100
ada: Remove obsolete reference in comment
gcc/ada/
* exp_ch7.adb
https://gcc.gnu.org/g:9ec20f1f84ad19bb8e2020657ee4c851ba5cd7b0
commit r15-567-g9ec20f1f84ad19bb8e2020657ee4c851ba5cd7b0
Author: Gary Dismukes
Date: Tue Feb 27 22:05:55 2024 +
ada: Exception on Indefinite_Vector aggregate with
loop_parameter_specification
Constraint_Error is
https://gcc.gnu.org/g:33ae453d6836d94f8bcf28f414ce1b4e2e8b9111
commit r15-565-g33ae453d6836d94f8bcf28f414ce1b4e2e8b9111
Author: Ronan Desplanques
Date: Tue Feb 27 16:00:10 2024 +0100
ada: Fix reference to RM clause in comment
gcc/ada/
* sem_util.ads
https://gcc.gnu.org/g:c485a154ae0cfa1a63c79a1f3b82d6f2d4a107b5
commit r15-561-gc485a154ae0cfa1a63c79a1f3b82d6f2d4a107b5
Author: Piotr Trojanek
Date: Mon Feb 26 09:32:20 2024 +0100
ada: Ignore ghost nodes in call graph information for dispatching calls
When emitting call graph
https://gcc.gnu.org/g:8e22376d8e2f2dd97e364aaf81a2b4260847e308
commit r15-559-g8e22376d8e2f2dd97e364aaf81a2b4260847e308
Author: Eric Botcazou
Date: Fri Feb 23 21:55:08 2024 +0100
ada: Propagate Program_Error from failed finalization of collection
This aligns finalization
https://gcc.gnu.org/g:5c9205a4d729e6fe9b8c897f4eb3ccd86dcf1835
commit r15-564-g5c9205a4d729e6fe9b8c897f4eb3ccd86dcf1835
Author: Ronan Desplanques
Date: Tue Feb 27 15:46:14 2024 +0100
ada: Fix missing length checks with case expressions
This fixes an issue where length checks were
https://gcc.gnu.org/g:fa832b4e799e4db4d815ca9a94e331c55dc2f3b3
commit r15-555-gfa832b4e799e4db4d815ca9a94e331c55dc2f3b3
Author: Ronan Desplanques
Date: Thu Feb 22 17:29:24 2024 +0100
ada: Fix comments about Get_Ranged_Checks
Checks.Get_Ranged_Checks was onced named Range_Check,
https://gcc.gnu.org/g:ea648848eac40e07df0b0e1f5762b5d3f3f738c6
commit r15-563-gea648848eac40e07df0b0e1f5762b5d3f3f738c6
Author: Sebastian Poeplau
Date: Mon Feb 26 11:03:03 2024 +0100
ada: Fix standalone Windows builds of adaint.c
Define PATH_SEPARATOR and HOST_EXECUTABLE_SUFFIX
https://gcc.gnu.org/g:c3b570b5d9354a2366c29c4eb8eaa41c1d087e41
commit r15-562-gc3b570b5d9354a2366c29c4eb8eaa41c1d087e41
Author: Viljar Indus
Date: Thu Feb 22 14:27:14 2024 +0200
ada: Avoid checking parameters of protected procedures
The compiler triggers warnings on generated
https://gcc.gnu.org/g:8560a0644da71f5d411ef67382a47278085bad70
commit r15-554-g8560a0644da71f5d411ef67382a47278085bad70
Author: Eric Botcazou
Date: Thu Feb 22 08:47:42 2024 +0100
ada: Minor performance improvement for dynamically-allocated controlled
objects
The values returned
https://gcc.gnu.org/g:513f6b889ab5c9fa88e82506cce7534f0400b1c6
commit r15-553-g513f6b889ab5c9fa88e82506cce7534f0400b1c6
Author: Marc Poulhiès
Date: Tue Feb 13 12:20:19 2024 +0100
ada: Fixup one more pattern of broken scope information
When an array's initialization contains
https://gcc.gnu.org/g:a802cb3c5f530e77dabcb6343d79cb7a24f96ed3
commit r15-560-ga802cb3c5f530e77dabcb6343d79cb7a24f96ed3
Author: Ronan Desplanques
Date: Fri Feb 23 13:07:17 2024 +0100
ada: Fix reason code for length check
This patch fixes the reason code used by
https://gcc.gnu.org/g:48068753771507b4e95f746eaf8b0d0135e6c8ef
commit r15-551-g48068753771507b4e95f746eaf8b0d0135e6c8ef
Author: Eric Botcazou
Date: Wed Feb 21 21:48:13 2024 +0100
ada: Fix latent alignment issue for dynamically-allocated controlled objects
Dynamically-allocated
https://gcc.gnu.org/g:55d11e8751e070e38f981e308d84dfde23c2af3d
commit r15-558-g55d11e8751e070e38f981e308d84dfde23c2af3d
Author: Piotr Trojanek
Date: Thu Feb 22 22:26:01 2024 +0100
ada: Improve recovery from illegal occurrence of 'Old in if_expression
Fix assertion failure in
https://gcc.gnu.org/g:f5c78702f9436bfa5a0cf1f87b6004ead79c5892
commit r15-557-gf5c78702f9436bfa5a0cf1f87b6004ead79c5892
Author: Piotr Trojanek
Date: Fri Feb 23 13:57:27 2024 +0100
ada: No need to follow New_Occurrence_Of with Set_Etype
Routine New_Occurrence_Of itself sets the
https://gcc.gnu.org/g:7d2a5dbbfed311b9d13e5772dbc86f525adde3e9
commit r15-556-g7d2a5dbbfed311b9d13e5772dbc86f525adde3e9
Author: Piotr Trojanek
Date: Thu Feb 22 22:25:16 2024 +0100
ada: Fix detection of if_expressions that are known on entry
Fix a small glitch in routine
https://gcc.gnu.org/g:bc35098efbfb14cf17f0f79f5dfcb44fdf0975de
commit r15-552-gbc35098efbfb14cf17f0f79f5dfcb44fdf0975de
Author: Piotr Trojanek
Date: Thu Feb 22 00:42:59 2024 +0100
ada: Fix typo in CUDA error message
Fix typo in error message; semantics is unaffected.
https://gcc.gnu.org/g:b98e256652c336160afa47bf8735eb4aa3529135
commit r15-550-gb98e256652c336160afa47bf8735eb4aa3529135
Author: Viljar Indus
Date: Fri Feb 9 12:29:41 2024 +0200
ada: Fix resolving tagged operations in array aggregates
In the Two_Pass_Aggregate_Expansion we were
https://gcc.gnu.org/g:81a5815a48b0d392de7ece86bdcc23a2d72aa5bd
commit r15-549-g81a5815a48b0d392de7ece86bdcc23a2d72aa5bd
Author: Eric Botcazou
Date: Tue Feb 20 22:40:47 2024 +0100
ada: Fix bogus error on function returning noncontrolling result in private
part
This occurs in the
https://gcc.gnu.org/g:7c487eb8eccaad7c4ce9e4920fe9eaa5a9fab0bf
commit r15-548-g7c487eb8eccaad7c4ce9e4920fe9eaa5a9fab0bf
Author: Piotr Trojanek
Date: Wed Feb 21 12:14:48 2024 +0100
ada: Fix casing of CUDA in error messages
Error messages now capitalize CUDA.
gcc/ada/
https://gcc.gnu.org/g:f03905788cbe2799a692b1f2435020b26a5a2574
commit r15-547-gf03905788cbe2799a692b1f2435020b26a5a2574
Author: Ronan Desplanques
Date: Mon Feb 19 11:17:51 2024 +0100
ada: Fix crash with -gnatdJ and -gnatw_q
This commit makes the emission of -gnatw_q warnings pass
https://gcc.gnu.org/g:a58b6be7f38e7a775f92b8aaa8d1c374a6e0c790
commit r15-546-ga58b6be7f38e7a775f92b8aaa8d1c374a6e0c790
Author: Steve Baird
Date: Fri Feb 16 17:05:09 2024 -0800
ada: Follow up fixes for Put_Image/streaming regressions
A recent change to reduce duplication of
https://gcc.gnu.org/g:50ae8753fb7d65e810fa60fbd396f6d9e3d9
commit r15-545-g50ae8753fb7d65e810fa60fbd396f6d9e3d9
Author: Eric Botcazou
Date: Fri Feb 16 18:55:21 2024 +0100
ada: Implement per-finalization-collection spinlocks
This changes the implementation of finalization
https://gcc.gnu.org/g:91c6302c8d641990f8977bf8eb5a40370da6efa9
commit r15-544-g91c6302c8d641990f8977bf8eb5a40370da6efa9
Author: Steve Baird
Date: Thu Feb 15 14:49:18 2024 -0800
ada: Formal_Derived_Type'Size is not static
In deciding whether a Size attribute reference is static,
https://gcc.gnu.org/g:e730d52a9459d1112e58c7286aab0e358fac
commit r15-543-ge730d52a9459d1112e58c7286aab0e358fac
Author: Steve Baird
Date: Thu Feb 15 15:13:12 2024 -0800
ada: Fix bug in maintaining dimension info
Copying a node does not automatically propagate its
https://gcc.gnu.org/g:8b73cb99bbd02db85d213c7120dbaa366c360e45
commit r15-542-g8b73cb99bbd02db85d213c7120dbaa366c360e45
Author: Piotr Trojanek
Date: Fri Feb 16 15:10:06 2024 +0100
ada: Remove Aspect_Specifications field from N_Procedure_Specification
Sync
https://gcc.gnu.org/g:06078187797f077f0548c55ac8cb8eca4094f1c3
commit r15-541-g06078187797f077f0548c55ac8cb8eca4094f1c3
Author: Piotr Trojanek
Date: Wed Feb 14 18:24:03 2024 +0100
ada: Reuse existing expression when rewriting aspects to pragmas
Code cleanup; semantics is
https://gcc.gnu.org/g:492f896e3a224a09c5f693249dc302dda435fae7
commit r15-540-g492f896e3a224a09c5f693249dc302dda435fae7
Author: Piotr Trojanek
Date: Wed Feb 14 18:06:36 2024 +0100
ada: Cleanup reporting locations for Ada 2022 and GNAT extension aspects
Code cleanup; semantics is
https://gcc.gnu.org/g:61751ee563104aa87a66ac712e97ed80cf52eec2
commit r15-538-g61751ee563104aa87a66ac712e97ed80cf52eec2
Author: Piotr Trojanek
Date: Fri Jan 26 18:11:36 2024 +0100
ada: Fix ordering of code for pragma Preelaborable_Initialization
Code cleanup.
gcc/ada/
https://gcc.gnu.org/g:1d992c40e77fa61ebdb75d1342b35f58b9b98f12
commit r15-539-g1d992c40e77fa61ebdb75d1342b35f58b9b98f12
Author: Piotr Trojanek
Date: Mon Jan 29 13:42:03 2024 +0100
ada: Fix alphabetic ordering of aspect identifiers
Code cleanup.
gcc/ada/
https://gcc.gnu.org/g:3549a58fa544fe933eca207a9f2442489310aa4c
commit r15-537-g3549a58fa544fe933eca207a9f2442489310aa4c
Author: Piotr Trojanek
Date: Fri Feb 16 16:57:10 2024 +0100
ada: Fix casing in error messages
Error messages should not start with a capital letter.
https://gcc.gnu.org/g:fd3a9ee2b9d622b8482bbb1167dd0e2244d940e9
commit r15-536-gfd3a9ee2b9d622b8482bbb1167dd0e2244d940e9
Author: Piotr Trojanek
Date: Mon Jan 29 13:32:16 2024 +0100
ada: Fix docs and comments about pragmas for Boolean-valued aspects
Fix various inconsistencies in
Le 16/05/2024 à 06:25, Jürgen Spitzmüller a écrit :
The screen moves a bit, but not to the point where the highlighted
match is.
I have been looking at a similar issue (with buffer-end), but I do not
know yet what the issue is.
The culprit is a4d9315bc4944. If the situation is too
Le 11/04/2024 à 23:55, Jean-Marc Lasgouttes a écrit :
Le 11/04/2024 à 18:21, Stephan Witt a écrit :
Is it new to master (i.e., the biginset branch)?
I think it’s new.
If you have time to make a video I would be interested to see it
because I cannot reproduce on X (I have to try Wayland
Le 10/05/2024 à 18:16, fcana...@gmail.com a écrit :
Yes, I still have the issue. I am attaching a screencast, recorded on M2 Mac
with fresh install of version 2.4.0~RC4 after deleting all user-defined
preferences from previous version.
Thanks for the very clear screencast. I am still not
(). I
feel like I must be either A) Missing a better way to do this, or B)
Missing something about how to construct this query, or just knowing that
rewrite is required when making a query with the KnnFVQuery in it that has
a filter query itself.
Any insight would be much appreciated.
Thank you,
Marc
the FSF or some other organization lately?
Marc
On 2/24/24 18:35, Akira Urushibata wrote:
I decided to take took a look at Microsoft's revenue structure. In
the past Windows was the leading product, and by far, but it is not so
today. In 2023 Windows accounted for only 10% of total revenu
Can someone from the FSF explain why this is the case?
Marc
On 5/3/24 15:57, Akira Urushibata wrote:
I visited the official FSF site to see when they stopped posting
announcements of talks by RMS.
Up to September 2019 RMS lecture notices appeared frequently. After
the following entry
Le 15/05/2024 à 14:02, Pavel Sanda a écrit :
On Wed, May 15, 2024 at 12:46:07PM +0100, Andre Silva wrote:
I would like to report what appears to be a new bug. How can I
register to the LyX Bug Tracker?
I will create the account for you. Pavel
OK, so I let you do it Pavel.
JMarc
--
Le 15/05/2024 à 13:51, Udicoudco a écrit :
Yes, sorry for not being clear, the PDF output is OK, it is the GUI
that has changed, the equation tagging is
on the wrong side and a bit lower than the equation. I attached an
example file and a couple of screenshots.
About the side, I thought I had
Le 10/05/2024 à 20:34, Udicoudco a écrit :
Dear all,
I think I've encountered a regression in the 2.4 branch.
The location of equation numbers/tags in RTL paragraphs seems wrong to me.
Could you give more details about why it seems wrong? I did not manage
to set up a working Hebrew
Hi
On Wed, May 15, 2024 at 2:29 PM Michael Tokarev wrote:
>
> 14.05.2024 16:17, marcandre.lur...@redhat.com wrote:
> >
> > UI: small fixes and improvements
> >
> >
>
Since they are new upstream versions, and are already going through the
SRU process, I'll wait until they are verified-done, and I will do a no-
change rebuild of them into the -security pocket.
Does that sound reasonable? Thanks!
--
You received this bug notification because you are a member
uld be fine.
Now we probably can move on to stage 6 of debugging "how did that
ever work?", since we're having /bin/sh point to dash for a while and
this issue just appeared on of my _stable_ systems.
Greetings
Marc
Thanks for the debdiffs, I will prepare packages in the security PPA and
will comment back
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2065728
Title:
CVE-2024-3044
To manage notifications about
Hello,
On Mon, May 13, 2024 at 05:06:55PM +0200, Philippe Strauss via gull wrote:
> Critical OpenVPN Zero-Day Flaws Affecting Millions of Endpoints
> https://cybersecuritynews.com/openvpn-zero-day-flaws/
Comme je suis abonné à la liste openvpn, voici quelques infos:
Il y a récemment eu 2
>
> we have a apache 2.4.59 running on windows for an internal page.
> Now we would like to use https instead of http
>
> Opening the url via http works,
> when I use https I get
>
> Forbidden
> You don't have permission to access this resource.
>
> I activated the debug level and see this
Package: ampr-ripd
Version: 2.4.1-1+b2
Please consider creating the directory /var/lib/ampr-ripd on installation.
This way, the encap.txt has a place to go.
Cheers,
Marc
==
Ubuntu Security Notice USN-6772-1
May 14, 2024
strongswan vulnerability
==
A security issue affects these releases of Ubuntu and its derivatives:
-
>
> > Sorry to cut in a bit. I have been watching this with interest. I am
> only
> > a user of ipsec vpn. Is there really a technical possibility that
> traffic
> > is somehow passing through the tunnel without being encrypted? Is there
> > not some default drop/fail design if there is no
From: Piotr Trojanek
The implementation of User_Aspect_Definition uses subtype
Boolean_Aspects to decide which existing aspects can be used to define
old aspects. This subtype didn't include many of the SPARK aspects,
notably the Always_Terminates.
gcc/ada/
* aspects.ads (Aspect_Id,
From: Eric Botcazou
gcc/ada/
* exp_ch7.adb (Finalization Management): Add a short description of
the implementation of finalization chains.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/exp_ch7.adb | 29 +
1 file changed, 29
From: Steve Baird
A recent change to reduce duplication of compiler-generated Put_Image and
streaming subprograms introduced two regressions. One is yet another of the
many cases where generating these routines "on demand" (as opposed at the
point of the associated type declaration) requires
https://gcc.gnu.org/g:0ec8c070f3ccebc9a58ecb593c2e5cfdb6bcfd5c
commit r15-476-g0ec8c070f3ccebc9a58ecb593c2e5cfdb6bcfd5c
Author: Marc Poulhiès
Date: Mon Jan 8 15:50:03 2024 +0100
ada: Minor typo fix in comment
gcc/ada/
* sem_util.adb: Typo fix in comment
From: Ronan Desplanques
This patch fixes a crash when -gnatdJ is enabled and a warning
must be emitted about an ineffective pragma Warnings clause.
Some modifications are made to the specific warnings machinery so
that warnings carry the ID of the pragma node they're about, so the
-gnatdJ
https://gcc.gnu.org/g:13d8374188eea21d56603135b6af254599c9e4b3
commit r15-473-g13d8374188eea21d56603135b6af254599c9e4b3
Author: Ronan Desplanques
Date: Thu Feb 15 15:02:10 2024 +0100
ada: Fix pragma Warnings and -gnatD interaction
A recent change broke pragma Warnings when -gnatD
From: Eric Botcazou
This decouples the attachment to the appropriate finalization collection of
dynamically allocated objects that need finalization from their allocation.
The current implementation immediately attaches them after allocating them,
which means that they will be finalized even if
From: Ronan Desplanques
A recent change broke pragma Warnings when -gnatD is enabled in some
cases. This patch fixes this by caching more slocs at times when it's
known that they haven't been modified by -gnatD.
gcc/ada/
* errout.adb (Validate_Specific_Warnings): Adapt to record
From: Ronan Desplanques
A previous change introduced an error in the diagnostic message about
overlapping actuals. This commit fixes this.
gcc/ada/
* sem_warn.adb (Warn_On_Overlapping_Actuals): Fix typo.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_warn.adb |
https://gcc.gnu.org/g:faf462cfe686228113fc9d968809dd4f40395dde
commit r15-469-gfaf462cfe686228113fc9d968809dd4f40395dde
Author: Ronan Desplanques
Date: Wed Feb 14 15:12:15 2024 +0100
ada: Fix crash with -gnatdJ and -gnatyz
This patch makes it so -gnatyz style checks reports
From: Ronan Desplanques
This patch makes it so -gnatyz style checks reports specify a node
ID. That is required since those checks are sometimes made during
semantic analysis of short-circuit operators, where the Current_Node
mechanism that -gnatdJ uses is not operational.
https://gcc.gnu.org/g:42ea46c67ddcde686e3792864d035dfd1645801f
commit r15-466-g42ea46c67ddcde686e3792864d035dfd1645801f
Author: Philippe Gil
Date: Wed Feb 7 14:53:54 2024 +0100
ada: Correct System.Win32.LocalFileTimeToFileTime wrapper typo
The parameters should be swapped to fit
From: Ronan Desplanques
This patch makes it so the diagnostics coming from occurrences of
pragma Compile_Time_Error and Compile_Time_Warning are emitted with
a node parameter so they don't cause a crash when -gnatdJ is enabled.
gcc/ada/
* errout.ads (Error_Msg): Add node parameter.
From: Ronan Desplanques
This patch tweaks the calls made to Errout subprograms to report
violations of dependence restrictions, in order fix a crash that
occurred with -gnatdJ and -fdiagnostics-format=json.
gcc/ada/
* restrict.adb (Violation_Of_No_Dependence): Tweak error
https://gcc.gnu.org/g:f5798041ac97347e52d985be37f049c6d902d282
commit r15-470-gf5798041ac97347e52d985be37f049c6d902d282
Author: Ronan Desplanques
Date: Wed Feb 14 16:02:48 2024 +0100
ada: Fix pragma Compile_Time_Error and -gnatdJ crash
This patch makes it so the diagnostics
From: Steve Baird
Fix constructs that were flagged by CodePeer.
gcc/ada/
* exp_attr.adb: Replace 6 "not Present" tests with equivalent calls to
"No".
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/exp_attr.adb | 12 ++--
1 file changed, 6 insertions(+), 6
From: Ronan Desplanques
Before this patch, the default status of -gnatw.i and -gnatw.d are
reported incorrectly in the usage string used throughout GNAT tools.
This patch fixes this.
gcc/ada/
* usage.adb (Usage): Fix enabled-by-default indicators.
Tested on x86_64-pc-linux-gnu,
https://gcc.gnu.org/g:26afb0040cf728de82db2c1417c5a2973d06f0aa
commit r15-475-g26afb0040cf728de82db2c1417c5a2973d06f0aa
Author: Eric Botcazou
Date: Fri Feb 16 23:57:23 2024 +0100
ada: Document more details of the implementation of finalization chains
gcc/ada/
*
https://gcc.gnu.org/g:08039257610508b153d13b6cab1f252297d143a9
commit r15-468-g08039257610508b153d13b6cab1f252297d143a9
Author: Eric Botcazou
Date: Wed Feb 14 01:22:49 2024 +0100
ada: Small cleanup about allocators and aggregates
This eliminates a few oddities present in the
gcc/ada/
* sem_util.adb: Typo fix in comment.
* exp_aggr.adb: Likewise.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/exp_aggr.adb | 2 +-
gcc/ada/sem_util.adb | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/gcc/ada/exp_aggr.adb
From: Eric Botcazou
Now that Default_Initialize_Object honors the No_Initialization flag in all
cases, objects of an access type declared without initialization expression
can no longer be considered as being automatically initialized to null.
gcc/ada/
* exp_ch3.adb
From: Eric Botcazou
The allocation strategy for objects of a discriminated type with defaulted
discriminants is not the same when the allocation is dynamic as when it is
static (i.e a declaration): in the former case, the compiler allocates the
default size whereas, in the latter case, it
From: Steve Baird
If -gnatX0 is specified, we allow case statements with a selector
expression of a record or array type, but not of a private type.
If the selector expression is of a private type then we should generate
an appropriate error message instead of a bugbox.
gcc/ada/
*
https://gcc.gnu.org/g:ba0b16a527b6d658dddca2e2609ab6b6c1fe32d4
commit r15-459-gba0b16a527b6d658dddca2e2609ab6b6c1fe32d4
Author: Eric Botcazou
Date: Mon Feb 12 19:25:39 2024 +0100
ada: Follow-up adjustment after fix to Default_Initialize_Object
Now that Default_Initialize_Object
https://gcc.gnu.org/g:4f3567cf3b71ccf5447659a028d08429c2d30df7
commit r15-454-g4f3567cf3b71ccf5447659a028d08429c2d30df7
Author: Eric Botcazou
Date: Sun Feb 11 19:05:08 2024 +0100
ada: Follow-up adjustment to earlier fix in Build_Allocate_Deallocate_Proc
The profile of the
From: Eric Botcazou
This eliminates a few oddities present in the expander for allocators and
aggregates present in allocators:
- Convert_Array_Aggr_In_Allocator takes both a Decl and Alloc parameters,
and inserts new code before Alloc for records and after Decl for arrays
through
https://gcc.gnu.org/g:8d15d848b90f502bdc3070f5b4e6213721eb2272
commit r15-478-g8d15d848b90f502bdc3070f5b4e6213721eb2272
Author: Piotr Trojanek
Date: Mon Feb 19 09:46:04 2024 +0100
ada: Fix classification of SPARK Boolean aspects
The implementation of User_Aspect_Definition uses
https://gcc.gnu.org/g:4a45c99302b688cacf788946b9a88ea8593bb395
commit r15-477-g4a45c99302b688cacf788946b9a88ea8593bb395
Author: Ronan Desplanques
Date: Mon Feb 19 17:19:27 2024 +0100
ada: Fix crash with -gnatdJ and -gnatf
This patch fixes a crash when the compiler emits a warning
From: Ronan Desplanques
Before this patch, some warnings about overlapping actuals were
emitted regardless of the Value of
Warnsw.Warnings_Package.Warn_On_Overlap. This patch fixes this.
gcc/ada/
* sem_warn.adb (Warn_On_Overlapping_Actuals): Stop ignoring
warning suppression
https://gcc.gnu.org/g:00c7f2296fbad17a54629f571da42104f1054478
commit r15-471-g00c7f2296fbad17a54629f571da42104f1054478
Author: Steve Baird
Date: Wed Feb 14 16:27:59 2024 -0800
ada: Follow up fixes for Put_Image/streaming regressions
A recent change to reduce duplication of
https://gcc.gnu.org/g:33541b880694fedb901cf8f38b2be77e4c429068
commit r15-457-g33541b880694fedb901cf8f38b2be77e4c429068
Author: Steve Baird
Date: Fri Feb 9 15:08:51 2024 -0800
ada: Better error message for bad general case statements
If -gnatX0 is specified, we allow case
https://gcc.gnu.org/g:f545412378592e3c4b420b61867bfd3dda2f6480
commit r15-455-gf545412378592e3c4b420b61867bfd3dda2f6480
Author: Ronan Desplanques
Date: Mon Feb 12 16:49:38 2024 +0100
ada: Fix overlap warning suppression
Before this patch, some warnings about overlapping actuals
From: Steve Baird
In the case of an untagged composite type, the compiler does not generate
streaming-related subprograms or a Put_Image procedure when the type is
declared. Instead, these subprograms are declared "on demand" when a
corresponding attribute reference is encountered. In this case,
https://gcc.gnu.org/g:996fd76402004d5f2fedbbf86cd8534e8c0c1f71
commit r15-465-g996fd76402004d5f2fedbbf86cd8534e8c0c1f71
Author: Ronan Desplanques
Date: Tue Feb 13 12:46:36 2024 +0100
ada: Fix crash with -gnatdJ and JSON output
This patch tweaks the calls made to Errout
From: Ronan Desplanques
This patch fixes a crash when the compiler emits a warning about
an unchecked conversion and -gnatdJ is enabled.
gcc/ada/
* sem_ch13.adb (Validate_Unchecked_Conversions): Add node
parameters to Error_Msg calls.
Tested on x86_64-pc-linux-gnu, committed
From: Steve Baird
During analysis of an instantiation, Sem_Ch12 manages formal/actual binding
information in package state (see Sem_Ch12.Generic_Renamings_HTable).
A call to rtsfind can cause another unit to be loaded and compiled.
If this occurs during the analysis of an instantiation, and if
From: Gary Dismukes
The compiler may either crash or incorrectly report errors when
a component association in a container aggregate is an if_expression
with an elsif part whose dependent expression is a call to a function
returning a result that requires finalization. The compiler complains
https://gcc.gnu.org/g:ab4a519a84611acc928ebbec920bd31e24993436
commit r15-462-gab4a519a84611acc928ebbec920bd31e24993436
Author: Ronan Desplanques
Date: Tue Feb 13 09:50:55 2024 +0100
ada: Fix typo in diagnostic message
A previous change introduced an error in the diagnostic
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):
801 - 900 of 363167 matches
Mail list logo