The failure occurs only if you reach a statement taking the TRUE branch of an IF statement, and you got to the statement with a test that passed through the FALSE branch.
The failure depends on the program's inability to handle specific data values, rather than on the program's flow of control.
Both A and B
We are not required to test code that customers are unlikely to execute.