[Bug tree-optimization/22117] [4.1 Regression] VRP thinks + is always nonnull.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-19 
13:15 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-19 13:15:06
               date|                            |
            Summary|VRP thinks <ptr type> + <ptr|[4.1 Regression] VRP thinks
                   |type> is always nonnull.    |<ptr type> + <ptr type> is
                   |                            |always nonnull.
   Target Milestone|---                         |4.1.0
            Version|unknown                     |4.1.0


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