[Bug ada/4720] GNAT programs do not support --help and --version
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4720
[Bug ada/4945] Rewriting '-gant' as '-gnat' is failings
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-23 21:26 --- The broken code in misc.c that gave rise to this report is now gone, and frankly, I think it is worth debating how a misspelled option should be handled. So, I'll change the warning to an error. -Geert -- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Severity|normal |minor Status|NEW |ASSIGNED Last reconfirmed|2004-11-24 19:25:53 |2005-02-23 21:26:32 date|| Summary|Rewriting '-gant' as '-gnat'|Rewriting '-gant' as '-gnat' |is failing |is failings Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4945
[Bug ada/6853] building gnatlib fails on newlib targets that don't provide dirent.h
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-23 22:32 --- I can't reproduce this bug, so I'm assuming the new libada has fixed this. However, the GNAT library needs adaptation for new targets and one cannot expect to retarget GNAT and have it work out of the box.. It would be nice to have it be configured automatically using autoconf etc, but this is a huge project and more of an enhancement than a bugfix. Also, due to the various subtle interactions between threading/tasking/exceptions and other areas, this goal may not be realistic altogether. -Geert -- What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6853
[Bug ada/9087] Component_Size for packed array returns wrong values
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2004-11-24 19:22:51 |2005-02-23 23:34:23 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9087
[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |ebotcazou at libertysurf dot |dot org |fr Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19410
[Bug ada/19900] [4.0 Regression] ACATS c391002 c432002 ICE categorize_ctor_elements_1
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kenner at vlsi1 dot ultra |dot org |dot nyu dot edu Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19900
[Bug ada/20012] 'pragma Compile_Time_Warning' adds quotation marks to warning text
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-02-24 15:55:54 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20012
[Bug ada/20035] failed run-time assertion : Tasking not implemented on this configuration on sparc-linux
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 16:20 --- No bug seems to be reported. As the message states, no tasking support is implemented for your configuration. Your attachment doesn't provide such support. If you want to add this, look at the sparc and linux system specific files in the gcc/ada directory. Any patch would also need changes to Makefile.in. A complete tested patch, following the GCC guidelines (see http://gcc.gnu.org/ contribute.html) may be submitted to [EMAIL PROTECTED] and will be considered for inclusion. You may post any questions that arise during development to [EMAIL PROTECTED] More specific questions tend to get better answers. -- What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20035
[Bug ada/20042] [4.0 regression] ACATS cxaca01 assembler Bad Absolute Expression error on ppc-darwin
-- What|Removed |Added Summary|ACATS cxaca01 assembler Bad |[4.0 regression] ACATS |Absolute Expression error on|cxaca01 assembler Bad |ppc-darwin |Absolute Expression error on ||ppc-darwin http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20042
[Bug ada/20042] [4.0 regression] ACATS cxaca01 assembler Bad Absolute Expression error on
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed||1 GCC target triplet||powerpc-apple-darwin7.8.0 Known to fail||4.0.0 Known to work||3.4.4 Last reconfirmed|-00-00 00:00:00 |2005-02-24 16:33:00 date|| Summary|[4.0 regression] ACATS |[4.0 regression] ACATS |cxaca01 assembler Bad |cxaca01 assembler Bad |Absolute Expression error on|Absolute Expression error on |ppc-darwin | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20042
[Bug ada/18099] Incorrect rounding from floating point to integer
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 18:12 --- The fix for this is now in GCC 4.0.0. -- What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18099
[Bug ada/19369] fatal error: file gnatbind.ali is incorrectly formatted
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 18:22 --- This can only happen if gnatbind tries to bind a file compiled with a different version of the compiler. Doing so is an error as it could lead to inconsistency, which why the error message is given. As many people build/bootstrap GNAT in various configurations, it is unlikely that the makefiles use the wrong compiler. Please ensure your build environment is correct, start from a clean tree, ensure your bootstrap compiler is consistent (versions of gnat1 and gnatbind match). If the problem persists, please find out exactly what gnat1 binary was used for compiling the .ali file and which gnatbind is being called for binding. -- What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WORKSFORME http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19369
[Bug ada/19456] [4.0 regression] ada bootstrap failure on alpha-linux
-- What|Removed |Added Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19456
[Bug ada/15977] Ada contributors should be documented
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 21:28 --- Below is the list of people who made more than 15 check ins for files currently part of GNAT over the lifetime of the project since it originally started at NYU. This is a one-time generated list. I verified with a few long-time members of the project that this is a reasonably accurate list. One exception was made for Paul Hilfinger, who only has done 12 check ins in the compiler, but has been involved with the design from the very beginning and also contributed and maintained the Ada support for GDB. In the future people will be added when the maintainers recognize that a person has made significant contributions. Bernard Banner Romain Berrendonner Neil Booth Geert Bosch Eric Botcazou Emmanuel Briot Joel Brobecker Ben Brosgol Vincent Celier Arnaud Charlet Chien Chieng Cyrille Comar Cyrille Crozes Robert Dewar Gary Dismukes Robert Duff Ed Falis Ramon Fernandez Sam Figueroa Vasiliy Fofanov Michael Friess Franco Gasperoni Ted Giering Matthew Gingell Laurent Guerby Jerome Guitton Olivier Hainque Richard Henderson Paul Hilfinger Jerome Hugues Richard Kenner Hristian Kirtchev Jerome Lambourg Bruno Leclerc Albert Lee Sean McNeil Javier Miranda Joseph Myers Laurent Nana Nathanael Nerode Pascal Obry Dong-Ik Oh Laurent Pautet Brett Porter Thomas Quinot Nicolas Roche Pat Rogers Jose Ruiz Douglas Rupp Sergey Rybin Gail Schenker Ed Schonberg Nicolas Setton Samuel Tardieu Zack Weinberg -- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2005-02-12 23:23:29 |2005-02-24 21:28:02 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15977
[Bug ada/19587] Unnecessary warning for class-wide out parameters
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 22:31 --- The type conversion to Foo_Real constitutes a read of F, which, being an out-parameter, is by definition is not initialized. The warning is correct. -Geert -- What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19587
[Bug ada/12888] ada can't open files larger than 2**31 - 1 byte
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 22:40 --- It is OK for an Ada implementation to have capacity limits. In this case the limits are caused by the underlying OS, the corresponding C library functions have the same limitation. Indeed, it would be nice to remove this limitation by using the appropriate new C library functions on targets where needed/ supported, but this clearly is an enhancement request. -- What|Removed |Added Severity|normal |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12888
[Bug ada/13370] 'constant String' with 'pragma Machine_Attribute' triggers ICE
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 22:42 --- +===GNAT BUG DETECTED==+ | 4.0.0 20050221 (experimental) (powerpc-apple-darwin7.8.0) Bus error | | Error detected at gimme_bug_box.adb:3:4 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html.| | Include the entire contents of this bug box in the report. | | Include the exact gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +== + -- What|Removed |Added Last reconfirmed|2005-01-28 06:23:10 |2005-02-24 22:42:53 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13370
[Bug ada/19048] Assertion failure on illegal program
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-25 02:33 --- Works in 4.0.0: foo.ads:5:04: type does not match declaration at line 4 -- What|Removed |Added Status|NEW |RESOLVED Keywords||ice-on-invalid-code Resolution||FIXED Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19048
[Bug ada/18844] GNAT ASIS is not included in the gcc-ada distribution.
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-25 02:41 --- This is not a bug. ASIS is a separate project from the Ada front end. There is enough work to be done getting Ada itself in good shape. Even when Ada is in good shape, it makes most sense for ASIS to remain its own project outside of the GCC tree, for the same reasons that GDB, glibc, binutils and various other development tools are separate from GCC. -- What|Removed |Added Severity|normal |enhancement Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18844
[Bug ada/18858] ACATS ICE ce2109b ce2404b ce2410b at -O0: in expand_assignment, at expr.c:3756
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-25 03:51 --- +===GNAT BUG DETECTED==+ | 4.0.0 20050225 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | in expand_assignment, at expr.c:3811 | | Error detected at ce2109b.adb:80:5 | -- +===GNAT BUG DETECTED==+ | 4.0.0 20050225 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | in expand_assignment, at expr.c:3811 | | Error detected at ce2404b.adb:82:5 | -- +===GNAT BUG DETECTED==+ | 4.0.0 20050225 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | in expand_assignment, at expr.c:3811 | | Error detected at ce2410b.adb:84:5 | -- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kenner at vlsi1 dot ultra |dot org |dot nyu dot edu Status|UNCONFIRMED |ASSIGNED Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-02-25 03:51:03 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18858
[Bug ada/19519] GNAT Bug Box when reading a program with UTF-8 encoded enumeration literals
-- What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-02-25 04:33:05 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19519
[Bug ada/15977] Ada contributors should be documented
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-28 16:36 --- Documented contributors. -- What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15977
[Bug ada/19035] Put constants read-only on ELF platforms
--- Additional Comments From bosch at gcc dot gnu dot org 2005-03-16 04:32 --- This program leads to erroneous execution. This is consistent with the Ada standard. If you're really determined to shoot yourself in the foot, Ada will let you. It may hurt. There is no bug here. -- What|Removed |Added Status|NEW |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19035
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
-- What|Removed |Added Attachment #9230|application/octet-stream|text/plain mime type|| Attachment #9230 is|0 |1 patch|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22381] Ada produces mis-match (non compatible) types in MODIFY_EXPR
--- Additional Comments From bosch at gcc dot gnu dot org 2005-07-12 01:46 --- This seems a problem where Gigi adds padding, but does not add a convert. The padding is added at decl.c:698, and 20 lines later, there is a complex condition to figure out when and when not to add a "convert". This condition seems to be wrong, as for this test case no conversion to the padded type is added, while there should have been one. -Geert -- What|Removed |Added CC||kenner at gcc dot gnu dot ||org AssignedTo|unassigned at gcc dot gnu |bosch at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-07-12 01:46:26 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22381
[Bug ada/41675] GNAT rejects type with 64 bits, claiming it has 65 bits
--- Comment #1 from bosch at gcc dot gnu dot org 2009-12-02 15:34 --- This base type is indeed too large. This is not a bug. -- bosch at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41675
[Bug ada/42239] Pragma Inline_Always removes function calls with side effects
--- Comment #2 from bosch at gcc dot gnu dot org 2009-12-02 15:59 --- This was a front end bug, the -gnatG output already showed that all code was eliminated. I tried to find when it got fixed, but am not sure. -- bosch at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42239
[Bug ada/4945] Rewriting '-gant' as '-gnat' is failing
--- Comment #9 from bosch at gcc dot gnu dot org 2009-12-03 20:10 --- I think the current behavior of ignoring the option with a warning is fine. I agree with Wolfgang that If anything, we should remove any processing for this misspelling. A patch to that effect is welcomed, but this is obviously a very low priority. -- bosch at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4945
[Bug ada/19865] [4.0 Regression] ice / gnat bug detected.
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-14 20:11 --- This happens after in verify-ssa after running the kill_redundant_phi_nodes pass. It would be great if someone with a better understanding of this pass could take a look at this bug. -- What|Removed |Added CC||bosch at gnat dot com Last reconfirmed|2005-02-09 19:47:29 |2005-02-14 20:11:08 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19865
[Bug ada/18099] New: Incorrect rounding from floating point to integer
Ada requires conversion of floating-point to integer to round, with halfway cases rounded away from zero. This is implemented by adding 0.5 to the floating-point value and then truncating, as in regular C float to int conversion. However, this gives wrong semantics for the predecessor of 0.5, and odd floating-point integers in the range 2.0**(mantissa - 1)+1.0 .. 2.0**(mantissa)-1.0 and the negative versions of these. The reason is that adding 0.5 in the above cases, yields a value exactly between two representable floating-point numbers. So the predecessor of 0.5 is then rounded to one, and the floating-point integers mentioned before get rounded to the next higher integer. I'll file a self-contained test case testing these cases. -- Summary: Incorrect rounding from floating point to integer Product: gcc Version: 3.4.3 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P2 Component: ada AssignedTo: bosch at gcc dot gnu dot org ReportedBy: bosch at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18099
[Bug ada/18099] Incorrect rounding from floating point to integer
--- Additional Comments From bosch at gcc dot gnu dot org 2004-10-21 17:04 --- Created an attachment (id=7396) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7396&action=view) Test case showing failure -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18099
[Bug ada/18099] Incorrect rounding from floating point to integer
-- What|Removed |Added Status|UNCONFIRMED |ASSIGNED Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2004-10-21 17:06:06 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18099