That would be true if there were tests. If you work in banking or any other field with very specific specs and regulations, the program is almost perfect and answers the demands of the client.

The undefined behavior is too much though, he should throw an exception instead.