Code optimization: warning for code that hangs

[Robert Dewar]

On 6/24/2012 11:22 AM, Richard Guenther wrote:

>> I suppose I think it would be reasonable to issue a -Wall warning for
>> code like that.  The trick is detecting it.  Obviously there is nothing
>> wrong with a recursive call.  What is different here is that the
>> recursive call is unconditional.  I don't see a way to detect that
>> without writing a specific warning pass to look for that case.

Ada has this warning, and it has proved useful!