Si una función no devuelve ningún valor, con un tipo de retorno válido, ¿está bien que el compilador devuelva basura?