tred init: squash -Wswitch-default warning

The default case is unreachable due to the preceding `getopt` call.

diff --git a/cmd/tools/tred.c b/cmd/tools/tred.c
index a860f2ee1bb47d1a4a0e446ee8421828230a4b44..5ac9bd5eb100458cebeccb9f009fbabbad060e37 100644 (file)
--- a/cmd/tools/tred.c
+++ b/cmd/tools/tred.c
@@ -26,6 +26,7 @@
 #include <cgraph/cgraph.h>
 #include <cgraph/stack.h>
 #include <cgraph/exit.h>
+#include <cgraph/unreachable.h>
 #include <common/arith.h>
 #include <common/types.h>
 #include <common/utils.h>
@@ -210,6 +211,8 @@ static void init(int argc, char *argv[])
                usage(1);
            }
            break;
+       default:
+           UNREACHABLE();
        }
     }
     argv += optind;