There is a test in the code gen to generate a return at end of function if the code above it falls through. This testing is incomplete, in that there will be for statements that contain an embedded 'break' statement but that is not recognized as such, so the return does not get generated when it should.
There is a test in the code gen to generate a return at end of function if the code above it falls through. This testing is incomplete, in that there will be for statements that contain an embedded 'break' statement but that is not recognized as such, so the return does not get generated when it should.