public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/14363] New: gnat: Assert_Failure expander.adb:82
@ 2004-03-01 13:27 wolfgang dot clesle at gmx dot de
  2004-03-02 14:01 ` [Bug ada/14363] " charlet at gcc dot gnu dot org
  2004-06-15  8:45 ` ludovic dot brenta at insalien dot org
  0 siblings, 2 replies; 3+ messages in thread
From: wolfgang dot clesle at gmx dot de @ 2004-03-01 13:27 UTC (permalink / raw)
  To: gcc-bugs

Following Gnat Bug on compiling polyorb (same Bug in gcc 3.3.1, 3.3.2 and 3.3.3) 
+===========================GNAT BUG DETECTED==============================+
| 3.3.3 (i686-pc-linux-gnu) Assert_Failure expander.adb:82                 |
| Error detected at polyorb-utils-chained_lists.adb:44:4
[polyorb-annotations.ads:79:4]|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| concatenated together with no headers between files.                     |
+==========================================================================+

Full-Summary:
gcc3.3.3: gcc-3.3.3.tar.bz2
 
polyorb:
http://libre.act-europe.fr/polyorb/snapshots/polyorb-snap-7852.tar.gz

cd tmp; tar xzf polyorb-snap-7852.tar.gz
cd polyorb-snap-7852
configure
make 
==> first error
==> seems polyorb-bug (src/polyorb-transport-connected.adb)
==> patch file: p1.patch (at end)

make
..
..
../support/adacompiler -c -g -O2 -gnatfy -gnatwae -gnatpn -gnatg -I. -I.
polyorb-setup-tasking-ravenscar.ads -o polyorb-setup-tasking-ravenscar.o
+===========================GNAT BUG DETECTED==============================+
| 3.3.3 (i686-pc-linux-gnu) Assert_Failure expander.adb:82                 |
| Error detected at polyorb-utils-chained_lists.adb:44:4
[polyorb-annotations.ads:79:4]|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| concatenated together with no headers between files.                     |
+==========================================================================+

Please include these source files with error report

polyorb-setup-tasking-ravenscar.ads
polyorb-setup-tasking.ads
polyorb-setup.ads
polyorb.ads
polyorb-orb.ads
polyorb-asynch_ev.ads
polyorb-annotations.ads
polyorb-utils.ads
polyorb-utils-chained_lists.ads
polyorb-jobs.ads
polyorb-components.ads
polyorb-sequences.ads
polyorb-sequences-unbounded.ads
polyorb-binding_data.ads
polyorb-exceptions.ads
polyorb-any.ads
polyorb-smart_pointers.ads
polyorb-types.ads
polyorb-filters.ads
polyorb-objects.ads
polyorb-transport.ads
polyorb-buffers.ads
polyorb-opaque.ads
polyorb-opaque-chunk_pools.ads
polyorb-sockets.ads
polyorb-sockets_initialization.ads
polyorb-obj_adapters.ads
polyorb-any-nvlist.ads
polyorb-servants.ads
polyorb-poa_policies.ads
polyorb-poa_policies-thread_policy.ads
polyorb-references.ads
polyorb-utils-strings.ads
polyorb-requests.ads
polyorb-any-exceptionlist.ads
polyorb-task_info.ads
polyorb-tasking.ads
polyorb-tasking-condition_variables.ads
polyorb-tasking-mutexes.ads
polyorb-tasking-threads.ads
polyorb-utils-simple_flags.ads
polyorb-scheduler.ads
polyorb-tasking-profiles.ads
polyorb-tasking-profiles-ravenscar.ads
polyorb-tasking-profiles-ravenscar-threads.ads
polyorb-tasking-profiles-ravenscar-index_manager.ads
polyorb-tasking-profiles-ravenscar-mutexes.ads
polyorb-tasking-profiles-ravenscar-condition_variables.ads
polyorb-utils-rt_calendar.ads
polyorb-calendar.ads


*********************************** p1.patch *******************************
****************************************************************************
*** polyorb-transport-connected.adb	Mon Mar  1 14:16:00 2004
--- polyorb-transport-connected.adb-nok	Mon Mar  1 14:16:30 2004
***************
*** 104,115 ****
        --  The size of the data received is not known yet.
  
     begin
  
        if Reply in Filters.Interface.Disconnect_Confirmation then
!          --  WJC Handle_Close_Server_Connection
!          --  WJC  (ORB_Access (H.ORB).Tasking_Policy, H.TE);
           --  Close has been called on the transport endpoint.
           --  Both the Endpoint and the associated AES must
           --  now be destroyed.
  
           Close (H.TE.all);
--- 104,115 ----
        --  The size of the data received is not known yet.
  
     begin
  
        if Reply in Filters.Interface.Disconnect_Confirmation then
!          Handle_Close_Server_Connection
!            (ORB_Access (H.ORB).Tasking_Policy, H.TE);
           --  Close has been called on the transport endpoint.
           --  Both the Endpoint and the associated AES must
           --  now be destroyed.
  
           Close (H.TE.all);

-- 
           Summary: gnat: Assert_Failure expander.adb:82
           Product: gcc
           Version: 3.3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wolfgang dot clesle at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org,wolfgang dot clesle at
                    gmx dot de
 GCC build triplet: ../gcc-3.3.3/configure --prefix=/opt4sit3/GCC/3.3 --
                    program-suff
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug ada/14363] gnat: Assert_Failure expander.adb:82
  2004-03-01 13:27 [Bug ada/14363] New: gnat: Assert_Failure expander.adb:82 wolfgang dot clesle at gmx dot de
@ 2004-03-02 14:01 ` charlet at gcc dot gnu dot org
  2004-06-15  8:45 ` ludovic dot brenta at insalien dot org
  1 sibling, 0 replies; 3+ messages in thread
From: charlet at gcc dot gnu dot org @ 2004-03-02 14:01 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From charlet at gcc dot gnu dot org  2004-03-02 14:01 -------
Please submit self contained sources (if possible reduced) rather than providing
references to full packages.

Also, please remove the need of doing things such as configure, etc...
and reduce the report to the offending gcc command.

I suspect this problem is already fixed in GCC 3.4, but don't have any
easy way to verify since this report is not self contained.

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug ada/14363] gnat: Assert_Failure expander.adb:82
  2004-03-01 13:27 [Bug ada/14363] New: gnat: Assert_Failure expander.adb:82 wolfgang dot clesle at gmx dot de
  2004-03-02 14:01 ` [Bug ada/14363] " charlet at gcc dot gnu dot org
@ 2004-06-15  8:45 ` ludovic dot brenta at insalien dot org
  1 sibling, 0 replies; 3+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-06-15  8:45 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From ludovic dot brenta at insalien dot org  2004-06-15 08:45 -------
Yes indeed, this bug is solved in GCC 3.4.

The bug is also present in GNAT 3.15p on Debian; it is triggered by
-gnatn.  I did not have to patch PolyORB, but removing -gnatn works
around the problem.

(compiling polyorb-1.1r: ./configure; make)

-- 
Ludovic Brenta.


-- 


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


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2004-06-15  8:45 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-03-01 13:27 [Bug ada/14363] New: gnat: Assert_Failure expander.adb:82 wolfgang dot clesle at gmx dot de
2004-03-02 14:01 ` [Bug ada/14363] " charlet at gcc dot gnu dot org
2004-06-15  8:45 ` ludovic dot brenta at insalien 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).