[Bug ada/114065] gnat build with -D_TIME_BITS=64 -D_FILE_OFFSET_BITS=64 fails on 32bit archs

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #12 from Arnaud Charlet  ---
Yes, on paper this looks like a very nice cleanup, thank you!

The tricky part is to carefully review the conversion code, as well as the
change in GNAT.Sockets* (perhaps consider separating the changes in
GNAT.Socket* in another patch on top of the first one, that will ease the
review if possible).

[Bug ada/113862] error: "others" choice not allowed here

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113862

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #4 from Arnaud Charlet  ---
The AARM example is just wrong, the syntax isn't valid.
The point of this section is to clarify when extra parens are not needed, it
doesn't change the fact that you can't declare an unconstrained array like that
without specifying the bounds, so GNAT's error message is correct.

[Bug ada/105303] Assertion_Policy (Pre => Ignore) executes precondition

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105303

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet  ---
fixed on master

[Bug ada/100486] Ada build fails for 32bit Windows

[charlet at gcc dot gnu.org via Gcc-bugs]

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 chance.

[Bug ada/61027] gnatcmd gets SIGABRT during exception handling

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61027

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #8 from Arnaud Charlet  ---
Closing

[Bug ada/89583] GNAT.Sockets.Bind_Socket fails with IPv4 address

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89583

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #5 from Arnaud Charlet  ---
Closing then!

[Bug ada/63675] Non-confirming aspect doesn’t fail

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63675

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet  ---
Closing then!

[Bug ada/80869] Ada.Directories is missing Name_Case_Equivalence

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80869

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #2 from Arnaud Charlet  ---
Great, thanks for checking!

[Bug ada/104861] s-oscons.ads should use target_noncanonical

[charlet at gcc dot gnu.org via Gcc-bugs]

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!

[Bug ada/104751] Array aggregates using parens aren’t obsolescent

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104751

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #1 from Arnaud Charlet  ---
The introduction of [] in Ada was a controversial one and this warning is meant
to help disambiguate and simplify the Ada 2022 language, so this warning is
intentional.

You can use -gnatwaJ to disable it though, or pragma Warnings (Off, "*array
aggregate*");

[Bug ada/104710] Ada-Bootstrap fails with gcc-4.8.4

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104710

Arnaud Charlet  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |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

[Bug ada/99360] [12 regression] ICE in generalized iteration

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99360

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #10 from Arnaud Charlet  ---
Indeed, closing, thanks!

[Bug ada/104027] [12 Regression] libgnat-12.so requires executable stack on x86_64-linux

[charlet at gcc dot gnu.org via Gcc-bugs]

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 the existing call
to exit(0), the issue was already there before, just never triggered in
libgnat.so.

Patch looks good to me, if you get a successful build and check-ada, it's
preapproved.

[Bug ada/79724] GNAT tools do not respect --program-suffix and --program-prefix

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79724

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #9 from Arnaud Charlet  ---
Should now be fully fixed!

[Bug ada/79724] GNAT tools do not respect --program-suffix and --program-prefix

[charlet at gcc dot gnu.org via Gcc-bugs]

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!

[Bug ada/79724] GNAT tools do not respect --program-suffix and --program-prefix

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79724

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #5 from Arnaud Charlet  ---
Thanks for the investigation. What's tricky and why things got stuck last time
is the complexity of testing all the possible combinations (prefix, or suffix,
or both).
Can you in particular check that your proposed patch isn't breaking the use of
a prefix with no suffix (e.g. i686-elf-gcc) and check the behavior when using
both a prefix and a suffix (e.g. i686-elf-gcc-4.1)?

[Bug ada/103357] GCC 11 branch can't be built with the current master

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103357

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet  ---
Closing, assuming your GNAT base compiler is indeed too recent.

[Bug ada/103357] GCC 11 branch can't be built with the current master

[charlet at gcc dot gnu.org via Gcc-bugs]

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 to use version X or less
recent to build GNAT.

See https://gcc.gnu.org/install/prerequisites.html (GNAT section).

If this is not what you meant, can you clarify?

[Bug ada/100486] Ada build fails for 32bit Windows

[charlet at gcc dot gnu.org via Gcc-bugs]

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
> > testing a change to that effect.
> 
> Fair enough.  In any case, the symptoms are again consistent with a lack of
> registration of unwind tables, this time for libgcc, so this might be the
> same underlying issue as the grep-induced mess for GCC 10.  My hunch would
> point to a  constructor section merging issue in the linker, maybe related
> to the GCC configure check for HAVE_LD_RO_RW_SECTION_MIXING, which should
> fail for MinGW and may incorrectly succeed when things go wrong.

Right, that's most likely the underlying issue and indeed ensuring we don't use
exception propagation during the bootstrap is just a way to hide/avoid this
underlying mismatch.

[Bug ada/100486] Ada build fails for 32bit Windows

[charlet at gcc dot gnu.org via Gcc-bugs]

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).
> 
> Right.  As a last resort, I'm OK to try backporting the improved bootstrap
> process present on the mainline onto this 11 branch.

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
testing a change to that effect.

