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

A variable x is said to be live at a statement Si in a program if the following three conditions hold simultaneously: i. There exists a statement Sj that uses x ii. There is a path from Si to Sj in the flow graph corresponding to the program iii. The path has no intervening assignment to x including at Si and Sj 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

Topic-wise GATE CS PYQs with verified steps