* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
@ 2005-04-17 20:49 ` pinskia at gcc dot gnu dot org
2005-04-30 20:47 ` [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE " laurent at guerby dot net
` (14 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-04-17 20:49 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dnovillo at gcc dot gnu dot
| |org
Component|ada |tree-optimization
Summary|ACATs ICE cxg2009 and |[4.1 Regression] ACATs ICE
|cxh1001 at tree-vrp.c:124 |cxg2009 and cxh1001 at tree-
| |vrp.c:124
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
2005-04-17 20:49 ` [Bug tree-optimization/21076] [4.1 Regression] " pinskia at gcc dot gnu dot org
@ 2005-04-30 20:47 ` laurent at guerby dot net
2005-05-05 11:56 ` laurent at guerby dot net
` (13 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: laurent at guerby dot net @ 2005-04-30 20:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-04-30 20:47 -------
cxg2009 is no longer failing, it started to PASS between
LAST_UPDATED: Tue Apr 26 21:38:28 UTC 2005
LAST_UPDATED: Sat Apr 30 15:50:39 UTC 2005
Still same ICE on cxh1001.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.1 Regression] ACATs ICE |[4.1 Regression] ACATs ICE
|cxg2009 and cxh1001 at tree-|cxh1001 at tree-vrp.c:124
|vrp.c:124 |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
2005-04-17 20:49 ` [Bug tree-optimization/21076] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-04-30 20:47 ` [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE " laurent at guerby dot net
@ 2005-05-05 11:56 ` laurent at guerby dot net
2005-05-22 17:49 ` kazu at cs dot umass dot edu
` (12 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: laurent at guerby dot net @ 2005-05-05 11:56 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-05-05 11:56 -------
Seems to be fixed on HEAD as of LAST_UPDATED: Thu May 5 08:05:40 UTC 2005
on x86 and x86_64-linux:
http://gcc.gnu.org/ml/gcc-testresults/2005-05/msg00284.html
http://gcc.gnu.org/ml/gcc-testresults/2005-05/msg00285.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (2 preceding siblings ...)
2005-05-05 11:56 ` laurent at guerby dot net
@ 2005-05-22 17:49 ` kazu at cs dot umass dot edu
2005-06-19 15:26 ` pinskia at gcc dot gnu dot org
` (11 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: kazu at cs dot umass dot edu @ 2005-05-22 17:49 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |18373
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (3 preceding siblings ...)
2005-05-22 17:49 ` kazu at cs dot umass dot edu
@ 2005-06-19 15:26 ` pinskia at gcc dot gnu dot org
2005-06-19 15:53 ` laurent at guerby dot net
` (10 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-19 15:26 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-19 15:26 -------
I think I fixed the bug which removed the non useless casts. Diego wasn't there a workaround in VRP
for this bug?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (4 preceding siblings ...)
2005-06-19 15:26 ` pinskia at gcc dot gnu dot org
@ 2005-06-19 15:53 ` laurent at guerby dot net
2005-06-19 23:15 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: laurent at guerby dot net @ 2005-06-19 15:53 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-19 15:53 -------
Likely workaround'ed by the following commit:
2005-05-02 Diego Novillo <dnovillo@redhat.com>
* tree-vrp.c (set_value_range_to_nonnull): Declare inline.
(set_value_range_to_null): Likewise.
(set_value_range_to_varying): New function. Use it in all
call sites that used to call set_value_range (vr, VR_VARYING, ...).
(extract_range_from_assert): If the integral type has a
super-type, and LIMIT is not within MIN and MAX values of that
type, set the resulting range to VR_VARYING.
May be we should confirm or close this one? Or is there something still pending?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (5 preceding siblings ...)
2005-06-19 15:53 ` laurent at guerby dot net
@ 2005-06-19 23:15 ` pinskia at gcc dot gnu dot org
2005-07-07 19:53 ` [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug) pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-19 23:15 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-19 23:15 -------
(In reply to comment #3)
> I think I fixed the bug which removed the non useless casts. Diego wasn't there a workaround in VRP
> for this bug?
I should say the following patch fixed the removing of the non useless casts:
* tree-ssa.c (tree_ssa_useless_type_conversion_1): Conversions between
integer types whos ranges are different are not useless.
Which was PR 21923, we had got another ICE in VRP because of that.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (6 preceding siblings ...)
2005-06-19 23:15 ` pinskia at gcc dot gnu dot org
@ 2005-07-07 19:53 ` pinskia at gcc dot gnu dot org
2005-07-11 5:48 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-07 19:53 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-07 19:52 -------
See also:
http://gcc.gnu.org/ml/gcc/2005-06/msg01071.html
and
http://gcc.gnu.org/ml/gcc/2005-06/msg01065.html
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Component|tree-optimization |middle-end
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-07-07 19:52:19
date| |
Summary|[4.1 Regression] ACATs ICE |[4.1 Regression] ACATs ICE
|cxh1001 at tree-vrp.c:124 |cxh1001 at tree-vrp.c:124
| |(fold bug)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (7 preceding siblings ...)
2005-07-07 19:53 ` [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug) pinskia at gcc dot gnu dot org
@ 2005-07-11 5:48 ` pinskia at gcc dot gnu dot org
2005-07-11 19:40 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-11 5:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-11 05:45 -------
I am taking care of this since I am touching build_range_check already for another type problem.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |pinskia at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (8 preceding siblings ...)
2005-07-11 5:48 ` pinskia at gcc dot gnu dot org
@ 2005-07-11 19:40 ` pinskia at gcc dot gnu dot org
2005-08-14 2:20 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-11 19:40 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-11 19:38 -------
Patch posted here: <http://gcc.gnu.org/ml/gcc-patches/2005-07/msg00771.html>.
--
What |Removed |Added
----------------------------------------------------------------------------
URL| |http://gcc.gnu.org/ml/gcc-
| |patches/2005-
| |07/msg00771.html
Keywords| |patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (9 preceding siblings ...)
2005-07-11 19:40 ` pinskia at gcc dot gnu dot org
@ 2005-08-14 2:20 ` pinskia at gcc dot gnu dot org
2005-09-08 18:25 ` dnovillo at gcc dot gnu dot org
` (4 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-08-14 2:20 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-14 02:20 -------
No longer working on this.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|pinskia at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (10 preceding siblings ...)
2005-08-14 2:20 ` pinskia at gcc dot gnu dot org
@ 2005-09-08 18:25 ` dnovillo at gcc dot gnu dot org
2005-09-08 18:29 ` laurent at guerby dot net
` (3 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2005-09-08 18:25 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dnovillo at gcc dot gnu dot org 2005-09-08 18:25 -------
What's the status of this bug? Do we still ICE?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (11 preceding siblings ...)
2005-09-08 18:25 ` dnovillo at gcc dot gnu dot org
@ 2005-09-08 18:29 ` laurent at guerby dot net
2005-09-08 18:33 ` dnovillo at gcc dot gnu dot org
` (2 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: laurent at guerby dot net @ 2005-09-08 18:29 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-09-08 18:29 -------
Passing on x86 and x86_64-linux (same situation as in my #4 comment).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (12 preceding siblings ...)
2005-09-08 18:29 ` laurent at guerby dot net
@ 2005-09-08 18:33 ` dnovillo at gcc dot gnu dot org
2005-09-08 18:36 ` ebotcazou at gcc dot gnu dot org
2005-09-10 18:11 ` pinskia at gcc dot gnu dot org
15 siblings, 0 replies; 17+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2005-09-08 18:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dnovillo at gcc dot gnu dot org 2005-09-08 18:33 -------
(In reply to comment #11)
> Passing on x86 and x86_64-linux (same situation as in my #4 comment).
>
OK, thanks. Closing. It can always be re-opened later.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |WORKSFORME
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (13 preceding siblings ...)
2005-09-08 18:33 ` dnovillo at gcc dot gnu dot org
@ 2005-09-08 18:36 ` ebotcazou at gcc dot gnu dot org
2005-09-10 18:11 ` pinskia at gcc dot gnu dot org
15 siblings, 0 replies; 17+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2005-09-08 18:36 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From ebotcazou at gcc dot gnu dot org 2005-09-08 18:35 -------
> Passing on x86 and x86_64-linux (same situation as in my #4 comment).
Yup.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)
2005-04-17 20:29 [Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124 laurent at guerby dot net
` (14 preceding siblings ...)
2005-09-08 18:36 ` ebotcazou at gcc dot gnu dot org
@ 2005-09-10 18:11 ` pinskia at gcc dot gnu dot org
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-09-10 18:11 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21076 depends on bug 18373, which changed state.
Bug 18373 Summary: [meta-bug] VRP Value Range Propagation
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18373
What |Old Value |New Value
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076
^ permalink raw reply [flat|nested] 17+ messages in thread