From e873243aa3487d21b3a7420eeacba73aefd6fcef Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Thu, 19 Jan 2017 23:35:45 +1100
Subject: [PATCH] py/objint_mpz: Refactor switch-statement to remove
 unreachable default.

---
 py/objint_mpz.c | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/py/objint_mpz.c b/py/objint_mpz.c
index eadf64fce7..5ca2bf53b3 100644
--- a/py/objint_mpz.c
+++ b/py/objint_mpz.c
@@ -286,7 +286,8 @@ mp_obj_t mp_obj_int_binary_op(mp_uint_t op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
                 mpz_pow_inpl(&res->mpz, zlhs, zrhs);
                 break;
 
-            case MP_BINARY_OP_DIVMOD: {
+            default: {
+                assert(op == MP_BINARY_OP_DIVMOD);
                 if (mpz_is_zero(zrhs)) {
                     goto zero_division_error;
                 }
@@ -295,9 +296,6 @@ mp_obj_t mp_obj_int_binary_op(mp_uint_t op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
                 mp_obj_t tuple[2] = {MP_OBJ_FROM_PTR(quo), MP_OBJ_FROM_PTR(res)};
                 return mp_obj_new_tuple(2, tuple);
             }
-
-            default:
-                return MP_OBJ_NULL; // op not supported
         }
 
         return MP_OBJ_FROM_PTR(res);