[Bug ada/95953] UTF Convert for UTF_16 to UTF_8 fails for values in U+10000 to U+10FFFF.

2020-06-29 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95953

Arnaud Charlet  changed:

   What|Removed |Added

 Ever confirmed|0   |1
   Target Milestone|--- |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

--- Comment #1 from Arnaud Charlet  ---
Thanks for the detailed report and fix, I'll take it from there.

Arno

[Bug ada/95953] UTF Convert for UTF_16 to UTF_8 fails for values in U+10000 to U+10FFFF.

2020-06-29 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95953

Arnaud Charlet  changed:

   What|Removed |Added

 CC||simon at pushface dot org

--- Comment #2 from Arnaud Charlet  ---
*** Bug 95959 has been marked as a duplicate of this bug. ***

[Bug ada/95959] Error in conversion from UTF16 to UTF8

2020-06-29 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95959

Arnaud Charlet  changed:

   What|Removed |Added

 Resolution|--- |DUPLICATE
 CC||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 ***

[Bug ada/96302] Linux build of gnat/ada fails for lack of gnatdll

2020-07-24 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96302

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |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 reported it already if this was
indeed failing. Instead you should have:

<<
/usr/bin/install: cannot stat 'gnatdll': No such file or directory
[...]gcc/ada/gcc-interface/Make-lang.in:749: recipe for target
'ada.install-common' failed
make[4]: [ada.install-common] Error 1 (ignored)
>>

[Bug ada/92724] Can't link 9.2.0 ada with latest GCC

2019-11-29 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92724

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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://gcc.gnu.org/install/prerequisites.html.
This PR is an occurrence of such incompatibility.

[Bug ada/56316] [4.8 Regression] bootstrap with ada on mingw fails in ada/gcc-interface/trans.c

2013-02-14 Thread charlet at gcc dot gnu.org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56316



Arnaud Charlet  changed:



   What|Removed |Added



 Status|UNCONFIRMED |RESOLVED

 CC||charlet at gcc dot gnu.org

 Resolution||FIXED



--- Comment #1 from Arnaud Charlet  2013-02-14 
08:46:33 UTC ---

This was an unintended change, reverted right away.



I would suggest always checking with current trunk before opening these PRs

since

this was fixed on 2013-02-06 (revision 195805).



Arno


[Bug bootstrap/54820] [4.8 Regression] ada: cannot find -lstdc++ since 4.8.0 20121002

2012-10-05 Thread charlet at gcc dot gnu.org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54820



Arnaud Charlet  changed:



   What|Removed |Added



 CC||charlet at gcc dot gnu.org



--- Comment #1 from Arnaud Charlet  2012-10-05 
08:46:25 UTC ---

What has changed is that now -static-libstdc++ is used, in addition to

-static-libgcc, to fix other builds failures since the switch to g++ by

default.



So I guess this would mean that you do NOT have a static libstdc++ with your

base

C++ compiler?



Arno


[Bug ada/54845] [trunk/gcc/c-family/c-ada-spec.c:3114]: (error) Buffer is accessed out of bounds.

2012-10-09 Thread charlet at gcc dot gnu.org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54845



Arnaud Charlet  changed:



   What|Removed |Added



 CC||charlet at gcc dot gnu.org

 AssignedTo|unassigned at gcc dot   |charlet at gcc dot gnu.org

   |gnu.org |



--- Comment #1 from Arnaud Charlet  2012-10-09 
13:43:04 UTC ---

Thanks for the report, I'll fix that.


[Bug ada/54845] [trunk/gcc/c-family/c-ada-spec.c:3114]: (error) Buffer is accessed out of bounds.

2012-10-10 Thread charlet at gcc dot gnu.org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54845



--- Comment #2 from Arnaud Charlet  2012-10-10 
08:09:33 UTC ---

Author: charlet

Date: Wed Oct 10 08:09:25 2012

New Revision: 192290



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192290

Log:

2012-10-10  Arnaud Charlet  



PR ada/54845

* c-ada-spec.c (print_ada_struct_decl): Increase buf size.





Modified:

trunk/gcc/c-family/ChangeLog

trunk/gcc/c-family/c-ada-spec.c


[Bug ada/54845] [trunk/gcc/c-family/c-ada-spec.c:3114]: (error) Buffer is accessed out of bounds.

2012-10-10 Thread charlet at gcc dot gnu.org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54845



Arnaud Charlet  changed:



   What|Removed |Added



 Status|UNCONFIRMED |RESOLVED

 Resolution||FIXED



--- Comment #3 from Arnaud Charlet  2012-10-10 
08:12:52 UTC ---

Fixed, thanks for your report.


[Bug ada/15611] Invalid program not detected, RM 3.7(11)

2011-08-31 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15611

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.6.1

