[Bug c/64470] New: “floating constant exceeds range” warning for constants that should fit

[Bug c/64470] New: “floating constant exceeds range” warning for constants that should fit

[tg at mirbsd dot org]

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64470

            Bug ID: 64470
           Summary: “floating constant exceeds range” warning for
                    constants that should fit
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tg at mirbsd dot org

>From what I understand, 0x1.0p1024 (and 1E1024 which also warns) should fit
into a “double” if __DBL_MAX_EXP__ is 1024. This is a reduced testcase; the
original problem used 0x1.0p1024L but __LDBL_MAX_EXP__ on ARM is also 1024.

(sid-amd64)tglase@tglase:~ $ cat x.c
double foo = 0x1.0p1024;
(sid-amd64)tglase@tglase:~ $ /usr/lib/gcc-snapshot/bin/gcc -Woverflow -c x.c
x.c:1:1: warning: floating constant exceeds range of 'double' [-Woverflow]
 double foo = 0x1.0p1024;
 ^
(sid-amd64)tglase@tglase:~ $ /usr/lib/gcc-snapshot/bin/gcc --version
gcc (Debian 20141218-1) 5.0.0 20141218 (experimental) [trunk revision 218861]
Copyright (C) 2014 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

(sid-amd64)tglase@tglase:~ $ :| /usr/lib/gcc-snapshot/bin/gcc -E -dD - | fgrep
DBL_MAX_EXP                 
#define __DBL_MAX_EXP__ 1024
#define __LDBL_MAX_EXP__ 16384

This warning is spewn in libc/stdio/_fpmaxtostr.c in µClibc-ng, which we’re
trying to get to build warning-free at the moment.
>From gcc-bugs-return-472034-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 02 09:31:55 2015
Return-Path: <gcc-bugs-return-472034-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 2549 invoked by alias); 2 Jan 2015 09:31:54 -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 2524 invoked by uid 48); 2 Jan 2015 09:31:51 -0000
From: "tg at mirbsd dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug web/64471] New: 403 Forbidden on GCC 5 page
Date: Fri, 02 Jan 2015 09:31:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: web
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: tg at mirbsd dot org
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
Message-ID: <bug-64471-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-01/txt/msg00028.txt.bz2
Content-length: 595

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64471

            Bug ID: 64471
           Summary: 403 Forbidden on GCC 5 page
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: web
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tg at mirbsd dot org

https://gcc.gnu.org/gcc-5/

Forbidden

You don't have permission to access /gcc-5/ on this server.
Apache Server at gcc.gnu.org Port 443

Since this page is linked from the front page, I’d expect it to work ;-)
>From gcc-bugs-return-472035-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 02 09:36:34 2015
Return-Path: <gcc-bugs-return-472035-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4597 invoked by alias); 2 Jan 2015 09:36:33 -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 4556 invoked by uid 48); 2 Jan 2015 09:36:28 -0000
From: "ktietz at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression
Date: Fri, 02 Jan 2015 09:36:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ktietz at gcc dot gnu.org
X-Bugzilla-Status: NEW
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: cc
Message-ID: <bug-61135-4-2TeYARPsgj@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61135-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61135-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: 2015-01/txt/msg00029.txt.bz2
Content-length: 2693

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida135

Kai Tietz <ktietz at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ktietz at gcc dot gnu.org

--- Comment #5 from Kai Tietz <ktietz at gcc dot gnu.org> ---
No, I can still reproduce the ICE in make_decl_rtl, at varasm.c:1297

#2  0x007ae6e2 in make_decl_rtl (declÞcl@entry=0xffe80160)
    at ../../gcc/gcc/varasm.c:1293
#3  0x007fa975 in expand_expr_real_1 (exp=0xffe80160, target=<optimized out>,
    tmode=DImode, modifier=EXPAND_CONST_ADDRESS, alt_rtl=0x0,
    inner_reference_púlse) at ../../gcc/gcc/expr.c:9563
#4  0x008065d5 in expand_expr (modifier=<optimized out>, mode=DImode,
    target=0xfff670a0, exp=0xffe80160) at ../../gcc/gcc/expr.h:299
