public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/15610] New: Illegal program not detected, generic formal parameter hides declared item
@ 2004-05-23 23:40 ludovic dot brenta at insalien dot org
2004-05-24 1:18 ` [Bug ada/15610] Invalid " pinskia at gcc dot gnu dot org
` (2 more replies)
0 siblings, 3 replies; 6+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-05-23 23:40 UTC (permalink / raw)
To: gcc-bugs
procedure Test_244942 is
function f1 return integer is begin return 1; end f1;
generic
with function foo return integer;
package pak1 is
type color is (foo);
end pak1;
package new_pak1 is new pak1(f1);
i: integer := new_pak1.foo; -- ERROR: integer vs. color
begin
null;
end Test_244942;
The compiler says nothing.
--
Summary: Illegal program not detected, generic formal parameter
hides declared item
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15610
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/15610] Invalid program not detected, generic formal parameter hides declared item
2004-05-23 23:40 [Bug ada/15610] New: Illegal program not detected, generic formal parameter hides declared item ludovic dot brenta at insalien dot org
@ 2004-05-24 1:18 ` pinskia at gcc dot gnu dot org
2004-07-20 10:27 ` cvs-commit at gcc dot gnu dot org
2004-07-20 10:30 ` charlet at gcc dot gnu dot org
2 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-24 1:18 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |accepts-invalid
Summary|Illegal program not |Invalid program not
|detected, generic formal |detected, generic formal
|parameter hides declared |parameter hides declared
|item |item
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15610
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/15610] Invalid program not detected, generic formal parameter hides declared item
2004-05-23 23:40 [Bug ada/15610] New: Illegal program not detected, generic formal parameter hides declared item ludovic dot brenta at insalien dot org
2004-05-24 1:18 ` [Bug ada/15610] Invalid " pinskia at gcc dot gnu dot org
@ 2004-07-20 10:27 ` cvs-commit at gcc dot gnu dot org
2004-07-20 10:30 ` charlet at gcc dot gnu dot org
2 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-07-20 10:27 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-07-20 10:27 -------
Subject: Bug 15610
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: charlet@gcc.gnu.org 2004-07-20 10:26:52
Modified files:
gcc/ada : a-elchha.adb a-except.adb a-exexda.adb
a-exextr.adb clean.adb freeze.adb Makefile.rtl
mlib-utl.adb osint.adb sem_ch3.adb sem_ch4.adb
sem_ch8.adb s-taprob.adb s-tarest.adb
s-tasini.adb trans.c makegpr.adb ChangeLog
Added files:
gcc/ada : s-solita.ads s-solita.adb
Log message:
2004-07-20 Olivier Hainque <hainque@act-europe.fr>
* a-elchha.adb (Last_Chance_Handler): Remove the bogus buffer dynamic
allocation and potentially overflowing update with
Tailored_Exception_Information. Use the sec-stack free procedural
interface to output Exception_Information instead.
* a-except.adb (To_Stderr): New subprogram for character, and string
version moved from a-exextr to be visible from other separate units.
(Tailored_Exception_Information): Remove the procedural version,
previously used by the default Last_Chance_Handler and not any more.
Adjust various comments.
* a-exexda.adb: Generalize the exception information procedural
interface, to minimize the use of secondary stack and the need for
local buffers when the info is to be output to stderr:
(Address_Image): Removed.
(Append_Info_Character): New subprogram, checking for overflows and
outputing to stderr if buffer to fill is of length 0.
(Append_Info_String): Output to stderr if buffer to fill is of length 0.
(Append_Info_Address, Append_Info_Exception_Name,
Append_Info_Exception_Message, Append_Info_Basic_Exception_Information,
Append_Info_Basic_Exception_Traceback,
Append_Info_Exception_Information): New subprograms.
(Append_Info_Nat, Append_Info_NL): Use Append_Info_Character.
(Basic_Exception_Info_Maxlength, Basic_Exception_Tback_Maxlength,
Exception_Info_Maxlength, Exception_Name_Length,
Exception_Message_Length): New subprograms.
(Exception_Information): Use Append_Info_Exception_Information.
(Tailored_Exception_Information): Use
Append_Info_Basic_Exception_Information.
Export services for the default Last_Chance_Handler.
* a-exextr.adb (To_Stderr): Remove. Now in a-except to be usable by
other separate units.
2004-07-20 Vincent Celier <celier@gnat.com>
* clean.adb, mlib-utl.adb, osint.adb, makegpr.adb: Minor reformatting.
2004-07-20 Ed Schonberg <schonberg@gnat.com>
* freeze.adb (Freeze_Entity): If entity is a discriminated record type,
emit itype references for the designated types of component types that
are declared outside of the full record declaration, and that may
denote a partial view of that record type.
2004-07-20 Ed Schonberg <schonberg@gnat.com>
PR ada/15607
* sem_ch3.adb (Build_Discriminated_Subtype): Do not attach a subtype
which is the designated type in an access component declaration, to the
list of incomplete dependents of the parent type, to avoid elaboration
issues with out-of-scope subtypes.
(Complete_Private_Subtype): Recompute Has_Unknown_Discriminants from the
full view of the parent.
2004-07-20 Ed Schonberg <schonberg@gnat.com>
PR ada/15610
* sem_ch8.adb (Find_Expanded_Name): If name is overloaded, reject
entities that are hidden, such as references to generic actuals
outside an instance.
2004-07-20 Javier Miranda <miranda@gnat.com>
* sem_ch4.adb (Try_Object_Operation): New subprogram that gives
support to the new notation.
(Analyze_Selected_Component): Add call to Try_Object_Operation.
2004-07-20 Jose Ruiz <ruiz@act-europe.fr>
* s-taprob.adb: Adding the elaboration code required for initializing
the tasking soft links that are common to the full and the restricted
run times.
* s-tarest.adb (Init_RTS): Tasking soft links that are shared with the
restricted run time has been moved to the package
System.Soft_Links.Tasking.
* s-tasini.adb (Init_RTS): Tasking soft links that are shared with the
restricted run time has been moved to the package
System.Soft_Links.Tasking.
* Makefile.rtl: Add entry for s-solita.o in run-time library list.
* s-solita.ads, s-solita.adb: New files.
2004-07-20 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* trans.c (Identifier_to_gnu, Pragma_to_gnu, Attribute_to_gnu,
Case_Statement_to_gnu): Split off from gnat_to_gnu.
(Loop_Statement_to_gnu, Subprogram_Body_to_gnu, call_to_gnu,
Handled_Sequence_Of_Statements_to_gnu, Exception_Handler_to_gnu_sjlj,
Exception_Handler_to_gnu_zcx): Likewise.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/s-solita.ads.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/s-solita.adb.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-elchha.adb.diff?cvsroot=gcc&r1=1.2&r2=1.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-except.adb.diff?cvsroot=gcc&r1=1.14&r2=1.15
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-exexda.adb.diff?cvsroot=gcc&r1=1.2&r2=1.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-exextr.adb.diff?cvsroot=gcc&r1=1.3&r2=1.4
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/clean.adb.diff?cvsroot=gcc&r1=1.5&r2=1.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/freeze.adb.diff?cvsroot=gcc&r1=1.18&r2=1.19
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/Makefile.rtl.diff?cvsroot=gcc&r1=1.10&r2=1.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/mlib-utl.adb.diff?cvsroot=gcc&r1=1.6&r2=1.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/osint.adb.diff?cvsroot=gcc&r1=1.25&r2=1.26
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch3.adb.diff?cvsroot=gcc&r1=1.46&r2=1.47
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch4.adb.diff?cvsroot=gcc&r1=1.27&r2=1.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch8.adb.diff?cvsroot=gcc&r1=1.26&r2=1.27
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/s-taprob.adb.diff?cvsroot=gcc&r1=1.6&r2=1.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/s-tarest.adb.diff?cvsroot=gcc&r1=1.9&r2=1.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/s-tasini.adb.diff?cvsroot=gcc&r1=1.7&r2=1.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/trans.c.diff?cvsroot=gcc&r1=1.70&r2=1.71
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/makegpr.adb.diff?cvsroot=gcc&r1=1.9&r2=1.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.537&r2=1.538
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15610
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/15610] Invalid program not detected, generic formal parameter hides declared item
2004-05-23 23:40 [Bug ada/15610] New: Illegal program not detected, generic formal parameter hides declared item ludovic dot brenta at insalien dot org
2004-05-24 1:18 ` [Bug ada/15610] Invalid " pinskia at gcc dot gnu dot org
2004-07-20 10:27 ` cvs-commit at gcc dot gnu dot org
@ 2004-07-20 10:30 ` charlet at gcc dot gnu dot org
2 siblings, 0 replies; 6+ messages in thread
From: charlet at gcc dot gnu dot org @ 2004-07-20 10:30 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2004-07-20 10:30 -------
Fixed on mainline.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15610
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/15610] Invalid program not detected, generic formal parameter hides declared item
[not found] <bug-15610-286@http.gcc.gnu.org/bugzilla/>
2008-01-12 14:05 ` ludovic at ludovic-brenta dot org
@ 2008-01-13 15:49 ` rguenth at gcc dot gnu dot org
1 sibling, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-01-13 15:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rguenth at gcc dot gnu dot org 2008-01-13 15:42 -------
Non-regression shouldn't have a target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.0.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15610
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/15610] Invalid program not detected, generic formal parameter hides declared item
[not found] <bug-15610-286@http.gcc.gnu.org/bugzilla/>
@ 2008-01-12 14:05 ` ludovic at ludovic-brenta dot org
2008-01-13 15:49 ` rguenth at gcc dot gnu dot org
1 sibling, 0 replies; 6+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2008-01-12 14:05 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from ludovic at ludovic-brenta dot org 2008-01-12 13:52 -------
By adding one line to the test case, we can see the bug reappears:
procedure Test_244942 is
function f1 return integer is begin return 1; end f1;
generic
with function foo return integer;
package pak1 is
type color is (foo);
type color2 is (foo); -- this line was added
end pak1;
package new_pak1 is new pak1(f1);
i: integer := new_pak1.foo; -- ERROR: integer vs. color
begin
null;
end Test_244942;
gnatmake test_244942
gcc-4.1 -c test_244942.adb
gnatbind -x test_244942.ali
gnatlink test_244942.ali
gcc-4.2 -c test_244942.adb
gnatbind -x test_244942.ali
gnatlink test_244942.ali
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Known to fail| |3.4.0 4.1.2 4.2.2
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15610
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2008-01-13 15:42 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-05-23 23:40 [Bug ada/15610] New: Illegal program not detected, generic formal parameter hides declared item ludovic dot brenta at insalien dot org
2004-05-24 1:18 ` [Bug ada/15610] Invalid " pinskia at gcc dot gnu dot org
2004-07-20 10:27 ` cvs-commit at gcc dot gnu dot org
2004-07-20 10:30 ` charlet at gcc dot gnu dot org
[not found] <bug-15610-286@http.gcc.gnu.org/bugzilla/>
2008-01-12 14:05 ` ludovic at ludovic-brenta dot org
2008-01-13 15:49 ` rguenth 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).