[Bug libgcc/58571] New: Warning while building gcc

[Bug libgcc/58571] New: Warning while building gcc

[mirraz1 at rambler dot ru]

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

            Bug ID: 58571
           Summary: Warning while building gcc
           Product: gcc
           Version: 4.7.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: libgcc
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mirraz1 at rambler dot ru

While building gcc-4.7.3 I'v got this compilation warning:
gcc-4.7.3/libgcc/crtstuff.c:451:19: warning: array subscript is above array
bounds [-Warray-bounds]

[Bug libgcc/58571] Warning while building gcc

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |manu at gcc dot gnu.org
         Resolution|---                         |INVALID

--- Comment #1 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
Not a problem. See:

http://gcc.gnu.org/wiki/FAQ#stage1warnings
>From gcc-bugs-return-430748-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Sep 29 14:49:17 2013
Return-Path: <gcc-bugs-return-430748-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 18245 invoked by alias); 29 Sep 2013 14:49:17 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 18216 invoked by uid 48); 29 Sep 2013 14:49:14 -0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/58562] std::sort fails with -D_GLIBCXX_DEBUG enabled, whose bug?
Date: Sun, 29 Sep 2013 14:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 4.7.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-58562-4-IxGP7PArZO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58562-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58562-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-09/txt/msg01988.txt.bz2
Content-length: 655

http://gcc.gnu.org/bugzilla/show_bug.cgi?idX562

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |INVALID

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This looks like rockstar programmer work here:

  bool operator< (const matrixVectorProdTerm &j) const {
    return (hentry < j.hentry) || (gentry < j.gentry) || (dest < j.dest);
  };

http://www.sgi.com/tech/stl/StrictWeakOrdering.html

[Bug libgcc/58571] Warning while building gcc

[mirraz1 at rambler dot ru]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 5397 bytes --]

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

--- Comment #2 from Ilya <mirraz1 at rambler dot ru> ---
(In reply to Manuel López-Ibáñez from comment #1)
> Not a problem. See:
> 
> http://gcc.gnu.org/wiki/FAQ#stage1warnings

> GCC is built in stages. The first stage uses the system compiler, which may have bugs or not handle special conversion type characters handled by the GCC version being built (this particular warning). Therefore, warnings produced by the system compiler are often wrong. Please, do not report them.

The system compiler for the first stage was also gcc-4.7.3
>From gcc-bugs-return-430754-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Sep 29 16:49:01 2013
Return-Path: <gcc-bugs-return-430754-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 23893 invoked by alias); 29 Sep 2013 16:49:01 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 23843 invoked by uid 48); 29 Sep 2013 16:48:56 -0000
From: "laguest at archeia dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/58573] New: Bug box on return conditional expression with an imported function
Date: Sun, 29 Sep 2013 16:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ada
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: minor
X-Bugzilla-Who: laguest at archeia dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-58573-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-09/txt/msg01994.txt.bz2
Content-length: 2947

http://gcc.gnu.org/bugzilla/show_bug.cgi?idX573

            Bug ID: 58573
           Summary: Bug box on return conditional expression with an
                    imported function
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: laguest at archeia dot com

Created attachment 30927
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id0927&actioníit
Minimal files to cause bug box.

After defining a function which imports another C function and using this as
the return type in a conditional expression, I get a bug box.

$ gnatmake -gnatd.n -c debug.adb
gcc -c -gnatd.n debug.adb
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/system.ads
debug.adb
debug.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/interfac.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/i-c.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/s-parame.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/s-stalib.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/ada.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/a-unccon.ads
/home/laguest/opt/tinyada/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/adainclude/s-exctab.ads
+===========================GNAT BUG DETECTED==============================+
| 4.9.0 20130916 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
nlists.adb:930|
| Error detected at debug.adb:23: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.
Consider also -gnatd.n switch (see debug.adb).

debug.adb
debug.ads

compilation abandoned
gnatmake: "debug.adb" compilation error

I can get around the bug by changing the code to a temporary c.int and doing
the test on that.

...
      Error : C.int := SDL_Pixel_Format_Enum_To_Masks
        (Format,
         Bits,
         Red_Mask,
         Green_Mask,
         Blue_Mask,
         Alpha_Mask);
   begin
      return (if Error  = 1 then True else False);
   end To_Masks;
...