GNAT bug?

[Maciej Sobczak <no.spam@no.spam.com>]

Hi,

Consider this example code:

procedure Protected_Test is

    protected type P is
       entry E;
    end P;

    protected body P is
       entry E when True is
       begin
          null;
       end E;
    end P;

    Pr : P;

begin
    Pr.E;
end Protected_Test; :

and then:

$ gnatmake -gnatv -gnatwd protected_test

GNAT GPL 2005 (20050729)
Copyright 1992-2005 Free Software Foundation, Inc.

Compiling: protected_test.adb (source file time stamp: 2006-10-26 21:53:50)

      8.       entry E when True is
               |
         >>> warning: implicit dereference

  18 lines: No errors, 1 warning
gnatbind -x protected_test.ali
gnatlink protected_test.ali


The -gnatwd option is used to warn against implicit .all when access 
variable is used to access record components and has nothing to do with 
protected objects. Removing one of the options is enough to make the 
compiler happy with the entry keyword, but then the protection against 
implicit .all is lost.

Is it a bug or a feature?

-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/