D-Programming-Language/dmd — pull request #986 by 9rnsr (2012-06-06 13:47:28+00:00)
Title: Issue 3574 - post-condition in void main() is not evaluated if there is no return statement

http://d.puremagic.com/issues/show_bug.cgi?id=3574