Was there a more fundamental problem in the assumptions of the code? The state of the operation is "success" (err==zero) until some step changes the state to "

Was there a more fundamental problem in the assumptions of the code? The state of the operation is "success" (err==zero) until some step changes the state to "failure" (non-zero). The state should be assumed to be "failure" until the last step changes it to "success".