--- Comment #11 from jakub at gcc dot gnu dot org 2008-10-21 14:50 ---
Fixed.
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #10 from jakub at gcc dot gnu dot org 2008-10-16 12:33 ---
Subject: Bug 37664
Author: jakub
Date: Thu Oct 16 12:32:01 2008
New Revision: 141171
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141171
Log:
PR tree-optimization/37664
* fold-const.c (fold_
--- Comment #9 from rguenther at suse dot de 2008-10-15 12:15 ---
Subject: Re: [4.4 Regression] ice in
remove_range_assertions, at tree-vrp.c:5116
On Wed, 15 Oct 2008, jakub at gcc dot gnu dot org wrote:
> --- Comment #8 from jakub at gcc dot gnu dot org 2008-10-15 11:59 ---
--- Comment #8 from jakub at gcc dot gnu dot org 2008-10-15 11:59 ---
Anyway, the ICE is caused by PR37327. As
139890rguenth if (TREE_CODE (val) == INTEGER_CST
139890rguenth && TREE_OVERFLOW (val))
139890rguenth val = build_int_cst_wide (TREE_TYPE (val),
139890
--- Comment #7 from rguenth at gcc dot gnu dot org 2008-09-30 12:46 ---
IMHO force_fit_type_double is correct. We also set TREE_OVERFLOW on
truncations which are implementation defined.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Adde
--- Comment #6 from jakub at gcc dot gnu dot org 2008-09-30 10:03 ---
For -fwrapv I wonder why we add TREE_OVERFLOW at all.
force_fit_type_double does:
/* Size types *are* sign extended. */
sign_extended_type = (!TYPE_UNSIGNED (type)
|| (TREE_CODE (type) ==
--- Comment #5 from regehr at cs dot utah dot edu 2008-09-30 03:04 ---
(In reply to comment #3)
> The testcase is invalid, signed integer overflow is undefined behavior.
It still crashes when -fwrapv or -ftrapv is added to the command line.
--
http://gcc.gnu.org/bugzilla/show_bug.c
--- Comment #4 from pinskia at gcc dot gnu dot org 2008-09-29 21:14 ---
(In reply to comment #3)
> The testcase is invalid, signed integer overflow is undefined behavior.
The code is semantically valid but just runtime undefined ...
--
pinskia at gcc dot gnu dot org changed:
--- Comment #3 from jakub at gcc dot gnu dot org 2008-09-29 13:28 ---
The testcase is invalid, signed integer overflow is undefined behavior.
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
-
--- Comment #2 from pinskia at gcc dot gnu dot org 2008-09-27 23:21 ---
Here is a reduced testcase:
int g_128;
int func_98 ()
{
int p_100 = 0x8EL;
int l_114 = 0x8899A862L;
int left = g_128;
int p_113 = 0x8EL * l_114;
int right = (p_113 % p_113);
if (left > (4294967295U >> rig
10 matches
Mail list logo