------- Additional Comments From rakdver at atrey dot karlin dot mff dot cuni dot cz 2004-12-31 20:36 ------- Subject: Re: [4.0 Regression] not using do-loop for some loops
> Could we use/extend -ffinite-math-only option to cover this case and assert > that > the loop will not be infinite? I would not reuse this flag (it controls behavior of floating point arithmetics and overloading it in this way does not seem a good idea to me). However I would like having something like -funsafe-loop-opts that would allow the optimizer to assume all such conditions that are practically always true (e.g. that induction variables does not overflow, loops with nontrivial exit condition are not infinite, etc.). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19210