A variable \(x\) is said to be live at a statement \(S_i\) in a program if the…

A variable \(x\) is said to be live at a statement \(S_i\) in a program if the following three conditions hold simultaneously:

i. There exists a statement \(S_j\) that uses \(x\)

ii. There is a path from \(S_i\) to \(S_j\) in the flow graph corresponding to the program

iii. The path has no intervening assignment to \(x\) including at \(S_i\) and \(S_j\)

The variables which are live both at the statement in basic block 2 and at the statement in basic block 3 of the above control flow graph are