dijkstra init: squash -Wswitch-default warning

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

diff --git a/cmd/tools/dijkstra.c b/cmd/tools/dijkstra.c
index ed6cbefe4b3c28587adafd59cedf6d4dd9275505..ebd4f303f1e2ebbcb35ab9ff524d363007f7be40 100644 (file)
--- a/cmd/tools/dijkstra.c
+++ b/cmd/tools/dijkstra.c
@@ -22,6 +22,7 @@
 #include <cgraph/alloc.h>
 #include <cgraph/cgraph.h>
 #include <cgraph/exit.h>
+#include <cgraph/unreachable.h>
 #include <ingraphs/ingraphs.h>
 #include <getopt.h>
 
@@ -261,6 +262,8 @@ static void init(int argc, char *argv[])
                usage(1);
            }
            break;
+       default:
+           UNREACHABLE();
        }
     }
     argv += optind;