Your message dated Sat, 05 Apr 2014 11:51:16 +0200
with message-id <533fd214.9060...@debian.org>
and subject line closing old bug reports in gcc-snapshot
has caused the Debian Bug report #599572,
regarding gcc-snapshot: bogus "array subscript is above array bounds" in
extremely simple code with no loops
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
599572: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=599572
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: gcc-snapshot
Version: 20100918-1
Severity: normal
There are many bugs in gcc's bugzilla related to bogus array-bounds
warnings, but most of them seem to involve non-trivial loops and other
situations that may need non-trivial analysis by the compiler.
By contrast, the appended code seems to be almost trivial, and
contains no loops at all, but nonetheless elicits an "array subscript
is above array bounds" warning from the compiler:
g++-snapshot -O3 -S -Wall -Wextra tt.cc
tt.cc: In function 'Z test()':
tt.cc:15:21: warning: array subscript is above array bounds [-Warray-bounds]
[This is as minimal as I can get it -- moving, eliminating, or
changing any field in any of the structures seems to silence the
warning.]
Thanks,
-Miles
p.s. I wasn't sure whether it's better to report bugs with
gcc-snapshot to debian or to upstream bugzilla...
---- start of code "tt.c" ----
struct X
{
X () : x (0), y (0), z (0) { }
float x, y, z;
};
struct Y
{
Y () { ar[0] = 0; ar[1] = 0; ar[2] = 0; }
float ar[3];
};
struct Z
{
Z () : b (0), d (0) { }
Y a;
float b;
X c;
float d;
};
Z test () { return Z (); }
---- end of code ----
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (101,
'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.35-trunk-amd64 (SMP w/4 CPU cores)
Locale: LANG=ja_JP.UTF-8, LC_CTYPE=ja_JP.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gcc-snapshot depends on:
ii binutils 2.20.51.20100925-1 The GNU assembler, linker and bina
ii ecj-gcj [libecj-java- 3.5.1-1 standalone version of the Eclipse
ii libc6 2.11.2-6 Embedded GNU C Library: Shared lib
ii libc6-dev 2.11.2-6 Embedded GNU C Library: Developmen
ii libc6-dev-i386 2.11.2-6 Embedded GNU C Library: 32-bit dev
ii libc6-i386 2.11.2-6 Embedded GNU C Library: 32-bit sha
ii libcloog-ppl0 0.15.9-2 the Chunky Loop Generator (runtime
ii libecj-java-gcj 3.5.1-1 Eclipse Java compiler (native libr
ii libelfg0 0.8.13-1 an ELF object file access library
ii libgmp3c2 2:4.3.2+dfsg-1 Multiprecision arithmetic library
ii libgmpxx4ldbl 2:4.3.2+dfsg-1 Multiprecision arithmetic library
ii libmpc2 0.8.2-1+b1 multiple precision complex floatin
ii libmpfr4 3.0.0-2 multiple precision floating-point
ii libppl-c2 0.10.2-8 Parma Polyhedra Library (C interfa
ii libppl7 0.10.2-8 Parma Polyhedra Library (runtime l
ii python 2.6.6-3 interactive high-level object-orie
ii zlib1g 1:1.2.3.4.dfsg-3 compression library - runtime
gcc-snapshot recommends no packages.
Versions of packages gcc-snapshot suggests:
ii binutils-gold 2.20.51.20100925-1 The (experimental) GNU gold linker
-- no debconf information
--- End Message ---
--- Begin Message ---
closing old bug reports in gcc-snapshot; please recheck with 4.9 and reopen if
necessary.
--- End Message ---
