There is another similar optimization, called sparse conditional constant propagation, which selects the appropriate branch on the basis of if-condition.[1] The compiler can now detect that the if statement will always evaluate to true, c itself can be eliminated, shrinking the code even further: