[Bug ada/114065] gnat build with -D_TIME_BITS=64 -D_FILE_OFFSET_BITS=64 fails on 32bit archs
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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_
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
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
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
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
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.
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
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.