||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #1 from Arnaud Charlet ---
This is actually as intended and defined in the Ada RM: -1 actually corresponds
to "-" (the unary operator) and the literal 1, and not the lite
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065
--- Comment #29 from Arnaud Charlet ---
Hi Nicolas,
Reviewing v10 (and v11), I have the following comments left:
For patch 1/8, the change in a-calcon.ads is still too intrusive (incompatible
types used), we want to keep the interface (spec) unc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113862
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |13.0
--- Comment #3 from Arnaud Charlet ---
fixed on master
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
--- Comment #74 from Arnaud Charlet ---
The patch is desirable even outside of this PR, so we'll keep it. And as shown
by PR105507, we have other exception propagation that crept in unintentionally,
so I'll also have a look at these when I get a
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #8 from Arnaud Charlet ---
Closing
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Status|UNCONFIRMED |RESOLVED
--- Comment #5 from Arnaud Charlet ---
Closing then!
|--- |FIXED
Target Milestone|--- |11.0
CC||charlet at gcc dot gnu.org
--- Comment #3 from Arnaud Charlet ---
Closing then!
|--- |9.4
CC||charlet at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #2 from Arnaud Charlet ---
Great, thanks for checking!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104861
--- Comment #4 from Arnaud Charlet ---
Patch looks good to me, it's approved assuming clean testing, thanks!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104751
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
|--- |WONTFIX
CC||charlet at gcc dot gnu.org
--- Comment #1 from Arnaud Charlet ---
This is indeed now expected, see https://gcc.gnu.org/install/prerequisites.html
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #10 from Arnaud Charlet ---
Indeed, closing, thanks!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104027
--- Comment #4 from Arnaud Charlet ---
Thanks for the report and investigation. The issue is actually caused by the
introduction of a "ghost" (empty for code generation purposes) unit
a-nbnbbig.ads, since the change you mentioned didn't change t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79724
Arnaud Charlet changed:
What|Removed |Added
Target Milestone|--- |12.0
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79724
--- Comment #7 from Arnaud Charlet ---
Understood, I'll work on it then, thanks for your help!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79724
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103357
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103357
--- Comment #2 from Arnaud Charlet ---
If you mean that you are building version X of gcc version version Y (newer
than X) of gcc/gnat, then this is as expected and documented: this combination
will not always work and isn't supported. You need
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
--- Comment #63 from Arnaud Charlet ---
(In reply to Eric Botcazou from comment #62)
> > No need to, there are actually several reasons to not rely on exception
> > propagation during bootstrap, so let's restore this invariant instead, I'm
> > t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
--- Comment #61 from Arnaud Charlet ---
(In reply to Eric Botcazou from comment #60)
> > And yes, the previous PR was more of a special case while this PR is in the
> > middle of the bootstrap path (triggers as part of compiling a-except.adb).
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
--- Comment #59 from Arnaud Charlet ---
Right, PR ada/80590.
And yes, the previous PR was more of a special case while this PR is in the
middle of the bootstrap path (triggers as part of compiling a-except.adb).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
Arnaud Charlet changed:
What|Removed |Added
Assignee|unassigned at gcc dot gnu.org |charlet at gcc dot
gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89863
Bug 89863 depends on bug 102073, which changed state.
Bug 102073 Summary: gcc/ada/socket.c: 2 * missing return
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102073
What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102073
Arnaud Charlet changed:
What|Removed |Added
Resolution|--- |FIXED
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102073
Arnaud Charlet changed:
What|Removed |Added
Assignee|unassigned at gcc dot gnu.org |charlet at gcc dot
gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101924
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86916
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
Target
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98341
--- Comment #9 from Arnaud Charlet ---
The problem is somehow specific to m68k, for some unknown reason. There is
nothing target specific in the change, no assumption is made on the underlying
target.
What we need now is a debugging session from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98341
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
||charlet at gcc dot gnu.org
Status|UNCONFIRMED |RESOLVED
--- Comment #1 from Arnaud Charlet ---
Yes, that's as expected: support for project files has been moved entirely to
gprbuild. If you have gprbuild in your path, gnatmake -Pproject will
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95953
Arnaud Charlet changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
|--- |FIXED
CC||charlet at gcc dot gnu.org
Status|UNCONFIRMED |RESOLVED
--- Comment #2 from Arnaud Charlet ---
Right, closing accordingly.
|--- |WORKSFORME
CC||charlet at gcc dot gnu.org
--- Comment #1 from Arnaud Charlet ---
It shouldn't fail since the error is supposed to be ignored:
-if [ -f gnat1$(exeext) ] ; \
[...]
as you can imagine, everyone else would have rep
||charlet at gcc dot gnu.org
Status|UNCONFIRMED |RESOLVED
--- Comment #2 from Arnaud Charlet ---
See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95953
*** This bug has been marked as a duplicate of bug 95953 ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95953
Arnaud Charlet changed:
What|Removed |Added
CC||simon at pushface dot org
--- Comment #
|--- |11.0
Assignee|unassigned at gcc dot gnu.org |charlet at gcc dot
gnu.org
Status|UNCONFIRMED |ASSIGNED
CC||charlet at gcc dot gnu.org
Last reconfirmed||2020-06-29
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
Target Milestone|--- |10.0
--- Comment #1 from Arnaud Charlet ---
You cannot build GNAT with a more recent version of GNAT in general, as
explained in https
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
--- Comment #24 from Arnaud Charlet ---
Author: charlet
Date: Tue Jun 18 11:45:37 2019
New Revision: 272417
URL: https://gcc.gnu.org/viewcvs?rev=272417&root=gcc&view=rev
Log:
PR ada/80590
* sem_ch5.adb (Analyze_Loop_Statement): Avoid ex
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
--- Comment #23 from Arnaud Charlet ---
Author: charlet
Date: Tue Jun 18 11:44:58 2019
New Revision: 272416
URL: https://gcc.gnu.org/viewcvs?rev=272416&root=gcc&view=rev
Log:
PR ada/80590
* sem_ch5.adb (Analyze_Loop_Statement): Avoid ex
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
Arnaud Charlet changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
--- Comment #21 from Arnaud Charlet ---
Author: charlet
Date: Mon Jun 17 07:35:02 2019
New Revision: 272374
URL: https://gcc.gnu.org/viewcvs?rev=272374&root=gcc&view=rev
Log:
PR ada/80590
* exp_ch9.adb (Expand_N_Delay_Relative_Statement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
--- Comment #20 from Arnaud Charlet ---
Author: charlet
Date: Mon Jun 17 07:34:04 2019
New Revision: 272373
URL: https://gcc.gnu.org/viewcvs?rev=272373&root=gcc&view=rev
Log:
PR ada/80590
* exp_ch9.adb (Expand_N_Delay_Relative_Statement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
--- Comment #19 from Arnaud Charlet ---
Author: charlet
Date: Mon Jun 17 07:32:14 2019
New Revision: 272372
URL: https://gcc.gnu.org/viewcvs?rev=272372&root=gcc&view=rev
Log:
PR ada/80590
* exp_ch9.adb (Expand_N_Delay_Relative_Statement
||charlet at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |charlet at gcc dot
gnu.org
--- Comment #18 from Arnaud Charlet ---
To summarize the problem on this PE: the issue is that GNAT switched from SJLJ
to ZCX exception handling from GCC 7 to GCC 8, causing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88191
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=8
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
||charlet at gcc dot gnu.org
Resolution|--- |WONTFIX
--- Comment #3 from Arnaud Charlet ---
Good point, closing PR.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86211
Arnaud Charlet changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86211
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66205
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66205
--- Comment #13 from Arnaud Charlet ---
Author: charlet
Date: Tue Dec 19 08:43:49 2017
New Revision: 255811
URL: https://gcc.gnu.org/viewcvs?rev=255811&root=gcc&view=rev
Log:
PR ada/66205
* bindgen.adb (Gen_AdaFinal): Revert previous cha
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |8.0
--- Comment #4 from Arnaud Charlet ---
Should be fixed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80888
--- Comment #3 from Arnaud Charlet ---
Author: charlet
Date: Fri Sep 8 09:38:38 2017
New Revision: 251874
URL: https://gcc.gnu.org/viewcvs?rev=251874&root=gcc&view=rev
Log:
2017-09-08 Bob Duff
PR ada/80888
* a-textio.adb, a-witeio.a
||charlet at gcc dot gnu.org
Resolution|--- |WONTFIX
--- Comment #2 from Arnaud Charlet ---
GNAT always orders messages by source location, so this will simply not happen,
closing.
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #5 from Arnaud Charlet ---
patch is now committed.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78845
--- Comment #4 from Arnaud Charlet ---
Author: charlet
Date: Tue Apr 25 12:44:16 2017
New Revision: 247214
URL: https://gcc.gnu.org/viewcvs?rev=247214&root=gcc&view=rev
Log:
PR ada/78845
* a-ngcoar.adb, a-ngrear.adb (Inverse): c
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |7.0
--- Comment #6 from Arnaud Charlet ---
Should hopefully be fixed now.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64057
--- Comment #5 from Arnaud Charlet ---
Author: charlet
Date: Wed Oct 12 10:32:53 2016
New Revision: 241025
URL: https://gcc.gnu.org/viewcvs?rev=241025&root=gcc&view=rev
Log:
2016-10-12 Eric Botcazou
PR ada/64057
* exp_ch5.adb
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #1 from Arnaud Charlet ---
You must use an older (or equal) version of GNAT to build GNAT, using a more
recent version won't work in general, as shown by this PR, and isn't
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44029
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
||charlet at gcc dot gnu.org
Resolution|--- |WONTFIX
--- Comment #4 from Arnaud Charlet ---
There is no bug here, GNAT's behavior is permitted and differences between
static and dynamic expressions are definitely to be expected in general.
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |6.0
--- Comment #2 from Arnaud Charlet ---
was fixed on revision 230617
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |6.0
--- Comment #5 from Arnaud Charlet ---
Should be properly implemented now.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66242
--- Comment #4 from Arnaud Charlet ---
Author: charlet
Date: Wed Nov 18 10:30:12 2015
New Revision: 230531
URL: https://gcc.gnu.org/viewcvs?rev=230531&root=gcc&view=rev
Log:
2015-11-18 Hristian Kirtchev
PR ada/66242
* exp_ch
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68345
Arnaud Charlet changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68345
--- Comment #2 from Arnaud Charlet ---
Author: charlet
Date: Sat Nov 14 09:09:01 2015
New Revision: 230373
URL: https://gcc.gnu.org/viewcvs?rev=230373&root=gcc&view=rev
Log:
2015-11-13 Arnaud Charlet
PR ada/68345
* s-osinte-d
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68345
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #1 from Arnaud Charlet ---
Actually Ada does not make any guarantee when mixing ATC and system calls and
indeed, it is fundamentally unsafe if not impossible to properly abort from
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #1 from Arnaud Charlet ---
You need to use an older version of GNAT in order to bootstrap GNAT, and
not the other way around which isn't guaranteed to work (and indeed often
won't).
||charlet at gcc dot gnu.org
Version|4.5.1 |4.7.2
Resolution|--- |FIXED
--- Comment #2 from Arnaud Charlet ---
Closing then, thanks!
||charlet at gcc dot gnu.org
Component|ada |c
Resolution|--- |FIXED
Target Milestone|--- |5.0
--- Comment #4 from Arnaud Charlet ---
Closing then
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65524
Arnaud Charlet changed:
What|Removed |Added
Status|WAITING |RESOLVED
Resolution|---
||2015-03-23
CC||charlet at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Arnaud Charlet ---
Sounds interesting/puzzling. But we really need a reproducer/test case to work
from.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65259
Arnaud Charlet changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65259
--- Comment #2 from Arnaud Charlet ---
Author: charlet
Date: Sun Mar 1 10:16:20 2015
New Revision: 221087
URL: https://gcc.gnu.org/viewcvs?rev=221087&root=gcc&view=rev
Log:
PR ada/65259
* doc/gnat_ugn/gnat_project_manager.rst,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65156
--- Comment #3 from Arnaud Charlet ---
Author: charlet
Date: Sat Feb 21 18:57:02 2015
New Revision: 220889
URL: https://gcc.gnu.org/viewcvs?rev=220889&root=gcc&view=rev
Log:
PR ada/65156
* gnat.dg/timing_events.adb: Removed, invalid test
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |5.0
--- Comment #2 from Arnaud Charlet ---
The test is actually wrong, which is now exhibited by a recent fix in the
runtime.
I forgot to remove it
||charlet at gcc dot gnu.org
Resolution|--- |WONTFIX
--- Comment #2 from Arnaud Charlet ---
This one will get fixed when gnat_rm.texi is converted to sphinx (will happen
soon).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104
Arnaud Charlet changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104
Arnaud Charlet changed:
What|Removed |Added
CC||charlet at gcc dot gnu.org
--- Comment
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #3 from Arnaud Charlet ---
I would suggest you do not use 'private with' if you write your own runtime,
since this isn't supported by the compiler when building th
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #2 from Arnaud Charlet ---
Visibility in the Ada runtime do not follow standard Ada rules. In other words,
the Ada runtime isn't implemented in Ada, but in a different dialect
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349
Arnaud Charlet changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349
--- Comment #15 from Arnaud Charlet ---
Author: charlet
Date: Thu Feb 5 09:09:51 2015
New Revision: 220437
URL: https://gcc.gnu.org/viewcvs?rev=220437&root=gcc&view=rev
Log:
2015-02-05 Tristan Gingold
PR ada/64349
* env.c: Fix think
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349
Arnaud Charlet changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349
--- Comment #12 from Arnaud Charlet ---
Author: charlet
Date: Fri Jan 30 15:13:15 2015
New Revision: 220285
URL: https://gcc.gnu.org/viewcvs?rev=220285&root=gcc&view=rev
Log:
2015-01-30 Tristan Gingold
PR ada/64349
* env.c: Move vxwo
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #5 from Arnaud Charlet ---
Fixed.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349
--- Comment #4 from Arnaud Charlet ---
Author: charlet
Date: Wed Jan 7 10:15:18 2015
New Revision: 219290
URL: https://gcc.gnu.org/viewcvs?rev=219290&root=gcc&view=rev
Log:
2015-01-07 Vincent Celier
* clean.adb: Minor error message chan
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63931
Arnaud Charlet changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63931
--- Comment #6 from Arnaud Charlet ---
Author: charlet
Date: Thu Nov 20 16:17:12 2014
New Revision: 217884
URL: https://gcc.gnu.org/viewcvs?rev=217884&root=gcc&view=rev
Log:
PR ada/63931
* gnatvsn.ads (
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|4.8.4 |5.0
--- Comment #9 from Arnaud Charlet ---
Fixed on trunk
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47500
--- Comment #8 from Arnaud Charlet ---
Author: charlet
Date: Thu Nov 20 11:55:25 2014
New Revision: 217849
URL: https://gcc.gnu.org/viewcvs?rev=217849&root=gcc&view=rev
Log:
2014-11-20 Vincent Celier
PR ada/47500
* back_end.adb (Scan
||charlet at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #1 from Arnaud Charlet ---
Not sure what you mean. Aren't you confusing minor and micro versions?
We do want 5.0 like we had 4.9/4.8/4.7/... previously, so this looks as
expect
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978
--- Comment #8 from Arnaud Charlet ---
Note that support for project files (and libraries) in gnatmake is being
deprecated in favor of gprbuild, so this patch will soon become OBE.
But no problem in applying it now.
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |5.0
--- Comment #3 from Arnaud Charlet ---
Closing.
||charlet at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |5.0
--- Comment #2 from Arnaud Charlet ---
Closing.
1 - 100 of 149 matches
Mail list logo