#5  expand_expr_addr_expr_1 (exp=exp@entry=0xffe80160,
    target=target@entry=0xfff670a0, tmode=tmode@entry=DImode,
    modifier=modifier@entry=EXPAND_NORMAL, as=as@entry=0 '\000')
    at ../../gcc/gcc/expr.c:7704
#6  0x008067f5 in expand_expr_addr_expr_1 (exp=<optimized out>,
    target=target@entry=0xfff670a0, tmode=tmode@entry=DImode,
    modifier=modifier@entry=EXPAND_NORMAL, as=as@entry=0 '\000')
    at ../../gcc/gcc/expr.c:7756
#7  0x007f7222 in expand_expr_addr_expr (modifier=EXPAND_NORMAL,
    tmode=DImode, target=0xfff670a0, exp=0xffe3fd20)
    at ../../gcc/gcc/expr.c:7832
#8  expand_expr_real_1 (exp=0xffe3fd20, target=<optimized out>, tmode=DImode,
    modifier=EXPAND_NORMAL, alt_rtl=0xdeca688, inner_reference_púlse)
    at ../../gcc/gcc/expr.c:10706
#9  0x00807334 in store_expr_with_bounds (exp=exp@entry=0xffe3fd20,
    target=target@entry=0xfff670a0, call_param_pÊll_param_p@entry=0,
    nontemporal=nontemporal@entryúlse, btarget=btarget@entry=0xffe45ca8)
    at ../../gcc/gcc/expr.c:5368
#10 0x008101f6 in expand_assignment (to=to@entry=0xffe45ca8,
    from=from@entry=0xffe3fd20, nontemporalúlse)
    at ../../gcc/gcc/expr.c:5137
#11 0x00ddab15 in expand_gimple_stmt_1 (stmt=0xffdd09f0)
    at ../../gcc/gcc/cfgexpand.c:3351
#12 expand_gimple_stmt (stmt=stmt@entry=0xffdd09f0)
    at ../../gcc/gcc/cfgexpand.c:3447
#13 0x00ddcb6c in expand_gimple_basic_block (bb=0xfff81080,
    disable_tail_calls=disable_tail_calls@entryúlse)
    at ../../gcc/gcc/cfgexpand.c:5280
#14 0x00ddeaad in (anonymous namespace)::pass_expand::execute (
    this=0x80056948, fun=0xfff303a8) at ../../gcc/gcc/cfgexpand.c:5889
#15 0x0090d285 in execute_one_pass (pass=pass@entry=0x80056948)
    at ../../gcc/gcc/passes.c:2311
#16 0x0090d714 in execute_pass_list_1 (pass=0x80056948, pass@entry=0x80054848)
...

[Bug c/64470] “floating constant exceeds range” warning for constants that should fit

[schwab@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64470

Andreas Schwab <schwab@linux-m68k.org> changed:

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

--- Comment #1 from Andreas Schwab <schwab@linux-m68k.org> ---
0x1.0p1024 does *not* fit in IEEE double.  The maximum finite value is (1 −
b^{−p})b^{e_{max}}.
>From gcc-bugs-return-472042-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 02 11:38:37 2015
Return-Path: <gcc-bugs-return-472042-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 28775 invoked by alias); 2 Jan 2015 11:38:37 -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 28751 invoked by uid 48); 2 Jan 2015 11:38:33 -0000
From: "janus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/60507] Passing function call into procedure argument not caught
Date: Fri, 02 Jan 2015 11:38:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: accepts-invalid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: janus at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: janus at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-60507-4-wPtE36GAn3@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60507-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60507-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: 2015-01/txt/msg00036.txt.bz2
Content-length: 436

https://gcc.gnu.org/bugzilla/show_bug.cgi?id`507

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #8 from janus at gcc dot gnu.org ---
Fixed with r219141. Closing.

Thanks for the report!

[Bug c/64470] “floating constant exceeds range” warning for constants that should fit

[joseph at codesourcery dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64470

--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
The definition of DBL_MAX_EXP (and thereby GCC's __DBL_MAX_EXP__) in C11 
is "maximum integer such that FLT_RADIX raised to one less than that power 
is a representable finite floating-point number, e_max".  Note the "one 
less than".