------- 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: [0fffffffa, +INF]
I think this might have been already fixed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32500
pinskia at gcc dot gnu dot org Mon, 25 Jun 2007 08:45:26 -0700
------- 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: [0fffffffa, +INF]
I think this might have been already fixed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32500