[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[pinskia at gcc dot gnu dot org]

-- 
Bug 21258 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=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2007-04-13 10:23 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2007-04-13 10:21 -------
Subject: Bug 21258

Author: rguenth
Date: Fri Apr 13 10:21:22 2007
New Revision: 123778

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123778
Log:
2007-04-13  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/21258
        * tree-vrp.c (compare_case_labels): New helper.
        (find_switch_asserts): New function.
        (find_assert_locations): Call it for SWITCH_EXPRs.

        * gcc.dg/tree-ssa/vrp34.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp34.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2007-04-11 14:55 -------
Actually, that's very different.  This one is about missing ASSERT_EXPRs, the
other one is about simplifying SWITCH_EXPRs using the value range of the switch
argument.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[steven at gcc dot gnu dot org]

------- Comment #7 from steven at gcc dot gnu dot org  2007-04-11 14:35 -------
Watch Bug 14495 while you're at it.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2007-04-11 13:17 -------
Mine.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-03-05 16:13:31         |2007-04-11 13:17:38
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[dnovillo at gcc dot gnu dot org]

------- Comment #5 from dnovillo at gcc dot gnu dot org  2006-03-10 16:07 -------

Not working on this anymore.


-- 

dnovillo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|dnovillo 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=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-06-02 20:24 -------

Kazu is not working on this anymore.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|kazu at cs dot umass dot edu|dnovillo at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-04-28 05:45 -------
I'm testing a patch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |kazu at cs dot umass dot edu
                   |dot org                     |
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-28 00:36 -------
Confirmed, in a way PR 20514 is related.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-04-28 00:36:54
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

[dnovillo at redhat dot com]

------- Additional Comments From dnovillo at redhat dot com  2005-04-27 19:43 -------
Subject: Re:  New: Teach VRP to pick up a constant from case label.

On Wed, Apr 27, 2005 at 07:38:04PM -0000, kazu at cs dot umass dot edu wrote:

> I think Diego already knows about this, but I think it's worth a PR so that
> we don't forget.
> 
Yes, there's a FIXME in tree-vrp.c about not handling
SWITCH_EXPR.  I agree it's worth having a PR for it.


Diego.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258