[LLVMdev] C infinite recursion mis-optimized?
baldrick at free.fr
Sun Feb 28 11:32:11 PST 2010
> 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.
More information about the llvm-dev