It would be nice if the program would abort if a non-void function returns without a value. The only cost would be a slightly larger executable.