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

[dmantipov at yandex dot ru]

------- Comment #3 from dmantipov at yandex dot ru  2008-03-14 13:36 -------
(In reply to comment #2)

> The test has undefined behavior in it as signed integer overflow is undefined. 
> time_t is a signed integer.

Ok, I'll contact autoconf authors with this issue.

BTW, what about issuing the warning like

[file][line]: warning: operation on [whatever] may be undefined

just like in the classic case 

i = ++i + ++i;

?


-- 


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