--- Comment #9 from sam at gcc dot gnu dot org 2008-04-16 12:38 ---
Subject: Bug 29015
Author: sam
Date: Wed Apr 16 12:37:38 2008
New Revision: 134345
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=134345
Log:
gcc/ada/
PR ada/29015
* sem_ch12.adb
--- Comment #10 from sam at gcc dot gnu dot org 2008-04-16 12:44 ---
This is fixed in the current GCC SVN.
--
sam at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #5 from laguest at archangeli dot demon dot co dot uk
2008-04-09 19:45 ---
This is still a problem on 4.4.0 trunk.
Luke.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29015
--- Comment #6 from ludovic at ludovic-brenta dot org 2008-04-09 20:10
---
Reduced test case:
package Observers is
type Observer is tagged null record;
type Observer_Access is access all Observers.Observer'Class;
end Observers;
limited with Observers;
with
--- Comment #7 from ludovic at ludovic-brenta dot org 2008-04-09 20:25
---
Further reduced test case: replace observers.ads with:
package Observers is
type Observer is new Integer;
type Observer_Access is access Observer;
end Observers;
and the bug is still there.
--
--- Comment #8 from sam at gcc dot gnu dot org 2008-04-09 20:40 ---
Yes, the bug manifests when the view on the type is limited at this point *but*
we know the underlying type (because of a non-limited with for example). This
triggers it if you compile p2.adb:
package P1 is
type T
--- Comment #4 from sam at gcc dot gnu dot org 2007-12-07 14:01 ---
Confirmed on SVN trunk
+===GNAT BUG DETECTED==+
| 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure
atree.adb:962|
| Error detected at
--- Comment #2 from laguest at archangeli dot demon dot co dot uk
2006-09-18 16:11 ---
Seems this was an error based on the use of a limited view of a type. I don't
know whether this is actually allowed in the Ada 2005 standard, i.e passing a
reference to a limited view to a container?
--- Comment #3 from laurent at guerby dot net 2006-09-18 17:55 ---
Confirmed.
$ gcc -c -gnat05 test_observers.adb
+===GNAT BUG DETECTED==+
| 4.2.0 20060915 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
atree.adb:812|
|
--- Comment #1 from laguest at archangeli dot demon dot co dot uk
2006-09-17 19:42 ---
Using the current SVN source (17/09/06) I get a slightly different error (with
the same source):
gcc -c -gnat05 test_observers.adb
+===GNAT BUG
--
ebotcazou at gcc dot gnu dot org changed:
What|Removed |Added
Severity|blocker |normal
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29015
11 matches
Mail list logo