I often hear people say that C doesn\'t perform tail call elimination. Even though it\'s not guaranteed by the standard, isn\'t it performed in practice by any decent implement
To answer you last question: The standard should definitely not make any statements about optimization. There may be environments where it is more or less difficult to implement.