--- Comment #7 from Arnaud Charlet  2011-08-31 
07:04:21 UTC ---
Closing then:

$ gcc -c test_244943.ads
test_244943.ads:4:26: discriminants of tagged type cannot have defaults


[Bug ada/15798] Bug box in Gigi, code=201, on legal program with tasking

2011-08-31 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15798

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.6.1

--- Comment #7 from Arnaud Charlet  2011-08-31 
07:05:33 UTC ---
Closing then


[Bug ada/37245] GDB reports "No definition of "var1" in current context." for an existing variable

2011-08-31 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37245

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.6.1
  Known to fail||

--- Comment #6 from Arnaud Charlet  2011-09-01 
06:33:31 UTC ---
Closing then, thanks for checking


[Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

2011-09-16 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24167

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.6.0

--- Comment #6 from Arnaud Charlet  2011-09-16 
17:30:48 UTC ---
Fixing then, thanks.


[Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: "Support_Atomic_Primitives" is undefined broke Ada on sparc64-linux

2012-07-30 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54125

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org
 AssignedTo|unassigned at gcc dot   |charlet at gcc dot gnu.org
   |gnu.org |

--- Comment #1 from Arnaud Charlet  2012-07-30 
14:31:54 UTC ---
Will take care of it


[Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: "Support_Atomic_Primitives" is undefined broke Ada on multiple platforms

2012-08-06 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54125

--- Comment #4 from Arnaud Charlet  2012-08-06 
08:12:18 UTC ---
Author: charlet
Date: Mon Aug  6 08:12:10 2012
New Revision: 190163

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190163
Log:
2012-08-06  Vincent Pucci  

PR ada/54125
* exp_attr.adb (Expand_N_Attribute_Reference): Expand new
Atomic_Always_Lock_Free attribute.
* sem_attr.adb (Analyze_Attribute): Analyze new
Atomic_Always_Lock_Free attribute.
(Eval_Attribute): Nothing to do with new Atomic_Always_Lock_Free
attribute.
* sem_ch9.adb (Allows_Lock_Free_Implementation):
Support_Atomic_Primitives check replaces previous erroneous
size check.
* sem_util.adb, sem_util.ads (Support_Atomic_Primitives):
New routine.
* snames.ads-tmpl: New name Name_Atomic_Always_Lock_Free and
new attribute Attribute_Atomic_Always_Lock_Free defined.
* s-atopri.adb: Support_Atomic_Primitives checks replaced by
Atomic_Always_Lock_Free queries.
* system-aix64.ads, system-aix.ads, system-darwin-ppc.ads,
system-hpux.ads, system-linux-alpha.ads, system-linux-hppa.ads,
system-linux-ppc.ads, system-linux-s390.ads,
system-linux-s390x.ads, system-linux-sh4.ads,
system-linux-sparc.ads, system-lynxos178-ppc.ads,
system-lynxos-ppc.ads, system-mingw.ads,
system-vxworks-arm.ads, system-solaris-sparc.ads,
system-solaris-sparcv9.ads, system-vms_64.ads,
system-vxworks-m68k.ads, system-vxworks-mips.ads,
system-vxworks-ppc.ads, system-vxworks-sparcv9.ads: Flag
Support_Atomic_Primitives removed.


Modified:
trunk/gcc/ada/exp_attr.adb
trunk/gcc/ada/s-atopri.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch9.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sem_util.ads
trunk/gcc/ada/snames.ads-tmpl
trunk/gcc/ada/system-aix.ads
trunk/gcc/ada/system-aix64.ads
trunk/gcc/ada/system-darwin-ppc.ads
trunk/gcc/ada/system-hpux.ads
trunk/gcc/ada/system-linux-alpha.ads
trunk/gcc/ada/system-linux-hppa.ads
trunk/gcc/ada/system-linux-ppc.ads
trunk/gcc/ada/system-linux-s390.ads
trunk/gcc/ada/system-linux-s390x.ads
trunk/gcc/ada/system-linux-sh4.ads
trunk/gcc/ada/system-linux-sparc.ads
trunk/gcc/ada/system-lynxos-ppc.ads
trunk/gcc/ada/system-mingw.ads
trunk/gcc/ada/system-solaris-sparc.ads
trunk/gcc/ada/system-solaris-sparcv9.ads
trunk/gcc/ada/system-vms_64.ads
trunk/gcc/ada/system-vxworks-arm.ads
trunk/gcc/ada/system-vxworks-m68k.ads
trunk/gcc/ada/system-vxworks-mips.ads
trunk/gcc/ada/system-vxworks-ppc.ads
trunk/gcc/ada/system-vxworks-sparcv9.ads


[Bug ada/54125] [4.8 regression] s-atopri.adb:40:10: "Support_Atomic_Primitives" is undefined broke Ada on multiple platforms

2012-08-06 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54125

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED

--- Comment #5 from Arnaud Charlet  2012-08-06 
08:13:38 UTC ---
Should be fixed now.


[Bug bootstrap/41709] Failing bootstrap in stage 2 while building Ada + C

2012-02-04 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41709

Arnaud Charlet  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.7.0

--- Comment #11 from Arnaud Charlet  2012-02-04 
10:00:33 UTC ---
Closing then.


[Bug ada/51035] GNAT bug detected error reported when compiling Ada code

2012-02-07 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51035

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.7.0

--- Comment #2 from Arnaud Charlet  2012-02-08 
07:46:25 UTC ---
Indeed, closing then.


[Bug ada/50942] Bootstrap failure on mingw32

2012-02-09 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50942

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||INVALID

--- Comment #1 from Arnaud Charlet  2012-02-09 
20:02:07 UTC ---
You didn't provide sufficient info.
The error looks like an error with your environment (e.g. bad behavior of
make),
and GCC builds on mingw32 for other people.


[Bug ada/51307] [4.7 Regression] s-taprop.adb:676:25: "CLOCK_RT_Ada" not declared in "OS_Constants"

2011-11-28 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51307

Arnaud Charlet  changed:

   What|Removed |Added

 Status|WAITING |NEW
 CC||charlet at gcc dot gnu.org
 AssignedTo|unassigned at gcc dot   |charlet at gcc dot gnu.org
   |gnu.org |

--- Comment #4 from Arnaud Charlet  2011-11-28 
09:48:39 UTC ---
Here is the patch from Thomas Quinot fixing this issue, I'll commit it
when I get a chance, feel free to use it/test it in the mean time:

Modified: trunk/gnat/s-oscons-tmplt.c
===
--- trunk/gnat/s-oscons-tmplt.c 2011-11-28 09:36:54 UTC (rev 180967)
+++ trunk/gnat/s-oscons-tmplt.c 2011-11-28 09:42:49 UTC (rev 180968)
@@ -1343,7 +1343,9 @@

 */

-#ifdef CLOCK_REALTIME
+/* Note: On HP-UX, CLOCK_REALTIME is an enum, not a macro. */
+
+#if defined(CLOCK_REALTIME) || defined (__hpux__)
 CND(CLOCK_REALTIME, "System realtime clock")
 #endif

@@ -1377,7 +1379,7 @@
 # define CLOCK_RT_Ada "CLOCK_MONOTONIC"
 # define NEED_PTHREAD_CONDATTR_SETCLOCK

-#elif defined(CLOCK_REALTIME)
+#elif defined(CLOCK_REALTIME) || defined (__hpux__)
 /* By default use CLOCK_REALTIME */
 # define CLOCK_RT_Ada "CLOCK_REALTIME"
 #endif


[Bug ada/51307] [4.7 Regression] s-taprop.adb:676:25: "CLOCK_RT_Ada" not declared in "OS_Constants"

2011-12-05 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51307

--- Comment #7 from Arnaud Charlet  2011-12-05 
10:32:03 UTC ---
Author: charlet
Date: Mon Dec  5 10:31:58 2011
New Revision: 182004

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182004
Log:
2011-12-05  Bob Duff  

* sem_ch3.adb (Derive_Progenitor_Subprograms): Add Ultimate_Alias
to the Comes_From_Source check, to deal properly with the case
of indirect inheritance of "=".

2011-12-05  Thomas Quinot  

PR ada/51307
* s-oscons-tmplt.c: On HP-UX, CLOCK_REALTIME is an enum literal,
not a macro.

2011-12-05  Thomas Quinot  

* par_sco.adb, scos.ads, put_scos.adb, get_scos.adb: Generate dominance
information in SCOs.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/get_scos.adb
trunk/gcc/ada/par_sco.adb
trunk/gcc/ada/put_scos.adb
trunk/gcc/ada/s-oscons-tmplt.c
trunk/gcc/ada/scos.ads
trunk/gcc/ada/sem_ch3.adb


[Bug ada/51307] [4.7 Regression] s-taprop.adb:676:25: "CLOCK_RT_Ada" not declared in "OS_Constants"

2011-12-05 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51307

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |WAITING

--- Comment #8 from Arnaud Charlet  2011-12-05 
10:33:42 UTC ---
Dave, let me know if the current trunk solves the issue or not, thanks.

Arno


[Bug ada/15846] Illegal program not detected, self renames

2012-01-30 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15846

--- Comment #4 from Arnaud Charlet  2012-01-30 
12:15:54 UTC ---
Author: charlet
Date: Mon Jan 30 12:15:42 2012
New Revision: 183713

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183713
Log:
2012-01-30  Javier Miranda  

PR ada/15846
* sem_ch8.adb (Analyze_Subprogram_Renaming):
Handle self-renaming when the renamed entity is referenced using
its expanded name.


Modified:
trunk/gcc/ada/sem_ch8.adb


[Bug ada/15846] Illegal program not detected, self renames

2012-01-30 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15846

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution||FIXED
   Target Milestone|--- |4.7.0

--- Comment #5 from Arnaud Charlet  2012-01-30 
12:17:47 UTC ---
Fixed on trunk.


[Bug ada/86211] GCC 8 ada cannot build GCC 7 ada

2018-06-19 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86211

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #1 from Arnaud Charlet  ---
As you said, this combination isn't guaranteed to work, although I'm surprising
by the gcc command line you showed, which doesn't include -Iada/libgnat or
-I../../gcc/ada/libgnat as per ADA_INCLUDES in gcc-interface/Make-lang.in:

ADA_INCLUDES = -nostdinc -I- -I. -Iada/generated -Iada -I$(srcdir)/ada
-I$(srcdir)/ada/gcc-interface -Iada/libgnat -I$(srcdir)/ada/libgnat

So I'd suggest double checking your source tree here, maybe you have some local
changes that are modifying ADA_INCLUDES?

[Bug ada/86211] GCC 8 ada cannot build GCC 7 ada

2018-06-19 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86211

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |WONTFIX

--- Comment #3 from Arnaud Charlet  ---
Ah yes, so basically you're doomed: this is a pretty fundamental change which
has zero chance to work with GCC 7, sorry.

[Bug ada/66205] gnatbind generates invalid code when finalization is enabled in restricted runtime

2017-12-19 Thread charlet at gcc dot gnu.org
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 change.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/bindgen.adb

[Bug ada/66205] gnatbind generates invalid code when finalization is enabled in restricted runtime

2017-12-19 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66205

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #14 from Arnaud Charlet  ---
As discussed on gcc-patches@, this isn't the right approach after all.
Instead, you should set Suppress_Standard_Library_On_Target to False in
your target system.ads, this is the only combination that is supported by the
binder and the runtime to enable finalization in a restructed runtime.

Arno

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-17 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590

Arnaud Charlet  changed:

   What|Removed |Added

 Status|SUSPENDED   |NEW
 CC||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 these inconsistencies
that can only be resolved via a full bootstrap, or by using the newly built
compiler to build new compilers.

If you enable bootstrap, the problem will disappear without changing sources.

Now in order to help you move forward more easily, I'm also going to commit a
change that hides/workaround the issue at least for the files you mentioned
(g-exptty and co) that will avoid an unnecessary exception propagation in the
compiler when handling the "delay" construct.

I'll commit the change on branches 8, 9 and trunk.

Would be great if you could confirm that this unblocks the situation, and would
be
great to reenable Ada in your builds.

Arno

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-17 Thread charlet at gcc dot gnu.org
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): Swap the two
conditions to avoid a unnecessary exception propagation in the default
case.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch9.adb

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-17 Thread charlet at gcc dot gnu.org
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): Swap the two
conditions to avoid a unnecessary exception propagation in the default
case.


Modified:
branches/gcc-8-branch/gcc/ada/ChangeLog
branches/gcc-8-branch/gcc/ada/exp_ch9.adb

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-17 Thread charlet at gcc dot gnu.org
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): Swap the two
conditions to avoid a unnecessary exception propagation in the default
case.