[Bug ada/100486] Ada build fails for 32bit Windows

[charlet at gcc dot gnu.org via Gcc-bugs]

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).

[Bug ada/100486] Ada build fails for 32bit Windows

[charlet at gcc dot gnu.org via Gcc-bugs]

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
 Status|WAITING |ASSIGNED
 CC||charlet at gcc dot gnu.org

--- Comment #56 from Arnaud Charlet  ---
Thanks for the log, exception propagation crept in again in the bootstrap
causing the same kind of issues as last time, investigating how to get rid of
exception propagation when compiling a-except.adb

[Bug other/89863] [meta-bug] Issues in gcc that other static analyzers (cppcheck, clang-static-analyzer, PVS-studio) find that gcc misses

[charlet at gcc dot gnu.org via Gcc-bugs]

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

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug ada/102073] gcc/ada/socket.c: 2 * missing return

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102073

Arnaud Charlet  changed:

   What|Removed |Added

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

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

[Bug ada/102073] gcc/ada/socket.c: 2 * missing return

[charlet at gcc dot gnu.org via Gcc-bugs]

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
 CC||charlet at gcc dot gnu.org

--- Comment #1 from Arnaud Charlet  ---
thanks for the report, a missing return is indeed always nasty...

[Bug ada/101924] /usr/ccs/bin/ld: Unsatisfied symbols: U_get_unwind_entry, U_IS_STUB_OR_CALLX, U_get_shLib_text_addr, U_is_shared_pc, U_init_frame_record, U_prep_frame_rec_for_unwind, U_get_shLib_unw_

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101924

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #2 from Arnaud Charlet  ---
Can you confirm that these symbols are present in /usr/lib/libcl.a?

If so, can you try the following patch:

--- gcc/ada/gcc-interface//Make-lang.in
+++ gcc/ada/gcc-interface/Make-lang.in
@@ -85,6 +85,10 @@ ifeq ($(strip $(filter-out linux%,$(host_os))),)
   STAGE1_LIBS=-ldl
 endif

+ifeq ($(strip $(filter-out hpux%,$(host_os))),)
+  STAGE1_LIBS=/usr/lib/libcl.a
+endif
+
 ifeq ($(STAGE1),True)
   ADA_INCLUDES=$(COMMON_ADA_INCLUDES)
   adalib=$(dir $(shell $(CC) -print-libgcc-file-name))adalib

Patch is pre-approved if it does the job

Arno

[Bug ada/86916] Constraint_Error erroneous memory access instead of error

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86916

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #11 from Arnaud Charlet  ---
Great, closing then.

[Bug target/98341] [11 Regression] Ada bootstrap fails with Storage_Error stack overflow or erroneous memory access on m68k

[charlet at gcc dot gnu.org via Gcc-bugs]

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 someone who has a setup to
reproduce.

[Bug target/98341] [11 Regression] Ada bootstrap fails with Storage_Error stack overflow or erroneous memory access on m68k

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98341

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #7 from Arnaud Charlet  ---
Well the change was a big change so it's hard to guess why it caused this issue
but it's quite possible that this change is fine on its own and exposing a
latent issue.

