[Bug ada/4720] GNAT programs do not support --help and --version

2005-02-23 Thread bosch at gcc dot gnu dot org


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

2005-02-23 Thread bosch at gcc dot gnu dot org

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

2005-02-23 Thread bosch at gcc dot gnu dot org

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

2005-02-23 Thread bosch at gcc dot gnu dot org


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

2005-02-24 Thread bosch at gcc dot gnu dot org


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

2005-02-24 Thread bosch at gcc dot gnu dot org


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

2005-02-24 Thread bosch at gcc dot gnu dot org


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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org


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

2005-02-24 Thread bosch at gcc dot gnu dot org


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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org


-- 
   What|Removed |Added

 Status|UNCONFIRMED |WAITING


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


[Bug ada/15977] Ada contributors should be documented

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org

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

2005-02-24 Thread bosch at gcc dot gnu dot org


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

2005-02-28 Thread bosch at gcc dot gnu dot org

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

2005-03-15 Thread bosch at gcc dot gnu dot org

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

2005-07-08 Thread bosch at gcc dot gnu dot org


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

2005-07-11 Thread bosch at gcc dot gnu dot org

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

2009-12-02 Thread bosch at gcc dot gnu dot org


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

2009-12-02 Thread bosch at gcc dot gnu dot org


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

2009-12-03 Thread bosch at gcc dot gnu dot org


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

2005-02-14 Thread bosch at gcc dot gnu dot org

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

2004-10-21 Thread bosch at gcc dot gnu dot org
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

2004-10-21 Thread bosch at gcc dot gnu dot org

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

2004-10-21 Thread bosch at gcc dot gnu dot org


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