3 If the boolean expression yields true, control is transferred to the first embedded statement.4When and if control reaches the end point of that statement, control is transferred to the end point of the if statement.
5 If the boolean expression yields false and if an else part is present, control is transferred to the second embedded statement.6When and if control reaches the end point of that statement, control is transferred to the end point of the if statement.
7 If the boolean expression yields false and if an else part is not present, control is transferred to the end point of the if statement.
Paragraph 41The first embedded statement of an if statement is reachable if the if statement is reachable and the boolean expression does not have the constant value false.
Paragraph 51The second embedded statement of an if statement, if present, is reachable if the if statement is reachable and the boolean expression does not have the constant value true.
Paragraph 61The end point of an if statement is reachable if the end point of at least one of its embedded statements is reachable.2In addition, the end point of an if statement with no else part is reachable if the if statement is reachable and the boolean expression does not have the constant value true.