--- Comment #4 from pinskia at gcc dot gnu dot org 2007-06-25 15:45 ---
i.10_10: [5, 12]
D.2123_11 = i.10_10 - 7;
D.2123_11: [0fffa, +INF]
I think this might have been already fixed.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32500
--- Comment #3 from ed at fxq dot nl 2007-06-25 15:36 ---
Created an attachment (id=13785)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13785&action=view)
Generated assembly code
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32500
--- Comment #2 from ed at fxq dot nl 2007-06-25 15:36 ---
Created an attachment (id=13784)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13784&action=view)
GCC intermediate code
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32500
--- Comment #1 from ed at fxq dot nl 2007-06-25 15:35 ---
Created an attachment (id=13783)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13783&action=view)
C source code which triggers the bug
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32500