[Bug ada/28394] New: Ambiguous call not detected when using dotted notation
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
[Bug ada/28394] Ambiguous call not detected when using dotted notation
--- Comment #1 from kafka dot fr at laposte dot net 2006-07-16 09:55 --- Created an attachment (id=11896) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11896&action=view) Source files to illustrate the bug -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28394
[Bug ada/22500] New: Bug box when using -gnat
--
Full output from gnatmake :
[EMAIL PROTECTED](0) Ada $ gnatmake -gnat05 -gnatc -gnatwe -gnatwa pkg1.adb
gcc -c -gnat05 -gnatc -gnatwe -gnatwa pkg1.adb
+===GNAT BUG DETECTED==+
| 4.1.0 20050714 (experimental) (i686-pc-linux-gnu) Assert_Failure
atree.adb:4124|
| Error detected at pkg1.adb:4:14 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.|
| Use a subject line meaningful to you and us to track the bug.|
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
list may be incomplete
compilation abandoned
gnatmake: "pkg1.adb" compilation error
--
gcc configure command:
../gcc/configure --prefix=/home/yves/Programs/gcc-bin/
--enable-languages=ada,c,c++ --enable-libada
gcc build command :
make CFLAGS='-O' LIBCFLAGS='-g -O2' LIBCXXFLAGS='-g -O2
-fno-implicit-templates' bootstrap
Using gcc 3.3 as preinstalled compiler :
[EMAIL PROTECTED](0) gcc-build $ gcc -v
Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib
--enable-nls --without-included-gettext --enable-__cxa_atexit
--enable-clocale=gnu --enable-debug --enable-java-gc=boehm
--enable-java-awt=xlib --enable-objc-gc i486-linux
Thread model: posix
gcc version 3.3.5 (Debian 1:3.3.5-8ubuntu2)
Using GNAT 3.15p as pre-installed Ada compiler, as packaged by kubuntu.
--
Summary: Bug box when using -gnat
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: kafka dot fr at laposte dot net
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: ../gcc/configure --prefix=/home/yves/Programs/gcc-bin/ -
-enable-
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: gcc version 4.1.0 20050714 (experimental)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
[Bug ada/22500] Bug box when using -gnat
--- Additional Comments From kafka dot fr at laposte dot net 2005-07-15 12:23 --- Created an attachment (id=9278) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9278&action=view) Concatenated source files that triggered the bug (for gnatchop) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
[Bug ada/22500] Bug box when using -gnatwa
--- Additional Comments From kafka dot fr at laposte dot net 2005-07-15 12:24 --- The bug box does not appear when I remove -gnatwa, the result is then fine. -- What|Removed |Added Summary|Bug box when using -gnat|Bug box when using -gnatwa http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
[Bug ada/23319] New: Compiler crash with interface as generic formal parameter
Full output from gnatmake :
--8<-8<-8<-8<-8<-8<-8<-8<-8<-8<---
[EMAIL PROTECTED](0) test $ gnatmake -gnat05 test
gcc -c -gnat05 test.adb
+===GNAT BUG DETECTED==+
| 4.1.0 20050806 (experimental) (i686-pc-linux-gnu) Program_Error
sem_ch12.adb:2051 explicit raise|
| Error detected at pkg.ads:5:7|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.|
| Use a subject line meaningful to you and us to track the bug.|
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
list may be incomplete
compilation abandoned
gnatmake: "test.adb" compilation error
--8<-8<-8<-8<-8<-8<-8<-8<-8<-8<---
Configure command for gcc :
../gcc-4.1-20050806/configure --prefix=/home/yves/Programs/gcc-bin/
--enable-languages=ada,c,c++
Build command for gcc :
make CFLAGS='-O' LIBCFLAGS='-g -O2' LIBCXXFLAGS='-g -O2
-fno-implicit-templates' bootstrap
Using gcc 3.3.5 as preinstalled compiler :
[EMAIL PROTECTED](0) ~ $ gcc -v
Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib
--enable-nls --without-included-gettext --enable-__cxa_atexit
--enable-clocale=gnu --enable-debug --enable-java-gc=boehm
--enable-java-awt=xlib --enable-objc-gc i486-linux
Thread model: posix
gcc version 3.3.5 (Debian 1:3.3.5-8ubuntu2)
Using GNAT 3.15p as pre-installed Ada compiler, as packaged by kubuntu.
--
Summary: Compiler crash with interface as generic formal
parameter
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: critical
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: kafka dot fr at laposte dot net
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: gcc (GCC) 4.1.0 20050806 (experimental)
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
[Bug ada/23319] Compiler crash with interface as generic formal parameter
--- Additional Comments From kafka dot fr at laposte dot net 2005-08-10 20:57 --- Created an attachment (id=9465) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9465&action=view) Files to trigger the bug (concatenated for use with gnatchop) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
[Bug ada/23319] crash with interface as generic formal parameter
--- Comment #6 from kafka dot fr at laposte dot net 2006-01-23 21:50 --- (In reply to comment #5) Just checked out "trunk" (rev 110142), it seems ok indeed. I even tried to instantiate the generic package with a dummy interface, it worked. Thanks a lot for the nice work. -- kafka dot fr at laposte dot net changed: What|Removed |Added CC| |kafka dot fr at laposte dot | |net Status|WAITING |NEW http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
[Bug ada/22500] Bug box when using -gnatwa
--- Comment #7 from kafka dot fr at laposte dot net 2006-01-23 21:56 --- (In reply to comment #6) Sorry, I get the very same bug using trunk (rev. 110140). Note this bug seems to deal with the "limited with" clause, nothing related to interfaces... Regards, -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
[Bug ada/30547] New: Never ending program initializing an array of array of Unbounded_String.
The following program never ends, after the string has been displayed the
program eats 75% of CPU forever:
--8<-8<-8<-8<-8<---
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
procedure Bug is
type A_1 is array(1..1) of Unbounded_String;
type A_2 is array(1..1) of A_1;
type Rec is
record
f: A_2 := (others => (others => Null_Unbounded_String));
end record;
var: Rec;
begin
Put_Line("Hello");
end Bug;
--8<-8<-8<-8<-8<---
The program works fine if the initialization is moved into the procedure's
body:
--8<-8<-8<-8<-8<---
[...]
type Rec is
record
f: A_2;
end record;
var: Rec;
begin
var.f := (others => (others => Null_Unbounded_String));
[...]
--8<-8<-8<-8<-8<---
$ gcc -v
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu
--enable-libstdcxx-debug --enable-mpfr --with-tune=i686
--enable-checking=release i486-linux-gnu
Thread model: posix
This problem seems rather old, it has been observed using GNAT 3.15p.
--
Summary: Never ending program initializing an array of array of
Unbounded_String.
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 build triplet: i486-linux-gnu
GCC host triplet: i486-linux-gnu
GCC target triplet: i486-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30547
