[Bug ada/40936] New: Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[Bug ada/40936] New: Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[ludovic at ludovic-brenta dot org]

(Debian bug #339356, which I realize was never forwarded upstream until now)

procedure gnat_bug is

   type voie is range 1..10;

   protected carrefour is
      entry entree_carrefour (voie);
   end carrefour;

   protected body carrefour is
      entry entree_carrefour (for v in voie)
      when true is
      begin
         accept entree_carrefour(v); -- remove this and you have a valid
program
      end entree_carrefour;
   end carrefour;

begin
   null;
end gnat_bug;

$ gnatmake gnat_bug.adb
gnatgcc -c gnat_bug.adb
+===========================GNAT BUG DETECTED==============================+
| 3.15p (Debian 3.15p-16) (i486-pc-linux-gnu) Assert_Failure atree.adb:678 |
| Error detected at gnat_bug.adb:13:10                                     |

+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (i486-pc-linux-gnu)        |
| Assert_Failure atree.adb:812                                             |
| Error detected at gnat_bug.adb:13:10                                     |

gcc-4.3 -c gnat_bug.adb
+===========================GNAT BUG DETECTED==============================+
| 4.3.2 (i486-pc-linux-gnu) Assert_Failure atree.adb:886                   |
| Error detected at gnat_bug.adb:13:10                                     |

gcc-4.4 -c gnat_bug.adb
+===========================GNAT BUG DETECTED==============================+
| 4.4.1 (i486-pc-linux-gnu) Assert_Failure atree.adb:884                   |
| Error detected at gnat_bug.adb:13:10                                     |


-- 
           Summary: Assert_Failure atree.adb:884 on illegal code (mixture of
                    protected object and accept of entry family)
           Product: gcc
           Version: 3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic at ludovic-brenta dot org


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

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[ludovic at ludovic-brenta dot org]

------- Comment #1 from ludovic at ludovic-brenta dot org  2009-08-01 22:49 -------
GNAT 3.15p used GCC 2.8.1 as its backend; the bug is that old :)


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.1.2 4.3.3 4.4.1


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

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2009-10-03 11:27 -------
Confirmed on SVN trunk.

+===========================GNAT BUG DETECTED==============================+
| 4.5.0 20091003 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
atree.adb:765|
| Error detected at gnat_bug.adb:13:10                                     |


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-10-03 11:27:32
               date|                            |


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

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[nicolas.boulenguez at free dot fr]

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

nicolas.boulenguez at free dot fr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nicolas.boulenguez at free
                   |                            |dot fr

--- Comment #3 from nicolas.boulenguez at free dot fr 2011-08-31 14:36:14 UTC ---
4.6.1 (x86_64-pc-linux-gnu) Assert_Failure atree.adb:794

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[nicolas.boulenguez at free dot fr]

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

--- Comment #4 from nicolas.boulenguez at free dot fr ---
I let you decide if this is related, but I get the same
4.6.4 (x86_64-pc-linux-gnu) Assert_Failure atree.adb:794
with this source
package Bug is
   package P is
      type T is new Integer;
   end P;
   V : P.T;
   B : Boolean := P."=" ((V, V));
end Bug;

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[nicolas.boulenguez at free dot fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40936

--- Comment #5 from nicolas.boulenguez at free dot fr ---
4.8.2 correctly detects the error:
gnat_bug.adb:13:10: enclosing body of accept must be a task