janhaag/PSE2011 — Issue #35: Unreachable and duplicate code in Typechecker
Author: ratefuchs
Created: 2012-02-26 15:29:57+00:00
State: open

There is unreachable and duplicate code in the type checker for checking ensures after a return statement and for returning default values in case a function does not contain a return statement.

This code got unneccessary due to simplification of the while language - the last statement of a non-main function must now be a return statement, and now this is the only place return statements are allowed.
This code needs to be removed.