[Bug ada/42412] Illegal program accepted, RM 8.5.1(3), renames of classwide object

[ludovic at ludovic-brenta dot org]

------- Comment #1 from ludovic at ludovic-brenta dot org  2009-12-17 19:52 -------
$ gnatmake pak1
gcc-4.4 -c pak1.ads
pak1.ads:5:25: expected type "T1'class" defined at line 2
pak1.ads:5:25: found type "T1" defined at line 2
pak1.ads:6:19: dynamically tagged expression not allowed
gnatmake: "pak1.ads" compilation error

So the bug is fixed in 4.4.


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
      Known to fail|                            |4.3.4
      Known to work|                            |4.4.2
         Resolution|                            |FIXED


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