------- Comment #1 from kargl at gcc dot gnu dot org 2007-11-26 00:12 ------- There is no bug here. You have explicitly disabled range checking. This means that you no longer have a limitation on range in constant folding. It may be help to look at -fdump-parse-tree. YOu don't have an Inf until you actually do the transfer.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34230