[LLVMdev] C infinite recursion mis-optimized?

[Duncan Sands]

Hi Isaac,

> ah, you are quite right!  I'd searched "recursion" to look for bugs, but
> the problem (as described in #965) is more general than that.  (I'm
> quite familiar with Haskell, in which termination vs. nontermination is
> discussed much more than it is in C.)  The optimization and the
> "willreturn" suggestion make sense to me.  (Is it worth commenting on
> the bug-report? I guess not, since I don't actually have anything to
> add: it's already a clear bug with a clear solution: though perhaps
> having more test-cases for a testsuite is useful to LLVM?)

I don't think it is worth adding your testcase to PR965.

Ciao,

Duncan.