In other words, the bisect result isn't very useful here and I'd recommend
investigating this change from scratch, getting a useful backtrace from gdb and
understanding where this is crashing and then why.

[Bug ada/98754] gnatmake no longer recognizes -P option

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98754

Arnaud Charlet  changed:

   What|Removed |Added

 Resolution|--- |WONTFIX
 CC||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 call
gprbuild -Pproject.

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

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95953

Arnaud Charlet  changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|ASSIGNED|RESOLVED

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

[Bug ada/97283] GNAT rejects valid formal type definition with -gnat2020

[charlet at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97283

Arnaud Charlet  changed:

   What|Removed |Added

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

--- Comment #2 from Arnaud Charlet  ---
Right, closing accordingly.

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

[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/95959] Error in conversion from UTF16 to UTF8

[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/95953] UTF Convert for UTF_16 to UTF_8 fails for values in U+10000 to U+10FFFF.

[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/95953] UTF Convert for UTF_16 to UTF_8 fails for values in U+10000 to U+10FFFF.

[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/92724] Can't link 9.2.0 ada with latest GCC

[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/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

[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=gcc=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/80590] [8/9/10 regression] non-bootstrap build failure of Ada runtime

[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=gcc=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

[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

[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=gcc=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

[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=gcc=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

[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=gcc=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

[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/88191] [9 Regression] ada bootstrap failure on alpha-linux-gnu ("SIGSYS" not declared in "Linux")

[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 ada/87777] Let gnat tools call each other with an explicit target and version

[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/40025] gnatmake does not honour project files' Library_Version exactly

[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/86211] GCC 8 ada cannot build GCC 7 ada

[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/86211] GCC 8 ada cannot build GCC 7 ada

[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/66205] gnatbind generates invalid code when finalization is enabled in restricted runtime

[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/66205] gnatbind generates invalid code when finalization is enabled in restricted runtime

[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=gcc=rev
Log:
PR ada/66205
* bindgen.adb (Gen_AdaFinal): Revert previous change.


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

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

[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/80888] Wide_Text_IO defaults to bracket encoding even if -gnatW8 specified

[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/80888] Wide_Text_IO defaults to bracket encoding even if -gnatW8 specified

[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=gcc=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/81328] error messages not in expected order

[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/78845] Inverse (Real_Matrix) result has wrong bounds

[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/78845] Inverse (Real_Matrix) result has wrong bounds

[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=gcc=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/64057] possible issue in the shared implementation of Ada.Strings.Unbounded

[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/64057] possible issue in the shared implementation of Ada.Strings.Unbounded

[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=gcc=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/69883] gcc-6.0 unable to build gcc-4.9 with ada

[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/44029] References from GNAT RM to GNAT UG are broken

[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 #3 from Arnaud Charlet  ---
We won't change the documentation structure on release branches at this stage
and as you noted, trunk is no longer impacted (the documentation format has
changed there: the master is no longer in texi format, it is in rest/sphinx
format).

[Bug ada/66143] __gnat_set_executable insufficient for correct gprinstall

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143

Arnaud Charlet  changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org
 Resolution|WONTFIX |FIXED
   Target Milestone|--- |6.0

--- Comment #2 from Arnaud Charlet  ---
Actually the current gnat_set_executable is working as expected and gprinstall
is taking advantage of it, so this one is a fixed.

Arno

[Bug ada/41416] Conversion Float to fixed-point behaves differently for static expressions

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41416

Arnaud Charlet  changed:

   What|Removed |Added

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

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

[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/66242] Front-end error if exception propagation disabled

[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=gcc=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

[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/68345] gnat build broken on dragonfly due to omission of r229342

[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/68345] gnat build broken on dragonfly due to omission of r229342

[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=gcc=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

[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/67837] Ada ATC with delay abort syscalls not working

[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/66692] ada form gcc-4.9 fails to compile with gcc-5.1.0 with error undefined reference to `__gnat_runtime_finalize'

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66692

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #1 from Arnaud Charlet charlet at gcc dot gnu.org ---
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).

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Closing then

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47748

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Closing then, thanks!

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65524

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet charlet at gcc dot gnu.org ---
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 ada/65524] gnatbind generates decrementing the unexisting elab-counter into finalize_library

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65524

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Sounds interesting/puzzling. But we really need a reproducer/test case to work
from.

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65259

--- Comment #2 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Sun Mar  1 10:16:20 2015
New Revision: 221087

URL: https://gcc.gnu.org/viewcvs?rev=221087root=gccview=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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65259

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet charlet at gcc dot gnu.org ---
Should now be fixed.

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65156

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65156

--- Comment #3 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Sat Feb 21 18:57:02 2015
New Revision: 220889

URL: https://gcc.gnu.org/viewcvs?rev=220889root=gccview=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/65098] ada/gnat_rm.texi:8889: warning: undefined flag: gnat_version

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65098

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #2 from Arnaud Charlet charlet at gcc dot gnu.org ---
This one will get fixed when gnat_rm.texi is converted to sphinx (will happen
soon).

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

 CC||charlet at gcc dot gnu.org

--- Comment #2 from Arnaud Charlet charlet at gcc dot gnu.org ---
gnat_rm.texi a

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet charlet at gcc dot gnu.org ---
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/64548] Lost visibility of package System after raise

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64548

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #3 from Arnaud Charlet charlet at gcc dot gnu.org ---
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/64866] Lost visibility of package Interfaces after task or PO declaration

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64866

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #2 from Arnaud Charlet charlet at gcc dot gnu.org ---
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/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #16 from Arnaud Charlet charlet at gcc dot gnu.org ---
Better now?

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

--- Comment #15 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Thu Feb  5 09:09:51 2015
New Revision: 220437

URL: https://gcc.gnu.org/viewcvs?rev=220437root=gccview=rev
Log:
2015-02-05  Tristan Gingold  ging...@adacore.com

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).

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

--- Comment #12 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Fri Jan 30 15:13:15 2015
New Revision: 220285

URL: https://gcc.gnu.org/viewcvs?rev=220285root=gccview=rev
Log:
2015-01-30  Tristan Gingold  ging...@adacore.com

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).

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #13 from Arnaud Charlet charlet at gcc dot gnu.org ---
Should be fixed, hopefully

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

--- Comment #4 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Wed Jan  7 10:15:18 2015
New Revision: 219290

URL: https://gcc.gnu.org/viewcvs?rev=219290root=gccview=rev
Log:
2015-01-07  Vincent Celier  cel...@adacore.com

* clean.adb: Minor error message change.

2015-01-07  Tristan Gingold  ging...@adacore.com

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

2015-01-07  Javier Miranda  mira...@adacore.com

* 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).

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #5 from Arnaud Charlet charlet at gcc dot gnu.org ---
Fixed.

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47500

--- Comment #8 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Thu Nov 20 11:55:25 2014
New Revision: 217849

URL: https://gcc.gnu.org/viewcvs?rev=217849root=gccview=rev
Log:
2014-11-20  Vincent Celier  cel...@adacore.com

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47500

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Fixed on trunk

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63931

--- Comment #6 from Arnaud Charlet charlet at gcc dot gnu.org ---
Author: charlet
Date: Thu Nov 20 16:17:12 2014
New Revision: 217884

URL: https://gcc.gnu.org/viewcvs?rev=217884root=gccview=rev
Log:
PR ada/63931   
* gnatvsn.ads (Library_Version): Switch to 5.


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

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63931

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #7 from Arnaud Charlet charlet at gcc dot gnu.org ---
Fixed.

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63931

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #1 from Arnaud Charlet charlet at gcc dot gnu.org ---
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 ada/42978] gnatmake doesn't report the options it actually provides to ranlib

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978

--- Comment #8 from Arnaud Charlet charlet at gcc dot gnu.org ---
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/48002] internal error on calling inherited, overloaded and abstract subprograms with string literal

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48002

Arnaud Charlet charlet at gcc dot gnu.org changed:

   What|Removed |Added

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

--- Comment #2 from Arnaud Charlet charlet at gcc dot gnu.org ---
Closing then, thanks for checking

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48012

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Closing.

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48293

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Closing.

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

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42618

Arnaud Charlet charlet at gcc dot gnu.org 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 charlet at gcc dot gnu.org ---
Closing then, thanks for checking