[Ada] Compiler loop on illegal nested accept statement
authorEd Schonberg <schonberg@adacore.com>
Fri, 5 Jul 2019 07:03:54 +0000 (07:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 5 Jul 2019 07:03:54 +0000 (07:03 +0000)
commit76e716d76171e50353e7eb80632ea75165eabdc0
tree251a07dbc848e282ba8c7305e01dde1da72033a5
parent3eb5e54a4a50f3e7c39a1f5435f9d4eedb26bb37
[Ada] Compiler loop on illegal nested accept statement

This patch fixes a "Compilation abandoned" message in a compiler built
with assertions, or a compiler loop otherwise, when an accept statement
contains an illegal accept statement for the same entry.

Compiling accept_in_accept.adb must yield:

accept_in_accept.adb:12:13:
          duplicate accept statement for same entry (RM 9.5.2 (15))

----
procedure accept_in_accept is

   task a_in_a is
      entry a (i : Integer);
   end a_in_a;

   task body a_in_a is
   begin
      select
         accept a (i : Integer) do
            null;
            accept a (i : integer) do
              null;
            end a;
         end a;
      or
         terminate;
      end select;
   end a_in_a;

begin
   a_in_a.a (1);
end accept_in_accept;

2019-07-05  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch9.adb (Analyze_Accept_Statement): If this is an illegal
accept statement for an enclosing entry abandon analysis to
prevent scope mismatches and potential infinite loops in
compiler.

From-SVN: r273129
gcc/ada/ChangeLog
gcc/ada/sem_ch9.adb