public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073
@ 2009-03-13 12:33 linuxl4 at sohu dot com
2009-03-13 12:34 ` [Bug middle-end/39455] " linuxl4 at sohu dot com
` (17 more replies)
0 siblings, 18 replies; 20+ messages in thread
From: linuxl4 at sohu dot com @ 2009-03-13 12:33 UTC (permalink / raw)
To: gcc-bugs
{~/tmp}$gcc -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /svn/gcc/configure --prefix=/gcc-4.4/gcc --enable-shared
--enable-languages=c,c++,objc,obj-c++,fortran --disable-multilib
--with-gmp=/gcc-4.4/gmp --with-mpfr=/gcc-4.4/mpfr --with-ppl=/gcc-4.4/ppl
--with-cloog=/gcc-4.4/cloog
Thread model: posix
gcc version 4.4.0 20090313 (experimental) (GCC)
{~/tmp}$gcc -O2 -fprefetch-loop-arrays -c sort.c
/svn/gcc/libiberty/sort.c: In function 'sort_pointers':
/svn/gcc/libiberty/sort.c:47: internal compiler error: in compare_values_warnv,
at tree-vrp.c:1073
Please submit a full bug report,with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
--
Summary: ICE : in compare_values_warnv, at tree-vrp.c:1073
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: linuxl4 at sohu dot com
GCC build triplet: X86_64-PC-LINUX-GNU
GCC host triplet: X86_64-PC-LINUX-GNU
GCC target triplet: X86_64-PC-LINUX-GNU
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug middle-end/39455] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
@ 2009-03-13 12:34 ` linuxl4 at sohu dot com
2009-03-13 14:04 ` [Bug tree-optimization/39455] [4.3/4.4 Regression] " rguenth at gcc dot gnu dot org
` (16 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: linuxl4 at sohu dot com @ 2009-03-13 12:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from linuxl4 at sohu dot com 2009-03-13 12:34 -------
Created an attachment (id=17456)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17456&action=view)
the source
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
2009-03-13 12:34 ` [Bug middle-end/39455] " linuxl4 at sohu dot com
@ 2009-03-13 14:04 ` rguenth at gcc dot gnu dot org
2009-03-13 14:43 ` hjl dot tools at gmail dot com
` (15 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-03-13 14:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2009-03-13 14:03 -------
Confirmed. Works with 4.1 and 4.2.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Component|middle-end |tree-optimization
Ever Confirmed|0 |1
Keywords| |ice-on-valid-code
Known to fail| |4.3.3 4.4.0
Known to work| |4.1.2 4.2.4
Last reconfirmed|0000-00-00 00:00:00 |2009-03-13 14:03:54
date| |
Summary|ICE : in |[4.3/4.4 Regression] ICE :
|compare_values_warnv, at |in compare_values_warnv, at
|tree-vrp.c:1073 |tree-vrp.c:1073
Target Milestone|--- |4.3.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
2009-03-13 12:34 ` [Bug middle-end/39455] " linuxl4 at sohu dot com
2009-03-13 14:04 ` [Bug tree-optimization/39455] [4.3/4.4 Regression] " rguenth at gcc dot gnu dot org
@ 2009-03-13 14:43 ` hjl dot tools at gmail dot com
2009-03-13 14:57 ` jakub at gcc dot gnu dot org
` (14 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: hjl dot tools at gmail dot com @ 2009-03-13 14:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from hjl dot tools at gmail dot com 2009-03-13 14:43 -------
(In reply to comment #2)
> Confirmed. Works with 4.1 and 4.2.
>
I got
[hjl@gnu-16 rrs]$ gcc -O2 -fprefetch-loop-array pr39455.c -S
cc1: error: unrecognized command line option "-fprefetch-loop-array"
[hjl@gnu-16 rrs]$ gcc --version
gcc (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
Is -fprefetch-loop-array a new option in gcc 4.4?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (2 preceding siblings ...)
2009-03-13 14:43 ` hjl dot tools at gmail dot com
@ 2009-03-13 14:57 ` jakub at gcc dot gnu dot org
2009-03-13 16:38 ` hjl dot tools at gmail dot com
` (13 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-03-13 14:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from jakub at gcc dot gnu dot org 2009-03-13 14:57 -------
s/array/arrays/
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (3 preceding siblings ...)
2009-03-13 14:57 ` jakub at gcc dot gnu dot org
@ 2009-03-13 16:38 ` hjl dot tools at gmail dot com
2009-03-13 17:11 ` rguenth at gcc dot gnu dot org
` (12 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: hjl dot tools at gmail dot com @ 2009-03-13 16:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from hjl dot tools at gmail dot com 2009-03-13 16:38 -------
This is caused by revision 131502:
http://gcc.gnu.org/ml/gcc-cvs/2008-01/msg00263.html
http://gcc.gnu.org/ml/gcc-patches/2008-01/msg00539.html
--
hjl dot tools at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jh at suse dot cz
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (4 preceding siblings ...)
2009-03-13 16:38 ` hjl dot tools at gmail dot com
@ 2009-03-13 17:11 ` rguenth at gcc dot gnu dot org
2009-03-13 23:04 ` rguenth at gcc dot gnu dot org
` (11 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-03-13 17:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2009-03-13 17:10 -------
Well, exposed rather than caused.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (5 preceding siblings ...)
2009-03-13 17:11 ` rguenth at gcc dot gnu dot org
@ 2009-03-13 23:04 ` rguenth at gcc dot gnu dot org
2009-03-16 8:15 ` jakub at gcc dot gnu dot org
` (10 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-03-13 23:04 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (6 preceding siblings ...)
2009-03-13 23:04 ` rguenth at gcc dot gnu dot org
@ 2009-03-16 8:15 ` jakub at gcc dot gnu dot org
2009-03-16 8:28 ` Andrew Thomas Pinski
2009-03-16 8:29 ` pinskia at gmail dot com
` (9 subsequent siblings)
17 siblings, 1 reply; 20+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-03-16 8:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from jakub at gcc dot gnu dot org 2009-03-16 08:15 -------
Reduced testcase:
/* { dg-do compile } */
/* { dg-options "-O2 -fprefetch-loop-arrays" } */
void
foo (char *x, unsigned long y, unsigned char *z)
{
unsigned int c[256], *d;
for (d = c + 1; d < c + 256; ++d)
*d += d[-1];
x[--c[z[y]]] = 0;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-16 8:15 ` jakub at gcc dot gnu dot org
@ 2009-03-16 8:28 ` Andrew Thomas Pinski
0 siblings, 0 replies; 20+ messages in thread
From: Andrew Thomas Pinski @ 2009-03-16 8:28 UTC (permalink / raw)
To: gcc-bugzilla; +Cc: gcc-bugs
Sent from my iPhone
On Mar 16, 2009, at 1:15 AM, "jakub at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org
> wrote:
>
>
> ------- Comment #7 from jakub at gcc dot gnu dot org 2009-03-16
> 08:15 -------
> Reduced testcase:
>
> /* { dg-do compile } */
> /* { dg-options "-O2 -fprefetch-loop-arrays" } */
>
> void
> foo (char *x, unsigned long y, unsigned char *z)
> {
> unsigned int c[256], *d;
>
> for (d = c + 1; d < c + 256; ++d)
> *d += d[-1];
> x[--c[z[y]]] = 0;
Hmm. Could this be the char-- bug? Where the front-end/gimplifier does
not promote that to int?
Thanks,
Andrew Pinski
>
> }
>
>
> --
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
>
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (7 preceding siblings ...)
2009-03-16 8:15 ` jakub at gcc dot gnu dot org
@ 2009-03-16 8:29 ` pinskia at gmail dot com
2009-03-16 8:49 ` jakub at gcc dot gnu dot org
` (8 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: pinskia at gmail dot com @ 2009-03-16 8:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from pinskia at gmail dot com 2009-03-16 08:28 -------
Subject: Re: [4.3/4.4 Regression] ICE : in compare_values_warnv, at
tree-vrp.c:1073
Sent from my iPhone
On Mar 16, 2009, at 1:15 AM, "jakub at gcc dot gnu dot org"
<gcc-bugzilla@gcc.gnu.org
> wrote:
>
>
> ------- Comment #7 from jakub at gcc dot gnu dot org 2009-03-16
> 08:15 -------
> Reduced testcase:
>
> /* { dg-do compile } */
> /* { dg-options "-O2 -fprefetch-loop-arrays" } */
>
> void
> foo (char *x, unsigned long y, unsigned char *z)
> {
> unsigned int c[256], *d;
>
> for (d = c + 1; d < c + 256; ++d)
> *d += d[-1];
> x[--c[z[y]]] = 0;
Hmm. Could this be the char-- bug? Where the front-end/gimplifier does
not promote that to int?
Thanks,
Andrew Pinski
>
> }
>
>
> --
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
>
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (8 preceding siblings ...)
2009-03-16 8:29 ` pinskia at gmail dot com
@ 2009-03-16 8:49 ` jakub at gcc dot gnu dot org
2009-03-16 9:43 ` jakub at gcc dot gnu dot org
` (7 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-03-16 8:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from jakub at gcc dot gnu dot org 2009-03-16 08:49 -------
No, this seems to be aprefetch's pass fault, at least in quick skim
*.cunroll seems to be ok typewise, while *.aprefetch has:
D.1649_44 = &c + 1024;
D.1650_43 = (long unsigned int) D.1649_44;
if (&c[2] <= D.1650_43)
D.1650 is long unsigned int and c is unsigned int c[256], so obviously the
comparison above is wrong.
Will try to debug it.
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |jakub at gcc dot gnu dot org
|dot org |
Status|NEW |ASSIGNED
Last reconfirmed|2009-03-13 14:03:54 |2009-03-16 08:49:06
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (9 preceding siblings ...)
2009-03-16 8:49 ` jakub at gcc dot gnu dot org
@ 2009-03-16 9:43 ` jakub at gcc dot gnu dot org
2009-03-16 16:07 ` jakub at gcc dot gnu dot org
` (6 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-03-16 9:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from jakub at gcc dot gnu dot org 2009-03-16 09:43 -------
Seems tree-ssa-loop-niter.c has a lot of p+ issues. The following untested
patch fixes just the number_of_iterations_lt_to_ne bugs and fixes this
testcase:
--- gcc/tree-ssa-loop-niter.c.jj 2009-03-04 20:06:31.000000000 +0100
+++ gcc/tree-ssa-loop-niter.c 2009-03-16 10:30:39.000000000 +0100
@@ -699,8 +699,10 @@ number_of_iterations_lt_to_ne (tree type
iv0->base <= iv1->base + MOD. */
if (!iv0->no_overflow && !integer_zerop (mod))
{
- bound = fold_build2 (MINUS_EXPR, type,
+ bound = fold_build2 (MINUS_EXPR, type1,
TYPE_MAX_VALUE (type1), tmod);
+ if (POINTER_TYPE_P (type))
+ bound = fold_convert (type, bound);
assumption = fold_build2 (LE_EXPR, boolean_type_node,
iv1->base, bound);
if (integer_zerop (assumption))
@@ -708,6 +710,11 @@ number_of_iterations_lt_to_ne (tree type
}
if (mpz_cmp (mmod, bnds->below) < 0)
noloop = boolean_false_node;
+ else if (POINTER_TYPE_P (type))
+ noloop = fold_build2 (GT_EXPR, boolean_type_node,
+ iv0->base,
+ fold_build2 (POINTER_PLUS_EXPR, type,
+ iv1->base, tmod));
else
noloop = fold_build2 (GT_EXPR, boolean_type_node,
iv0->base,
@@ -723,6 +730,8 @@ number_of_iterations_lt_to_ne (tree type
{
bound = fold_build2 (PLUS_EXPR, type1,
TYPE_MIN_VALUE (type1), tmod);
+ if (POINTER_TYPE_P (type))
+ bound = fold_convert (type, bound);
assumption = fold_build2 (GE_EXPR, boolean_type_node,
iv0->base, bound);
if (integer_zerop (assumption))
@@ -730,6 +739,13 @@ number_of_iterations_lt_to_ne (tree type
}
if (mpz_cmp (mmod, bnds->below) < 0)
noloop = boolean_false_node;
+ else if (POINTER_TYPE_P (type))
+ noloop = fold_build2 (GT_EXPR, boolean_type_node,
+ fold_build2 (POINTER_PLUS_EXPR, type,
+ iv0->base,
+ fold_unary (NEGATE_EXPR,
+ type1, tmod)),
+ iv1->base);
else
noloop = fold_build2 (GT_EXPR, boolean_type_node,
fold_build2 (MINUS_EXPR, type1,
but e.g. number_of_iterations_le doesn't look correct at all as well.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3/4.4 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (10 preceding siblings ...)
2009-03-16 9:43 ` jakub at gcc dot gnu dot org
@ 2009-03-16 16:07 ` jakub at gcc dot gnu dot org
2009-03-16 16:27 ` [Bug tree-optimization/39455] [4.3 " jakub at gcc dot gnu dot org
` (5 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-03-16 16:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from jakub at gcc dot gnu dot org 2009-03-16 16:07 -------
Subject: Bug 39455
Author: jakub
Date: Mon Mar 16 16:07:07 2009
New Revision: 144885
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144885
Log:
PR tree-optimization/39455
* tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Fix types
mismatches for POINTER_TYPE_P (type).
(number_of_iterations_le): Likewise.
* gcc.dg/pr39455.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr39455.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-loop-niter.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (11 preceding siblings ...)
2009-03-16 16:07 ` jakub at gcc dot gnu dot org
@ 2009-03-16 16:27 ` jakub at gcc dot gnu dot org
2009-06-16 3:54 ` cnstar9988 at gmail dot com
` (4 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-03-16 16:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from jakub at gcc dot gnu dot org 2009-03-16 16:27 -------
Fixed on the trunk so far.
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail|4.3.3 4.4.0 |4.3.3
Known to work|4.1.2 4.2.4 |4.1.2 4.2.4 4.4.0
Summary|[4.3/4.4 Regression] ICE : |[4.3 Regression] ICE : in
|in compare_values_warnv, at |compare_values_warnv, at
|tree-vrp.c:1073 |tree-vrp.c:1073
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (12 preceding siblings ...)
2009-03-16 16:27 ` [Bug tree-optimization/39455] [4.3 " jakub at gcc dot gnu dot org
@ 2009-06-16 3:54 ` cnstar9988 at gmail dot com
2009-06-16 3:56 ` cnstar9988 at gmail dot com
` (3 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: cnstar9988 at gmail dot com @ 2009-06-16 3:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from cnstar9988 at gmail dot com 2009-06-16 03:54 -------
ping 4.3.4...
--
cnstar9988 at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cnstar9988 at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (13 preceding siblings ...)
2009-06-16 3:54 ` cnstar9988 at gmail dot com
@ 2009-06-16 3:56 ` cnstar9988 at gmail dot com
2009-06-17 15:12 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
17 siblings, 0 replies; 20+ messages in thread
From: cnstar9988 at gmail dot com @ 2009-06-16 3:56 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from cnstar9988 at gmail dot com 2009-06-16 03:56 -------
ping 4.3.4...
The PR40087 fix depends on changes from the this fix, thanks!
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (14 preceding siblings ...)
2009-06-16 3:56 ` cnstar9988 at gmail dot com
@ 2009-06-17 15:12 ` rguenth at gcc dot gnu dot org
2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
17 siblings, 0 replies; 20+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 15:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from rguenth at gcc dot gnu dot org 2009-06-17 15:12 -------
Testing a backport.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|jakub at gcc dot gnu dot org|rguenth at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (15 preceding siblings ...)
2009-06-17 15:12 ` rguenth at gcc dot gnu dot org
@ 2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
17 siblings, 0 replies; 20+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 19:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from rguenth at gcc dot gnu dot org 2009-06-17 19:45 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
* [Bug tree-optimization/39455] [4.3 Regression] ICE : in compare_values_warnv, at tree-vrp.c:1073
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
` (16 preceding siblings ...)
2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
@ 2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
17 siblings, 0 replies; 20+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-17 19:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from rguenth at gcc dot gnu dot org 2009-06-17 19:46 -------
Subject: Bug 39455
Author: rguenth
Date: Wed Jun 17 19:45:52 2009
New Revision: 148625
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148625
Log:
2009-06-17 Richard Guenther <rguenther@suse.de>
Backport from mainline
2009-03-16 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/39455
* tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Fix types
mismatches for POINTER_TYPE_P (type).
(number_of_iterations_le): Likewise.
* gcc.dg/pr39455.c: New test.
2009-05-19 Zdenek Dvorak <ook@ucw.cz>
PR tree-optimization/40087
* tree-ssa-loop-niter.c (number_of_iterations_ne_max,
number_of_iterations_ne): Rename never_infinite argument.
(number_of_iterations_lt_to_ne, number_of_iterations_lt,
number_of_iterations_le): Handle pointer-type ivs when
exit_must_be_taken is false.
(number_of_iterations_cond): Do not always assume that
exit_must_be_taken if the control variable is a pointer.
* gcc.dg/tree-ssa/pr40087.c: New test.
Added:
branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/pr39455.c
branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/tree-ssa/pr40087.c
Modified:
branches/gcc-4_3-branch/gcc/ChangeLog
branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
branches/gcc-4_3-branch/gcc/tree-ssa-loop-niter.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39455
^ permalink raw reply [flat|nested] 20+ messages in thread
end of thread, other threads:[~2009-06-17 19:46 UTC | newest]
Thread overview: 20+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-03-13 12:33 [Bug middle-end/39455] New: ICE : in compare_values_warnv, at tree-vrp.c:1073 linuxl4 at sohu dot com
2009-03-13 12:34 ` [Bug middle-end/39455] " linuxl4 at sohu dot com
2009-03-13 14:04 ` [Bug tree-optimization/39455] [4.3/4.4 Regression] " rguenth at gcc dot gnu dot org
2009-03-13 14:43 ` hjl dot tools at gmail dot com
2009-03-13 14:57 ` jakub at gcc dot gnu dot org
2009-03-13 16:38 ` hjl dot tools at gmail dot com
2009-03-13 17:11 ` rguenth at gcc dot gnu dot org
2009-03-13 23:04 ` rguenth at gcc dot gnu dot org
2009-03-16 8:15 ` jakub at gcc dot gnu dot org
2009-03-16 8:28 ` Andrew Thomas Pinski
2009-03-16 8:29 ` pinskia at gmail dot com
2009-03-16 8:49 ` jakub at gcc dot gnu dot org
2009-03-16 9:43 ` jakub at gcc dot gnu dot org
2009-03-16 16:07 ` jakub at gcc dot gnu dot org
2009-03-16 16:27 ` [Bug tree-optimization/39455] [4.3 " jakub at gcc dot gnu dot org
2009-06-16 3:54 ` cnstar9988 at gmail dot com
2009-06-16 3:56 ` cnstar9988 at gmail dot com
2009-06-17 15:12 ` rguenth at gcc dot gnu dot org
2009-06-17 19:46 ` rguenth at gcc dot gnu dot org
2009-06-17 19:46 ` rguenth at gcc dot gnu dot 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).