[Bug ada/31669] New: GNAT blows up during compilation

[Bug ada/31669] New: GNAT blows up during compilation

[anhvofrcaus at gmail dot com]

Ada compiler, GNAT, blows up during compilation of the code segment below with
an unhandled exception error message "raised RTSIFND.RE_NOT_AVAILABLE :
rts.find.adb:210"

package Abstract_Base is

   pragma Pure;

   type Base_Type is abstract tagged limited private;

   procedure Update (This : access Base_Type;
                     Data : in     Integer) is abstract;

private
   type Base_Type is abstract tagged limited null record;

end Abstract_Base;


with Abstract_Base;
package Re_Not_Available is

   pragma Remote_Call_Interface;

   type Base_Access is access all Abstract_Base.Base_Type'Class;

   type Subscription is private;
   Null_Sub : constant Subscription;

   procedure Subscribe (This : in out Subscription;
                        Callback : in Base_Access);

   procedure Unsubscribe (This : in out Subscription);


   type Publication is Private;
   Null_Pub : constant Publication;

   procedure Register (This : in out Publication);
   function Register return Publication;

   procedure Unregister (This : in out Publication);

   procedure Publish (This : Publication;
                      Data : Integer); 

private

   Max_Subscribers : constant := 20;
   type Subscriber_Id is range 0 .. Max_Subscribers;

   type Subscription is new Subscriber_Id;
   type Publication is new Boolean;

   Null_Sub : constant Subscription := 0;
   Null_Pub : constant Publication := False;

end Re_Not_Available;


-- 
           Summary: GNAT blows up during compilation
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anhvofrcaus at gmail dot com
 GCC build triplet: gcc-4.3-20070420
  GCC host triplet: RedHat 10.0 on X86
GCC target triplet: RedHat 10.0 on X86


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

[Bug ada/31669] GNAT blows up during compilation

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Severity|blocker                     |normal


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

[Bug ada/31669] GNAT blows up during compilation

[ludovic at ludovic-brenta dot org]

------- Comment #1 from ludovic at ludovic-brenta dot org  2007-05-03 19:47 -------
Please specify how you invoked the compiler, and understand that you need
gnatdist for distributed programs.  gnatdist is part of GLADE which is separate
from GNAT.


-- 


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

[Bug ada/31669] GNAT blows up during compilation

[anhvofrcaus at gmail dot com]

------- Comment #2 from anhvofrcaus at gmail dot com  2007-05-03 22:42 -------
Just use a normal command as shown below:

gcc -c re_not_available.ads

It is true that gnatdist is part of GLADE. However, it should reject the codes
rather raising exception and terminated.


-- 


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

[Bug ada/31669] GNAT blows up during compilation

[anhvofrcaus at gmail dot com]

------- Comment #3 from anhvofrcaus at gmail dot com  2007-06-26 15:15 -------
This problem does not occur in gcc-4.3-20070615.


-- 


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

[Bug ada/31669] GNAT blows up during compilation

[charlet at gcc dot gnu dot org]

------- Comment #4 from charlet at gcc dot gnu dot org  2007-10-14 12:36 -------
Fixed on trunk.


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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