It didn't fail "due to software", it failed because the analysis wasn't redone, that came to the conclusion that range checks, as specified by the Ada programmi

It didn't fail "due to software", it failed because the analysis wasn't redone, that came to the conclusion that range checks, as specified by the Ada programming language, can be disabled to increase performance.