Bug 180 – DMD accepts a function with a non-void return type but no return statements

Comment #0 by smjg — 2006-06-07T07:19:46Z

The spec for ReturnStatement states: "At least one return statement is required if the function specifies a return type that is not void." However, the compiler fails to honour this requirement, as shown by the most trivial testcase: ---------- int main() {} ---------- Walter has mentioned that there's a reason to allow paths through a function that would walk off the end without returning. However, there is no reason that a function with a non-void return type should be allowed to have no return statements at all. The only possible exception is if the function explicitly throws an exception or assert(false), but if either of these is to be allowed instead of a single return statement then the spec would have to be modified to this effect. As such, the compiler should be reporting an error on such code as the above.

Bug 180 – DMD accepts a function with a non-void return type but no return statements

Comments