Bug#178790: gcc sig11 - no longer reproduced, hardware problem?

2003-02-19 Thread Vassilii Khachaturov
Today (2 reboots down the road), the very same cmdline in the
very same place (although untarred again into a different directory)
goes flawlessly. I am sorry to not have applied the sig11 FAQ
techniques on the spot during the original submission.

(I'm talking about http://www.tldp.org/FAQ/sig11/html/index.html )

What mislead me was that originally I tried the compilation several
times (with cleaning the whole tree, or just on the spot),
and it ALWAYS stopped on the same file. But the FAQ explains this
- I should have forced the gcc tools and the sources out of the cache
before the recompilation, which I haven't done.

The reason that I got back to it is that another bug (Bug #181153,
which I now CC to as well) raised a strong suspicion of the maintainer
that I might have a hardware problem, so I got back to revising
all the bugs filed from this machine. Coincidence of 2 bugs with
a strong possibility of a hardware problem is very suspicious.

I'll subject the machine to severe checks and will report if any
new stuff surfaces. Right now it has 6 days uptime w/o any problems
since the last reboot (the reboot was from the OOPS in Bug #181153).

/me LARTing myself heavily on the head

Sorry for having wasted your time in the (most likely) case it's a
hardware problem on my end.

Vassilii





Bug#181660: gnat-3.2: internal compiler error

2003-02-19 Thread Victor Porton
Package: gnat-3.2
Version: 1:3.2.3-0pre1

3.2.3 20030210 (prerelease) (i386-pc-linux-gnu)

libgtkada1-dev version 1.2.12-7 (note that installed libgtkada1-dev version is 
inconsistent with the version of Gnat, no other package version 
inconsistencies on my Debian), backstore_area.ad[bs] attached.

$ gcc-3.2 -c -O3 -gnatN -gnatp -gnatf -I/usr/include/gtkada -I/usr/lib/gtkada 
backstore_area.adb
+===GNAT BUG DETECTED==+   

| 3.2.3 20030210 (prerelease) (i386-pc-linux-gnu) Assert_Failure 
atree.adb:2571|
| Error detected at /usr/lib/gcc-lib/i386-linux/3.2.3/adainclude/i-cpoint.adb:4
1:1 [/usr/include/gtkada/gdk-even
| Please submit a bug report, see http://gcc.gnu.org/bugs.html.|   

| Include the entire contents of this bug box in the report.   |   

| Include the exact gcc-3.2 or gnatmake command that you entered.  |   

| Also include sources listed below in gnatchop format |   

| (concatenated together with no headers between files).   |   

+==+   




backstore_area.ads
Description: backstore_area.ads


backstore_area.adb
Description: backstore_area.adb
Victor Porton ([EMAIL PROTECTED])

Bug#181660: gnat-3.2: internal compiler error

2003-02-19 Thread Florian Weimer
Victor Porton <[EMAIL PROTECTED]> writes:

> | Error detected at 
> /usr/lib/gcc-lib/i386-linux/3.2.3/adainclude/i-cpoint.adb:4
> 1:1 [/usr/include/gtkada/gdk-even

This is a well-known GNAT bug, GCC PR 5679.




Address of 'char' is incorrect.

2003-02-19 Thread stephen . kennedy

>Submitter-Id:  net
>Originator:Stephen Kennedy
>Organization:  Telekinesys Research
>Confidential:  no
>Synopsis:  Address of 'char' is incorrect.
>Severity:  serious
>Priority:  medium
>Category:  c
>Class: wrong-code
>Release:   3.2.3 20030210 (Debian prerelease) (Debian testing/unstable)
>Environment:
System: Linux stag 2.4.19-686 #1 Thu Aug 8 21:30:09 EST 2002 i686 unknown
Architecture: i686


host: i386-pc-linux-gnu
build: i386-pc-linux-gnu
target: i386-pc-linux-gnu
configured with: ../src/configure -v 
--enable-languages=c,c++,java,f77,proto,pascal,objc,ada --prefix=/usr 
--mandir=/usr/share/man --infodir=/usr/share/info 
--with-gxx-include-dir=/usr/include/c++/3.2 --enable-shared --with-system-zlib 
--enable-nls --without-included-gettext --enable-__cxa_atexit 
--enable-clocale=gnu --enable-java-gc=boehm --enable-objc-gc i386-linux
>Description:

In the example below, '&a' is the address of a local copy of 'a' not of 
'a'.
if the type of 'a' is changed to int, it works as expected.

>How-To-Repeat:

#define TA char
#define TB int
#define TC int

void foobar(TA a, TB b, TC c);

int main()
{
foobar(1,2,3);
return 0;
}

void foobar(TA a, TB b, TC c)
{
printf("a == %i  claims %x\n", a, &a);
printf("a == %i  really %x\n", (&b)[-1], (&b)-1);
printf("b == %i  %x\n", b, &b);
printf("c == %i  %x\n", c, &c);
}

>Fix:




Bug#181679: gnat-3.2: Preelaborate, exceptions, and -gnatN

2003-02-19 Thread Victor Porton
Package: gnat-3.2
Version: 1:3.2.3-0pre1

3.2.3 20030210 (prerelease) (i386-pc-linux-gnu)

Compiler gives a wrong error message:

pts/7:x,1$ gcc-3.2 -c -gnatN p.ads
p.ads:5:08: instantiation error at s-exctab.adb:169
p.ads:5:08: non-static call not allowed in preelaborated unit

package P is

pragma Preelaborate;

E: exception;

procedure D;

end P;

package body P is

procedure D is
begin
null;
end;

end P;
-- 
Victor Porton ([EMAIL PROTECTED])





Re: c/9762: Address of 'char' is incorrect.

2003-02-19 Thread Neil Booth
[EMAIL PROTECTED] wrote:-

>   In the example below, '&a' is the address of a local copy of 'a' not of 
> 'a'.
>   if the type of 'a' is changed to int, it works as expected.

Works as who expected?  Where is the bug?  Please quote which part of
the C standard is violated.  You got an address, why are you unhappy?

Neil.

> #define TA char
> #define TB int
> #define TC int
> 
> void foobar(TA a, TB b, TC c);
> 
> int main()
> {
>   foobar(1,2,3);
>   return 0;
> }
> 
> void foobar(TA a, TB b, TC c)
> {
>   printf("a == %i  claims %x\n", a, &a);
>   printf("a == %i  really %x\n", (&b)[-1], (&b)-1);
>   printf("b == %i  %x\n", b, &b);
>   printf("c == %i  %x\n", c, &c);
> }




GNAT 3.15p

2003-02-19 Thread Jérôme Marant

Hi,

  GNAT 3.15p has been released last November and it is still
  not packaged in Debian. Since, the GNAT from GCC tree is
  still not stable enough, I'd suggest that we keep on updating
  the ACT public release.

  Jon Ward told he was packaging it but nothing seemed to
  happen.
  Is anyone still working on this or should I give it a try
  (I'm not the best skilled though)?

  Cheers,

-- 
Jérôme Marant

http://marant.org