[Bug c/35581] Option '-ftree-vrp' looks broken with '-O2'

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-03-14 12:01 -------
The test has undefined behavior in it as signed integer overflow is undefined. 
time_t is a signed integer.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID
            Summary|Option '-ftree-vrp' looks   |Option '-ftree-vrp' looks
                   |broken with '-O2'           |broken with '-O2'


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