On 22 January 2014 09:16, Connor Abbott wrote:
> Dead branch analysis determines when the then or else branches of an
> if statement will always terminate in a loop jump or return statement,
> and hence once we enter that branch we will never get to the statements
> after the if. This is useful f
Dead branch analysis determines when the then or else branches of an
if statement will always terminate in a loop jump or return statement,
and hence once we enter that branch we will never get to the statements
after the if. This is useful for determining the dominance tree, which
is needed for th
