public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "="
@ 2004-03-03 20:36 n dot brunot at cadwin dot com
2004-03-25 9:32 ` [Bug ada/14416] [3.4 Regression] Gnat does not compile valid code n dot brunot at cadwin dot com
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: n dot brunot at cadwin dot com @ 2004-03-03 20:36 UTC (permalink / raw)
To: gcc-bugs
found with 3.4.0 on native Linux and native Mingw
version 3.3.3 was fine
-- gnatmake -v gnat_equal_bug.adb
--
-- GNATMAKE 3.4.0 20040225 (prerelease) Copyright 1995-2004 Free Software
Foundation, Inc.
-- "gnat_equal_bug.ali" being checked ...
-- -> "gnat_equal_bug.ali" missing.
-- gcc -c gnat_equal_bug.adb
-- gnat_equal_bug.adb:27:04: instantiation error at line 18
-- gnat_equal_bug.adb:27:04: expected
type "Ada.Strings.Bounded.Bounded_String" from instance at line 25
-- gnat_equal_bug.adb:27:04: instantiation error at line 18
-- gnat_equal_bug.adb:27:04: found type "Ada.Strings.Bounded.Bounded_String"
from instance at line 25
-- End of compilation
-- gnatmake: "gnat_equal_bug.adb" compilation error
with Ada.Strings.Bounded;
procedure Gnat_Equal_Bug is
generic
type Element_Type is private;
type Index_Type is (<>);
type Element_Array is array (Index_Type range <>) of Element_Type;
with function Equal (Left, Right : Element_Type) return Boolean is "=";
function Generic_Presence (Left : Element_Type;
Right : Element_Array)
return Boolean;
function Generic_Presence (Left : Element_Type;
Right : Element_Array)
return Boolean is
begin
for I in Right'range loop
if Equal (Right (I), Left) then
return True;
end if;
end loop;
return False;
end Generic_Presence;
package Bnd_Str_128 is new Ada.Strings.Bounded.Generic_Bounded_Length (128);
type Bounded_String_Array is array (Positive range <>) of
Bnd_Str_128.Bounded_String;
function Item_Presence is new
Generic_Presence (Bnd_Str_128.Bounded_String, Positive,
Bounded_String_Array, Bnd_Str_128."=");
begin
null;
end Gnat_Equal_Bug;
--
Summary: [3.4 Regression] Gnat does not compile valid code with
redefined "="
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: n dot brunot at cadwin dot com
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14416
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/14416] [3.4 Regression] Gnat does not compile valid code
2004-03-03 20:36 [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "=" n dot brunot at cadwin dot com
@ 2004-03-25 9:32 ` n dot brunot at cadwin dot com
2004-03-29 13:37 ` [Bug ada/14416] [3.4/3.5 " n dot brunot at cadwin dot com
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: n dot brunot at cadwin dot com @ 2004-03-25 9:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From n dot brunot at cadwin dot com 2004-03-25 09:32 -------
not specific to redefined "="
It is a more general visibility problem
In this case, the bug appears with the new implementation of
Ada.Strings.Bounded
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[3.4 Regression] Gnat does |[3.4 Regression] Gnat does
|not compile valid code with |not compile valid code
|redefined "=" |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14416
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/14416] [3.4/3.5 Regression] Gnat does not compile valid code
2004-03-03 20:36 [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "=" n dot brunot at cadwin dot com
2004-03-25 9:32 ` [Bug ada/14416] [3.4 Regression] Gnat does not compile valid code n dot brunot at cadwin dot com
@ 2004-03-29 13:37 ` n dot brunot at cadwin dot com
2004-04-07 2:48 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: n dot brunot at cadwin dot com @ 2004-03-29 13:37 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From n dot brunot at cadwin dot com 2004-03-29 13:37 -------
same bug on version 3.5, not only 3.4 branch
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[3.4 Regression] Gnat does |[3.4/3.5 Regression] Gnat
|not compile valid code |does not compile valid code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14416
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/14416] [3.4/3.5 Regression] Gnat does not compile valid code
2004-03-03 20:36 [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "=" n dot brunot at cadwin dot com
2004-03-25 9:32 ` [Bug ada/14416] [3.4 Regression] Gnat does not compile valid code n dot brunot at cadwin dot com
2004-03-29 13:37 ` [Bug ada/14416] [3.4/3.5 " n dot brunot at cadwin dot com
@ 2004-04-07 2:48 ` pinskia at gcc dot gnu dot org
2004-06-05 20:26 ` mmitchel at gcc dot gnu dot org
2004-11-24 20:16 ` [Bug ada/14416] [3.4/4.0 " pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-04-07 2:48 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |rejects-valid
Target Milestone|--- |3.4.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14416
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/14416] [3.4/3.5 Regression] Gnat does not compile valid code
2004-03-03 20:36 [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "=" n dot brunot at cadwin dot com
` (2 preceding siblings ...)
2004-04-07 2:48 ` pinskia at gcc dot gnu dot org
@ 2004-06-05 20:26 ` mmitchel at gcc dot gnu dot org
2004-11-24 20:16 ` [Bug ada/14416] [3.4/4.0 " pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-06-05 20:26 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-06-05 20:26 -------
Ada PRs are never release-critical.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.1 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14416
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/14416] [3.4/4.0 Regression] Gnat does not compile valid code
2004-03-03 20:36 [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "=" n dot brunot at cadwin dot com
` (3 preceding siblings ...)
2004-06-05 20:26 ` mmitchel at gcc dot gnu dot org
@ 2004-11-24 20:16 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-24 20:16 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-24 20:16 -------
Fixed now on the mainline.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14416
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2004-11-24 20:16 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-03-03 20:36 [Bug ada/14416] New: [3.4 Regression] Gnat does not compile valid code with redefined "=" n dot brunot at cadwin dot com
2004-03-25 9:32 ` [Bug ada/14416] [3.4 Regression] Gnat does not compile valid code n dot brunot at cadwin dot com
2004-03-29 13:37 ` [Bug ada/14416] [3.4/3.5 " n dot brunot at cadwin dot com
2004-04-07 2:48 ` pinskia at gcc dot gnu dot org
2004-06-05 20:26 ` mmitchel at gcc dot gnu dot org
2004-11-24 20:16 ` [Bug ada/14416] [3.4/4.0 " pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).