1--  { dg-do compile }
2
3package body Spark1 is
4
5   task body Worker is
6
7      procedure Update with
8        Global => (In_Out => Mailbox) --  { dg-error "global item \"Mailbox\" cannot have mode In_Out or Output|item already appears as input of task \"Worker\"" }
9      is
10         Tmp : Integer := Mailbox;
11      begin
12         Mailbox := Tmp + 1;
13      end Update;
14
15      X : Integer := Mailbox;
16   begin
17      loop
18         Update;
19      end loop;
20   end;
21
22end;
23