Modified:
branches/gcc-9-branch/gcc/ada/ChangeLog
branches/gcc-9-branch/gcc/ada/exp_ch9.adb

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-17 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #22 from Arnaud Charlet  ---
"Fixed" as best as possible on 8, 9 and 10 branches. Would be great if you
could confirm that Tom!

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-18 Thread charlet at gcc dot gnu.org
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 exception propagation
during normal processing.


Modified:
branches/gcc-9-branch/gcc/ada/ChangeLog
branches/gcc-9-branch/gcc/ada/sem_ch5.adb

[Bug ada/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

2019-06-18 Thread charlet at gcc dot gnu.org
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 exception propagation
during normal processing.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch5.adb

[Bug ada/40025] gnatmake does not honour project files' Library_Version exactly

2018-10-31 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40025

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #3 from Arnaud Charlet  ---
Good point, closing PR.

[Bug ada/87777] Let gnat tools call each other with an explicit target and version

2018-11-04 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=8

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #4 from Arnaud Charlet  ---
Note that testing is key for this kind of delicate functions that can impact
all toolchains, so we'll need to see unit tests for Program_Name which we are
currently lacking. Only such unit tests will give us confidence that all cases
of interest have been properly tested.

[Bug ada/88191] [9 Regression] ada bootstrap failure on alpha-linux-gnu ("SIGSYS" not declared in "Linux")

2018-11-26 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88191

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #2 from Arnaud Charlet  ---
The patch for s-linux__alpha.ads is preapproved.
The Storage_Error is unrelated to this PR, so I'd suggest opening another one
after the patch is committed.

[Bug bootstrap/55871] [4.8 Regression] Bootstrap broken by Ada changes after revision 194883 on x86_64-apple-darwin10

2013-01-04 Thread charlet at gcc dot gnu.org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55871



Arnaud Charlet  changed:



   What|Removed |Added



 Status|NEW |RESOLVED

 CC||charlet at gcc dot gnu.org

 Resolution||FIXED



--- Comment #4 from Arnaud Charlet  2013-01-04 
10:19:48 UTC ---

This is already fixed actually.


[Bug ada/69883] gcc-6.0 unable to build gcc-4.9 with ada

2016-02-20 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69883

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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 supported.

Arno

[Bug ada/80888] Wide_Text_IO defaults to bracket encoding even if -gnatW8 specified

2017-09-08 Thread charlet at gcc dot gnu.org
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.adb, a-ztexio.adb (Set_WCEM): Use
Default_WCEM by default (i.e. if the encoding is not specified
by the Form string).


Modified:
trunk/gcc/ada/a-textio.adb
trunk/gcc/ada/a-witeio.adb
trunk/gcc/ada/a-ztexio.adb

[Bug ada/80888] Wide_Text_IO defaults to bracket encoding even if -gnatW8 specified

2017-09-08 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80888

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |8.0

--- Comment #4 from Arnaud Charlet  ---
Should be fixed

[Bug ada/82141] [8 Regression] raised RTSFIND.RE_NOT_AVAILABLE : rtsfind.adb:851 on darwin

2017-09-13 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #21 from Arnaud Charlet  ---
Right and in particular don't get confused: --disable-libada does NOT disable
the build of the Ada runtime in our builds, it only disables the automatic
build when doing a 'make', but the Ada runtime is definitely built in this
setup via an explicit make gnatlib, so that's a red herring. The sem_ch7.adb
change is also
clearly a red herring/not the root cause.

[Bug ada/78845] Inverse (Real_Matrix) result has wrong bounds

2017-04-25 Thread charlet at gcc dot gnu.org
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): call Unit_Matrix with First_1
set to A'First(2) and vice versa.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-ngcoar.adb
trunk/gcc/ada/a-ngrear.adb

