public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/16084] New: Illegal program not detected, RM 3.10.2(24)
@ 2004-06-19 15:02 ludovic dot brenta at insalien dot org
  2004-06-19 16:42 ` [Bug ada/16084] " pinskia at gcc dot gnu dot org
                   ` (2 more replies)
  0 siblings, 3 replies; 5+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-06-19 15:02 UTC (permalink / raw)
  To: gcc-bugs

-- RM 3.10.2(24)
-- X [in X'access or X'unchecked_access] shall denote an aliased
-- view of an object, including possibly the current instance (see 8.6)
-- of a limited type within its definition...
with Ada.Finalization;
package Test_248170 is
   type T1 is new Ada.Finalization.Controlled with null record;

   type T2;
   type T2_ptr is access all T2'class;

   type T2 is tagged
      record
         x1: T1;
         self: T2_ptr := T2'unchecked_access;  --ERROR: T2 not limited
      end record;

end Test_248170;



I expect an error message like this:
test_248170.ads:15:28: prefix of 'Unchecked_Access is not aliased and not the
current instance of a limited type

But the compiler says nothing.

-- 
           Summary: Illegal program not detected, RM 3.10.2(24)
           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


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


^ permalink raw reply	[flat|nested] 5+ messages in thread
end of thread, other threads:[~2014-08-13 15:34 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-16084-4@http.gcc.gnu.org/bugzilla/>
2011-08-31 11:36 ` [Bug ada/16084] Illegal program not detected, RM 3.10.2(24) nicolas.boulenguez at free dot fr
2014-08-13 15:34 ` nicolas.boulenguez at free dot fr
2004-06-19 15:02 [Bug ada/16084] New: " ludovic dot brenta at insalien dot org
2004-06-19 16:42 ` [Bug ada/16084] " pinskia at gcc dot gnu dot org
2004-10-29 14:35 ` pinskia at gcc dot gnu dot org
2004-10-29 14:45 ` 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).