[Bug ada/28394] New: Ambiguous call not detected when using dotted notation

["kafka dot fr at laposte dot net" <gcc-bugzilla at gcc dot gnu dot org>]

See attached code example.

When using dotted notation to call Setup() (as in first line in Test
procedure), the compiler doesn't say anything, the Setup() procedure actually
called is the one from the package Pkg.

When using traditional notation (as in second line in Test procedure), the
compiler outputs an ambiguity error message:

test.adb:6:11: ambiguous expression (cannot resolve "Setup")
test.adb:6:11: possible interpretation at der_pkg.ads:5
test.adb:6:11: possible interpretation at der_pkg.ads:3

Which seems more sensible than no message at all.

The attached "bug" file can be expanded to five files using gnatchop.

The program has been compiled using:
$ gnatmake -gnat05 test
...which calls: 
gcc -c -gnat05 test.adb


"gcc -v" outputs:
$ gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.1.1/configure --prefix=/home/yves/Programs/gcc411/
--enable-languages=ada,c,c++,fortran --enable-libada
Thread model: posix
gcc version 4.1.1

For information, this misbehaviour has been initially found using the latest
GNAT GPL 2006 from AdaCore.


-- 
           Summary: Ambiguous call not detected when using dotted notation
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: kafka dot fr at laposte dot net
GCC target triplet: i686-pc-linux-gnu


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