[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 Arnaud Charlet changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution|---

[Bug ada/60652] System.OS_Constants CRTSCTS

2014-07-29 Thread charlet at gcc dot gnu.org
||charlet at gcc dot gnu.org Resolution|--- |FIXED Target Milestone|--- |4.10.0 --- Comment #1 from Arnaud Charlet --- Should be fixed now (commit rev 213201).

[Bug ada/60652] System.OS_Constants CRTSCTS

2014-07-29 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60652 --- Comment #2 from Arnaud Charlet --- Author: charlet Date: Tue Jul 29 14:46:27 2014 New Revision: 213201 URL: https://gcc.gnu.org/viewcvs?rev=213201&root=gcc&view=rev Log: 2014-07-29 Robert Dewar * gnat_rm.texi, sem_prag.adb: Minor ref

[Bug ada/62019] [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

2014-08-05 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019 Arnaud Charlet changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug ada/40986] [4.8/4.9/5 regression] Assert_Failure sinfo.adb:360, error detected at a-unccon.ads:23:27

2014-08-14 Thread charlet at gcc dot gnu.org
||charlet at gcc dot gnu.org Version|4.4.1 |4.8.2 Resolution|--- |FIXED --- Comment #20 from Arnaud Charlet --- Closing then

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

2015-12-05 Thread charlet at gcc dot gnu.org
||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/44029] References from GNAT RM to GNAT UG are broken

2015-12-06 Thread 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

[Bug ada/66143] __gnat_set_executable insufficient for correct gprinstall

2015-12-06 Thread 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

[Bug ada/66692] ada form gcc-4.9 fails to compile with gcc-5.1.0 with error "undefined reference to `__gnat_runtime_finalize'"

2015-06-28 Thread charlet at gcc dot gnu.org
||charlet at gcc dot gnu.org Resolution|--- |INVALID --- Comment #1 from Arnaud Charlet --- You need to use an older version of GNAT in order to bootstrap GNAT, and not the other way around which isn't guaranteed to work (and indeed often won't).

[Bug ada/47717] building library for arm-none-eabi causes internal error

2011-03-21 Thread charlet at gcc dot gnu.org
||charlet at gcc dot gnu.org Resolution||INVALID --- Comment #3 from Arnaud Charlet 2011-03-21 08:05:55 UTC --- This error is specific to your set up/build procedures, which isn't a standard set up, so not supported by the FSF compil

[Bug ada/49819] [4.6 regression] bogus reference to g-trasym-dwarf.adb in Makefile

2011-07-23 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49819 Arnaud Charlet changed: What|Removed |Added CC||charlet at gcc dot gnu.org --- Comment

[Bug ada/49819] [4.6 regression] bogus reference to g-trasym-dwarf.adb in Makefile

2011-07-23 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49819 --- Comment #3 from Arnaud Charlet 2011-07-23 09:19:47 UTC --- Author: charlet Date: Sat Jul 23 09:19:44 2011 New Revision: 176673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176673 Log: 2011-07-23 Arnaud Charlet PR ada/49819

[Bug ada/49819] [4.6 regression] bogus reference to g-trasym-dwarf.adb in Makefile

2011-07-23 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49819 Arnaud Charlet changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|

[Bug ada/47880] Free in System.Pool_Local raises Storage_Error

2011-08-04 Thread charlet at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47880 --- Comment #1 from Arnaud Charlet 2011-08-04 08:32:58 UTC --- Author: charlet Date: Thu Aug 4 08:32:54 2011 New Revision: 177332 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177332 Log: 2011-08-04 Thomas Quinot PR ada/47880

[Bug ada/47880] Free in System.Pool_Local raises Storage_Error

2011-08-04 Thread charlet at gcc dot gnu.org
||charlet at gcc dot gnu.org Resolution||FIXED Target Milestone|--- |4.7.0 --- Comment #2 from Arnaud Charlet 2011-08-04 08:34:36 UTC --- Fixed

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

2020-10-16 Thread 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

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

2020-10-04 Thread charlet at gcc dot gnu.org via Gcc-bugs
|--- |FIXED CC||charlet at gcc dot gnu.org Status|UNCONFIRMED |RESOLVED --- Comment #2 from Arnaud Charlet --- Right, closing accordingly.

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

2021-01-19 Thread charlet at gcc dot gnu.org via Gcc-bugs
||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

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

2021-02-04 Thread 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

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

2021-02-07 Thread 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

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

2021-06-01 Thread 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

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

2022-02-27 Thread charlet at gcc dot gnu.org via Gcc-bugs
|--- |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/104751] Array aggregates using parens aren’t obsolescent

2022-03-08 Thread 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

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

2022-03-10 Thread 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/80869] Ada.Directories is missing Name_Case_Equivalence

2022-03-30 Thread charlet at gcc dot gnu.org via Gcc-bugs
|--- |9.4 CC||charlet at gcc dot gnu.org Resolution|--- |FIXED --- Comment #2 from Arnaud Charlet --- Great, thanks for checking!

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

2022-03-31 Thread charlet at gcc dot gnu.org via Gcc-bugs
|--- |FIXED Target Milestone|--- |11.0 CC||charlet at gcc dot gnu.org --- Comment #3 from Arnaud Charlet --- Closing then!

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

2022-03-31 Thread charlet at gcc dot gnu.org via Gcc-bugs
||charlet at gcc dot gnu.org Resolution|--- |FIXED Status|UNCONFIRMED |RESOLVED --- Comment #5 from Arnaud Charlet --- Closing then!

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

2022-03-31 Thread charlet at gcc dot gnu.org via Gcc-bugs
||charlet at gcc dot gnu.org Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #8 from Arnaud Charlet --- Closing

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

2022-01-03 Thread 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

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

2022-01-04 Thread 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

2022-01-11 Thread 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|---

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

2022-01-14 Thread 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 t

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

2022-02-12 Thread charlet at gcc dot gnu.org via Gcc-bugs
||charlet at gcc dot gnu.org Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #10 from Arnaud Charlet --- Indeed, closing, thanks!

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

2021-11-22 Thread 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

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

2021-11-22 Thread 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

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

2021-10-04 Thread 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|---

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

2021-10-04 Thread 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

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

2021-10-18 Thread 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

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

2021-10-18 Thread 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

2021-10-18 Thread 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). >

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

2021-10-18 Thread 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 > > t

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

2022-05-22 Thread 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

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

2022-05-30 Thread charlet at gcc dot gnu.org via Gcc-bugs
||charlet at gcc dot gnu.org Resolution|--- |FIXED Target Milestone|--- |13.0 --- Comment #3 from Arnaud Charlet --- fixed on master

[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_

2021-08-16 Thread 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

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

2021-08-26 Thread 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

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

2024-02-19 Thread 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

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

2024-04-04 Thread 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

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

2024-09-18 Thread charlet at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065 --- Comment #29 from Arnaud Charlet --- Hi Nicolas, Reviewing v10 (and v11), I have the following comments left: For patch 1/8, the change in a-calcon.ads is still too intrusive (incompatible types used), we want to keep the interface (spec) unc

[Bug ada/118027] Real_Literal and Integer_Literal aspects do not work for literals beginning with a sign

2024-12-13 Thread charlet at gcc dot gnu.org via Gcc-bugs
||charlet at gcc dot gnu.org Resolution|--- |INVALID --- Comment #1 from Arnaud Charlet --- This is actually as intended and defined in the Ada RM: -1 actually corresponds to "-" (the unary operator) and the literal 1, and not the lite

<    1   2