Can't this simply be reduced to if (a != 0), instead of an empty if-clause?