[Bug ada/78845] Inverse (Real_Matrix) result has wrong bounds

2017-04-25 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78845

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED

--- Comment #5 from Arnaud Charlet  ---
patch is now committed.

[Bug ada/81328] error messages not in expected order

2017-07-06 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81328

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||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.

[Bug ada/64057] possible issue in the shared implementation of Ada.Strings.Unbounded

2016-10-12 Thread charlet at gcc dot gnu.org
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 (Is_Non_Local_Array): Return true for every array
that is not a component or slice of an entity in the current
scope.


Modified:
trunk/gcc/ada/exp_ch5.adb

[Bug ada/64057] possible issue in the shared implementation of Ada.Strings.Unbounded

2016-10-12 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64057

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |7.0

--- Comment #6 from Arnaud Charlet  ---
Should hopefully be fixed now.

[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-16 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |INVALID

--- Comment #1 from Arnaud Charlet  ---
You need a matching (built with same sources) native first to build a
cross, I suspect that's the issue here.


[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-19 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201

--- Comment #3 from Arnaud Charlet  ---
The build of GNAT cross is designed to rely on a matching native, to simplify
the
set up, so this is really as designed here, and not just a 'search path
problem'.

The coupling between the Ada runtime and the Ada compiler is very strong, and
trying to support this combination would simply lead to lots of complexity,
hence
the choice of not trying to address this combination, as per the documentation.

So: this is as designed and as documented.

Arno


[Bug ada/9535] Datagram socket semantics are wrong

2014-05-21 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=9535

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org
   Assignee|sam at gcc dot gnu.org |charlet at gcc dot 
gnu.org

--- Comment #8 from Arnaud Charlet  ---
Will commit a change shortly


[Bug ada/9535] Datagram socket semantics are wrong

2014-05-21 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=9535

--- Comment #9 from Arnaud Charlet  ---
Author: charlet
Date: Wed May 21 12:49:24 2014
New Revision: 210698

URL: http://gcc.gnu.org/viewcvs?rev=210698&root=gcc&view=rev
Log:
Previous change (rev 210697) should have mentioned PR ada/9535:

PR ada/9535
* g-socket.adb (Read and Write for Datagram_Socket_Stream_Type):
Provide a behaviour more consistent with underlying datagram
socket: do not attempt to loop over Send_Socket/Receive_Socket
iterating along the buffer.


Modified:
trunk/gcc/ada/ChangeLog


[Bug ada/9535] Datagram socket semantics are wrong

2014-05-21 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=9535

Arnaud Charlet  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |4.10.0

--- Comment #10 from Arnaud Charlet  ---
Closing


[Bug ada/56274] [4.8/4.9/4.10 Regression] libada bootstrap failure on kfreebsd ("pthread_rwlock_t" not declared in "OS_Interface")

2014-05-22 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56274

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #5 from Arnaud Charlet  ---
If nobody steps up to fix this PR, we will remove support for Ada/kfreebsd in
trunk,
we really need people to test and maintain these ports, one time submitals
aren't really working on the long run.

Arno


[Bug ada/61505] [4.10 Regression] bootstrap broken by ada/gnat_rm.texi after r211448

2014-06-13 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.10.0

--- Comment #1 from Arnaud Charlet  ---
This was an oversight, fixed right after.


[Bug ada/61505] [4.10 Regression] bootstrap broken by ada/gnat_rm.texi after r211448

2014-06-13 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505

--- Comment #4 from Arnaud Charlet  ---
Author: charlet
Date: Sat Jun 14 06:55:49 2014
New Revision: 211665

URL: https://gcc.gnu.org/viewcvs?rev=211665&root=gcc&view=rev
Log:
PR ada/61505
* gnat_rm.texi: Attempt to fix error with makeinfo 5.1

Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/gnat_rm.texi


[Bug ada/61505] [4.10 Regression] bootstrap broken by ada/gnat_rm.texi after r211448

2014-06-13 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505

--- Comment #5 from Arnaud Charlet  ---
Never mind, I'm using makeinfo 4.8, so this is indeed another issue.
Let me know if my latest commit improves things.

Arno


[Bug ada/61505] [4.10 Regression] bootstrap broken by ada/gnat_rm.texi after r211448

2014-06-14 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505

--- Comment #9 from Arnaud Charlet  ---
Patch looks reasonable to me at first sight, can you please post it to
gcc-patches for a final review and approval? Thanks for looking into it!

Arno


[Bug ada/65524] gnatbind generates decrementing the unexisting elab-counter into finalize_library

2015-03-23 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65524

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||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.


[Bug ada/65524] gnatbind generates decrementing the unexisting elab-counter into finalize_library

2015-03-24 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65524

Arnaud Charlet  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |INVALID

--- Comment #3 from Arnaud Charlet  ---
Using a custom runtime change isn't supported by GCC FSF.
I suspect the fix if any would be to geenrate the _elabs routine rather than
trying to patch the binder, but as you are using a customized runtime, there
might
be other issues at play and the simplest is for you to remove the use of a 'is
null' subprogram.


[Bug c/62205] GNAT does not accept class types for Default_Iterator

2015-04-07 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
  Component|ada |c
 Resolution|--- |FIXED
   Target Milestone|--- |5.0

--- Comment #4 from Arnaud Charlet  ---
Closing then


[Bug ada/47748] Legal program rejected, ARM 12.7(3/2): generic formal package with "others => <>" in the formal_package_actual_part

2015-04-07 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47748

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
Version|4.5.1   |4.7.2
 Resolution|--- |FIXED

--- Comment #2 from Arnaud Charlet  ---
Closing then, thanks!


[Bug ada/59853] gnatmake cannot build a library

2014-01-21 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853

Arnaud Charlet  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |INVALID

--- Comment #6 from Arnaud Charlet  ---
Not having libgnat.a around is unexpected from gnatmake's point of view, so it
cannot be considered as a bug, or rather, a bug in the linux distrib.

Arno


[Bug ada/60411] ADA bootstrap failure on ARM

2014-03-07 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60411

--- Comment #3 from Arnaud Charlet  ---
Author: charlet
Date: Fri Mar  7 20:35:33 2014
New Revision: 208419

URL: http://gcc.gnu.org/viewcvs?rev=208419&root=gcc&view=rev
Log:
2014-03-07  Doug Rupp  

PR ada/60411
* system-linux-armel.ads (Backend_Overflow_Checks): Set to True.
(Support_64_Bit_Divides): Removed, no longer used.   
(ZCX_By_Default): Enabled.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/system-linux-armel.ads


[Bug ada/60411] ADA bootstrap failure on ARM

2014-03-07 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60411

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #4 from Arnaud Charlet  ---
Let me know how things go after the recent commit I made on trunk, thanks.


[Bug ada/67837] Ada ATC with delay abort syscalls not working

2015-10-04 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67837

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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 any
random system call, so this isn't supported.


[Bug ada/68345] gnat build broken on dragonfly due to omission of r229342

2015-11-14 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68345

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #1 from Arnaud Charlet  ---
Can you please submit a patch on gcc-patches@ ?

[Bug ada/68345] gnat build broken on dragonfly due to omission of r229342

2015-11-14 Thread charlet at gcc dot gnu.org
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-dragonfly.ads (Get_Page_Size): C function returns an int.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/s-osinte-dragonfly.ads

[Bug ada/68345] gnat build broken on dragonfly due to omission of r229342

2015-11-14 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68345

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |6.0

--- Comment #3 from Arnaud Charlet  ---
I applied a change blindly, let me know how it goes.

Arno

[Bug ada/66242] Front-end error if exception propagation disabled

2015-11-18 Thread charlet at gcc dot gnu.org
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_ch3.adb (Default_Initialize_Object): Reimplemented. Abort
defer / undefer pairs are now encapsulated in a block with
an AT END handler. Partial finalization now takes restriction
No_Exception_Propagation into account when generating blocks.
* exp_ch7.adb Various reformattings.
(Create_Finalizer): Change
the generation of abort defer / undefer pairs and explain the
lack of an AT END handler.
(Process_Transient_Objects): Add generation of abort defer/undefer
pairs.
* exp_ch9.adb Various reformattings.
(Build_Protected_Subprogram_Body): Use
Build_Runtime_Call to construct a call to Abort_Defer.
(Build_Protected_Subprogram_Call_Cleanup): Use
Build_Runtime_Call to construct a call to Abort_Undefer.
(Expand_N_Asynchronous_Select): Use Build_Runtime_Call to
construct a call to Abort_Defer.
* exp_intr.adb (Expand_Unc_Deallocation): Abort defer
/ undefer pairs are now encapsulated in a block with
an AT END handler. Finalization now takes restriction
No_Exception_Propagation into account when generating blocks.
* exp_util.ads, exp_util.adb (Wrap_Cleanup_Procedure): Removed.


Modified:
trunk/gcc/ada/exp_ch3.adb
trunk/gcc/ada/exp_ch7.adb
trunk/gcc/ada/exp_ch9.adb
trunk/gcc/ada/exp_intr.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/exp_util.ads

[Bug ada/66242] Front-end error if exception propagation disabled

2015-11-18 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66242

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |6.0

--- Comment #5 from Arnaud Charlet  ---
Should be properly implemented now.

[Bug ada/68443] [ada] FAIL: c39006b

2015-11-19 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68443

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |6.0

--- Comment #2 from Arnaud Charlet  ---
was fixed on revision 230617

[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-01-07 Thread charlet at gcc dot gnu.org
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 change.

2015-01-07  Tristan Gingold  

PR ada/64349  
* env.c (__gnat_environ): Adjust for darwin9/darwin10.

2015-01-07  Javier Miranda  

* sem_ch10.adb (Analyze_With_Clause): Compiling under -gnatq
protect the frontend against never ending recursion caused by
circularities in the sources.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/clean.adb
trunk/gcc/ada/env.c
trunk/gcc/ada/sem_ch10.adb


[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-01-07 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED

--- Comment #5 from Arnaud Charlet  ---
Fixed.


[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-01-30 Thread charlet at gcc dot gnu.org
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 vxworks and darwin includes out of #ifdef IN_RTS.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/env.c


[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-01-30 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

Arnaud Charlet  changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution|--- |FIXED

--- Comment #13 from Arnaud Charlet  ---
Should be fixed, hopefully


[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-02-05 Thread charlet at gcc dot gnu.org
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 thinko: handle Darwin case before default one.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/env.c


[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-02-05 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

Arnaud Charlet  changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution|--- |FIXED

--- Comment #16 from Arnaud Charlet  ---
Better now?


[Bug ada/64866] Lost visibility of package Interfaces after task or PO declaration

2015-02-15 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64866

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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 very close
to Ada, with additional restrictions.

In particular there should be no 'use' clause in the spec of any runtime
packages
(this part is fine in your patch), but there should be also no visibility on
non system or interfaces packages, which is violated by your custom
implementation. I would suggest you move your implementation under System.* to
solve this issue.

Arno


[Bug ada/64548] Lost visibility of package System after raise

2015-02-15 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64548

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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 the runtime.

See other recommendations under PR64866.

In other words, the runtime itself cannot follow Ada's visiblity rules (this
would cause too many issues within the compiler).

Arno


[Bug ada/65104] gnat_rm.texi 'next/prev in menu and sectioning difffer' warnings

2015-02-18 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #2 from Arnaud Charlet  ---
gnat_rm.texi a


[Bug ada/65104] gnat_rm.texi 'next/prev in menu and sectioning difffer' warnings

2015-02-18 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |WONTFIX

--- Comment #3 from Arnaud Charlet  ---
Sorry, my fingers hit the wrong key before I could finish my message.

gnat_rm.texi and gnat_ugn.texi are about to be converted to sphinx, so no need
to spend time reporting texi warnings, they will all soon be gone as part of
this conversion.

Arno


[Bug ada/65098] ada/gnat_rm.texi:8889: warning: undefined flag: gnat_version

2015-02-18 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65098

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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).


[Bug ada/65156] [5 regression] FAIL: gnat.dg/timing_events.adb execution test

2015-02-21 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65156

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||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, now done.


[Bug ada/65156] [5 regression] FAIL: gnat.dg/timing_events.adb execution test

2015-02-21 Thread charlet at gcc dot gnu.org
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.


Removed:
trunk/gcc/testsuite/gnat.dg/timing_events.adb
Modified:
trunk/gcc/testsuite/ChangeLog


[Bug ada/65259] Failure to build Ada DVI and PDF documentation

2015-03-01 Thread charlet at gcc dot gnu.org
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,   
doc/gnat_ugn/platform_specific_information.rst: Remove reference to
image, too troublesome with texi format.
* gnat_ugn.texi: Regenerate.


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/doc/gnat_ugn/gnat_project_manager.rst
trunk/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
trunk/gcc/ada/gnat_ugn.texi


[Bug ada/65259] Failure to build Ada DVI and PDF documentation

2015-03-01 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65259

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |5.0

--- Comment #3 from Arnaud Charlet  ---
Should now be fixed.


[Bug bootstrap/63695] [5 Regression] Bootstrapping with Ada is broken at r216942

2014-10-31 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63695

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||2014-10-31
 Ever confirmed|0   |1

--- Comment #1 from Arnaud Charlet  ---
Can you clarify the exact version of your bootstrap Ada compiler?
I suspect this is the issue here. Your bootstrap compiler is likely faulty
here (likely an old 4.10 snapshot?), and e.g. reverting to 4.9.x as your
bootstrap compiler should address this issue.

Arno


[Bug bootstrap/63695] [5 Regression] Bootstrapping with Ada is broken at r216942

2014-10-31 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63695

Arnaud Charlet  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |INVALID

--- Comment #3 from Arnaud Charlet  ---
OK, so this confirms my suspicion: you had an unsuitable snapshot as your
Ada bootstrap compiler.

Arno


[Bug bootstrap/63695] [5 Regression] Bootstrapping with Ada is broken at r216942

2014-10-31 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63695

--- Comment #5 from Arnaud Charlet  ---
The addition of pragma No_Elaboration_Code_All in system.ads, which wasn't
properly supported by your bootstrap compiler.

In order to bootstrap with this change you either need an older compiler which
doesn't know (and will ignore) about pragma No_Elaboration_Code_All, or knows
about it and handles it properly (case for very recent compilers, but not
yours).

Note that strictly speaking you should always use a stable release as your
bootstrap compiler, and not a snapshot, precisely to avoid this kind of
subtle temporary issues (which are very rare, but may occur).

Hope everything is now clear!


[Bug ada/42618] Problem reading discriminated values from streams

2014-11-03 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42618

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||charlet at gcc dot gnu.org
Version|4.4.2   |4.9.1
 Resolution|--- |FIXED

--- Comment #4 from Arnaud Charlet  ---
Closing then, thanks for checking


[Bug ada/48002] internal error on calling inherited, overloaded and abstract subprograms with string literal

2014-11-10 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48002

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org
   Target Milestone|--- |5.0

--- Comment #2 from Arnaud Charlet  ---
Closing then, thanks for checking


[Bug ada/48012] The executable file hangs up by combination of controlled-type, generic, renames and Inline_Always

2014-11-10 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48012

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |5.0

--- Comment #2 from Arnaud Charlet  ---
Closing.


[Bug ada/48293] Legal program rejected, empty discriminant blocks object allocation with built-in-place

2014-11-10 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48293

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |5.0

--- Comment #3 from Arnaud Charlet  ---
Closing.


[Bug ada/42978] gnatmake doesn't report the options it actually provides to ranlib

2014-11-11 Thread charlet at gcc dot gnu.org
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.


[Bug ada/63931] Ada libraries use 5.0 as LIB_VERSION

2014-11-18 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63931

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||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
expected to me.
And we'll want 5.1 once we've branched. In other words, we want to bump for
each "major" release of GCC (really, each "minor" if you look at
major.minor.micro).

What we do not want is 5.0.0/5.0.1.

Arno


[Bug target/47500] -G0 option not recognized by gnat1

2014-11-20 Thread charlet at gcc dot gnu.org
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_Back_End_Switches): Skip switch -G and
its argument.


Modified:
trunk/gcc/ada/back_end.adb


[Bug target/47500] -G0 option not recognized by gnat1

2014-11-20 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47500

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|4.8.4   |5.0

--- Comment #9 from Arnaud Charlet  ---
Fixed on trunk


[Bug ada/63931] [5 Regression] Ada libraries use 5.0 as LIB_VERSION

2014-11-20 Thread charlet at gcc dot gnu.org
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 (Library_Version): Switch to "5".


Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/gnatvsn.ads


  1   2   >