public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517
@ 2014-11-17 11:51 dcb314 at hotmail dot com
2014-11-17 12:36 ` [Bug tree-optimization/63914] ICE " trippels at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: dcb314 at hotmail dot com @ 2014-11-17 11:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914
Bug ID: 63914
Summary: ice in set_lattice_value, at tree-ssa-ccp.c:517
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Created attachment 34003
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34003&action=edit
gzipped C source code
I just tried to compile the attached C code with the latest trunk
dated 20141116 on a Fedora Linux x86_64 box.
The compiler said
$ ../results/bin/gcc -std=c99 -O2 -ffast-math -c bug176.c
/home/dcb/rpmbuild/BUILD/darktable-1.4.2/src/common/interpolation.c: In
function ‘dt_interpolation_compute_pixel4c’:
/home/dcb/rpmbuild/BUILD/darktable-1.4.2/src/common/interpolation.c:879:1:
internal compiler error: in set_lattice_value, at tree-ssa-ccp.c:517
dt_interpolation_compute_pixel4c(
^
0xbac75e set_lattice_value(tree_node*, ccp_prop_value_t)
../../src/trunk/gcc/tree-ssa-ccp.c:517
0xbac8e1 visit_assignment(gimple_statement_base*, tree_node**)
../../src/trunk/gcc/tree-ssa-ccp.c:2256
0xba465e ccp_visit_stmt(gimple_statement_base*, edge_def**, tree_node**)
../../src/trunk/gcc/tree-ssa-ccp.c:2325
0xc1e6c9 simulate_stmt(gimple_statement_base*)
../../src/trunk/gcc/tree-ssa-propagate.c:340
0xc1d387 process_ssa_edge_worklist(vec<gimple_statement_base*, va_heap,
vl_ptr>*)
../../src/trunk/gcc/tree-ssa-propagate.c:414
0xc1d039 ssa_propagate(ssa_prop_result (*)(gimple_statement_base*, edge_def**,
tree_node**), ssa_prop_result (*)(gimple_statement_base*))
../../src/trunk/gcc/tree-ssa-propagate.c:885
0xba4021 do_ssa_ccp()
../../src/trunk/gcc/tree-ssa-ccp.c:2371
0xba4021 (anonymous namespace)::pass_ccp::execute(function*)
../../src/trunk/gcc/tree-ssa-ccp.c:2404
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
[dcb@zippy4 foundBugs]$
Flags -std=c99 -O2 -ffast-math required.
>From gcc-bugs-return-467026-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 17 12:00:53 2014
Return-Path: <gcc-bugs-return-467026-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 27664 invoked by alias); 17 Nov 2014 12:00:52 -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 27602 invoked by uid 48); 17 Nov 2014 12:00:49 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59708] clang-compatible checked arithmetic builtins
Date: Mon, 17 Nov 2014 12:00: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: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-59708-4-WLCbt6Tygc@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59708-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59708-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: 2014-11/txt/msg01498.txt.bz2
Content-length: 2338
https://gcc.gnu.org/bugzilla/show_bug.cgi?idY708
Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |trippels at gcc dot gnu.org
--- Comment #16 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
On ppc64 I get:
FAIL: gcc.dg/builtin-arith-overflow-1.c execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O0 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O0 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O0 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/63914] ICE in set_lattice_value, at tree-ssa-ccp.c:517
2014-11-17 11:51 [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517 dcb314 at hotmail dot com
@ 2014-11-17 12:36 ` trippels at gcc dot gnu.org
2014-11-17 14:00 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: trippels at gcc dot gnu.org @ 2014-11-17 12:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914
Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2014-11-17
Component|c |tree-optimization
CC| |trippels at gcc dot gnu.org
Ever confirmed|0 |1
Summary|ice in set_lattice_value, |ICE in set_lattice_value,
|at tree-ssa-ccp.c:517 |at tree-ssa-ccp.c:517
Target Milestone|--- |5.0
Known to fail| |4.8.3, 4.9.2, 5.0
--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
All supported gcc versions ICE:
markus@x4 test % cat bug176.c
typedef float __m128 __attribute__ ((__vector_size__ (16)));
__m128 a, d, e;
int b;
struct dt_interpolation c;
__m128
fn1 (float p1)
{
return (__attribute__ ((__vector_size__ (4 * sizeof 0))) float){ p1 };
}
__m128
fn2 (float p1)
{
return fn1 (p1);
}
struct dt_interpolation
{
int width;
};
void
fn3 (struct dt_interpolation *p1, int *p2)
{
int i = 0, n = 0;
while (i < 2 * p1->width)
n = i++;
*p2 = n;
}
void
fn4 ()
{
__m128 f;
fn3 (&c, &b);
__m128 g = fn2 (1.f / b);
e = (__m128){};
__m128 h = e;
for (int i = 0; i < 2 * c.width; i++)
{
for (; c.width;)
f = a;
h = f;
}
d = h * g;
}
markus@x4 test % gcc -std=c99 -O2 -ffast-math -c bug176.c
bug176.c: In function ‘fn4’:
bug176.c:28:1: internal compiler error: in set_lattice_value, at
tree-ssa-ccp.c:517
>From gcc-bugs-return-467031-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 17 12:46:16 2014
Return-Path: <gcc-bugs-return-467031-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4651 invoked by alias); 17 Nov 2014 12:46:15 -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 4198 invoked by uid 48); 17 Nov 2014 12:46:10 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59708] clang-compatible checked arithmetic builtins
Date: Mon, 17 Nov 2014 12:46: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: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59708-4-YZDu9Odq5W@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59708-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59708-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: 2014-11/txt/msg01503.txt.bz2
Content-length: 1391
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708
--- Comment #17 from Uroš Bizjak <ubizjak at gmail dot com> ---
On alpha-linux-gnu, I got following g++ failures:
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O0 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O0 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-18.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O0 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O2 execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O2 -flto
-fno-use-linker-plugin -flto-partition=none execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-6.c -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects execution test
>From gcc-bugs-return-467032-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 17 12:50:33 2014
Return-Path: <gcc-bugs-return-467032-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10684 invoked by alias); 17 Nov 2014 12:50: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 10627 invoked by uid 48); 17 Nov 2014 12:50:28 -0000
From: "izamyatin at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
Date: Mon, 17 Nov 2014 12:50:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: izamyatin at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-63897-4-RN7FZmnYcG@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63897-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63897-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: 2014-11/txt/msg01504.txt.bz2
Content-length: 3919
https://gcc.gnu.org/bugzilla/show_bug.cgi?idc897
Igor Zamyatin <izamyatin at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vmakarov at redhat dot com
--- Comment #5 from Igor Zamyatin <izamyatin at gmail dot com> ---
This again looks like RA issue (similar to the issue discussed in PR63620)
After ira we have
(insn/f 64 3 2 2 (parallel [
(set (reg:SI 94)
(unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT))
(clobber (reg:CC 17 flags))
]) 683 {set_got}
(expr_list:REG_UNUSED (reg:CC 17 flags)
(expr_list:REG_EQUIV (unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT)
(expr_list:REG_CFA_FLUSH_QUEUE (nil)
(nil)))))
.....
(insn 36 32 37 4 (set (reg/v:V4SI 92 [ t ])
(vec_merge:V4SI (vec_duplicate:V4SI (const_int 1 [0x1]))
(const_vector:V4SI [
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(const_int 1 [0x1]))) /nfs/ims/home/izamyati/test_63897.c:11 2456
{vec_setv4si_0}
(expr_list:REG_EQUAL (const_vector:V4SI [
(const_int 1 [0x1])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(nil)))
and after RA
(insn/f 64 3 2 2 (parallel [
(set (reg:SI 0 ax [94]) <---- got is in ax
(unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT))
(clobber (reg:CC 17 flags))
]) 683 {set_got}
(expr_list:REG_EQUIV (unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT)
(expr_list:REG_CFA_FLUSH_QUEUE (nil)
(nil))))
.......
(call_insn/i 21 20 22 2 (set (reg:SI 0 ax) <--- ax is changed
(call (mem:QI (symbol_ref:SI ("memcmp") [flags 0x41] <function_decl
0x141d86bd0 __builtin_memcmp>) [0 __builtin_memcmp S1 A8])
(const_int 16 [0x10]))) /nfs/ims/home/izamyati/test_63897.c:21 664
{*call_value}
(expr_list:REG_EH_REGION (const_int 0 [0])
(nil))
(nil))
(insn 22 21 23 2 (parallel [
(set (reg/f:SI 7 sp)
(plus:SI (reg/f:SI 7 sp)
(const_int 16 [0x10])))
(clobber (reg:CC 17 flags))
]) /nfs/ims/home/izamyati/test_63897.c:21 220 {*addsi_1}
(expr_list:REG_ARGS_SIZE (const_int 0 [0])
(nil)))
(insn 23 22 26 2 (set (reg:SI 0 ax [102])
(reg:SI 0 ax)) /nfs/ims/home/izamyati/test_63897.c:21 90
{*movsi_internal}
(nil))
.....
(insn 72 32 36 4 (set (reg:SI 0 ax [116]) <--- ax is again used as got
(plus:SI (reg:SI 0 ax [94])
(const:SI (unspec:SI [
(symbol_ref/u:SI ("*LC0") [flags 0x2])
] UNSPEC_MACHOPIC_OFFSET))))
/nfs/ims/home/izamyati/test_63897.c:11 213 {*leasi}
(expr_list:REG_EQUAL (symbol_ref/u:SI ("*LC0") [flags 0x2])
(nil)))
(insn 36 72 37 4 (set (reg/v:V4SI 21 xmm0 [orig:92 t ] [92])
(vec_merge:V4SI (vec_duplicate:V4SI (mem/u/c:SI (reg:SI 0 ax [116]) [0
S4 A32]))
(const_vector:V4SI [
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(const_int 1 [0x1]))) /nfs/ims/home/izamyati/test_63897.c:11 2456
{vec_setv4si_0}
(expr_list:REG_EQUAL (const_vector:V4SI [
(const_int 1 [0x1])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(nil)))
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/63914] ICE in set_lattice_value, at tree-ssa-ccp.c:517
2014-11-17 11:51 [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517 dcb314 at hotmail dot com
2014-11-17 12:36 ` [Bug tree-optimization/63914] ICE " trippels at gcc dot gnu.org
@ 2014-11-17 14:00 ` rguenth at gcc dot gnu.org
2014-11-17 14:13 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-11-17 14:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Target Milestone|5.0 |---
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/63914] ICE in set_lattice_value, at tree-ssa-ccp.c:517
2014-11-17 11:51 [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517 dcb314 at hotmail dot com
2014-11-17 12:36 ` [Bug tree-optimization/63914] ICE " trippels at gcc dot gnu.org
2014-11-17 14:00 ` rguenth at gcc dot gnu.org
@ 2014-11-17 14:13 ` rguenth at gcc dot gnu.org
2014-11-18 13:04 ` rguenth at gcc dot gnu.org
2014-11-18 13:04 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-11-17 14:13 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
We try to transition from
{ Inf, 0.0, 0.0, 0.0 } * { 0.0, 0.0, 0.0, 0.0 } == { Nan, 0.0, 0.0, 0.0 }
to
VARYING * { 0.0, 0.0, 0.0, 0.0 } == { 0.0, 0.0, 0.0, 0.0 }
which is... "interesting". -ffast-math allows for this as it considers
-ffinite-math-only for which the first constant folding returns an
"invalid" number. Hmm.
We have canonicalize_value that is supposed to catch this but it fails to
handle VECTOR_CSTs or COMPLEX_CSTs properly.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/63914] ICE in set_lattice_value, at tree-ssa-ccp.c:517
2014-11-17 11:51 [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517 dcb314 at hotmail dot com
` (2 preceding siblings ...)
2014-11-17 14:13 ` rguenth at gcc dot gnu.org
@ 2014-11-18 13:04 ` rguenth at gcc dot gnu.org
2014-11-18 13:04 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-11-18 13:04 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |5.0
Known to fail|5.0 |
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/63914] ICE in set_lattice_value, at tree-ssa-ccp.c:517
2014-11-17 11:51 [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517 dcb314 at hotmail dot com
` (3 preceding siblings ...)
2014-11-18 13:04 ` rguenth at gcc dot gnu.org
@ 2014-11-18 13:04 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-11-18 13:04 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Nov 18 13:03:46 2014
New Revision: 217712
URL: https://gcc.gnu.org/viewcvs?rev=217712&root=gcc&view=rev
Log:
2014-11-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/63914
* tree-ssa-ccp.c (canonicalize_value): Remove float value
canonicalization.
(valid_lattice_transition): Allow (partial) transition
from NaN to non-NaN if !HONOR_NANS.
(set_lattice_value): Check for valid lattice transitions
only when checking is enabled.
* gcc.dg/pr63914.c: New testcase.
Added:
trunk/gcc/testsuite/gcc.dg/pr63914.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-ccp.c
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2014-11-18 13:04 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-11-17 11:51 [Bug c/63914] New: ice in set_lattice_value, at tree-ssa-ccp.c:517 dcb314 at hotmail dot com
2014-11-17 12:36 ` [Bug tree-optimization/63914] ICE " trippels at gcc dot gnu.org
2014-11-17 14:00 ` rguenth at gcc dot gnu.org
2014-11-17 14:13 ` rguenth at gcc dot gnu.org
2014-11-18 13:04 ` rguenth at gcc dot gnu.org
2014-11-18 13:04 ` rguenth at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).